A prime ideal of a commutative ring R

Un ideal primo de un anillo conmutativo $R$ es un subconjunto $P$ de $R$ que cumple las siguientes propiedades:

1. $P$ es un ideal propio de $R$, es decir, $P \neq R$.
2. Si $a, b \in R$ y $ab \in P$, entonces $a \in P$ o $b \in P$.

Para entender mejor, sigamos estos pasos:

1. Definición de Ideal: Un subconjunto $I$ de $R$ es un ideal si:

   • $I$ es un subgrupo aditivo de $R$.
   • Para todo $r \in R$ y $x \in I$, se tiene que $rx \in I$.

2. Ideal Propio: Un ideal $I$ es propio si $I \neq R$. Esto significa que $I$ no contiene todos los elementos de $R$.

3. Condición de Primo: Para que un ideal $P$ sea primo, debe cumplir que si el producto de dos elementos de $R$ está en $P$, entonces al menos uno de esos elementos debe estar en $P$.

Ejemplo: Consideremos el anillo $\mathbb{Z}$ de los enteros y el ideal $P = (5)$, que consiste en todos los múltiplos de 5. Verifiquemos que $P$ es un ideal primo:

• $P$ es un ideal propio de $\mathbb{Z}$ porque $P \neq \mathbb{Z}$.
• Si $a, b \in \mathbb{Z}$ y $ab \in P$, entonces $ab$ es múltiplo de 5. Esto implica que al menos uno de $a$ o $b$ debe ser múltiplo de 5, es decir, $a \in P$ o $b \in P$.

Por lo tanto, $(5)$ es un ideal primo en $\mathbb{Z}$.

En resumen, un ideal primo de un anillo conmutativo $R$ es un ideal propio $P$ tal que si el producto de dos elementos de $R$ está en $P$, entonces al menos uno de esos elementos está en $P$.