Quadratischer Zahlbereich/Idealpotenz ist Hauptideal/Fakt/Beweis

Beweis

Für das Nullideal ist die Aussage richtig, sei also von verschieden. Die zugehörige Idealklasse besitzt aufgrund von Fakt in der Idealklassengruppe endliche Ordnung, d.h., dass für ein

ist. Dies bedeutet aber gerade, dass ein Hauptideal ist.