Paragraf

Ideal sejati \(P\) dalam gelanggang komutatif \(R\) disebut ideal prima jika setiap kali \(ab \in P\text{,}\) berlaku \(a \in P\) atau \(b \in P\text{.}\)
 1 
Ideal prima dapat pula didefinisikan dalam gelanggang takkomutatif. Lihat [1] atau [3].
Dalam Konteks