Ideales primos y maximales

Jeanneth Galeano Pealoza

Universidad Nacional de Colombia

Segundo semestre de 2017
 Ideales primos y maximales

Definicin. Sean A un anillo e I un ideal biltero propio de A .

(i) I es un ideal maximal de A , si para cada ideal biltero de J
de A se tiene que

I J = J = I J = A .

(ii) Se dice que I es un ideal primo de A , si para a , b A

a b I = a I b I.
Teorema 1.
Sean R un anillo conmutativo con unidad y M un ideal de R.
Entonces M es maximal si y solo si R /M es un campo,

Dem. (=) Suponga M ideal maximal en R. Como R es

conmutativo R /M tambin lo es y como R tiene unidad, R /M
tambin tiene.
Veamos que todo elemento de R /M tiene inverso. Sea
a + M R /M con a < M. Consideremos

N = {ra + m|r R , m M }.

Entonces (N , +) es ideal de R que contiene a a, pues a = 1a + 0

y adems M N, pues dado m M se puede escribir como
m = 0a + m. Ya que a < M se sigue que M , N, pero como M es
maximal entonces N = R .
En particular 1 N, entonces 1 se puede escribir como
1 = ba + m con b R y m M. Por lo tanto

1 + M = ba + M = (b + M )(a + M ),

lo que significa que b + M es inverso de a + M.

(=) Suponga que R /M es un campo y sea N un ideal de R tal
que M N R. Consideremos

j : R R /M

el homomorfismo cannico de R sobre R /M, entonces j (N ) es un

ideal no trivial de R /M (pues {0 + M } j (N )), pero un campo no
puede tener ideales no triviales propios(), as que M debe ser
maximal.
Teorema 2.
Un anillo conmutativo con unidad es un campo si y slo si no
contiene ideales propios no triviales.

Dem. (=) Si el anillo R no contiene ideales propios no triviales,

entonces el ideal cero es maximal, as que R /{0} (que es isomorfo
a R) es campo.
Teorema 3.
Sea R un anillo conmutativo con unidad y sea N , R un ideal en
R. Entonces R /N es dominio de integridad si y slo si N es primo.

Dem. (=) Consideremos dos elementos a , b R tales que

ab N, como R /N es dominio de integridad

ab + N = (a + N )(b + N ) = N

implica que a + N = N b + N = N, lo que se traduce en a N o

bien b N.
Escriba la parte (=).
Corolario
Sea R un anillo conmutativo con unidad y M un ideal en R. Si M
es maximal, entonces es primo.
 Tarea

A anillo, I ideal biltero propio de A .

(i) I es maximal A /I es anillo simple.
(ii) Si A es conmutativo: 0 es primo A es D.I.
(iii) 0 es maximal A es simple.
(iv) Si A es conmutativo: 0 es maximal A es campo
(v) En un DIP todo ideal primo no-nulo es maximal.

Definicin
Un anillo se dice simple si los nicos ideales bilteros son los
triviales.
 Ejemplos

En Z los ideales primos no-nulos y los maximales coinciden.

0 es primo en Z pero no es maximal.
0 es el nico ideal primo y el nico ideal maximal de Zp .
Sea m 1 no primo. Los ideales de Zm son de la forma hni
con n | m.
Pero sabemos que los ideales maximales de Zm son de la
forma hp i, p | m, p primo, y son primos.
Si m es primo, 0 es el nico ideal maximal y el nico ideal
primo de Zm
 Proposicin

Sea f : R S un homomorfismo de anillos, y sean I , J ideales

bilteros propios de R y S respectivamente.
(i) Si f es sobre, entonces

J es max f 1 (J ) es max.

(ii) Si f es sobre y ker f I entonces

I es max f (I ) es max.

(iii)
J primo f 1 (J ) primo
(iv) Si f es sobre y ker f I entonces

I primo f (I ) primo

(v) Si f es sobre entonces

J es primo f 1 (J ) es primo

(vi) Si f es sobre y ker f I entonces

I es primo f (I ) es primo
? Las restricciones de la proposicin anterior sobre
sobreyectividad y la contenencia del ncleo son fundamentales:
Consideremos la inclusin cannica

i : Z Q
k 7 k

0 es maximal en Q, pero i 1 (0) = 0 NO es maximal en Z.

Note que para

j : Z Z8
k hk i = k + h8i

h7i es max en Z, pero j (h7i) = Z8 .

ker(j ) = h8i No est contenido en h7i.
 Cada anillo posee al menos un ideal maximal.
Demostracin. Sean A un anillo y P el conjunto de ideales
bilteros propios de A ;
P , porque 0 P.
(P, ) es un CPO.
Sean S un subconjunto totalmente ordenado de P y
I0 := J S J
I0 es ideal biltero propio:
Sean a , b I0 entonces existen ideales bilteros J1 , J2 S
tales que a J1 , b J2 .Podemos suponer J1 J2
a + b J2 I0 .
Sea a J0 , x A , existe J S tales que a J
xa J I0 .
I0 es propio porque los elementos de P son ideales propios.
I0 es cota superior de S.
Por el Lema de Zorn, existe un ideal biltero I en P que es
elemento maximal respecto a la inclusin.
I es ideal maximal de A .