Ideal Primo

Un ideal propio P de un anillo conmutativo R tal que el anillo cociente R/P es un dominio íntegro; equivalentemente, P es propio y siempre que un producto ab pertenece a P, al menos a o b pertenecen a P (el complemento R\P es cerrado multiplicativamente).

Un ideal propio P de un anillo conmutativo R tal que si a·b ∈ P entonces a ∈ P o b ∈ P; equivalente: R/P es un dominio íntegro.