Faktorieller Zahlbereich/Primideale oberhalb von Primzahlen/Aufgabe
Es sei ein faktorieller Zahlbereich und die zugehörige Erweiterung. Zu einer Primzahl sei
die Primfaktorzerlegung von in (die seien also paarweise nicht assoziiert). Zeige, dass die Primideale von mit der Eigenschaft genau die Primideale der Form sind.