Quadratischer Zahlbereich/Kriterium für faktoriell/Primzahlen unterhalb von Normschranke haben Primfaktorzerlegung/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei ein Primideal derart, dass unterhalb der angegebenen Schranke liegt, und es sei mit einer Primzahl . Nach Fakt gibt es in die drei Möglichkeiten

Die Norm von ist oder , so dass auch unterhalb der Schranke ist und somit nach Voraussetzung eine Primfaktorzerlegung für besteht. Daraus folgt aber, dass ein Hauptideal ist. Aus Fakt folgt die Behauptung.