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.