Ein Ideal a {\displaystyle {}{\mathfrak {a}}} in einem kommutativen Ring R {\displaystyle {}R} der Form
heißt Hauptideal.