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).

Principio

Los ideales primos detectan comportamiento multiplicativo irreducible en anillos: impiden divisores de cero en el cociente y generalizan la noción de primalidad de los enteros a anillos arbitrarios.

Demostración

En Z, el ideal pZ generado por un número primo p es un ideal primo porque Z/pZ es un dominio íntegro; en k[x,y], el ideal (x) es primo ya que k[x,y]/(x) ≅ k[y], que es un dominio.

Aplicación incorrecta

Llamar primo a un ideal únicamente porque está generado por un elemento irreducible en un anillo que no es UFD sin verificar que el cociente sea un dominio, o ignorar que el ideal debe ser propio.

Consecuencia

Los ideales primos producen cocientes que son dominios íntegros y desempeñan un papel central en geometría algebraica y teoría de números (corresponden a subconjuntos cerrados irreducibles y controlan descomposiciones primarias).

Inversión

Un ideal cuyo cociente contiene elementos nilpotentes o divisores de cero no es primo; invertir la condición conduce a ideales primarios o radicales en lugar de primos.

Límite

La definición requiere conmutatividad para la equivalencia estándar con la propiedad del producto nulo; en anillos no conmutativos se emplean definiciones de ideal primo más delicadas y hay que distinguir condiciones izquierdas/derechas.

Tensión semántica

La intuición basada en los enteros de un primo como átomo puede inducir error al transferirla a anillos donde elementos irreducibles y ideales generados por ellos divergen; la condición del complemento multiplicativo compite con la caracterización por el cociente.

Síntesis

Un ideal primo es un ideal propio que elimina divisores de cero en el cociente, capturando la generalización de la primalidad que regula la factorización y la irreducibilidad geométrica.