Karla Judith Andrew Mndez.

AL12509552.

1.- La aplicacin : es un isomorfismo

Tenemos que:

Entonces se tiene que el homomorfismo ((, )) = (, ) ya que es

homomorfismos para y tambin para siendo:

((, )( , )) = (, )()

Por lo tanto

((, )( , )) = (( , )) = ( , )
 (, )( ) = (, )( , ) = ( , )

Tenemos entonces que es un homomorfismo.

Para que:

Sea un isomorfismo, sabemos que una caracterstica principal de

isomorfismo es que sea biyectiva, entonces:

Para todo:

( , )

Existe:

( , ) |(( , )) = ( , )

Teniendo ( , ) y a travs del isomorfismo podemos ver que este

conmuta en los pares ordenados para cada uno de los elementos que se
tienen.

Comprobando que tiene la caracterstica de ser una biyeccion entonces se

trata de un isomorfismo

1.- {1} y {1} son subgrupos normales de

2.- La interseccin de es {(1,1)}
3.- Los elementos (, 1), (1, ) conmutan
Tenemos que los elementos h y k pertenecen a

(, 1) {1}

(1, ) {1}
Para los dos subgrupos normales se debe cumplir que:

(, )(, 1)(1 , 1 ) = (, )(1 , 1 ) = (, 1) {1}

Siendo:

{1}

(, ) y (1, ) {1} (, )(1, )(1 , 1 ) = (, )(1 , 1 ) =

(1, ) {1}

Luego para:

{1}

Que generan

Para todo y para todo se cumple que:

(, 1)(1, ) = (, )

Por lo que:

{1}

{1}

Esto no se cumple pues:

(, 1) y (1, )

Pero al existir la identidad (1) en ambos casos

(1,1)

(1,1)

Ya que 1 es nico elemento que tienen en comn

Donde

(, 1)(1, ) = (1,1) = (, ) y (1, )(, 1) = (1, 1) = (, )

Por lo que podemos ver que:

(, 1) (1, ) Conmutan
1.- G y H son grupos cclicos de orden 2 y 3
2.- Orden de
Tenemos entonces que:

2 3

Dnde:

2 = (0,1) 3 = (0,1,2)

Entonces:

2 3 = {(0,0), (0,1), (0,2), (1,0), (1,1), (1,2)}

Realizando la tabla

* (0,0) (0,1) (0,2) (1,0) (1,1) (1,2)

(0,0) (0,0) (0,1) (0,2) (1,0) (1,1) (1,2)
(0,1) (0,1) (0,2) (0,0) (1,1) (1,2) (1,0)
(0,2) (0,2) (0,0) (0,1) (1,2) (1,0) (1,1)
(1,0) (1,0) (1,1) (1,2) (0,0) (0,1) (0,2)
(1,1) (1,1) (1,2) (1,0) (0,1) (0,2) (0,0)
(1,2) (1,2) (1,0) (1,1) (0,2) (0,0) (0,1)

Podemos observar que el elemento neutro es (0,0) siendo si simtrico:

(0,0)= (0,0)

(0,1)= (0,2)= (0,1)

(1,0)= (1,0)

(1,1)=(1,2)(1,2)=(1,1)#

Obtenemos el orden de cada elemento, tenemos que se trata de un grupo de

orden 6.

Aplicando el teorema de Lagrange para los grupos finitos, se puede decir que
el orden de cada elemento puede ser divisor del orden de grupo, pues las
nicas posibilidades son 1, 2, 3, 6
Luego para encontrar el orden tenemos:

() =

Siendo k la menor potencia natural no nula que nos da el elemento neutro,

siendo el orden de cada elemento el siguiente:

* (0,0) (0,1) (0,2) (1,0) (1,1) (1,2)

Orden 1 3 3 2 6 6

Podemos ver que existen dos elementos que coinciden con el orden del
grupo, por lo cual se puede concluir que el grupo es cclico, teniendo dos
generadores los cuales son:

* (0,0) (0,1) (0,2) (1,0) (1,1) (1,2)

Orden 1 3 3 2 6 6

2 3 = (1,1) = (1,2)

Por lo que:

2 3

Tenemos que los 2 son de orden 4:

2 2 = (0,0), (0,1), (1,0), (1,1)
Ya que:
2 = (0,1) 2 = (0,1)
Grupo de Klein:
2 2 = (0,0), (0,1), (1,0)(1,1)
Ya que
2 = (0,1) 2 = (0,1)

Entonces:
= (0, 1)
Es el nico elemento en de orden 2 y:
 = (0, 1)
Es el nico elemento en 2 2 de orden 2
Luego podemos ver que sus elementos en comn son 1 y por isomorfismo
tenemos que es isomorfo tambin al grupo de Klein 2 2

Entonces:

2 2 Son isomorfos