Demostración de Propiedades de Ideales en
Anillos
[Jorge Luis Escorcia Fuentes]
September 7, 2025
Ejercicio 8:
Sea A un anillo no nulo. Demostrar que el grupo de ideales primos de A
tiene elementos minimales respecto a la inclusión.
Demostración:
Recordemos que un ideal primo P de un anillo A es un ideal que cumple que
si ab ∈ P , entonces a ∈ P o b ∈ P .
Queremos demostrar que el conjunto de ideales primos de A, denotado
Spec(A), tiene elementos minimales respecto a la inclusión.
Utilizamos el lema de Zorn, que establece que si un conjunto parcialmente
ordenado tiene la propiedad de que cada cadena tiene una cota superior,
entonces el conjunto tiene un elemento maximal. El conjunto Spec(A) es
parcialmente ordenado por inclusión, y cada cadena de ideales primos tiene
una cota superior (la unión de los ideales de la cadena).
Por el lema de Zorn, Spec(A) tiene un ideal primo maximal, que es
también un ideal minimal respecto a la inclusión.
Ejercicio 9:
Sea a un ideal distinto de (1) en un anillo A. Demostrar que a = r(a) ⇐⇒ a
es una intersección de ideales primos.
1
Demostración de a = r(a) ⇒ a es una intersección de ideales primos:
Supongamos que a = r(a). Esto significa que a = {x ∈ A | xn ∈ a para algún n ∈
N}. Queremos demostrar que a es la intersección de ideales primos. Por el
teorema de la descomposición de ideales, podemos escribir a como la inter-
sección de los ideales primos que contienen a a:
\
a= P.
P primo,P ⊇a
Demostración de a es una intersección de ideales primos
⇒ a = r(a) :
T
Ahora supongamos que a = P primo,P ⊇a P . Queremos demostrar que a =
r(a). Si x ∈ a, entonces x ∈ P para cada ideal primo P que contiene a, y
por lo tanto xn ∈ P para algún n. Esto implica que x ∈ r(a), y ası́ hemos
demostrado que a ⊆ r(a).