Teoremas de Isomorfismo

Jeanneth Galeano Pealoza

Universidad Nacional de Colombia

Segundo semestre de 2017
 Teoremas de Isomorfismo

grupos anillos

subgrupos normales ideales
Teorema
Si f : R S es un homomorfismo de anillos, I es un ideal de R,
I ker f , entonces existe un nico homomorfismo

f : R /I S

tal que f (a + I ) = f (a ) a R.
Im f = Im f ,
ker f = (ker f )/I,
f es un isomorfismo sii f es un epi y adems I = ker f .
Demostracin. Definimos

f : R /I S
a + I 7 f (a + I ) := f (a )

(i) Veamos que est bien definida.

Supongamos a + I = b + I, entonces b a I f (b a ) = 0
porque I ker f . Esto muestra que f (a ) = f (b ). X
(ii) f es homomorfismo de anillos. X
(iii) Im f = Im f . X
(iv)

ker(f ) = {a + I R /I : f (a + I ) = 0S }
= {a + I R /I : f (a ) = 0S }
= {a + I R /I : a ker(f )}
= ker(f )/I. X
(v) f es iso sii f es epi, I = ker f .
() Como ker f = I, entonces ker f = 0. f es mono. y
como f es epi f es epi.
() f es epi f es epi.

ker f = 0 (ker f )/I = 0 ker f = I .

Primer Teorema de Isomorfismo
Si f : R S es un homomorfismo de anillos, entonces f induce
un isomorfismo de anillos:

R / ker f  Im f .

Corolario
Si f : R S es un homomorfismo de anillos, I un ideal en R, J
un ideal en S tal que f (I ) J, entonces f induce un homomorfismo
de anillos

f : R /I S /J
a + I 7 f (a ) + J .

f es un iso sii Im f + J = S y f 1 (J ) I. En particular, si f es un epi

tal que f (I ) = J y ker f I, entonces f es un ISO.
Demostracin.
1) f est bien definido. Supongamos b a + I , i .e . b a I .

f (b a ) J .
f (b ) f (a ) J .
f (b ) f (a ) + J
f (b + I ) = f (b ) + J = f (a ) + J = f (a + I )

2) f es homomorfismo

f ((a + I )(b + I )) = f (ab + I ) = f (ab ) + J = f (a )f (b ) + J

= (f (a ) + J )(f (b ) + J ) = f (a + I)f (b + I).
3) f es iso Im f + J = S y f 1 (J ) I.
() Veamos que f es epi: Im f = S /J, en efecto:
() Sea r Im f i.e. r = f (a ) + J, algn a R

r Im f + J = S (hip).
r S /J .

() Sea r S /J i.e. r = s + J, algn s S = Im f + J, es decir

s = f (b ) + J algn b R, entonces

r = f (b ) + J + J
r = f (b ) + J Im f .
f es mono.

ker f = {a + I R /I : f (a + I ) = 0}
= {a + I R /I : f (a ) + J J
= {a + I R /I : f (a ) J }, por hiptesis f 1 (J ) I = a I
| {z }
a I
= I.
() supongamos que f es iso
ker f = I = {a + I : f (a ) + J J }

f 1 (J ) I. Sea y f 1 (J )
f (y ) J
f (y ) + J J
y ker f = I
f 1 (J ) I.

Si f es epi Im f = S /J
Entonces Im f + J = S.
4) En particular, si f es un epi tal que f (I ) = J, y ker f I,
entonces f es un iso.
Si f (I) = J entonces f 1 (J ) I f es mono.
 Teoremas de Isomorfismo

Sean I , J ideales en un anillo R.

Segundo teorema de isomorfismo

Existe un isomorfismo de anillos

I /(I J )  (I + J )/J .

Tercer teorema de isomorfismo

Si I J, entonces J /I es un ideal en R /I y existe un isomorfismo
de anillos
(R /I)/(J /I)  R /J .
Teorema de Correspondencia
Si I es un ideal en un anillo R, entonces existe una
correspondencia 1 1 entre el conjunto de todos los ideales de R
que contienen a I y el conjunto de todos los ideales de R /I, dada
por J J /I.
Por tanto todo ideal en R /I es de la forma J /I, donde J es un ideal
del R que contiene a I.
 Ejemplo

Imgenes homomorfas de Zm (m 2).

Las imgenes homomorfas de Zm son de la forma Zm /I, donde I
es ideal propio de Zm = Z/hmi, es decir I debe ser de la forma
I = hni/hmi, donde hmi hni, n , 1, i.e. n | m.

Zm /I = (Z/hmi)/(hni/hmi)  Z/hni = Zn , n | m, n , 1.
 Ejemplo

m = 6. ideales de Z6 = Z/h6i.

h2i/h6i = {0, 2, 4} = h2i

h3i/h6i = {0, 3} = h3i
h6i/h6i = {0} = h0i

Imgenes homomorfas de Z6

(Z/h6i)/(h2i/h6i)  Z2
(Z/h6i)/(h3i/h6i)  Z3
(Z/h6i)/(h6i/h6i)  Z6
 Teorema Chino de los Restos

Para n 2, n = p1r1 pkrk , pi primo, ri 1, 1 i k se tiene el

siguiente isomorfismo de grupos:

Zn  Zp r1 Zp rk .
1 k

es vlido como isomorfismo de anillos?

Primero necesitamos definir el producto de anillos.

Producto de una familia finita de anillos {A1 , . . . , An }.

+ (a1 , . . . , an ) + (b1 , . . . , bn ) = (a1 + b1 , . . . , an + bn )

(a1 , . . . , an ) (b1 , . . . , bn ) = (a1 b1 , . . . , an bn ).
Qn
este anillo se denota i =1 Ai anillo producto.
Qn
Las ideales izq. (der, bi) de i =1 Ai son de la forma

I1 In donde cada Ii es ideal izq. (der, bi) de Ai .

Si I1 , . . . , In son ideales bilteros propios de A1 , . . . , An ,

respectivamente, entonces

A1 An /I1 In  (A1 /I1 ) (An /In )

 Teorema Chino de los Restos

Sea A un anillo y sean I1 , . . . , In , n 2 ideales bilteros de A tales

que Ii + Ij = A i , j. Entonces, dada una familia finita de
elementos a1 , . . . , an A , existe un elemento a A , tal que
a ai Ii para cada 1 i n. // a ai (mod Ii ).

Cmo el T. Chino de los Restos responde la pregunta????

Podemos definir
n
Y
f : A A /Ii
i =1
a 7 f (a ) := (a , . . . , a ),

donde a = a + Ii . f es un homomorfismo sobre.

Dado (a1 , . . . , an ) ni=1 A /Ii , (ai = ai + Ii ), por el T. Chino de los
Q
Restos existe a A tal que

a ai Ii
a ai = ai + Ii
a = a + Ii = ai = ai + Ii ,

es decir, (a1 , . . . , an ) = (a , . . . , a ) = f (a ).
Adems

ker f = {a A |f (a ) = 0}
n
\
= Ii .
i =1

Por ltimo,
A / ker f  Im f ,
es decir,
n
\ n
Y
A/ Ii  A /Ii
i =1 i =1
Entonces, si consideramos

n = p1r1 pkrk

y los ideales Ii := hpiri i, entonces ni=1 Ii = hm.c .m{piri }i = hni, y

Zn  Zp r1 Zp rk
1 k

como anillos!
 Demostracin del T. Chino de los Restos
Sean I1 , I2 ideales de A tales que I1 + I2 = A , y sean a1 , a2
elementos de A . Existen b1 I1 , b2 I2 tales que 1 = b1 + b2 .
a := a2 b1 + a1 b2 satisface la condicin, en efecto:
a a1 = a2 b1 + a1 (b2 1)
= a2 b1 + a1 (b1 )
= (a2 a1 )b1 I1

Similarmente
a a2 I2 .
Sean I1 , . . . , In ideales de A , a1 , . . . , an elementos de A que
satisfacen las hiptesis del teorema.
Para i 2 existen
x1 I1 , bi Ii tales que x1 + bi = 1.
| {z }
I1 +Ii
Entonces el producto ni=2 (x1 + bi ) = 1 y este producto est en el
Q
ideal I1 + ni=2 Ii
Q
Por lo demostrado para dos ideales, existe z1 A tal que
z1 1 I1 y z1 0 ni=2 Ii .
Q
Pero como ni=2 Ii i = 2, , n
Q

z1 1 I1
z1 0 Ij j = 2, , n.

Podemos repetir la prueba para las parejas de ideales

(I2 , i ,2 Ii ), . . . , (In , i ,n Ii ), y hallamos elementos z2 , . . . , zn tales
Q Q
que zj 1 Ij y zj Ii i , j. Entonces el elemento buscado es
a := a1 z1 + + an zn .

a ai = a1 z1 + + ai 1 zi 1 +ai (zi 1) +ai +1 zi +1 + + an zn

|{z} |{z} | {z } |{z} |{z}
I i I i I i I i I i

a ai Ii , para 1 i n.
Corolario
Sean A , I1 , . . . , In como en el teorema anterior. Entonces
(i) La funcin definida por
n
Y
f : A A /Ii
i =1
a 7 f (a ) := (a , , a ) a := a + Ii

es un homomorfismo sobre de anillos.

(ii) ker(f ) = ni=1 Ii
(iii) A / ni=1 Ii  A /Ii .
Qn
i =1