Capítulo 7

Subgrupos Normales

7.1. Subgrupos Normales

Para ilustrar el concepto de subgrupo normal, consideremos:

H = {ρ0 , ρ1 , ρ2 } ≤ S 3

Calculemos todos los productos posibles de la forma ghg−1 con g ∈ S 3 y h ∈ H.

Por ejemplo:

Si g = ρ0 ⇒ ρ0 · ρ0 · ρ−1 −1 −1
0 = ρ0 , ρ0 · ρ1 · ρ0 = ρ1 , ρ0 · ρ2 · ρ0 = ρ2

Si g = ρ1 ⇒ ρ1 · ρ0 · ρ−1 −1 −1
1 = ρ0 , ρ1 · ρ1 · ρ1 = ρ1 , ρ1 · ρ2 · ρ1 = ρ2

Si g = ρ2 ⇒ ρ2 · ρ0 · ρ−1 −1 −1
2 = ρ0 , ρ2 · ρ1 · ρ2 = ρ1 , ρ2 · ρ2 · ρ2 = ρ2

Si g = µ1 ⇒ µ1 · ρ0 · µ−1 −1 −1
1 = ρ0 , µ1 · ρ1 · µ1 = ρ2 , µ1 · ρ2 · µ1 = ρ1

Si g = µ2 ⇒ µ2 · ρ0 · µ−1 −1 −1
2 = ρ0 , µ2 · ρ1 · µ2 = ρ2 , µ2 · ρ2 · µ2 = ρ1

Si g = µ3 ⇒ µ3 · ρ0 · µ−1 −1 −1
3 = ρ0 , µ3 · ρ1 · µ3 = ρ2 , µ3 · ρ2 · µ3 = ρ1

Observe que todos los productos de la forma ghg−1 con g ∈ S 3 y h ∈ H caen siempre en H.
Por otro lado si tomamos el subgrupo K = {ρ0 , µ1 } y repetimos el proceso anterior, hay productos
de la forma gkg−1 con g ∈ S 3 y k ∈ K que no están en K.
Por ejemplo ρ1 · µ1 · ρ−1
1 = µ2 < K.
Los subgrupos con la propiedad anterior, son subgrupos normales.

49
 50

Definición 7.1. Un subgrupo N de G se llama subgrupo normal de G o invariante, si para todo g ∈ G

y todo n ∈ N se cumple que gng−1 ∈ N.
Para notar que N es subgrupo normal, escribimos N △ G.
n o
Observación 26. 1. Como gNg−1 = gng−1 : g ∈ G y n ∈ N entonces:

N es normal de G⇔gNg−1 ⊆ N

2. Si cambiamos g con g−1 en la inclusión anterior obtenemos:

 −1
g−1 N g−1 = g−1 Ng ⊂ N

∴ N △ G ⇔ g−1 Ng ⊂ N

3. El hecho que gng−1 ∈ N no significa que gng−1 = n ∀n ∈ N, sino que gng−1 = n1 ∈ N.

Ejemplo 60. 1. H = {ρ0 , ρ1 , ρ2 } es subgrupo normal de S 3 , pero {ρ0 , µ1 } no lo es.

2. Si G es abeliano y N ≤ G, entonces ∀g ∈ G y ∀n ∈ N.

gng−1 = gg−1 n = en = n ∈ N

y en consecuencia N △ G.

“Todo subgrupo de un grupo abeliano es Normal”.

Teorema 7.1. Si G es un grupo y N ≤ G, entonces las afirmaciones siguientes son equivalentes:

i) N △ G.

ii) Para todo g ∈ G se cumple gNg−1 = N.

iii) Para todo g ∈ G se cumple gN = Ng.

iv) Para todo g, h ∈ G se cumple Ng · Nh = Ngh y gN · hN = ghN.

Demostración.

i) ⇒ ii) Sea N △ G, entonces para todo g ∈ G tenemos que gNg−1 ⊂ N. Ahora consideremos la
   
igualdad N = eNe = g g−1 Ng g−1 , como g−1 Ng ⊂ N, entonces g g−1 Ng g−1 ⊂ gNg−1 , de
donde concluimos que N ⊂ gNg−1 .

En conclusión gNg−1 = N.
 51
 
ii) ⇒ iii) Sea Ng una clase lateral derecha. Como gNg−1 = N entonces gNg−1 g = Ng, osea gNe = Ng
de donde gN = Ng.

iii) ⇒ iv) Sean g, h ∈ G entonces de la hipótesis tenemos gN = Ng y hN = Nh.

Probemos que NgNh ⊆ Ngh.

Sea x ∈ NgNh, existen n1 , n2 ∈ N tales que x = (n1 g) (n2 h). x = n1 (gn2 ) h. Como
gn2 ∈ gN = Ng, existen n3 ∈ N tal que gn2 = n3 g. Luego x = n1 n3 gh = n (gh) donde
n = n1 n3 ∈ N. de ahí que x ∈ Ngh.

Probemos que Ngh ⊂ NgNh.

Sea x ∈ Ngh, existe n4 ∈ N tal que x = n4 gh = (n4 g) (eh) ∈ NgNh y por tanto Ngh ⊂
NgNh.
 
iv) ⇒ i) Sea g ∈ G y n ∈ N, entonces gng−1 = (eg) ng−1 así gng−1 ∈ NgNg−1 , de lo anterior y por
hipótesis tenemos que gng−1 ∈ Ngg−1 = Ne = N. Entonces gNg−1 ⊂ N. ∴ N △ G.

Ejemplo 61. 1. Sea G un grupo y N un subgrupo de G. Entonces N △ G si y solo si (∀a, b ∈

G)(ab ∈ N ⇒ ba ∈ N) .

⇒) Supongamos que ab ∈ N, luego existe n ∈ N tal que n = ab, de ahí que a = nb−1 , esto es
a ∈ Nb−1 . Como N △ G, entonces Nb−1 = b−1 N, y por tanto a ∈ b−1 N, esto es, existe n1 ∈ N
tal que a = b−1 n1 y por tanto n1 = ba. Esto significa que ba ∈ N.

⇐) Supongamos que ab ∈ N ⇒ ba ∈ N y sean n ∈ N y g ∈ G, entonces:

 
n = e · n = g−1 g n = g−1 (gn) = (gn) g−1

n = gng−1

Es decir gNg−1 = N.

2. Sea Z(G) = {x ∈ G : gx = xg; ∀g ∈ G} el centro de G. Demostrar que Z(G) △ G.

a) Probemos que Z(G) ≤ G.

Z(G) ⊆ G por definición.

Z(G) , ∅ pues e ∈ Z(G) ya que eg = ge ∀g ∈ G.
52

Sean a, b ∈ Z(G), entonces ga = ag y gb = bg ∀g ∈ G. g(ab) = (ga)b = (ag)b =

a(gb) = a(bg) = (ab)g luego ab ∈ Z(G).
Sea a ∈ Z(G), entonces ga = ag ∀g ∈ G.
Luego a−1 (ga)a−1 = a−1 (ag)a−1 entonces (a−1 g)(aa−1 ) = (a−1 a)(ga−1 ), así a−1 g =
ga−1 . Esto es a−1 ∈ Z(G).

b) probemos que Z(G) △ G.

Si g ∈ G y a ∈ Z(G), entonces ag = ga. Luego gag−1 = agg−1 = ae = a ∈ Z(G), esto es
gag−1 ∈ Z(G). Por lo tanto, Z(G) △ G.

Teorema 7.2. Sea G un grupo, K ≤ G y H △ G, entonces

1. HK ≤ G.

2. H ∩ K △ K.

Además si K △ G, entonces:

3. H ∩ K △ G.

4. Si H ∩ K = {e} entonces (∀n ∈ H) (∀k ∈ K) (hk = kh).

Demostración. 1. Por el teorema 6.7 basta probar que HK = KH.

Sea x ∈ HK, entonces x = hk para k ∈ K y h ∈ H. Luego k−1 x = k−1 hk ∈ H, pues H △ G, existe

un h1 ∈ H tal que k−1 x = h1 , luego x = kh1 ; de ahí que x ∈ KH. ∴ HK ⊆ KH.

De forma análoga probamos que KH ⊆ HK. Por lo tanto HK = KH. De lo cual, HK es

subgrupo de G.

2. Sea k ∈ K y x ∈ H ∩ K, entonces x ∈ H y x ∈ K. Luego, como H △ G, tenemos que kxk−1 ∈ H.

Además como x ∈ K entonces kxk−1 ∈ K. De ahí que kxk−1 ∈ H ∩ K.

∴ H ∩ K △ K.

Nota: Es fácil probar que H ∩ K ≤ K.

3. Sea g ∈ G y x ∈ H ∩ K, entonces x ∈ H y x ∈ K. Como H △ G y x ∈ H, entonces gxg−1 ∈ K.

Luego gxg−1 ∈ H ∩ K.

∴ H ∩ K △ G.
 53

4. Sea x = hkh−1 k−1 donde h ∈ H y k ∈ K.

Como H △ G y K △ G, entonces hkh−1 ∈ K y kh−1 k−1 ∈ H de donde x ∈ H y x ∈ K, luego

x ∈ H ∩ K = {e}. Por lo tanto, hkh−1 k−1 = e, de donde hk = kh.


7.2. Grupo Cociente

Sea G un grupo y N △ G. Al conjunto de todas las clases laterales derechas (ó izquierdas) de N en

G lo denotaremos por GN. Es decir:

GN = {Na : a ∈ G} = {[a]N : a ∈ G}

Recordemos que Na = {na : n ∈ N} = {x ∈ G : x ≡ a(mod N)}.

Definamos el producto de clases laterales así: si Na, Nb ∈ GN, entonces:

(Na) (Nb) = N (ab)

Teorema 7.3. Si N es un subgrupo normal de grupo G, entonces GN es un grupo bajo la operación
definida por (Na) (Nb) = N (ab).
Además, si G es abeliano, entonces GN también lo es.

Demostración. i) Veamos que la operación es binaria.

Probemos que Na = Nc y Nb = Nd implica que Nab = Ncd.

De la hipótesis NaNb = NcNd. Como N △ G, del teorema 7.1 tenemos que, Nab = Ncd.

∴ la operación esta bien definida.

ii) Veamos que la operación es asociativa.

Sean Na, Nb, Nc ∈ GN, entonces:

Na (NbNc) = NaNbc = Na (bc) = N (ab) c = NabNc = (NaNb) Nc.

∴ La operación es asociativa.

iii) Existencia del neutro.

Existe Ne = N ∈ GN tal que para todo Na ∈ GN se cumple NeNa = Nea = Na y
NaNe = Nae = Na.

∴ N = Ne es el neutro.
54

iv) Existencia del inverso.

Para cada Na ∈ GN, existe Na−1 ∈ GN tal que NaNa−1 = Naa−1 = Ne = N. ∴ El inverso
de Na es Na−1 .
∴ GN es un grupo. 

Definición 7.2. El grupo GN se denomina grupo cociente de G por N.

Observación 27. 1. Si N △ G y k ∈ Z entonces (Na)k = Nak





 NaNa · · · Na = Nak si k > 0

(Na)k = 

(Na)0 = Ne = Na0 si k = 0



  −k
Na−1


 si k < 0

2. El orden GN es el índice de N en G, es decir:

|G|
|GN| = iG (N) =
|N|
Cuando G es finito.

3. Si G es abeliano, entonces GN es abeliano. Sean Na, Nb ∈ GN, entonces NaNb = Nab =
Nba = NbNa.

4. |G {e}| = |G|  |{e}| = |G|, cuando G es finito.

Ejemplo 62. 1. Bajo la suma, como Z es abeliano, entonces 3Z △ Z. Las clases laterales derechas
son:

3Z + 0 = {3z : z ∈ Z} = [0]3
3Z + 1 = {3z + 1 : z ∈ Z} = [1]3
3Z + 2 = {3z + 2 : z ∈ Z} = [2]3

Luego Z3Z = {3Z, 3Z + 1, 3Z + 2} = {[0]3 , [1]3 , [2]3 } = Z3 .

En general ZnZ = {nZ, nZ + 1, . . . , nZ + (n − 1)} = Zn .

2. Como hQ, +i es un grupo abeliano, entonces Z △ Q, entonces QZ es un grupo abeliano (aditi-
vo). Si Z + a y Z + b están en QZ, entonces:

Z + a = Z + b ⇔ a ≡ b(mod Z) ⇔ a − b ∈ Z

En consecuencia, si 0 < b < a < 1, entonces Z + a , Z + b pues 0 < a − b < 1 (a − b < Z).
Como existe infinitos racionales entre 0 y 1, entonces QZ tiene orden infinito.
 55

3. Demuestre que si G es cíclico y H ≤ G, entonces GH también lo es:

Sea G = hai un grupo cíclico, entonces G es abeliano, luego H △ G. Luego GH es un grupo
abeliano.

Sea x ∈ G, entonces x = an , para algún n ∈ Z. Luego H x = Han = (Ha)n de donde GH =

hHai. Por lo tanto, GN es cíclico.

4. Sea G = S 3 y H = {ρ0 , ρ1 , ρ2 }. Hallar GH.

|S 3 |
Como iS 3 (H) = |H| = 2, entonces existen 2 clases laterales derechas, una de ellas es H y la otra
es K = S 3 − H = {µ1 , µ2 , µ3 }. Luego:

GH = {{ρ0 , ρ1 , ρ2 } , {µ1 , µ2 , µ3 }}

Note que GH es abeliano, pues es de orden 2.

5. Sea G un grupo no abeliano y Z = Z(G) el centro de G, entonces GZ no es cíclico.

Supongamos que GZ es cíclico y sea Za un generador. Sea x, y ∈ G, entonces x ∈ (Za)n = Zan
y y ∈ (Za)m = Zam para algún m y n, luego existen z1 , z2 ∈ Z tales que:

x = z1 an y y = z2 am

Entonces:

xy = z1 an z2 am = z1 (an z2 ) am = z1 (z2 an ) am = z2 (z1 am ) an = (z2 am ) (z1 an ) = yx

Hemos probado que cada par de elementos de G, conmuta, de ahí que G es abeliano (contradic-
ción).

6. Si G es un grupo no abeliano y Z = Z(G), entonces |GZ| no puede ser primo.

Supongamos que |GZ| = p, con p un numero primo, entonces del teorema 6.5 GZ es cíclico
(contradicción).

Observación 28. De 5 podemos concluir lo siguiente:

Si G es un grupo tal que GZ(G) es cíclico entonces G es abeliano.
56