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