Lea con atencin las siguientes preguntas y utilice los materiales vistos en la

unidad para responderlas. En caso de hacer uso de algn teorema visto o algn
resultado trabajado, mencione explcitamente el material utilizado.

1) Para el grupo cclico de orden 36 generado por muestre que 4 genera un

subgrupo invariante.

Si partimos del concepto de que todo grupo cclico es abeliano, entonces dicho
grupo es invariante, ya que todo grupo abeliano es invariante.

Es decir si tenemos un grupo (, +), tal que , , + = + , es decir

todo subgrupo de un grupo abeliano es invariante, es decir:
+ = + ,
Dado que el grupo cclico de orden 36 es generado por , entonces tenemos
que = { | }, entonces el grupo G es cclico si existe tal que =
. Entonces 4 es un subgrupo cclico, entonces tiene las mismas
caractersticas que el grupo.

Dado que {, 2 , 3 , 4 = } claramente es invariante, ya que:

1 =
2 =
3 = 2
4 = 3

Si consideramos a 4 como generador de un grupo, este al ser cclico es

abeliano, y por definicin si es abeliano es invariante.
2) De una lista de los grupos de orden 8 y muestre por que no son isomorfos.
La descomposicin en factores del 8 es:
2 2 2 = 8,
(i) El primero ser 8
(ii) El segundo ser 2 4
(iii) El tercero ser 2 2 2

La tabla de Cayley de 4
0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

Si tenemos 4 2
(0,0) (0,1) (0,2) (0,3) (1,0) (1,1) (1,2) (1,3)
(0,0) (0,0) (0,1) (0,2) (0,3) (1,0) (1,1) (1,2) (1,3)
(0,1) (0,1) (0,2) (0,3) (0,0) (1,1) (1,2) (1,3) (1,0)
(0,2) (0,2) (0,3) (0,0) (0,1) (1,2) (1,3) (1,0) (1,1)
(0,3) (0,3) (0,0) (0,1) (0,2) (1,3) (1,0) (1,1) (1,2)
(1,0) (1,0) (1,1) (1,2) (1,3) (0,0) (0,1) (0,2) (0,3)
(1,1) (1,1) (1,2) (1,3) (1,0) (0,1) (0,2) (0,3) (0,0)
(1,2) (1,2) (1,3) (1,0) (1,1) (0,2) (0,3) (0,0) (0,1)
(1,3) (1,3) (1,0) (1,1) (1,2) (0,3) (0,0) (0,1) (0,2)

Entonces 4 2 y 2 2 2 no tienen elementos de orden8, entonces no

pueden ser isomorfos, adems de que 2 2 2 no tienen ningn elemento
de orden 2, mientras que 4 2 tiene elemento de orden 4
Sea un grupo abeliano. Probar que : dada por () = 2 es un
homomorfismo y que si es un grupo finito de orden impar, es un
isomorfismo.