Quadratischer Zahlbereich/Idealpotenz ist Hauptideal/Fakt

Sei ${}R=A_{D}$ ein quadratischer Zahlbereich und sei ${}{\mathfrak {a}}$ ein Ideal in ${}R$. Dann gibt es ein ${}n\geq 1$ derart, dass ${}{\mathfrak {a}}^{n}$ ein Hauptideal ist.

Zum Beweis, Alternativen Beweis erstellen