Quadratischer Zahlbereich/Kriterium für faktoriell/Primideale unterhalb von Normschranke Hauptideale/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei ein Ideal unterhalb der angegebenen Normschranke. Nach Fakt ist mit Primidealen , und wegen Fakt sind die Normen dieser Primideale ebenfalls unter der Schranke. Da all diese Primideale nach Voraussetzung Hauptideale sind, ist auch ein Hauptideal. Da nach Fakt jede Idealklasse durch ein Ideal unterhalb der Normschranke repräsentiert wird, bedeutet dies, dass jede Idealklasse durch ein Hauptideal repräsentiert wird. Das heißt die Klassengruppe ist trivial und damit ist nach Fakt der Ring faktoriell.