lgebra Moderna I

Unidad 3 Evidencia de Aprendizaje

TEOREMAS PRINCIPALES
8 de diciembre de 2015
Autor: Laura Pontn

lgebra Moderna I
Unidad 3 Evidencia de Aprendizaje
i.- Sea un homomorfismo de G G'.
Demuestre o de un contraejemplo de las siguientes afirmaciones:

a) Si G tiene slo 8 elementos, la imagen de puede tener 6 elementos?.

La imagen por un homomorfismo es un subgrupo el subgrupo cociente de por el ncleo del homomorfismo, por
tanto la imagen debe ser un divisor el orden de G y como 6 no lo es sera imposible..
Por lo tanto, como decia, la imagen es isomorfa a G/K que es un subrupo de G y por lo tanto el orden de la
imagen debe dividir a 8, puede ser, 8,4,2,1, pero no puede ser 6, tal que | / | = || / ||
b) Si G tiene 10 elementos, la imagen puede tener 12 elementos?.
El b es falso, la imagen podr tener como mucho 10 elementos
c) Existe algn homomorfismo de un grupo de 12 elementos a un grupo de 24 elementos?.
Por supuesto que s, siempre podremos elegir el homorfismo que manda todos los elementos del de 12 al
elemento neutro del de 24

lgebra Moderna I | 08/12/2015

13.12 Sea G un grupo.

a) Si : es un homomorfismo y (, ) = mientras que (, ) = ,
encuntrese (, ).

Usar notacin para la suma en y multiplicativa en G

Por ser un homomorfismo ((, ) + (, )) = (, ) (, )
(, ) = ((, 0) + (0, )) = (, 0) (0, )
Y
(, 0) = (1,0) + (1,0) + + (1,0) m veces
Por lo que (, 0) = (1,0) (1,0) (1,0) =
Y
(0, ) =
Luego se sigue que (, ) =

b) Sean , y sea : definido por (, ) = . Dse una condicin

necesaria y suficiente, incluyendo a h y k para que sea un homomorfismo. Prubese la
condicin.
Entonces sera demostrar esto
Sean , y sea : definido por (, ) = , es homomorfismo (1, 0) =
y (0, 1) =

La clave est en observar que phi(1,0)+phi(0,1)=phi(1,1)=phi(0,1)+phi*1,0)

Tal vez si lo planteamos de este modo
Pues tal como hemos visto en el inciso anterior, tal que la condicin fuese (1, 0) = 1 0 =
Sea un homomorfismo, utilizando la notacin para la adicin en
Tenemos que
(1,1) = (1,0) + (0,1) = (1,0) + (0,1) =
(1,1) = (0,1) + (1,0) = (0,1) + (1,0) =

Si es un homomorfismo, =
Inversamente, supongamos que = para cualquier (, ) (, ) en
tenemos que ((, ) + (, )) = ( + , + ) = + + =
as que por conmutatividad de h y k = = (, )(, )

es un homomorfismo =

c) Encuntrese una condicin necesaria y suficiente en G tal que la transformacin descrita en la

parte b) sea un homomorfismo para cualquier seleccin de h, k G.
Sea K el ncleo del homomorfismo = {(, ) | = }, ( )/K ( )
Luego es condicin necesaria que G contenga un grupo isomorfo a ( )/K

Demostracin:
)
Por el teorema fundamental del homomorfismo ( ) ( )/K luego G debe tener un subgrupo
isomorfo a ( )/K
Como ya sabemos que ( ) es conmutativo, ( )/K es conmutativo y ( ) es conmutativo.
Como = h1k0 ( )
Como = h0k1 ( )
=
)
(, ) (, ) ( )
((, ) + (, )) = ( + , + ) = hm+pkn+q =
como h y k conmutan podemos llegar a ponerlo en esta forma

lgebra Moderna I | 08/12/2015

Diremos:
Sean , y sea : definido por (, ) = , es un homomorfismo :
i)
El subgrupo ( ) de G es isomorfo a ( )/K, donde K es el ncleo de
ii)
y como ya vimos del inciso anterior h y k conmutan, =

=(hmkn)(hpkq) = (, ) (, )
Luego ((, ) + (, )) = (, ) (, ) es un homomorfismo.
Lo que he hecho est bien, pero no estoy segura que sea lo que se pide.

13.16. Determnese cuando es un isomorfismo

Sean y grupos y sean : : homomorfismos, tales que =
= donde I es la transformacin identidad; esto es, : :
son ambos la transformacin identidad.
Mustrese que tanto , como son isomorfismos de con y que = ( )
Como sucede que tanto 1, como 2 son biyectivos, es 2 1 | , 1 .
(2 1 )(, ) = 2 ( 1 ( )) = 2 ( 1 () 1 ( )) = 2 (( 1 ()) 2 ( 1 ( ))) =
(2 1 )()(2 1 )() 2 1 es un isomorfismo y el isomorfismos es 1
2 1

15. 4 Sean K y L subgrupos normales de G con = = {}

Mustrese que / /
Sea por el Segundo Teorema de Isomorfismo

Entonces como = = = = por lo que por el segundo teorema de

ismorfismo / = / K/(K L) = K/{e} K i.e. que lo mismo sucede para el otro
sentido | / = / /( ) = L/{e} L
v.- 15.8 Reptase el ejercicio 15.7 para el grupo con = =
a) Lstense los elementos en HN (que podemos escribir H+N para estos grupos aditivos)
y en HN
= {0,3,6,9,12,15,18,21,24,27,30,33}

lgebra Moderna I | 08/12/2015

b) Lstense las clases laterales en HN/N mostrando los elementos en cada clase lateral

0 + = {0,9,18,27}
3 + = {3,12,21,30}
6 + = {6,15,24,33}
c) Lstense las clases laterales en /( ) mostrando los elementos en cada clase
lateral.
0 + ( ) = {0,18}
6 + ( ) = {6,24}
12 + ( ) = {12,30}

d) Dse la correspondencia entre / y /( ) descrita en la demostracin del

teorema 15.2
Sea por el Segundo Teorema de Isomorfismo

(0 + ) = 0 + ( )
(3 + N) = 12 + ( )
(6 + N) = 6 + ( )
15.10 Reptase el ejercicio 15.9 para el grupo con = =
a) Lstense las clases laterales en G/H exhibiendo los elementos en cada clase lateral
0+
1+
2+
3+
4+
5+
6+
7+
8+

= {0,9,18,27},
= {1,10,19,28}
= {2,11,20,29},
= {3,12,21,30}
= {4,13,22,31},
= {5,14,23,32}
= {6,15,24,33},
= {7,16,25,34}
= {8,17,26,35}

0 + = {0,18}
1 + = {1,19}
2 + = {2,20}
3 + = {3,21}
4 + = {4,22}
5 + = {5,23}
6 + = {6,24}
7 + = {7,25}
8 + = {8,26}
9 + = {9,27}
10 + = {10,28}
11 + = {11,29}
12 + = {12,30}
13 + = {13,31}
14 + = {14,32}
15 + = {15,33}
16 + = {16,34}
17 + = {17,35}

lgebra Moderna I | 08/12/2015

b) Lstense las clases laterales en G/K exhibiendo los elementos en cada clase lateral

c) Lstense las clases laterales en / exhibiendo los elementos en cada clase lateral.
0 + = {0,18}
9 + = {9,27}
d) Lstense las clases laterales en (/)/(/)exhibiendo los elementos en cada clase
lateral
(0 + ) + /
(1 + ) + /
(2 + ) + /
(3 + ) + /
(4 + ) + /
(5 + ) + /
(6 + ) + /
(7 + ) + /
(8 + ) + /

= {0 + , 9 + } = {{0,18}, {9,27}}
= {1 + , 10 + } = {{1,19}, {10,28}}
= {2 + , 11 + } = {{2,20}, {11,29}}
= {3 + , 12 + } = {{3,21}, {12,30}}
= {4 + , 13 + } = {{4,22}, {13,31}}
= {5 + , 14 + } = {{5,23}, {14,32}}
= {6 + , 15 + } = {{6,24}, {15,33}}
= {7 + , 16 + } = {{7,25}, {16,34}}
= {8 + , 17 + } = {{8,26}, {17,35}}

lgebra Moderna I | 08/12/2015

e) Dse la correspondencia entre / y (/)/(/) descrita en la demostracin del

teorema 15.3

(0 + ) = (0 + ) + /
(1 + ) = (1 + ) + /
(2 + ) = (2 + ) + /
(3 + ) = (3 + ) + /
(4 + ) = (4 + ) + /
(5 + ) = (5 + ) + /
(6 + ) = (6 + ) + /
(7 + ) = (7 + ) + /
(8 + ) = (8 + ) + /