EJERCICIO 3:

Sea H subgrupo normal del grupo G , y H ' subgrupo normal

del grupo G ' . Demostrad que si se cumplen 2 cualesquiera de las
isomorfías siguientes no necesariamente se verifica la otra.
(1) G≃G ' (2) H ≃H ' (3) G / H ≃G ' / H '

1/4
SOLUCIÓN:(1) G≃G ' (2) H ≃H ' (3) G / H ≃G ' / H '
_________________________________________________________________

a)

Vemos que (1) y (2) no implica (3):

G=G ' =ℤ luego se cumple (1)

H =2 ℤ H ' =3 ℤ
f :H →H': f (2n)=3n isomorfismo: H ≃ H ' luego (2)

G / H =ℤ/2 ℤ G ' / H ' =ℤ/3 ℤ son cíclicos de distinto orden,

luego no se cumple (3)

2/4
SOLUCIÓN:(1) G≃G ' (2) H ≃H ' (3) G / H ≃G ' / H '
_________________________________________________________________

b)
(2) y (3) no implica (1)

G=ℤ/ 2 ℤ×ℤ/2 ℤ G ' =ℤ/4 ℤ NO (1) Teorema Estructura.

H =ℤ/2 ℤ× {̄0 +2 ℤ }= {( ̄0+2 ℤ , ̄0+2 ℤ) ,( ̄1+2 ℤ , ̄0+2 ℤ) }

H ' = {̄0+4 ℤ , ̄2 +4 ℤ }
ambos cíclicos de orden 2, luego se cumple (2)

G / H ={ ℤ/2 ℤ× {̄0+2 ℤ } , ℤ/ 2 ℤ× {̄2+2 ℤ} }

G ' / H ' = { {̄0 +2 ℤ , ̄2+2 ℤ } , {̄1+2 ℤ , ̄3+2 ℤ }}
también cíclicos de orden 2. Luego (3)

3/4
SOLUCIÓN:(1) G≃G ' (2) H ≃H ' (3) G / H ≃G ' / H '
_________________________________________________________________

c)
(1) y (3) no implica (2)

G=G ' =ℤ/ 4 ℤ×ℤ/2 ℤ (1)

H = {̄0+4 ℤ , ̄2 +4 ℤ }×ℤ/2 ℤ isomorfo a ℤ/2 ℤ×ℤ/2 ℤ

H ' =ℤ/4 ℤ× {̄0 +2 ℤ } isomorfo a ℤ/4 ℤ
Luego no se cumple (2)

G / H = {{ ̄0 , ̄2 }×ℤ/2 ℤ , {̄1 , ̄3 }×ℤ/ 2 ℤ }

G ' / H ' = {ℤ/ 4 ℤ× {̄0 } , ℤ/ 4 ℤ× {̄1 } }
Ambos cíclicos de orden 2, luego se cumple (3)

4/4