Kommutative Ringtheorie/Integritätsbereich/Primelement und Primhauptideal/Fakt

Aus Wikiversity

Es sei ein Integritätsbereich und , . Dann ist genau dann ein Primelement, wenn das von erzeugte Hauptideal ein Primideal ist.