EJERCICIO 1.

Comprueba el segundo teorema de isomorfismo

(G / N )/( H / N )≃G / H
describiendo los grupos cociente, para los siguientes casos: ( se
supone sabido que H y N son subgrupos normales de G )

G= D4= {1, f , f , f , g , g ∘ f , g ∘ f , g ∘ f }
2 3 2 3
a) ,
H = {1 , f , g , g ∘ f } y N = {1 , f } .
2 2 2

f =giro 2 π /4, g =Simetría .

G= 〈 a 〉 , o(G )=12 H =〈 a 〉 N =〈 a 〉
2 6
b) , ,

1/5
SOLUCIÓN:
G= D4= {1, f , f , f , g , g ∘ f , g ∘ f , g ∘ f }
2 3 2 3
a) ,
H = {1 , f , g , g ∘ f } y N = {1 , f } .
2 2 2

f =giro 2 π /4, g =Simetría .

__________________________________________________________________
Calculamos en primer lugar los elementos de G / N que serán
4, puesto que o( N )=2 :

1 N = {1, f }= f N
2 2
A1 :
fN = { f , f }= f N
3 3
A2 :
gN = { g , g ∘ f }=( g ∘ f ) N
2 2
A3 :
( g ∘ f ) N = { g ∘ f , g ∘ f }=(g ∘ f ) N
3 3
A4 :

Tener en cuenta f 4 =1

2/5
SOLUCIÓN:
G= D4= {1, f , f , f , g , g ∘ f , g ∘ f , g ∘ f }
2 3 2 3
a) ,
H = {1 , f , g , g ∘ f } y N = {1 , f } .
2 2 2

f =giro 2 π /4, g =Simetría .

__________________________________________________________________
Los elementos de H / N , que serán 2:
N = {1, f }= f N
2 2
B1 :
gN = { g , g ∘ f }=( g ∘ f ) N
2 2
B2 :

Veamos los 2 elementos de G/ H :

H = {1 , f , g , g ∘ f }= f H =g H =(g ∘ f ) H
2 2 2 2
C1 :
fH = { f , f , g ∘ f , g ∘ f }= f H =(g ∘ f ) H =( g ∘ f ) H
3 3 3 3
C 2:

Luego G/ H es cíclico de orden 2.

3/5
SOLUCIÓN:
G= D4= {1, f , f , f , g , g ∘ f , g ∘ f , g ∘ f }
2 3 2 3
a) ,
H = {1 , f , g , g ∘ f } y N = {1 , f } .
2 2 2

f =giro 2 π /4, g =Simetría .

__________________________________________________________________
Teniendo en cuenta que los elementos de ( H / N )= { B 1 , B 2 }
y los de (G / N )={ A1 , A2 , A3 , A 4 }
Estudiamos (G / N )/(H / N ): que es de orden 2.

D1 : A1 ( H / N )=A 4 (H / N )= { A1 , A3 }
D2 : A 2 (H / N )= A3 ( H / N )= { A 2 , A 4 }

Luego (G / N )/( H / N ) cíclico de orden 2, como antes G/ H

En conclusión ambos isomorfos.

4/5
b) G= 〈 a 〉 , o(G )=12 , H = a , N = a 〈 2〉 〈 6〉
_________________________________________________________________

H = 〈 a 〉 = {1, a , a , a , a , a } N = 〈 a 6 〉 = {1 , a 6 }
2 2 4 6 8 10

Comprobamos: G / H ={ H , a H } Cíclico de orden 2.

G / N ={ N , a N , a N , a N , a N , a N }
2 3 4 5
Por otro lado:

H / N ={ N , a N , a N }
2 4
Además:

(G / N )/( H / N )= {{ N , a N , a 2 N }{ a 3 N , a 4 N , a 5 N }}= { N ( H / N ) , a N (H / N ) }
Cíclico de orden 2, como lo es G / H .
Por tanto, isomorfos.

5/5