Tópicos de Grupos

Daniel Jiménez Briones.

2016.
Índice general

1. Grupos 2
1.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Álgebra de Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1. Producto Directo de Grupos . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2. Producto Semidirecto de Grupos . . . . . . . . . . . . . . . . . . . . 6
1.3. Producto y Suma Directo de Grupos . . . . . . . . . . . . . . . . . . . . . . 10
1.3.1. Suma Directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Acción de Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Teorema de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1. Clasificación Grupo de orden p3 . . . . . . . . . . . . . . . . . . . . . 23
1.5.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6. Grupos Abelianos Libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7. Grupo Libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.7.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.8. Grupos Nilpotentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.8.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.9. Grupos Solubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.9.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

1
Capı́tulo 1

Grupos

1.1. Preliminares
La definición de grupo (G, ∗) usando: la asociatividad, la existencia de elemento neutro ,
de elemento inverso y la noción de operación binaria, fue formulada por F.G. Frobenius, por
primera oportunidad en 1887, advirtiendo que los teoremas que los demostraba dependı́an
únicamente de los axiomas propuestos y sin que tener que acudir al aparato de los grupos
de permutaciones, que empleaban sus antecesores Cauchy, Jordan y Sylow.

Definición 1 Sea G un conjunto no vació y ∗ una operación.

Se dice que G es grupo con la operación ∗ si y sólo al operar dos elementos de G el
resultado es un único elemento en G, y cumple con la asociatividad, existe un elemento
neutro y todo los elementos tienen inverso.
Además G es abeliano si y sólo si los elementos conmutan.

Definición 2 Sea H ⊆ G.
Se dice que H es un subgrupo de G si y sólo si H es un grupo con la operación de G y
se anota H ≤ G.

Proposición 1 Sea G y {Hi }i∈I , entonces

∩ Hi ≤ G.
i∈I

Definición 3 Sea (G, ∗) un grupo y S ⊆ G.

Se dice H esta generado por S si y sólo si H es el subgrupo más pequeño que contiene al
conjunto S.
Notación: < S >= H.

Proposición 2 Sea S ⊆ G, entonces

< S >= ∩ H.
H≤G
S⊆H

2
CAPÍTULO 1. GRUPOS 3

Proposición 3 Sea φ 6= S ⊆ G, entonces

H = {s1 · · · sn | (∀n ∈ N)(∀i ∈ {1, 2, ..., n})(si ∈ S ∨ s−1

i ∈ S)}

es el subgrupo de G generado por S.

Definición 4 Un grupo (G, ∗) se dice que G es cı́clico si y sólo si existe un a ∈ G con

< a >= G. Un tal elemento, se dice que es un generador de G.

Proposición 4 Todo grupo cı́clico es abeliano.

Definición 5 Si G es un grupo finito entonces el orden del grupo es el número de elementos

que lo conforman. El orden de G se denotara por |G|.

Definición 6 Sea G un grupo y H un subgrupo de G entonces

Se dice que H es un subgrupo normal de G, denotado por H E G si y sólo si

(∀g ∈ G)(Hg = gH).

Definición 7 Se define el ı́ndice de H en G, denotado por [G : H], es el número de clases

laterales derechas o izquierdas.

Proposición 5 Si H E G, entonces

GH = {xH | x ∈ G}

se llama conjunto cuociente y con la operación interna

(xH) · (yH) = xyH,

tenemos que (GH, ·) es un grupo, llama grupo cuociente, donde el neutro es eH y el

inverso de xH es x−1 H.

Definición 8 Se define el ı́ndice de H en G, denotado por [G : H], es el número de clases

laterales derechas o izquierdas.

Teorema 6 (Lagrange) Si H ≤ G, entonces

|G| = [G : H] · |H|

Además si |G| < ∞

1. |H| divide a |G|

2. |g| divide a |G|

Definición 9 Sean H, K ≤ G, entonces

HK = {hk ∈ G | h ∈ H, k ∈ K}.
CAPÍTULO 1. GRUPOS 4

Proposición 7 Sea K ≤ G, H E G, entonces

1. HK ≤ G.

2. hH ∪ Ki = H · K.

3. H ∩ K E K.

4. H E hH ∪ Ki.

5. Si K E G y H ∩ K = {e}, entonces

(∀h ∈ H)(∀k ∈ K)( kh = hk ).

Definición 10 Sean G y H dos grupos y σ : G −→ H una función.

Se dice σ es un homomorfismo si y sólo si cumple la siguiente propiedad:

σ(ab) = σ(a)σ(b); para todo a, b ∈ G.

Además se dice que:

1. σ es un isomorfismo si y sólo si σ es biyectiva y los grupos se dicen isomorfos que

denotamos por G ∼
= H.
2. σ es un automorfismo si y sólo si σ es un isomorfismo y G = H.

3. σ es un endomorfismo si y sólo si σ es un homomorfismo y G = H.

4. σ es un monomorfismo si y sólo si σ es un homomorfismo inyectivo.

5. σ es un endomorfismo si y sólo si σ es un homomorfismo epiyectivo.

Por último

1. El Kernel o Nucleo de f

ker f = {x ∈ G | f (x) = e′ }.

2. La Imagen o Recorrido de f

Imgf = {f (x) ∈ G′ | x ∈ G }.

Proposición 8 Si f : G −→ G′ homomorfismo de grupo, entonces

1. ker f E G.

2. Imgf ≤ G′ .
CAPÍTULO 1. GRUPOS 5

Teorema 9 (del homomorfismo) Si f : G −→ G′ homomorfismo de grupo, entonces

existe un único f : Gkerf −→ G′ tal que f ◦ π = f
π✲
G G/kerf
❅
❅ 
f❅
∃! f
❅
❘ ❄
❅
G′
Además si f es epiyectiva se tiene que f es isomorfismo.

1.2. Álgebra de Grupo

1.2.1. Producto Directo de Grupos
Proposición 10 Sean G, H grupos. El producto cartesiano G × H dotado de la operación

(a, b) ∗ (c, d) = (ac, bd)

posee estructura de grupo, y recibe el nombre de producto directo de G, y se denota G × H.

Demostración: Es claro que la operación es cerrada en el producto cartesiano G × H. La

asociatividad se demuestra según

[(a, b) ∗ (c, d)] ∗ (e, f ) = (ac, bd) ∗ (e, f )

= ((ac)e, (bd)f )
= (a(ce), b(df ))
= (a, b) ∗ (cd, df )
= (a, b) ∗ [(c, d) ∗ (e, f )]

El elemento neutro es, claramente, (eG , eH ), pues

(a, b) ∗ (eG , eH ) = (aeG , beH ) = (a, b)

El inverso de un elemento (a, b) es (a−1 , b−1 ). En efecto,

(a, b) ∗ (a−1 , b−1 ) = (aa−1 , bb−1 )

= (eG , eH )
−1 −1
(a , b ) ∗ (a, b) = (a−1 ab−1 b)
= (eG , eH )


CAPÍTULO 1. GRUPOS 6

1.2.2. Producto Semidirecto de Grupos

Sea Aut(G) el grupo de los automorfismo de G y consideremos F : H → Aut(G), por
razones de facilitar la escritura, la imagen la denotamos del siguiente modo F (h) = Fh , con
ello tenemos
F : H → Aut(G)
h F (h)
h Fh : G → G
g Fh (g)
De este modo tenemos Fh (g) ∈ G.

Proposición 11 Sean G, H grupos, y F : H → Aut(G) un homomorfismo.

El producto cartesiano G × H dotado de la operación

(a, b) ∗F (c, d) = (aFb (c), bd)

posee estructura de grupo, y recibe el nombre de producto semidirecto de G y H con respecto

a F , y se denota G ⋊ H o H ⋉ G

Demostración: Es claro que la operación es cerrada en el producto cartesiano G × H. La

asociatividad se demuestra según

[(a, b) ∗ (c, d)] ∗ (y, w) = (aFb (c), bd) ∗ (y, w)

= (aFb (c)Fbd (y), bdw)
= (aFb (c)Fb (Fd (y)), bdw)
= (aFb (cFd (y)), bdw)
= (a, b) ∗ (cFd (y), dw)
= (a, b) ∗ [(c, d) ∗ (y, w)]

El elemento neutro es, claramente, (eG , eH ), pues

(a, b) ∗ (eG , eH ) = (aFb (eG ), beH ) = (a, b)

El inverso de un elemento (a, b) es (Fb−1 (a−1 ), b−1 ). En efecto,

(a, b) ∗ (Fb−1 (a−1 ), b−1 ) = (aFb (Fb−1 (a−1 )), bb−1 )

= (aFe (a−1 ), bb−1 )
= (aa−1 , bb−1 )
= (eG , eH )
(Fb−1 (a−1 ), b−1 ) ∗ (a, b) = (Fb−1 (a−1 )Fb−1 (a)b−1 b)
= (Fb−1 (a−1 a), b−1 b)
= (Fb−1 (eG ), eH )
= (eG , eH )


CAPÍTULO 1. GRUPOS 7

Proposición 12 Sean G y H grupos. Entonces,

1. G ≃ G′ = {(g, eH ) | g ∈ G} E G ⋊ H

2. H ≃ H ′ = {(eG , h) | h ∈ H} ≤ G ⋊ H

Demostración: 1. La aplicación biyectiva f : G → G′ definida según f (g) = (g, eH ) es un

homomorfismo, pues

f (gg ′) = (gg ′, eH ) = (gFeH (g ′), eH ) = (g, eH ) ∗ (g ′ , eH ) = f (g)f (g ′)

Además, para todos (g, eH) ∈ G′ , (a, b) ∈ G ⋊ H, se tiene

(a, b) ∗ (g, eH ) ∗ (a, b)−1 = (aFb (g), b) ∗ (Fb−1 (a−1 ), b−1 )

= (aFb (g)Fb(Fb−1 (a−1 )), eH )
= (aFb (g)a−1, eH ) ∈ G′

2. La aplicación biyectiva f : H → H definida por f (h) = (eG , h) es un homomorfismo,

pues
f (hh′ ) = (eG , hh′ ) = (eG Fh (eG ), hh′ ) = (eG , h) ∗ (eG , h′ ) = f (h) ∗ f (h′ )


Proposición 13 Sean G un grupo, M ≤ G, N E G.

Si M ∩ N = {e} y MN = G, entonces G ≃ M ∗T N, donde T : N → AutM y viene dada
por Tn (m) = nmn−1 .

Demostración: Al igual que en la demostración anterior, cada g ∈ G posee una factorización

única g = mn. La aplicación f : G → M ⋊ N dada por f (g) = (m, n) está, por tanto, bien
definida, y es biyectiva. Sean g1 = m1 n1 y g2 = m2 n2 . Entonces,

g1 g2 = m1 n1 m2 n2 = m1 n1 m2 (n−1
1 n1 )n2 = m1 Tn1 (m2 )n1 n2

Por tanto,

f (g1 g2 ) = (m1 Tn1 (m2 ), n1 n2 ) = (m1 , n1 ) ∗T (m2 , n2 ) = f (g1) ∗ f (g2 )

lo cual muestra que f es un isomorfismo. 

Ejemplo 1 Los siguientes grupos son ejemplo de producto semi-directo

1. Grupo Afı́n An = GLn ⋊ Mn×1 .

2. Grupo Diedral Dn =< R > ⋊ < F >.

3. Grupo Simétrico Sn = An ⋊ < (12) >.

CAPÍTULO 1. GRUPOS 8

Ejemplo 2 Dado el isomorfismo

T : Z4 −→ Z4
x 7−→ −x
Construir el producto semidirecto Z4 ⋊ Z2 y explı́citar el grupo

Solución: Notemos que

T 2 (x) = T (−x) = x
tiene orden 2, luego define
ρ : Z2 −→ Aut(Z4 )
t 7−→ Tt
El producto semidirecto asociado G = Z4 ⋊ Z2 , es un grupo no abeliano de orden 8. Para
ello, el producto

(x, z) ∗ρ (x′ , z ′ ) = (x + T z (x′ ), z + z ′ ) = (x + (−1)z x′ , z + z ′ )

Veamos el orden de los elementos, dado (x, z) ∈ G tenemos que

(x, z)2 = ((1 + (−1)z )x, 0)

(x, z)3 = ((2 + (−1)z )x, z)
(x, z)4 = (0, 0)

luego tenemos que tiene cinco elementos de orden 2 y dos elementos de orden 4 .

G ≃ D4

Ejemplo 3 Dado el isomorfismo

T : Z2 × Z2 −→ Z2 × Z2
(x, y) 7−→ (x, x + y)

Construir el producto semidirecto (Z2 × Z2 ) ⋊ Z2 y explı́citar el grupo

Solución: Notemos que

T 2 (x, y) = T (x, x + y) = (x, 2x + y) = (x, y)

tiene orden 2, luego define

ρ : Z2 −→ Aut(Z2 × Z2 )
t 7−→ Tt

El producto semidirecto asociado G = (Z2 × Z2 ) ⋊ Z2 , es un grupo no abeliano de orden 8.

Para ello, el producto

((x, y), z) ∗ρ ((x′ , y ′), z ′ ) = ((x, y) + T z (x′ , y ′), z + z ′ ) = ((x + x′ , y + zx′ + y ′), z + z ′ )
(x, y, z) ∗ (x′ , y ′, z ′ ) = (x + x′ , y + zx′ + y ′ , z + z ′ )
CAPÍTULO 1. GRUPOS 9

Veamos el orden de los elementos, dado (x, y, z) ∈ G tenemos que

(x, y, z)2 = (0, zx, 0)
(x, y, z)3 = (x, zx + y, z)
(x, y, z)4 = (0, 0, 0)
luego tenemos que tiene dos elementos de orden 4 y cinco elementos de orden 2 .
G ≃ D4
Ejemplo 4 Sea p un primo impar, entonces existe un grupo de orden p3 no abeliano y todos
los elementos no nulos tiene orden p.
T : Zp × Zp −→ Zp × Zp
(x, y) 7−→ (x, x + y)
Claramente T es un isomorfismo de grupo, además su orden podemos obtenerlo de
T 2 (x, y) = T (x, x + y) = (x, 2x + y)
de lo cual obtenemos que
T j (x, y) = T j−1 (x, x + y) = (x, jx + y)
Por lo tanto el orden de T es p.
Luego define
ρ : Zp −→ Aut(Zp × Zp )
t 7−→ Tt
El producto semidirecto asociado G = (Zp × Zp ) ⋊ Zp , es un grupo no abeliano de orden p3 ,
(x, y, z) ∗ (x′ , y ′, z ′ ) = (x + x′ , y + zx′ + y ′, z + z ′ )
Además todos los elementos tienen orden p, para ello sea (x, y, z) ∈ G, luego

(x, y, z)2 = (2x, zx + 2y, 2z)

(x, y, z)3 = (3x, 3zx + 3y, 3z)
t(t − 1)
(x, y, z)t = (tx, zx + ty, tz)
2
t(t − 1)
(x, y, z)t+1 = (tx, zx + ty, tz)(x, y, z)
2
t(t − 1)
= ((t + 1)x, tzx + zx + (t + 1)y, (t + 1)z)
2
(t + 1)t
= ((t + 1)x, zx + (t + 1)y, (t + 1)z)
2
luego tenemos que el orden es p, de cualquier elemento no nulo, ya que, p es impar tenemos
(p − 1)
(x, y, z)p p = (px, p zx + py, pz) = (0, 0, 0)
2
y el orden debe ser un divisor de p.
Es decir, es un grupo de orden p3 no abeliano, todo los elementos no triviales de orden p.
CAPÍTULO 1. GRUPOS 10

Ejemplo 5 Sea p un primo impar, entonces existe un grupo de orden p3 no abeliano y tiene
un elemento de orden p2

Solución: Sea 1 + p ∈ Zp2 , como (1 + p)p = 1( mód p2 ), por teorema del binomio entonces
tenemos que 1 + p tiene orden p, ahora consideremos

T : Zp2 −→ Zp2
x 7−→ (1 + p)x

Es un automorfismo de orden p, ya que

T (x) + T (y) = (1 + p)x + (1 + p)y = (1 + p)(x + y) = T (x + y)

Además T t (x) = (1 + p)t x.

De lo anterior tenemos el homomorfismo
φ : Zp −→ Aut(Zp2 )
t 7−→ Tt

Consideremos el producto semidirecto

G = Zp2 ⋊ Zp

tal que
(a, b) ∗ (c, d) = (a + (1 + p)b c, b + d)
El elemento (1, 0) tiene orden p2 , el grupo tiene orden p3 y es no abeliano

Observación: Estos son los únicos grupos, salvo isomorfismo, no abeliano de orden p3 , con
p número primo impar.

1.3. Producto y Suma Directo de Grupos

Sea {Hi }i∈I una familia de grupos
Y
Hi = { {ai }i∈I | (∀i ∈ I)(ai ∈ Hi )}
i∈I

{ai }i∈I · {ai }i∈I = {ai · bi }i∈I

Q
Teorema 14 Sea {Hi }i∈I una familia de grupos entonces Hi es un grupo.
i∈I
Además
1. Para cada j ∈ I Q
pj : Hi −→ Hj
i∈I
{ai }i∈I 7−→ aj
es epimorfismo.
CAPÍTULO 1. GRUPOS 11

2. Sea j ∈ I, Q
ιj : Hj −→ Hi 
0 i 6= j
i∈I donde ai =
a 7−→ {ai }i∈I a i=j
es monomorfismo.

3. Sean Ji E Hi para todo i ∈ I entonces

Y Y
Ji E Hi
i∈I i∈I

Proposición 15 (Universal) Sea G un grupo y para Q todo j ∈ J, fj : G −→ Hj es un

homomorfismo, entonces existe un único f : G −→ Hj homomorfismo tal que para todo
j ∈ I se tiene que pj ◦ f = fj o el diagrama conmuta
Y pj
Hi ✲ Hj
✻  ✒
∃!f
fj

1.3.1. Suma Directa

Sea {Hi }i∈I una familia de grupos
( )
Y
⊕ Hi = {ai }i∈I ∈ Hi | el soporte de {ai }i∈I es finito
i∈I
i∈I

Teorema 16 Sea {Hi }i∈I una familia de grupos entonces ⊕ Hi es un grupo.

i∈I
Además

1. Para cada j ∈ I
pj : ⊕ Hi −→ Hj
i∈I
{ai }i∈I 7−→ aj
es un epimorfismo.

2. Sea j ∈ I,

ιj : Hj −→ ⊕ Hi 0 i 6= j
i∈I donde ai =
a 7−→ {ai }i∈I a i=j
es un monomorfismo.

3. Sean Ji E Hi para todo i ∈ I entonces

⊕ Ji E ⊕ H i
i∈I i∈I
CAPÍTULO 1. GRUPOS 12

4. Y
⊕ Hi E Hi
i∈I
i∈I

Proposición 17 (Universal) Sea {Hi }i∈I una familia de grupos abeliano y G un grupo
abeliano tal que fj : Hj −→ G homomorfismo para todo j ∈ J. Entonces existe un único
f : ⊕Hj −→ G homomorfismo, tal que para todo j ∈ I, se tiene que ιj ◦ f = fj o el diagrama
conmuta
ιj
Hi ✲ ⊕Hj
❅ 
❅ ∃! f
fj ❅
❘ ❄
❅
G

1.4. Acción de Grupo

Definición 11 Se dice que un grupo G actúa sobre un conjunto X, si existe una función

· : G × X −→ X
(g, x) 7−→ g · x

tal que
i. (∀x ∈ X)(e · x = x), y

ii. (∀g, h ∈ G)(∀x ∈ X)((gh) · x = g · (h · x))

Definición 12 Sea G actuando sobre un conjunto X y x ∈ X. Entonces se define:

i. La órbita del elemento x está dada por

Ox = { g · x | g ∈ G }

ii. El estabilizador de x es

Stabx = Gx = { g ∈ G | g · x = x}

Proposición 18 Si G actúa en los conjuntos X e Y , entonces G actúa en X × Y de forma

natural dada por:

· : G × (X × Y ) −→ X × Y
(g, (x, y)) 7−→ (gx, gy)

Proposición 19 Sea G un grupo y considerando la acción por conjugación, se tiene

Z(G) = ∩ Gg .
g∈G
CAPÍTULO 1. GRUPOS 13

Teorema 20 Sea G un grupo finito que actúa sobre el conjunto finito X. Entonces para
todo x ∈ X se tiene que:

|X| = |Ox | |Gx | .

Proposición 21 Si G es un grupo que actúa sobre un conjunto finito X. Entonces:

X
|X| = |Ox |

donde x pertenece a un sistema de representante de las órbitas diferentes.

Definición 13 Sea X un G-espacio y n ∈ N tal que n < |X|.

Se dice que G actúa n-transitivo sobre X si y sólo si para cualquier conjunto ordenado
{x1 , . . . , xn } e {y1 , . . . , yn }. Existe g ∈ G tal que

(∀i ∈ {1, ...n})(g · xi = yi ).

Caso particular n = 1. Se dice G actúa transitivamente en X.

1.5. Teorema de Sylow

Sea p ∈ N, un número primo y G un grupo finito.

Definición 14 Un grupo G se dice un p-grupo si y sólo si

|G| = pn ∃n ∈ N.

Ejemplo 6 Sea p un numero primo, los grupos Zpn , Znp son p-grupo.
El grupo de simetrı́as del cuadrado es un 2-grupo de orden 8.

Definición 15 Sea X un G-espacio entonces se define el conjunto de puntos fijos

F ixG (X) = {x ∈ X | (∀g ∈ G)( g · x = x) }

Lema 22 Sea G un p-grupo y X un G-espacio con |X| < ∞, entonces

|X| ≡ |F ixG (X)| (p)

Demostración: Sea X un G-espacio, luego tenemos que

X = ∪˙ Oi
i∈I
X
|X| = |Oi |
i∈I
X X
|X| = |Oi | + |Oi |
i∈I, |Oi |=1 i∈I, |Oi |>1
CAPÍTULO 1. GRUPOS 14

Pero |Oi | = 1 si y sólo si Oi = {xi } es decir,

{xi } = {g · xi | g ∈ G}

Ası́ obtenemos que

∪˙ Oi = ∪˙ {g · xi | g ∈ G}
i∈I, |Oi |=1 i∈I, |Oi |=1

={x ∈ X | (∀g ∈ G)( g · x = x) }

=F ixG (X)

Además tenemos que 1 < |Oi | = [G : Hi ] = pni , es decir 1 < |Oi | ≡ 0(p), con lo cual

X X
|X| = |Oi | + |Oi |
i∈I, |Oi |=1 i∈I, |Oi |>1
X
|X| =|F ixG (X)| + |Oi | (p)
i∈I, |Oi |>1

|X| ≡|F ixG (X)| (p)

Proposición 23 (Teorema de Cauchy) Sea p un número primo tal que p|G|, entonces
en G existe un elemento de orden p.

Demostración: Sea p un número primo tal que p/|G|, entonces definimos

X = {(g1 , . . . , gp ) ∈ Gp | g1 · · · gp = e}

Parte I. |X| = |G|p−1.

para demostrar la primera afirmación veremos que

(g1 , . . . , gp ) ∈ X ⇔ g1 · · · gp = e
⇔ gp = (g1 · · · gp−1 )−1

Con lo cual podemos construir una biyección

ϕ Gp−1 −→ X
(g1 , . . . , gp−1) 7−→ (g1 , . . . , gp−1, (g1 · · · gp−1 )−1 )
Parte II. Sea H =< (1 2 ... p) >≤ Sp , sabemos que |H| = p y además

(g1 , . . . , gp ) ∈ X ⇔ g1 · · · gp = e
⇔ (g1 )−1 g1 · · · gp g1 = e
⇔ g2 · · · gp g1 = e
⇔ (g2 , . . . , gp , g1 ) ∈ X
CAPÍTULO 1. GRUPOS 15

en forma recursiva tenemos para 1 < t ≤ p que

(g1 , . . . , gp ) ∈ X ⇔ (gt , gt+1 , . . . , gp , g1 , . . . , gt−1 ) ∈ X
H actúa en X en los subı́ndices
·: H ×X −→ X
(σ, (g1 , . . . , gp )) 7−→ (gσ(1) , . . . , gσ(p) )
Parte III. Sabemos por Lema 22 que
|X| ≡|F ixH (X)| (p)
0 ≡|F ixH (X)| (p)
|F ixH (X)| =pr, r ∈ N0
Pero tenemos que (e, · · · , e) ∈ F ixH (X), luego existe otro elemento.
(g1 , . . . , gp ) ∈ F ixH (X), ası́ tenemos que
(g1 , . . . , gp ) = (g2 , . . . , gp−1 , g1 )
de donde obtenemos que
g1 = g2 = g3 = · · · = gp
y g1 6= e es distinto de neutro, luego g1 tiene orden p. 
Corolario 24 Un grupo finito G es un p-grupo si y sólo si todo elemento tiene como orden
una potencia de p.
Definición 16 Se dice que G es un grupo simple si y sólo si G los únicos subgrupos
normales son los triviales.
Ejercicio 7 1. Zp son grupos simples
2. An es simple n > 4
3. Todo p-grupo finito, de cardinal mayor p no son simple.
Proposición 25 Si H es un p-subgrupo de un grupo finito G, entonces
[NG (H) : H] ≡ [G : H] (p).
Demostración: Considerar la acción H × GH −→ GH dada por a · bH = (ab)H, por
Lema 22. tenemos que
|G/H| ≡ |F ixH (G/H)| (p)
pero
F ixH (G/H) ={ bH ∈ G/H | (∀h ∈ H)(h · bH = bH) }
={ bH ∈ G/H | (∀h ∈ H)((hb)H = bH) }
={ bH ∈ G/H | (∀h ∈ H)(b−1 (hb) ∈ H) }
={ bH ∈ G/H | b−1 Hb ⊆ H }
= NG (H)/H
CAPÍTULO 1. GRUPOS 16

con lo cual obtenemos

|F ixH (X)| ≡ [NG (H) : H] (p)


Corolario 26 Sea H un p-subgrupo del grupo finito G y p[G : H], entonces NG (H) 6= H.

Demostración: Usando la proposición anterior tenemos

[NG (H) : H] ≡[G : H] (p)

[NG (H) : H] ≡0 (p)

Luego tenemos
[NG (H) : H] ≥ p
es decir, NG (H) 6= H. 

Teorema 27 (Primer Teorema de Sylow) Si G es un grupo de orden pr m, con p, m

primos relativos. Entonces G contiene un subgrupo de orden pi , para cada 1 ≤ i ≤ r. Además
cada subgrupo de orden pi es normal en el subgrupo de orden pi+1 , es decir existen Hi tales
que
H1 E H2 E H3 E · · · E Hr ≤ G
y |Hi | = pi .

Observación: Recuerde que la relación de subgrupo normal no es transitiva, determinar un

ejemplo verdadero y uno falso.
Demostración: Por Teorema de Cauchy, existe H ≤ G tal que |H1 | = p.
Si r = 1, está demostrado
{e} < H1 < G
Si r > 1, se tiene que H1 E NG (H1 ), por corolario anterior NG (H1 ) 6= H1 , y por la
propiedad obtenemos p/[NG (H1 ) : H1 ], luego por Cauchy existe H2 subgrupo de orden p de
NG (H1 )/H1 .
Sea
H2 = { a ∈ G | (aH1 ∈ H2 ) }.
por teorema de la correspondencia, H2 = H2 /H1 , de lo cual tenemos |H2| = p2 y

{e} E H1 E H2 ≤ G.

Proceso que podemos repetir inductivamente hasta que p 

6 [NG (H) : H], lo cual ocurre
despues de r pasos. 

Definición 17 Si |G| = pr m, con p, m primos relativos.

Se dice que H es p-subgrupos de Sylow de G si y sólo si H ≤ G y su orden es pr .

Observación: El teorema anterior asegura que si p/|G|, entonces

i. G contiene un p-subgrupo de Sylow.
CAPÍTULO 1. GRUPOS 17

ii. Un p-subgrupo de Sylow H de G es un p-grupo maximal de G.

Teorema 28 (Segundo Teorema de Sylow) Si H es un p-subgrupo y P un p-subgrupo

de Sylow de G, entonces existe x ∈ G tal que H < xP x−1 .
En particular, si H es un p-subgrupo de Sylow se tiene H = xP x−1 .

Demostración: Dada acción

· : H × G/P −→ G/P
(g, bP ) 7−→ gbP

Aplicando el lema anterior, se tiene

|F ixH (G/P )| ≡ [G : P ] (p)

Pero p 
6 [G : P ], luego
|F ixH (G/P )| 6≡ 0 (p)
es decir, existe xP ∈ F ixH (G/P ) ⊆ G/P , tal que

hxP = xP, ∀h ∈ H
−1
x hxP = P, ∀h ∈ H
x−1 hx ∈ P, ∀h ∈ H
x−1 Hx ⊆ P

con lo cual tenemos

H ≤ xP x−1 .


Teorema 29 (Tercer Teorema de Sylow) Sea np , el número de p-subgrupo de Sylow del

grupo G, entonces
np /|G| ∧ np ≡ 1 (p).

Demostración: Sea X = {P | P p-subgrupo de Sylow de G}, luego np = |X|

· : G × X −→ X
(g, P ) 7−→ gP g −1

por el teorema anterior · es transitivo, luego np /|G|.

Para la segunda parte, consideremos la acción

· : P × X −→ X
(g, Q) 7−→ gQg −1

El conjunto de puntos fijos corresponde a

F ixP (X) = {Q ∈ X | (∀g ∈ P )(gQg −1 ⊆ Q)}

CAPÍTULO 1. GRUPOS 18

luego aplicando el lema tenemos

|X| ≡ |F ixP (X)| (p)

np ≡ |F ixP (X)| (p)

Claramente P ∈ F ixP (X), ahora sea Q ∈ F ixP (X), luego tenemos que

gQg −1 = Q, ∀g ∈ P
P ⊆ NG (Q)

De este modo tenemos que P, Q son dos p-subgrupos de Sylow de NG (Q), y por el segundo
teorema de Sylow los subgrupos son conjugados

P = xQx−1 , x ∈ NG (Q)

por lo tanto P = Q, y con ello tenemos F ixP (X) = {P }.

np ≡ |F ixP (X)| ≡ |{P }| ≡ 1 (p)


Observación: Se desprende de la demostración que, si H es el único p-subgrupo de Sylow
de G este es normal.

Ejemplo 8 El grupo S4 contiene 2-subgrupos de Sylow y 3-subgrupos de Sylow.

Los 3-subgrupos de Sylow tiene orden 3, y son:

K1 =< (123) > K2 =< (124) > K3 =< (134) > K4 =< (234) >

Los 2-subgrupos de Sylow tiene orden 8, y son:

L1 =< (1234), (13) > L2 =< (1342), (14) > L3 =< (1324), (14) >

Ejemplo 9 Clasificar los grupos de orden 15 salvo isomorfismo

Solución: Sea G un grupo de orden 15, luego contiene 3-subgrupos de Sylow y 5-subgrupos
de Sylow.
Para los 3-subgrupos de Sylow tenemos que

n3 ∈ {1, 3, 5, 15} ∧ n3 ≡ 1(3)

luego tenemos que n3 = 1, y por lo tanto existe H un único 3-subgrupo de Sylow de G,

además H es normal en G.
De manera similar para los 5-subgrupos de Sylow tenemos que

n5 ∈ {1, 3, 5, 15} ∧ n5 ≡ 1(5)

luego tenemos que n5 = 1, y por lo tanto existe K el un único 5-subgrupo de Sylow de G,

además K es normal en G
CAPÍTULO 1. GRUPOS 19

Es fácil obtener que H ∩ K = {e}, ya que, el elemento no trivial contenido en la inter-

sección debe tener orden un divisor de 3 de 5.
Además sabemos que
HK = {ab ∈ G | a ∈ H, b ∈ K}
es un subgrupo y dado ab = cd ∈ HK se tiene que c−1 a = db−1 ∈ H ∩ K, por lo tanto
a = c ∧ b = d, de lo cual se desprende que |HK| = 15 y por lo tanto G = HK.
De este modo obtenemos que

G ≃ Z3 × Z5 ≃ Z15

Veamos la generalización

Proposición 30 Sea p, q dos numeros primos tales que q < p y p 6≡ 1(q) entonces todos los
grupos de orden pq son isomorfos a Zpq

Demostración: Sea G un grupo de orden, para los q-subgrupos de Sylow tenemos que

nq ∈ {1, q, p, pq} ∧ nq ≡ 1(q)

luego tenemos que nq = 1, y por lo tanto existe H un único q-subgrupo de Sylow de G,

además H es normal en G
De manera similar para los p-subgrupos de Sylow tenemos que

np ∈ {1, q, p, pq} ∧ np ≡ 1(p)

luego tenemos que np = 1, y por lo tanto existe K el un único p-subgrupo de Sylow de G,

además K es normal en G.
Es fácil obtener que H ∩ K = {e}, ya que, el elemento no trivial contenido en la inter-
sección debe tener orden un divisor de q de p.
Además sabemos que
HK = {ab ∈ G | a ∈ H, b ∈ K}
y dado ab = cd ∈ HK se tiene que c−1 a = db−1 ∈ H ∩ K, por lo tanto a = c ∧ b = d, de lo
cual se desprende que |HK| = 15 y por lo tanto G = HK.
De este modo obtenemos que

G ≃ Zq × Zp ≃ Zqp

Ejemplo 10 Clasificar los grupos de orden 21 salvo isomorfismo

Solución: Sea G un grupo de orden 21, luego contiene 3-subgrupos de Sylow y 7-subgrupos
de Sylow.
Para los 7-subgrupos de Sylow tenemos que

n7 ∈ {1, 3, 7, 21} ∧ n7 ≡ 1(7)

CAPÍTULO 1. GRUPOS 20

luego tenemos que n7 = 1, y por lo tanto existe K el un único 7-subgrupo de Sylow de G,

además K es normal en G.
De manera similar para los 3-subgrupos de Sylow tenemos que

n3 ∈ {1, 3, 7, 21} ∧ n3 ≡ 1(3)

luego tenemos que n3 = 1 o n3 = 7.

Primer Caso n3 = 1. De forma similar al ejercicio anterior podemos probar que

G ≃ Z3 × Z7 ≃ Z21
Segundo Caso n3 = 7. Sea H un 3-subgrupo de Sylow de G. De manera similar podemos
demostrar que
H ∩ K = {e} ∧ G = HK
Para determinar el producto, debemos destacar la conjugación, esto es:

T : Z3 → Aut(Z7 )
Los automorfismo del grupo Zn

Aut(Zn ) = {ha | a invertible en Zn }

donde ha (x) = ax
Los elementos de Aut(Z7 ) de orden un divisor de 3 son h1 , h2 , h4
Si T (1) = h1 , entonces el grupo es conmutativo, existirı́a un único 3-subgrupo de Sylow.
Si T (1) = h2 , entonces

G ≃ Z7 ⋊2 Z3
Donde el producto esta dada por

(a, b) ·2 (c, d) = (a + 2bc, b + d)

y la normalidad de {0} × Z3 se obtiene de

(a, 0){0} × Z3 (a, 0)−1 = {(a(1 − 2c), c) | c ∈ Z3 }

Si T (1) = h4 , entonces

G ≃ Z7 ⋊4 Z3
Donde el producto esta dada por

(a, b) ·4 (c, d) = (a + 4bc, b + d)

y la normalidad de {0} × Z3 se obtiene de

(a, 0){0} × Z3 (a, 0)−1 = {(a(1 − 4c), c) | c ∈ Z3 }

CAPÍTULO 1. GRUPOS 21

Veamos que estos grupos son isomorfos, para ello definimos

F : Z7 ⋊4 Z3 → Z7 ⋊2 Z3

dada por F (a, b) = (a, 2b)

Demostraremos que es un isomorfismo.
Notemos que F 2 (a, b) = F (a, 2b) = (a, b) luego es biyectiva, además

F ((a, b) ·4 (c, d)) = F (a + 4bc, b + d)

= (a + 4bc, 2b + 2d)
= (a + 2(2b)c, 2b + 2d)
= (a, 2b) ·2 (c, 2d)
= F (a, b) ·2 F (c, d)

Por lo tanto son isomorfos, y con ello existen dos grupos salvo isomorfismo de orden 21, estos
son
Z21 ∨ Z7 ⋊ Z3

Proposición 31 Sea p, q dos numeros primos tales que q < p y p ≡ 1(q) entonces existe
dos grupos no isomorfos de orden pq. El cı́clico Zpq y el grupo no abeliano K =< a, b >, tal
que |a| = p, |b| = q y ab = bs a, donde s 6≡ 1(p) y sq ≡ 1(p)

Demostración: Sea G el grupo de orden qp, luego contiene p-subgrupos de Sylow y q-

subgrupos de Sylow.
Para los p-subgrupos de Sylow tenemos que

np ∈ {1, q, p, pq} ∧ np ≡ 1(p)

luego tenemos que np = 1, y por lo tanto existe K el un único p-subgrupo de Sylow de G,

además K =< d > es normal en G.
De manera similar para los q-subgrupos de Sylow tenemos que

nq ∈ {1, q, p, pq} ∧ nq ≡ 1(q)

luego tenemos que n3 = 1 o n3 = p

Primer Caso n3 = 1. De forma similar a la proposición anterior podemos probar que

G ≃ Zqp
Segundo Caso n3 = p.
Sea H =< c > un q-subgrupo de Sylow de G. De manera similar podemos demostrar que

H ∩ K = {e} ∧ G = HK

Para determinar el producto, debemos destacar la conjugación:

cdc−1 = dr , r 6≡ 1(p)
CAPÍTULO 1. GRUPOS 22

Ya que si r 6≡ 1(p), los elementos conmutan y existirı́a un único q-subgrupo de Sylow,

primer caso.
Además tenemos que
q
cq dc−q = dr
luego r q ≡ 1(p).
Sabemos que los elementos invertibles de Zp forman un grupo cı́clico, luego la ecuación
xq ≡ 1(p), tiene q soluciones distintas, ya que p ≡ 1(q).
Sea s una solución de la ecuación, luego existe t tal que s = r t , y con ello se obtiene que
t
ct dc−t = dr = ds

y denotemos por c1 = ct
c1 dc−1
1 = d
s

Ahora definimos el isomorfismo dado por:

F : < c1 , d > → < a, b >

c1 a
d b

Corolario 32 Si p es un numero primo impar entonces existe dos grupos salvo isomorfismo
de orden 2p
Z2p ∨ Dp

Teorema 33 Sea P un p-subgrupo de Sylow del grupo finito G. Entonces

NG (NG (P )) = NG (P )

Demostración: Sea P un p-subgrupo de Sylow de G y M = NG (P ). Claramente tenemos

que M ⊆ NG (M)
Para la otra contención, sea x ∈ NG (M), luego tenemos

xMx−1 = M

pero además

xP x−1 ⊆ xMx−1 = M
De esta manera, obtenemos que xP x−1 , P son p subgrupos de Sylow en M = NG (P ),

xP x−1 = mP m−1 = P, m∈M

luego son conjugados por un elemento del normalizador, por ende son iguales, es decir,
x ∈ NG (P ) 

Proposición 34 Sea H un p grupo, entonces Z(H) 6= {e}

CAPÍTULO 1. GRUPOS 23

Demostración: Sea
· : H × H −→ H
(g, x) 7−→ gxg −1
luego tenemos que
|H| ≡ |F ixH (H)| (p)
de esta manera tenemos
|Z(H)| = |F ixH (H)| ≡ 0 (p)
luego p ≤ |Z(H)|, ası́ tenemos
Z(H) 6= {e}.


Proposición 35 Todo grupo de orden p2 es abeliano

Demostración: Sea G un grupo de orden p2 , luego existe g un elemento de orden p.

Si H =< g >, entonces [G : H] = p, como p es el menor primo que divide al orden del
grupo, luego tenemos que H es normal.
De esta manera tenemos que H y G/H son cı́clicos, por lo tanto G es abeliano. 

1.5.1. Clasificación Grupo de orden p3

Proposición 36 Existen salvo isomorfismo 5 grupos de orden 8

Demostración: Los grupos abeliano son 3,

Z8 , Z4 × Z2 , Z2 × Z2 × Z2 .

Veamos ahora los no abeliano, para ello recordemos que si todos los elementos tienen
orden 2 o un elemento de orden 8, el grupo es abeliano, luego debe existir un elemento de
orden 4.
Sea H =< h >, el grupo de orden 4, como [G : H] = 2, el subgrupo es normal.
Consideremos g ∈ G − H, luego se tiene que G = H ∪ gH, además como gHg −1 = H,
obtenemos ghg −1 = ht .
Veamos los casos posibles:
Si t = 0, entonces h = e.
Si t = 1, entonces es abeliano el grupo.
Si t = 2, entonces tenemos que h2 = e.
Luego tenemos existe un única posibilidad y esta dada por ghg −1 = h3 .
Finalmente, notemos que g 2 H = H, luego g 2 ∈ H, es decir, g 2 = hr .
Revisemos las posibilidades:
Si r = 1 o 3,el orden de g es 8, no puede ser.
Si r = 0, entonces tenemos que G =< g, h >, tal que g 2 = e = h4 , gh = h−1 g el grupo
Diedral.
Si r = 2, entonces tenemos que G =< g, h >, tal que g 2 = h2 , h4 = e, gh = h−1 g, el
grupo de los Cuaterniones. 
CAPÍTULO 1. GRUPOS 24

Proposición 37 Sea G un grupo de orden p3 , con p primo.

Si G posee más de un subgrupo normales de orden p, entonces G es abeliano y no cı́clico.

Demostración: Sean H y K dos subgrupos normales de orden p. Los grupo cuocientes G/H
y G/K tienen orden p2 y por la tanto ambos son abeliano, de donde se tiene que [G, G] ⊆ H
y [G, G] ⊆ K, de lo cual obtenemos que [G, G] ⊆ H ∩ K = {e}, esto es [G, G] = {e}, luego
G es abeliano.
Sabemos entonces que G es abeliano, si fuera cı́clico se tiene G ≃ Zp3 y este último grupo
no posee más de un grupo de orden p. 

Proposición 38 Sea G un grupo no abeliano de orden p3 , con p primo entonces [G, G] =

Z(G) de orden p.

Demostración: Como G es un p-grupo el centro no es trivial, de donde

|Z(G)| = p ó p2 ó p3 .

Si |Z(G)| = p3 no puede ser, ya que el grupo es no abeliano.

Tampoco puede ser |Z(G)| = p2 , pues en este caso |G/Z(G)| = p, y entonces G es
abeliano por lo cual |Z(G)| = p .
Ahora |G/Z(G)| = p2 , por tanto es abeliano, es decir [G, G] ⊆ Z(G). Si fueran distintos,
serı́a [G, G] = {e} y en dicho caso G es abeliano, lo que es absurdo. 

Proposición 39 Sea G un grupo de orden p3 , con p primo, entonces G es isomorfo a uno,

y sólo uno, de los siguientes grupos:
Si G es abeliano entonces

G ≃ Zp3 ∨ G ≃ Zp2 × Zp ∨ G ≃ Z3p

Si G no es abeliano entonces
a) Si p = 2

G ≃ H2 (grupo cuaterniones) , G ≃ D2 (grupo diédrico)

b) Si p 6= 2 D E
2
G ≃ G1 = {a, b} | {ap , bp , ba−1 ba−1−p }
ó

G ≃ G2 = {a, b, c} | {ap , bp , cp , cbab−1 a−1 , aca−1 c−1 , bcb−1 c−1 }

Demostración: En el caso en G es abeliano, teorema de grupos abelianos finitos.

Sea G un grupo no abelianos de orden 8, por propiedad 36 se obtiene.
Sea p primo mayor que 2 y supongamos primero que G pasea un elementos a de orden
2
p.
Sea H =< a >, como [G : H] = p y es el menor primo que divide al orden del grupo,
luego H es normal, y G/H es un grupo cı́clico. Sea b ∈ G tal que G/H =< bH >, de lo cual
CAPÍTULO 1. GRUPOS 25

bp ∈ H, además H es normal luego tenemos que bab−1 ∈ H, es decir, existe 0 < r < p2 tal
que
bab−1 = ar , con r 6= 1
Por propiedad de potencia, obtenemos que
t
bt ab−t = ar ,

En particular, escogiendo t = p, y teniendo presente que bp ∈ H con H abeliano obtene-

mos que
p
a = bp ab−p = ar ,
Por lo tanto, r p = 1 ( mód p2 ).
Por otro lado, aplicando el teorema del binomio obtenemos que (1 + p)p = 1 + θp2 y, por
la tanto, (1 + p)p = 1( mód p2 ), por ello ambos elemento 1 + p, r tiene orden p, de lo cual
pertenecen al mismo subgrupo cı́clico, es decir existe 0 < α < p tal que

rα = 1 + p ( mód p2 )

cambiando los generadores

x = a y y = bα
resulta
2 2
xp = ap = 1 y y p = (bα )p = (bp )α ∈ H
además
α
yxy −1 = bα ab−α = ar = a1+p = x1+p
Ahora bien, y p ∈ H, por lo tanto, existe 0 < j < p2 con y p = xj .
Dado que G no posee elementos de orden p3
2
1 = y p = xjp .

Por tanto p/j , es decir, j = pt con (0 ≤ t < p) se tiene y p = xpt .

Volvemos a cambiar de generadores

z = x y w = yx−t

entonces
2 2
z p = xp = 1 y wzw −1 = yx−t xxt y −1 = x1+p = z 1+p
además, para la otra relación yxy −1 = x1+p , luego yxs y −1 = x(1+p)s , es decir yxs = x(1+p)s y
Finalmente
n
y n xs = x(1+p) s y n = x(1+np)s y n
de esta manera obtenemos que
2
(yx−t )2 = yx−t yx−t = x−t(1+p) y 2x−t = x−t(1+p)−t(1+p) y 2 = x−t(2+3p) y 2

De este modo se puede probar que

n(n+1)
(yx−t )n = x−t(n+ 2
p)
yn
CAPÍTULO 1. GRUPOS 26

Luego
p(p+1) 2 t p+1
w p = (yx−t )p = x−t(p+ 2
p)
y p == x−tp−p 2 y p = x−tp y p = y −p y p = 1

Supongamos por último que G no posea elementos dc orden p2 .

Por la proposición anterior, se tiene que Z(G) = [G, G] es de orden p. Por ello GZ(G),
tiene orden p2 , luego es abeliano y no cı́clico, ya que G serı́a abeliano, por lo tanto es isomorfo
a Zp × Zp , es decir:
GZ(G) =< x, y | xp = y p = 1, xy = yx >
Sean a, b ∈ G tales que en el morfismo canónico

π : G → GZ(G)

se tiene que π(a) = x y π(b) = y, como G no tiene elementos de orden p2 , los elemento deben
tener orden p.
El elemento aba−1 b−1 ∈ [G, G] = Z(G), sea c = aba−1 b−1 debe tener orden p o 1, no
puede ser 1, ya que significa que los elementos conmuta G =< a, b, Z(G) >, de lo cual el
grupo es abeliano.
Por lo anterior c tiene orden p y cbab−1 a−1 = 1 y c conmuta con a y b, es decir,

aca−1 c−1 = 1 bcb−1 c−1 = 1.

1.5.2. Ejercicios
1. Demostrar que todo grupo de orden p2 es abeliano.

2. Sean H, K subgrupos de G tal que H E K.

Demostrar que K ≤ NG (H).

3. Sea G un grupo finito y H un subgrupo tal que [G : H] = p, con p primo y es el más

pequeño primo que divide al orden de G entonces H E G.

4. Si G es un p-grupo finito, {e} =

6 H E G entonces H ∩ Z(G) 6= {e} .

5. Sea G un grupo de orden pn ,con p primo, y N es un subgrupo normal de orden p

entonces N ≤ Z(G), donde Z(G) es el centro de G.

6. Existe exactamente tres grupos no abeliano de orden 12 salvo isomorfismo: El diedral

D6 , A4 , T el grupo generado por a6 = e, b2 = a3 y ba = a−1 b.

7. Demostrar que un grupo de orden 45 tiene un subgrupo normal de orden 9

8. Clasificar los grupos de orden 1, 2, 3, 4, 5, 6, 7, 9, 10, 11 salvo isomorfismo.

9. Sea |G| = pn con p > n, p primo y H un subgrupo de orden p entonces H es normal

en G
CAPÍTULO 1. GRUPOS 27

10. Sea |G| = pn q con p > q, p, q primos entonces G contiene un único subgrupo normal
de ı́ndice q
11. Clasificar todos lo grupos no abeliano de orden 18, 20, 45 y 75
12. Sea P un p-subgrupo de Sylow normal de G y f ∈ End(G) entonces f (P ) ≤ P

1.6. Grupos Abelianos Libres

Recordemos que para grupos abeliano usamos la notación aditiva, re-escribiendo la pro-
posición 3 tenemos
Proposición 40 Sea S = {s1 , s2 , s3 , . . . , sn } ⊆ G grupo abeliano, entonces
( n )
X
< S >= mi si | (∀mi ∈ Z) .
i=1

Ejemplo 11 1. Z =< 1 >

2. Z3 × Z =< (1, 0), (0, 1) >
Definición 18 Sea G un Grupo Abeliano.
Se dice que X ⊆ G no vacı́o es una base de G si y sólo si
1. G =< X >
P
2. (∀J ⊆ X finito )((∀na ∈ Z)( na a = 0) ⇒ (∀a ∈ J)(na = 0))
a∈J

Ejemplo 12 1. Z =< 1 >, es una base.

2. Z3 × Z =< (1, 0), (0, 1) >, no es una base.
Teorema 41 Sea G un grupo abeliano X ⊆ G no vacı́o entonces las siguientes proposiciones
son equivalentes
1. X es una base de G.
2. G es suma directa de una familia de subgrupos cı́clicos infinitos.
3. G es isomorfo a una suma directa de copias de Z de otro modo ⊕x∈X Z.
Demostración: Sea X una base, luego tenemos G = + xZ, además la escritura es única,
x∈X
lo cual obtenemos de considerar dos forma de escribir un elemento y al despejar, igualamos
a cero y aplicamos la segunda condición de base para obtener que los coeficiente son iguales.
Por otro lado Z ≃ xZ, ∀x ∈ X, subgrupo cı́clico infinito.
Todo grupo cı́clico infinito es isomorfo a Z, luego la segunda implicación es automática.
P que f : G ≃ ⊕x∈X Z.
Para la última implicación, consideramos
P Dado z ∈ G, se tiene que f (z) = x∈J mx ex , con J ⊆ X finito, luego tenemos z =
x∈J mx x. P P
Finalmente si x∈J mx x = 0, aplicando f se tiene que x∈J mx ex = 0, por ello mx =
0, ∀x ∈ J. 
CAPÍTULO 1. GRUPOS 28

Teorema 42 (Propiedad Universal) Sea G un grupo abeliano X ⊆ G no vacı́o, la inclu-

sión natural ι : X ֒→ G entonces
X es una base de G si y sólo si para todo H grupo abeliano y toda función f : X → H,
entonces existe un único homomorfismo de grupo f : G → H, tal que f˜ ◦ ι = f

X
ι ✲ G
❅ 
❅ ∃! f
f
❅❘ ❄
❅
H

Demostración: Consideremos que X es una base, ι la inclusión natural, H grupo abeliano

y f : X → H. P P
Luego f : G → H, dada por f ( x∈J mx x) = x∈J mx f (x), es una función, por unicidad
de la escritura y es un homomorfismo por la conmutatividad
P del grupo de llegada.
El recı́proco, en primer lugar consideremos x∈J mx x = 0 y δx : X → Z, en x su imagen
es uno y en el resto cero.

X
ι ✲ G
❅ 
❅ ∃! δx
δx
❅
❘ ❄
❅
Z
P
Dado z ∈ J, tenemos que δz ( x∈J mx x) = 0, por lo tanto mz = 0, ∀z ∈ J.
Sea H =< X >, luego X es una base de H, por la primera parte tenemos cumple la
propiedad universal,
κ✲
X H
❅ 
❅
ι
∃! ι
❅
❘ ❄
❅
G
Por argumento habituales se obtiene que ι : G ≃ H. luego genera. 

Definición 19 Sea G un grupo abeliano. Se dice que G es un grupo abeliano libre si y sólo
si G cumple la propiedad universal del teorema anterior,

Ejemplo 13 1. Z =< 1 >, es un grupo abeliano libre

2. Z × Z =< (1, 0), (0, 1) >, es un grupo abeliano libre

Proposición 43 Dado dos base de un grupo abeliano libre G entonces ambas bases tienen
el mismo cardinal

Demostración: Sean X, Y dos bases y supongamos que X tiene cardinal finito n, luego

G = Z⊕···⊕Z⊕Z
CAPÍTULO 1. GRUPOS 29

Para el subgrupo 2G = {2g ∈ G | g ∈ G}

2G = 2Z ⊕ · · · ⊕ 2Z ⊕ 2Z
luego
G2G = ⊕ Z2Z = ⊕ Z2
i=1,n i=1,n

es decir,
|G2G| = 2n
Por lo tanto
|G2G| = 2|X| = 2|Y |
De lo cual tenemos que
|X| = |Y |
El caso que ambos cardinales son infinito, demostración requiere conceptos no abordado en
este curso, consultar bibliografı́a sugerida. 

Definición 20 Sea G un grupo abeliano libre.

Se define el rango de G igual al cardinal de la base cuando este cardinal es finito.

Teorema 44 Sean G1 , G2 dos grupos abeliano, con bases X1 , X2 entonces

G1 ≃ G2 si y sólo si |X1 | = |X2 |

Demostración: ⇒ por proposición anterior.

⇐ Como |X1 | = |X2 |, luego existe una biyección de X1 en X2 , y por propiedad universal
tenemos el isomorfismo. 

Teorema 45 Todo grupo abeliano G es imagen homomorfica de un grupo abeliano libre de

rango |X|, donde X es un conjunto de generadores de G

Demostración: Sea X un conjunto generador de G y

F = {f : X → Z | soporte de f es finito }
Luego F grupo abeliano libre sobre X, y consideramos ι : X → F la inclusion natural,
además sea f : X → G, también la inclusión, luego tenemos el diagrama siguiente

X
ι ✲ ⊕Z
❅ 
❅ ∃! f
f ❅
❘ ❄
❅
G

donde f es un homomorfismo y como X es un conjunto generador tenemos que f es un

epimorfismo. Aplicando el teorema del homomorfismo obtenemos que
F kerf ≃ G

CAPÍTULO 1. GRUPOS 30

Proposición 46 Si X = {x1 , x2 , . . . , xn } es una base de un grupo libre abeliano F y a ∈ Z,

entonces para todo i 6= j tenemos que {x1 , x2 , . . . , xj−1 , xj + axi , xj+1, . . . , xn } es una base de
F.

Demostración: Sea 
xk k 6= j
zk =
xj + axi k = j
entonces se define Z = {z1 , z2 , . . . , zn } y < Z >≤ F , es fácil demostrar que X ⊆< Z >, ya
que
xj = −azi + zj
Luego
< Z >= F
Para demostrar la segunda condición, sean bl ∈ Z, tales que
X
bl zl = 0
l
X X
bl zl + bl zl = 0
l6=j l=j
X X
bl xl + bl xl + axi = 0
l6=j l=j
X X
bl xl + (bl + bj a)xl = 0
l6=i l=i

De esta manera obtenemos que bl = 0, con l 6= i y bi + bj a = 0, reemplazando obtenemos

que bi = 0. 

Teorema 47 Si G es un grupo abeliano libre de rango finito n, y K un subgrupo no nulo,

entonces existe una base de {x1 , x2 , . . . , xn } de G y un natural r ≤ n y enteros positivos
d1 , d2 , . . . , dr tales que d1 |d2|d3 . . . |dr y K =< d1 x1 , d2x2 , . . . , dr xr >≃ ⊕di Z

Demostración: Se realizara por inducción en el rango.

Si n = 1 entonces el grupo es cı́clico infinito, por ello todos los subgrupos son cı́clicos
< d >.
Supongamos que el teoremas es válido para todo los grupos abelianos libre de rango
menor que n.
Sea K un subgrupo de G no nulo, definamos S el conjunto de todos los s en Z tal que
existe una base {y1 , y2 , . . . , yn } de modo que

sy1 + k2 y2 + . . . + kn yn ∈ K, con ki ∈ Z

de la definición de S obtenemos que si t ∈ S entonces −t ∈ S.

Como K es no nulo tenemos que S ∩ N∗ es no vacı́o, por ello existe el mı́nimo y que lo
denotamos por
d1 = mı́n(S ∩ N∗ ).
CAPÍTULO 1. GRUPOS 31

Como d1 ∈ S, se tiene que existe una base {y1 , y2 , . . . , yn }, tal que

d1 y1 + k2 y2 + . . . + kn yn ∈ K, con ki ∈ Z
Aplicando el algoritmo de la división obtenemos
ki = d1 qi + ri con 0 ≤ ri < d1
Si ri 6= 0 luego tenemos que
d1 y1 + k2 y2 + . . . + kn yn = d1 y1 + (d1 q2 + r2 )y2 + . . . + (d1 qn + rn )yn
= d1 (y1 + q2 y2 + . . . + qn yn ) + r2 y2 + . . . + rn yn
= r2 y2 + . . . + rn yn + d1 (y1 + q2 y2 + . . . + qn yn ) ∈ K
Por la proposición anterior tenemos que {y2 , . . . , yn , y1 + q2 y2 + . . . + qn yn } es una base de
G, de lo cual, ri ∈ S ∩ N∗ , por lo tanto ri ≥ d1 , y esto es una contradicción con el algoritmo
de la división, ası́ tenemos que ri = 0, para todo i.
De esta manera hemos demostrado que existe {x1 , y2, . . . , yn } base de G tal que d1 x1 ∈ K.
Sean H =< y2 , . . . , yn > grupo abeliano libre de rango n − 1 y K ′ = H ∩ K un subgrupo
de H.
Claramente tenemos que
G =< x1 > ⊕H
A continuación demostraremos que
K =< d1 x1 > ⊕K ′
Respecto a la intersección, es clara debido a que A = {x1 , y2 , . . . , yn } es una base
< d1 x1 > ∩K ′ = {0}.
Sea w ∈ K, luego tenemos que w = k1 x1 + k2 y2 + . . . + kn yn , apliquemos nuevamente el
algoritmo de la división k1 = d1 q1 + r1
w − q1 (d1 x1 ) = r1 x1 + k2 y2 + . . . + kn yn ∈ K
ya que A es una base, se tiene que 0 = r1 ∈ S, luego se tiene que k1 = d1 q1 es decir,
w − q1 (d1 x1 ) = k2 y2 + . . . + kn yn
De esta manera
w − q1 (d1 x1 ) = k2 y2 + . . . + kn yn ∈ H ∩ K, q1 (d1 x1 ) ∈< d1 x1 >
luego
w = k1 x1 + k2 y2 + . . . + kn yn ∈< d1 x1 > +K ′
Ahora aplicaremos la hipótesis de inducción
Si K ′ = {0} entonces tenemos demostrado el teorema.
Si K ′ 6= {0} entonces aplicamos hipótesis de inducción, existen {x2 , . . . , xn } base de H y
d2 , d3 , . . . , dr enteros positivos tales que d2 |d3 | . . . |dr tal que K ′ =< d2 x2 , d3x3 , . . . , dr xr >
Por lo tanto tenemos que {x1 , x2 , . . . , xn } base de G, y debido a la suma directa se obtiene
que K =< d1 x1 , d2 x2 , d3 x3 , . . . , dr xr >, con argumento similares al empleado con el algoritmo
de la división, obtenemos que d1 |d2 . 
CAPÍTULO 1. GRUPOS 32

Corolario 48 Si G es un grupo abeliano finitamente generado por n elementos entonces

todo subgrupo K de G está generado por m elementos con m ≤ n.

Demostración: Sea G un grupo generado X de cardinal n, luego existe F grupo libre de

rango n tal que f : G ≃ F K.
Dado H subgrupo de G, se tiene que f (H) es un subgrupo F K, por teorema de la
correspondencia existe H ′ subgrupo de F , tal que

H ≃ f (H) = H ′K

Por teorema anterior, se tiene que f (H) tiene un conjunto generado de cardinal menor o
igual a n. 

Teorema 49 Todo grupo finitamente generado es isomorfo a una suma directa finita de
subgrupos cı́clicos infinitos con una suma directa finita de grupos cı́clicos finitos de orden mi
tales que m1 |m2 | . . . |mr .    
G≃ ⊕ Z ⊕ ⊕ Zmi
i=1,n i=1,r

donde los mi son los coeficientes invariante de G.

Demostración: Sea G un grupo abeliano generado por el conjunto finito X.

Dado F = Z|X| el grupo abeliano libre, se tiene que

G ≃ F K

Si K 6= {e}, por el teorema anterior existe, {x1 , x2 , . . . , xn } base de F tal que existen
d1 |d2 | . . . |dr de modo que K =< d1 x1 , d2 x2 , . . . , dr xr >

G ≃ ⊕xi Z ⊕ di xi Z
≃ ⊕ (xi Zdi xi Z) ⊕ ⊕ (xi Z{0})
i=1,r i=r+1,n
   
≃ ⊕ Zdi ⊕ ⊕ Z
i=1,r i=r+1,n

Ejemplo 14 Determinar los coeficientes invariante del grupo

Z3 × Z4 × Z8

Solución: Encontraremos los coeficiente aplicando el teorema anterior

f : Z3 → Z3 × Z4 × Z8
x → (x, x, x)

luego el kernel es un subgrupo no nulo.

Paso 1:
El elemento (3, 4, 8) = 3e1 + 4e2 + 8e3 ∈ ker(f ), luego

3, 4, 8 ∈ S
CAPÍTULO 1. GRUPOS 33

reescribiendo aplicando el algoritmo de la división tenemos

3e1 + 4e2 + 8e3 = 3(e1 + e2 + 2e3 ) + 1e2 + 2e3

de esta manera se obtiene que

1, 2, 3, 4, 8 ∈ S
luego tenemos que d1 = 1.
Paso 2: Sea H =< e1 + e2 + 2e3 , e3 > y K2 = ker(f ) ∩ H
Un elemento en
12(e1 + e2 + 2e3 ) + 8e3 ∈ K2
luego tenemos que
12, 8 ∈ S2
de manera análoga tenemos

12(e1 + e2 + 2e3 ) + 8e3 = 4(e1 + e2 + 2e3 ) + 8(e1 + e2 + 3e3 )

4, 12, 8 ∈ S2
además dado u ∈ K2 , se escribe

u = a(e1 + e2 + 2e3 ) + be3 = ae1 + ae2 + (2a + b)e3

de lo cual obtenemos que a ≡ 0(3); a ≡ 0(4); 2a + b ≡ 0(8) por lo tanto a = 12r; b = 8s,
luego los únicos coeficiente que puedo escribir son de la forma

12r + 8s

y todos ellos son múltiplos de 4, d2 = 4 y por cardinalidad tenemos que d3 = 24, de otra
forma tenemos que H3 =< e1 + e2 + 3e3 > y el mı́nimo es 24

Z3 × Z4 × Z8 ≃ Z4 × Z24

Teorema 50 Todo grupo abeliano finito es isomorfo a la suma directa de grupos cı́clicos,
cada uno de ellos con cardinal una potencia de un número primo.

Demostración: Basta demostrar que si a, b son primos relativos entonces

Zab ≃ Za × Zb

Definamos el homomorfismo
f : Z → Za × Zb
dado por f (x) = (x, x). Es epiyectiva, ya que dado (x1 , x2 ) ∈ Za × Zb , y como a, b son primos
relativos luego existen t, l números enteros tales que at + bl = 1 y definimos

x = x1 + at(x2 − x1 ) = x1 + (1 − bl)(x2 − x1 ) = x2 + bl(x1 − x2 )

que cumple con la pedido f (x) = (x, x) = (x1 , x2 )

CAPÍTULO 1. GRUPOS 34

Para la inyectividad, tiene que ser los elementos múltiplo de a y b, como son primos
relativos luego
ker(f ) = abZ
por lo tanto
Zab ≃ Za × Zb


Ejemplo 15 Un ejemplo del teorema Z4 × Z12 =≃ Z4 × Z4 × Z3

Definición 21 Sea G un grupo abeliano se define

Gt = {x ∈ G | el orden de x es finito }

Proposición 51 Sea G un grupo abeliano, entonces

Gt ≤ G

Definición 22 Sea G un grupo abeliano

1. Gt se llama subgrupo de torsión de G.

2. Se dice que G grupo de torsión si y sólo si Gt = G.

3. Se dice que G libre de torsión si y sólo si Gt = {0}.

Teorema 52 Dos grupos abeliano finitamente generado G y H son isomorfos si y sólo si

GGt y HHt tiene el mismo rango y tiene los mismos coeficientes invariantes.

1.6.1. Ejercicios
1. Demostrar que en un grupo abeliano finito G, tal que d divide al orden de G entonces
G contiene un subgrupo de orden d.

2. Si A ⊕ A ≃ B ⊕ B, donde A, B son grupos abelianos finitos entonces A ≃ B.

3. Si A, B, C son tres grupos abelianos finitos y A ⊕ C ≃ B ⊕ C entonces A ≃ B.

4. Sea G un grupos abelianos y m ∈ N. Demostrar que

a) mG = {mu | u ∈ G} es un subgrupo de G.
b) G [m] = {u ∈ G | mu = 0} es un subgrupo de G.
c) Gt = {u ∈ G | |u| es finito } es un subgrupo de G.

5. Sea G un grupos abelianos y p ∈ N número primo entonces

G [p] = {u ∈ G | pu = 0}

es un subgrupo de G.
CAPÍTULO 1. GRUPOS 35

6. Sea G un grupos abelianos y p ∈ N número primo entonces

G (p) = {u ∈ G | el orden de u es una potencia de p}

es un subgrupo de G.

7. Sea G = Zpn un grupos abelianos y los subgrupos

pG = {pu | u ∈ G} ; G [p] = {u ∈ G | pu = 0}.

Determinar a que grupo abeliano son isomorfo (justifique).

8. Si G, Gi son grupos abelianos y m ∈ N, entonces

a) Si G ≃ ⊕i∈I Gi entonces mG ≃ ⊕i∈I mGi

b) Si G ≃ ⊕i∈I Gi entonces GmG ≃ ⊕i∈I (Gi mGi )
c) Si G ≃ ⊕i∈I Gi entonces G[m] ≃ ⊕i∈I Gi [m]

9. Sean X = {x1 , x2 , ..., xn } un conjunto con n elementos y X ′ = X − {x1 }. Además F

y G los grupos abeliano libre generado por X y X ′ respectivamente. Demostrar que

F G ≃ Z.

10. Si G ≃ ⊕i∈I Zxi es un grupo abeliano libre y H ≃ ⊕i∈J Zxi es un subgrupo abeliano
libre con base J = I − {i0 }, con i0 ∈ I, entonces GH = Zxi0

11. Sea F1 un grupo abeliano libre sobre X1 y F2 un grupo abeliano libre sobre X2 y existe
f : X1 → X2 una función biyectiva entonces
Demostrar que

F1 ≃ F2 .

12. Sea G un grupo finitamente generado (un conjunto finito lo genera) y todos los ele-
mentos tiene orden no finito (excepto el neutro) entonces G es un grupo abeliano libre.

13. Sea G un grupo abeliano libre no nulo, entonces existe un subgrupo de ı́ndice n para
todo entero positivo n.

14. Demostrar los siguientes isomorfismos

Zpn [p] ≃ Zp ; pm Zpn ≃ Zpn−m ; con m < n.

15. Demostrar que en un grupo abeliano finito G, tal que d divide al orden de G entonces
G contiene un subgrupo de orden d.

16. Sea G un grupo abeliano finito y H un subgrupo de G, entonces G contiene un subgrupo

isomorfo a GH.
CAPÍTULO 1. GRUPOS 36

17. Si X = {x1 , x2 , ..., xn } es una base del grupo abeliano libre G entonces
Para todo a ∈ Z el conjunto Y = {x1 + ax2 , x2 , ..., xn } es una base de G.
18. Mostrar que un grupo abeliano finito que no es cı́clico contiene un subgrupo que es
isomorfo a Zp × Zp , para algún primo p.
19. Si G, H son grupos abelianos isomorfos entonces,
Gt ≃ H t ; G(p) ≃ H(p).
20. Determinar cuántos grupos abelianos no isomorfos existen del orden dado, salvo iso-
morfismo.
a) 72
b) 22 34
c) 23 32
d) 23 54 73
e) 22 54 63 .
21. Dados los grupos G = Z12 ⊕Z72 , H = Z18 ⊕Z48
a) Son isomorfos G y H
b) ¿Cúal es la descomposición de G en factores invariantes ? (e.d. m1 |m2 |...|mt )
c) ¿Cúal es la descomposición de G en factores primo ? (e.d. ps11 , ps22 , ..., psl l )
22. Sea G = Z63 ⊕ Z42 ⊕ Z52 y f : Z ⊕ Z ⊕ Z → G tal que f (a1 , a2 , a3 ) = (a1 , a2 , a3 ).
a) ¿Cúal es la descomposición de ker f en factores invariantes ? (e.d. m1 |m2 |...|mt ).
b) ¿Cúal es la descomposición de G en factores primo ? (e.d. ps11 , ps22 , ..., psl l ).
23. Sea G = Z12 ⊕ Z72 ⊕ Z18 y f : Z ⊕ Z ⊕ Z → G tal que f (a1 , a2 , a3 ) = (a1 , a2 , a3 ).
a) ¿Cúal es la descomposición de ker f en factores invariantes ? (e.d. m1 |m2 |...|mt ).
b) ¿Cúal es la descomposición de G en factores primo ? (e.d. ps11 , ps22 , ..., psl l ).
24. Dado el grupo abeliano G = Z16 ⊕ Z36 ⊕ Z3 ⊕ Z24 y f : Z ⊕ Z ⊕ Z ⊕ Z → G tal que
f (a1 , a2 , a3 , a4 ) = (a1 , a2 , a3 , a4 ).
a) ¿Cúal es la descomposición de ker f en factores invariantes ? (e.d. m1 |m2 |...|mt ).
b) ¿Cúal es la descomposición de G en factores primo ? (e.d. ps11 , ps22 , ..., psl l ).
25. Sea G = Z15 ⊕ Z30 ⊕ Z42 y f : Z ⊕ Z ⊕ Z → G tal que f (a1 , a2 , a3 ) = (a1 , a2 , a3 )
a) ¿Cúal es la descomposición de ker f en factores invariantes ? (e.d. m1 |m2 |...|mt )
b) ¿Cúal es la descomposición de G en factores primo ? (e.d. ps11 , ps22 , ..., psl l )
26. Sea G = Z14 ⊕ Z18 ⊕ Z42 y f : Z ⊕ Z ⊕ Z → G tal que f (a1 , a2 , a3 ) = (a1 , a2 , a3 )
Determine una base {v1 , v2 , v3 } de Z ⊕ Z ⊕ Z tal que el ker f =< m1 v1 , m2 v2 , m3 v3 >,
donde m1 , m2 , m3 son los factores invariantes, es decir (m1 |m2 |m3 )
CAPÍTULO 1. GRUPOS 37

1.7. Grupo Libre

Sea X un conjunto no vacı́o, el propósito es construir un grupo G, de modo que X sea
su conjunto generador, más aun, que cumpla la siguiente propiedad universal.
Sea H un grupo y f : X → H una función entonces existe f : X → H homomorfismo tal
que
ι✲
X G
❅ 
❅ ∃! f
f
❅❘ ❄
❅
H

Construcción del Grupo Sea X un conjunto no vacı́o, construimos el conjunto disjunto

X −1 , tal que existe π : X → X −1 una biyección. Ası́ podemos construir el conjunto
◦ ◦
Y = X ∪ X −1 ∪ {e}

Construimos
τ: Y →  Y
 π(z) z∈X
z → τ (z) = π (z) z ∈ X −1
−1

e z=e
Notación: El conjunto de las funciones de N en Y se denota por F (N, Y ).

Definición 23 Sea f ∈ F (N, Y ).

Se dice que f es una sucesión reducida o palabra reducida si y sólo si

1. (∃n ∈ N)(f (n) = e), y

2. (∀m ∈ N)(f (m) = e ⇒ f (m + 1) = e), y

◦
3. (∀m ∈ N)(f (m) ∈ (X ∪ X −1 ) ⇒ f (m + 1) 6= τ (f (m))).

Definición 24 Si f es una palabra reducida tal que f 6= ê, constante igual a e, entonces se
define
L(f ) = max{n ∈ N | f (n) 6= e}
el largo de f

Notación: Se denota por G el conjunto de las palabras reducidas

G = {f ∈ F (N, Y ) | f es palabra reducida }

Dada f ∈ G − {ê}, se denota por

f = f (0)f (1)f (2)f (3) · · · f (m), donde m = L(f )

CAPÍTULO 1. GRUPOS 38

De otro modo, f en forma abreviada se denota por

f = xα0 0 xα1 1 xα2 2 xα2 2 · · · xαmm , donde m = L(f ), xi ∈ X, αi = ±1

Además
ι : X → G; ι(x) : N →  Y
x → ι(x) x n=0
n →
e n 6= 0

Operación Producto El producto es la yuxtaposición de las palabras una vez simplificado

los términos que se puedan cancelar

Definición 25 Sean f, g ∈ G,
Si f 6= ê y g 6= ê entonces se define f ∗ g, de siguiente modo.
Sea

s = s(f, g) = |{n ∈ {0, 1, ..., L(f )} | (∀r ∈ N)(r ≤ n ⇒ f (L(f ) − r) = τ (g(r))}|


f (m) m ≤ L(f ) − s
(f ∗ g)(m) =
g(m − L(f ) + 2s − 1) m > L(f ) − s
Además
ê ∗ f = f ∗ ê = f

Observación: Note que si la única manera que de modo que la la palabra f ∗ g no sea
reducida, deberı́a ser f (L(f ) − s) = τ g(L(f ) − s + 1 − L(f ) + 2s − 1) = τ (g(s)), lo cual esta
en contradicción con la definición de s = s(f, g).

Teorema 53 Sea X un conjunto no vacı́o y G el conjunto de las palabras reducidas sobre

X, entonces G es un grupo con la operación binaria definida anteriormente y G =< X >.

Demostración: Por la observación se cumple la clausura

El elemento neutro del producto es ê
El inverso de f 6= ê en G, Esta dado por

−1 τ (f (L(f ) − m)) m ≤ L(f )
f (m) =
f (m) m > L(f )

De otro modo

f = xα0 0 xα1 1 xα2 2 xα3 3 · · · xαmm , con m = L(f ), xi ∈ X, αi = ±1

entonces
f −1 = x−α
m
m
· · · x−α
3
3 −α2 −α1 −α0
x2 x1 x0 .
Para la asociatividad tenemos algunos caso, que son fáciles de demostrar

i) Cuando una de las palabras es la vacı́a

CAPÍTULO 1. GRUPOS 39

ii) Cuando al reducir las palabras no obtenemos entrecruzamientos en las cancelaciones

Algunos de las otras posibilidades son:
Sean f, g, h palabras reducidas, distinta de la palabra vacı́a, tales que existe el entrecru-
zamiento, es decir,
s(f, g) + s(g, h) > L(g)
Escribamos las ecuaciones, para f ∗ (g ∗ h)
i) τ (h(t)) = g(L(g) − t) 0 ≤ t < s(g, h)
ii) τ (g(t)) = f (L(f ) − t) 0 ≤ t < L(g) − s(g, h)
iii) τ (h(t)) = f (L(f ) − L(g) + 2s(g, h) − t) s(g, h) ≤ t < s(f, s(g, h))
Reescribiendo, con la notación de palabras tenemos,
(a0 a1 ...an ∗ b0 b1 ...bm ) ∗ c0 c1 ...cr
(a0 a1 ...an−s bs+1 ...bm )c0 c1 ...cr
a0 a1 ...an−s ∗ cm−s+1 ...cr
Suponemos que an−s = c−1 −1
m−s+1 y an−s+1 = bs = cm−s+1 , lo cual es contradictorio, ya que f
es reducida
El caso que analizaremos an−s 6= c−1 −1
m−s+1 y bs 6= cm−s+1

(f ∗ g) ∗ h = a1 a2 ...an−s cm−s+1 ...cr = a1 a2 ...an−s cm−s+1 ...cs′ cs′ +1 ...cr

Por otro lado.
a0 a1 ...an ∗ (b0 b1 ...bm ∗ c0 c1 ...cr )
a0 1a1 ...an ∗ (b0 b1 ...bm−s′ cs′ +1 ...cr )
a0 a1 ...an−m+s′ ∗ cs′ +1 ...cr
de manera análoga se demuestra que no se puede reducir más
f ∗ (g ∗ h) = a0 a1 ...an−m+s′ cs′ +1 ...cr = a0 a1 ...an−s an−s+1 ...an−m+s′ cs′ +1 ...cr
Para concluir debemos compara las dos expresiones
Sea m − s′ + 1 ≤ t ≤ s, luego
an−t+1 = b−1
t = cm−t+1

Cambiando variable u = −t + 1, tenemos que −s + 1 ≤ u ≤ s′ − m

an+u = cm+u
De esta manera tenemos que,
(f ∗ g) ∗ h = a0 a1 ...an−s cm−s+1 ...cs′ cs′ +1 ...cr
= a0 a1 ...an−s an−s+1 ...an−m+s′ cs′ +1 ...cr
= f ∗ (g ∗ h)

CAPÍTULO 1. GRUPOS 40

Proposición 54 Sea X un conjunto no vacı́o, G el grupo de las palabra reducidas, entonces

dada la inclusión natural ι : X → G se tiene que
Si f : X → H es un función, con H un grupo, entonces existe f : G → H único
homomorfismo de grupo, tal que f ◦ ι = f , es decir, el diagrama es conmutativo

X
ι ✲ G
❅ 
❅ ∃! f
f
❅❘ ❄
❅
H

Demostración: Sea f : X → H es un función, construimos de la función

f: G →  H
 e g = eb
g → f (g) =
 QL(g)
i=0 f (g(i)αi )αi g 6= eb

1 g(i) ∈ X
donde αi =
−1 g(i) ∈ X −1
De otro modo, con la notación de palabra

f: G → H
xα1 1 xα2 2 xα3 3 · · · xαmm → f (x1 ) f (x2 ) f (x3 )α3 · · · f (xm )αm
α1 α2

Sabemos que f (xi ) ∈ H, luego f (xi )αi ∈ H, por lo tanto, es único el resultado de

f (x1 )α1 f (x2 )α2 f (x3 )α3 · · · f (xm )αm ∈ H

Luego f es una función.

Veamos ahora que f es un homomorfismo de grupo.
Para ello, sean dos palabras reducidas que al multiplicar se reducen, como caso general
tenemos

α β
f (aα1 1 · · · aαnn ∗ bβ1 1 · · · bβmm ) = f (aα1 1 · · · an−s
n−s s+1
bs+1 · · · bβmm )
= f (a1 )α1 · · · f (an−s )αn−s f (bs+1 )βs+1 · · · f (bβmm )
= f (a1 )α1 · · · f (an−s )αn−s ef (bs+1 )βs+1 · · · f (bβmm )

Pero tenemos que

α
n−i −β
an−i = bi+1i+1 ; ∀i, 0 ≤ i < s
Luego tenemos que
α
n−i −β
f (an−i ) = f (bi+1i+1 )
αn−i
f (an−i ) = f (bi+1 )−βi+1
αn−i
f (an−i )f (bi+1 )βi+1 = e
CAPÍTULO 1. GRUPOS 41

Retornado a la igualdad, tenemos

f (aα1 1 · · · aαnn ∗ bβ1 1 · · · bβmm ) =

α β
= f (aα1 1 · · · an−s
n−s s+1
bs+1 · · · bβmm )
= f (a1 )α1 · · · f (an−s )αn−s ef (bs+1 )βs+1 · · · f (bβmm )
= f (a1 )α1 · · · f (an−s )αn−s f (an−s+1 )αn−s+1 f (bs )βs f (bs+1 )βs+1 · · · f (bβmm )

continuamos el reemplazo y como es finito tenemos que

f (aα1 1 · · · aαnn ∗ bβ1 1 · · · bβmm ) = f (aα1 1 · · · aαnn )f (bβ1 1 · · · bβmm )

Por último la Unicidad

Sea g : G → H un homomorfismo de grupo tal que g ◦ ι = f .
Luego tenemos que g(ι(x)) = f (x) con x ∈ X y además

g(aα1 1 aα2 2 aα3 3 · · · aαnn ) = g(aα1 1 )g(aα2 2 )g(aα3 3 ) · · · g(aαnn )

= g(a1 )α1 g(a2 )α2 g(a3 )α3 · · · g(an )αn
= f (a1 )α1 f (a2 )α2 f (a3 )α3 · · · f (an )αn
= f (aα1 1 aα2 2 aα3 3 · · · aαnn )

Definición 26 Sea X un conjunto no vacı́o y G el grupo de las palabras reducidas, entonces

G es llamado el grupo libre sobre X

Observación: Notemos que hemos construido un modelo del grupo libre, el cual con la
propiedad universal es único salvo isomorfismo.

Corolario 55 Todo grupo H es imagen homomorfica de un grupo libre

Demostración: Sean X un conjunto generador de H y G el grupo libre sobre el conjunto

X, luego
ι✲
X G
❅ 
❅ ∃! f
f
❅❘ ❄
❅
H
La función f es epiyectiva, ya que el conjunto X es generador de H, luego por el teorema
del isomorfismo tenemos que
Gker(f ) ≃ H

Observación: Dado el isomorfismo anterior tenemos que

fe : GN → H
aα1 1 αn e α1
· · · an → f (a1 · · · aαnn )
CAPÍTULO 1. GRUPOS 42

Supongamos que N esta generado por Y un subconjunto de G, luego si w ∈ Y entonces

fe(w) = e
xα1 1 · · · xαnn = e
La última igualdad es llamada una relación .
Definición 27 Sea X un conjunto y Y un conjunto de palabras reducidas sobre X.
Se dice que hX | Y i es una presentación del grupo H si y sólo si
1. G es el grupo libre sobre X, y
2. N es el subgrupo normal generado (más pequeño) por Y en G, y
3. GN ≃ H.
Ejemplo 16 El grupo diédrico o diedral esta dado por
Dn = {ai bj | an = e, b2 = e, bab = a−1 }
una presentación del grupo es:
h{a, b} | {an , b2 , abab}i = ha, b | an , b2 , ababi
Ejemplo 17 Determinar una presentación de los grupos Sn , Zn
Teorema 56 Sea X un conjunto, Y un conjunto de palabras reducidas sobre X y H el grupo
definido por la presentación hX | Y i.
Si K es un grupo tal que K =< X > y satisface todas las relaciones w = e con w ∈ Y
entonces existe un epimorfismo de f : H → K.
Demostración: Sea F el grupo libre sobre X y N el subgrupo normal de F generado por
Y . Luego tenemos que
F N ≃ H.
Además f : X → K, la inclusión natural

X
ι ✲ F
❅ 
❅ ∃! f
f
❅❘ ❄
❅
K

pero Y ⊆ ker(f ), luego tenemos que N ⊆ ker(f ).

F
π ✲ F N
❅ 
❅
fe
f❅
❅❘ ❄
❅
H

Como f es epiyectiva. luego fe es epiyectiva.


CAPÍTULO 1. GRUPOS 43

1.7.1. Ejercicios
1. Sea F un grupo libre sobre X y F ′ el conmutador
Demostrar que F F ′ es un grupo abeliano sobre X.

2. Sea G un grupo. Demostrar que existe un grupo libre F tal que

G ≃ F N.

3. Sea F1 un grupo libre sobre X1 y F2 un grupo libre sobre X2 y existe f : X1 → X2 una

función biyectiva.
Demostrar que
F1 ≃ F2 .

4. Sean F el grupo libre generado por el conjunto X y sea Y ⊆ X.

Si N es el subgrupo normal más pequeño que contiene a Y , entonces F N es un grupo
libre.

5. Sea F un grupo libre sobre X, y X contiene al menos dos elementos.

Demostrar que el centro de F es trivial.

6. Sea F un grupo libre y N el grupo generado por el conjunto {xn ∈ F | x ∈ F }, con

n ∈ N∗ fijo entonces N E F .

7. Dado el grupo libre sobre {a, b} y N el subgrupo normal G generado por las palabras
reducidas a4 , b6 , aba−1 b−1 , a2 b−3 .
Demuestre que:
GN =< a, b | a4 , b6 , aba−1 b−1 , a2 b−3 >
es un grupo cı́clico de orden 12.

8. Dado el grupo libre sobre {a, b} y N el subgrupo normal G generado por las palabras
reducidas a8 , b2 a4 , ab−1 ab.
Demuestre que:
GN =< a, b | a8 , b2 a4 , ab−1 ab >
es un grupo cı́clico de orden 16.

9. Dado el grupo libre sobre {a, b} y N el subgrupo normal G generado por las palabras
reducidas a8 , b2 a4 , ab−1 ab−2 .
Determinar el grupo


GN = a, b | a8 , b2 a4 , ab−1 ab−2 .
CAPÍTULO 1. GRUPOS 44

1.8. Grupos Nilpotentes

Sea G un grupo, el centro de G esta definido por
C1 (G) = Z(G) = {g ∈ G | (∀x ∈ G)(gx = xg)}
Claramente C(G) E G
Además tenemos
π1 : G −→ GC1 (G)
g 7−→ g
Se define
C2 (G) = π1−1 (Z (GC1 (G))) E G
En general, podemos definir por recurrencia
πn : G −→ GCn (G)
g 7−→ g
y de esta manera tenemos que

Cn+1 (G) = πn−1 (Z (GCn (G))) E G

Proposición 57 Sea G un grupo, entonces
1. (∀n ∈ N)(Cn (G) E G)
2. (∀n ∈ N)(Cn (G) E Cn+1 (G))
Definición 28 Sea G un grupo se dice que G es nilpotente si y sólo si
(∃n ∈ N)(Cn (G) = G)
Ejemplo 18 Determinar si los siguientes grupos son nilpotente.
1. Los grupos abelianos.
2. S3 grupo de permutaciones de 3 elementos.
3. D4 grupo diedral de 8 elementos.
4. El grupo de las triangulares superiores invertibles de 2 × 2.
Proposición 58 Todo p-grupo finito es nilpotente
Demostración: Sea G un p-grupo finito, luego sabemos que C1 (G) 6= {e}, de lo cual obte-
nemos |G| =
6 |GC1 (G)|.
Además
π : G −→ GC1 (G)
g 7−→ g
Si |GC1(G)| = 1 listo, en caso contrario GC1(G) es un p-grupo, luego C(GC1 (G)) 6=
{e}, por ende tenemos que C1 (G)  C2 (G), por recurrencia y el hecho que el grupo es finito,
tenemos que existe n ∈ N tal que
Cn (G) = G

CAPÍTULO 1. GRUPOS 45

Proposición 59 El producto cartesiano de un número finito de grupos nilpotentes es nilpo-

tente.
Demostración: Sean G, H dos grupos nilpotente.
Sabemos que C(G × H) = C(G) × C(H), luego por inducción tenemos que
G × HCn (G × H) = G × HCn (G) × Cn (H) ≃ GCn (G) × HCn (H)
además tenemos que
πn : G × H −→ GCn (G) × HCn (H)
(g, h) 7−→ (g, h)
Ası́
Cn+1 (G × H) = πn−1 (Z (GCn (G) × HCn (H)))
= πn−1 (Z (GCn (G))) × πn−1 (Z (HCn (H)))
= Cn+1 (G) × Cn+1(H)
luego existe m ∈ N tal que
Cm (G × H) = Cm (G) × Cm (H) = G × H

Proposición 60 Sea G un grupo nilpotente y H es un subgrupo no trivial de G entonces
H  NG (H)
Demostración: Ya que H e no trivial, entones existe n ∈ N tal que
Cn (G) ⊆ H y Cn+1 (G) 6⊆ H,
luego tenemos que
H/Cn (G) ≤ G/Cn (G)
además existe g ∈ Cn+1 (G), tal que g 6∈ H.
De lo cual se obtiene que
g = gCn (G) ∈ Z(G/Cn (G)).
Ahora sea h ∈ H entonces
gh = gh = hg = hg ∈ GCn (G)
de este modo
ghg −1h−1 ∈ Cn (G) ⊆ H
Por lo tanto obtenemos que
gHg −1 ⊆ H
de lo cual
g ∈ NG (H)H

CAPÍTULO 1. GRUPOS 46

Proposición 61 Sea G un grupo finito.

G es nilpotente si y sólo si G es producto directo de p-grupos de Sylow.

Demostración: Todos los p-grupos son nilpotentes y el producto cartesiano de nilpotente

es nilpotente, de esta manera tenemos la primera implicación.
Para la segunda parte de la demostración, sea p un primo que divide a |G|, luego existe
P un p-subgrupo de Sylow.
Si P = G, ha concluido la demostración.
En caso contrario P =6 G, luego por la propiedad anterior tenemos que NG (P) 6= P.
Supongamos que NG (P) es distinto de G, luego por ser p subgrupo de Sylow se tiene
que NG (NG (P)) = NG (P) y por otro lado por ser nilpotente obtenemos que NG ((NG (P)) 6=
NG (P), lo cual es una contradicción.
De este modo se tiene que, si P es un p subgrupo de Sylow entonces NG (P) = G, es
decir, P es un subgrupo normal, por ende único.
Sean Pi los distintos pi -subgrupos de Sylow de G, luego tenemos que

1. Si i 6= j entonces Pi ∩ Pj = {e}, por orden de los elementos.

2. Si i 6= j y a ∈ Pi , b ∈ Pj entonces ab = ba, ya que no hay elementos en común y ambos

subgrupos son normales.
Q
3. Pi ∩ ( j6=i Pj ) = {e}.
Sabemos que lo elementos de los distintos pi subgrupos conmutan, luego tenemos por
argumento similar que un elemento que pertenece a la intersección
Q debe tener orden
un potencia de pi y pi no es un divisor del cardinal del grupo j6=i Pj .

4. Por cardinalidad obtenemos el resultado deseado, es decir,

Y
G= Pj ≃ ×j Pj
j

Corolario 62 Sea G un grupo nilpotente finito y m ∈ N tal que m divide al orden de G,

entonces existe un grupo de orden m de G.

1.8.1. Ejercicios
1. Si G es un p-grupo finito H E G tal que H 6= {e} entonces H ∩ C(G) 6= {e}, donde
C(G) es el centro de G.

2. Demostrar que el producto cartesiano de grupos nilpotente es nilpotente.

3. Sea H un subgrupo no trivial del grupo nilpotente finito G, entonces

Demostrar H es un subgrupo propio de NG (H).
CAPÍTULO 1. GRUPOS 47

1.9. Grupos Solubles

Sea G un grupo se define el conmutador o derivado de G igual al grupo
G′ = [G, G] =< {aba−1 b−1 | ab ∈ G} >
en general se define
G(n+1) = (G(n) )′
llamado el (n + 1)-subgrupo derivado

Proposición 63 Sea G un grupo y N E G, entonces

1. Para todo n ∈ N tenemos que G(n) es un subgrupo normal de G.
2. GG′ es abeliano.
3. GN es abeliano si y sólo si G′ ⊆ N.
4. Si H ≤ G entonces H ′ ≤ G′ .
5. Para todo n ∈ N tenemos que G(n) ≥ G(n+1) .

Definición 29 Sea G un grupo se dice que G es soluble si y sólo si

(∃n ∈ N)(G(n) = {e})

Ejemplo 19 Determinar si los siguientes grupos son solubles.

1. Los grupos abelianos
2. S3 grupo de permutaciones de 3 elementos
3. D4 grupo diedral de 8 elementos
4. El grupo de las triangulares superiores invertibles de 2 × 2

Proposición 64 Sea n ≥ 5 entonces Sn no es soluble.

Demostración: Sea Sn el grupo simétrico, esta generado por las transposiciones y An el

grupo alternado, esta generado por los 3-ciclos.
Como Sn′ ⊆ An , para la otra contención, sea (a, b, c) un tres ciclos, sean x, y dos elementos
distintos
[(a c) (c a)] = (a c b)(a c b)] = (a b c)
Por lo tanto tenemos que Sn′ = An
Para calcular el conmutador de An veamos
[(x y a) (x y b)] = (a b)(x y) [(x y b) (x y c)] = (b c)(x y)
luego tenemos
(a b)(x y)(b c)(x y) = (a b c) ∈ A′n
por lo tanto A′n = An . 
CAPÍTULO 1. GRUPOS 48

Proposición 65 Todo grupo nilpotente es soluble

Demostración: Sea G un grupo es nilpotente, luego existe m ∈ N tal que Cm (G) = G.

Por otra parte sabemos que

Cn+1 (G)Cn (G) ≃ C(GCn (G))

Por lo tanto tenemos que

′
Cn+1 (G) ⊆ Cn (G)
luego tenemos

G′ ⊆ Cm−1 (G)
G′′ ⊆ Cm−2 (G)
G(m−1) ⊆ C(G)
G(m) ⊆ {e}

Ası́ hemos demostrado que G(m) = {e}, es decir, es soluble 

Proposición 66 Sea G un grupo, N E G y K ≤ G

1. Si G es soluble entonces K es soluble.

2. Si G es soluble entonces GN es soluble.

3. Si N y GN son soluble entonces G es soluble.

Demostración: Sea K ≤ G, como K ′ ≤ G′ , luego tenemos

K (n) ≤ G(n) = {e}

Consideremos
π : G −→ GN
g 7−→ g
es un epimorfismo, luego dado π[a, b] = [π(a), π(b)], con ello tenemos

π(G′ ) = (GN)′
de lo cual tenemos
(GN)n = Gn N
Para 2. Notemos que (GN)′ = {gN | g ∈ G′ }, luego tenemos que

(GN)(n) = {gN | g ∈ G(n) }

De este modo GN es soluble.

Finalmente, supongamos que existen n, m ∈ N tales que

(GN)(n) = {eN} y N (m) = e.

CAPÍTULO 1. GRUPOS 49

Por la segunda parte tenemos que toda las clases son la clase el neutro, luego

G(n) ⊆ N

calculando m conmutadores mas,

G(n+m) ⊆ N (m) = {e}

Por ello G es soluble. 

Definición 30 Sea G un grupo y H ≤ G.

1. Se dice que H es un grupo caracterı́stico de G si y sólo si para todo f ∈ Aut(G) se

tiene que f (H) ⊆ H

2. Se dice que H es un grupo totalmente invariante de G si y sólo si para todo f ∈

End(G) se tiene que f (H) ⊆ H

Ejemplo 20 Todos subgrupo normal de Sylow de G es totalmente invariante

Proposición 67 Sea N un subgrupo normal de un grupo finito G y H ≤ G

1. Sea H un subgrupo totalmente invariante entonces H es un subgrupo caracterı́stico.

2. H es un grupo caracterı́stico de N entonces H E G.

Demostración:

Proposición 68 Si G es grupo soluble finito y N es un subgrupo normal minimal de G

entonces N es abeliano y p- grupo para algún p

Demostración: Sabemos que N es un grupo soluble, notemos que N ′ E G, ya que

g[a, b]g −1 = [gag −1, gbg −1].

y N ′ ⊂ N, luego tenemos N ′ = {e}, por lo tanto es abeliano.

Además se p un primo que divide a N, luego existe P un p-subgrupo de Sylow. Como N
es abeliano luego P es normal y por ende normal en G, de este modo tenemos que P = N.


Proposición 69 (P.Hall) Sea G un grupo finito soluble de orden nm con (n, m) = 1 en-
tonces

1. G contiene un grupo de orden m.

2. Dos grupos de orden m son conjugados.

3. Un subgrupo de orden k, tal que k divide a m esta contenido en un subgrupo de orden

m.
CAPÍTULO 1. GRUPOS 50

Demostración: Sea G un grupo finito soluble de orden nm con (n, m) = 1.

La demostración sera por inducción en m en dos casos:
Primer Caso:

1. Además suponemos que existe H E G, tal que |H| = m1 n1 tal que n1 < n, m1 ≤ m.
mn
De lo cual tenemos que GH es soluble de orden m1 n1
< mn.
m
Por inducción se tiene que existe AH de orden m1
, donde A
es un subgrupo G de
orden mn1 < mn, como A es soluble luego existe K ≤ A tal que |K| = m.

2. Sean B y C dos subgrupos de orden m, ya que H E G, luego tenemos que

HB ≤ G HC ≤ G

Notemos que
|H||B| mm1 n1
t = |HB| = =
|H ∩ B| |H ∩ B|
de lo cual tenemos t|H ∩ B| = mm1 n1 , y t|mn.
Notemos que (m1 , n) = 1, luego existe x1 , y1 tales que m1 x1 + ny1 = 1, amplificando
tenemos
mm1 n1 x1 + mn1 ny1 = mn1
de lo cual tenemos que t|mn1 .
Por otro lado sabemos que |B| = m y |H| = m1 n1 y como B ≤ HB y H ≤ HB, se
tiene que m|t y m1 n1 |t.
Análogamente tenemos que (m, n) = 1, luego existe x2 , y2 tales que mx2 + ny2 = 1,
amplificando tenemos

mtx2 + nty2 = t, mm1 n1 q1 x2 + nmq2 ky2 = t.

de este modo se tiene que mn1 |t, de lo cual se tiene que mn1 = t.
De manera similar obtenemos que |HB| = |HC| = mn1 ,
Si tenemos que HBH, HCH ≤ GH de orden mm1 , por inducción, son conjugados,
es decir existe xH ∈ GH tal que xHBx−1 H = HCH luego xHBx−1 = HC, es
decir xBx−1 y C son subgrupos de HC del mismo orden, luego

xBx−1 = hcCc−1 h−1 , h−1 xBx−1 h = C

De este modo los subgrupos son conjugados en G.

3. Si K ≤ G tiene orden k, tal que k|m. por teorema del isomorfismo

HKH ≃ KH ∩ K

luego el orden HKH tiene orden un divisor k y HKH ≤ GH, y los ordenes son
|GH| = mm1 nn1 . Como k|m, se tiene (k, n) = 1, luego el orden de HKH divide a
CAPÍTULO 1. GRUPOS 51

m m
m1
,
por hipótesis de inducción existe AH ≤ GH de orden m1
, tal que contiene a
HKH, es decir
K ⊂ HK ⊂ A y |A| = mn1
Aplicando inducción en A se tiene que existe A1 subgrupo de A de orden m tal que
K ⊆ A1 ⊆ A ⊆ G.

Segundo Caso:
Ahora suponemos que todos H E G, se tiene que |H| = m1 n.
Sea H un subgrupo normal minimal de G, luego por proposición anterior tenemos que
H es abeliano y un p-grupo es decir n = pr .
De este modo se tiene que H es un p-subgrupo de Sylow normal de G, además todo otro
subgrupo normal de G contiene a H.
1. sea K un subgrupo normal de G, tal que KH es un subgrupo minimal normal de
GH. luego |K| = pr q s donde q 6= p.
Sea P un q subgrupo de Sylow de K, definimos M = NG (P ), N = NK (P ), veremos
que |M| = m. Para ello, tenemos que H ∪ P = {e} y
|H||P |
|HP | = = pr q s = |K|
|H ∩ P |
Luego tenemos que HP ⊂ K y tiene igual cardinal, por lo tanto HP = K.
Además notemos que K E G, P ≤ K, luego tenemos que ∀g ∈ G)(gP g −1 ⊂ K).
Por lo tanto el número de conjugado de P en K es igual al de conjugado de P en G.
[G : M] = [K : N]
Además
P ≤ N ≤ K; K = HP ≤ HN ≤ K
De lo cual K = HN, de esta manera tenemos que
[G : M] = [K :N ] = [HN : N] = [H : H ∩ N]

Si H ∩ N 6= {e}, existe x ∈ H ∩ N, y dado k ∈ K = HP , se tiene que k = hz notemos

que
P (xzx−1 )z −1 = x(zx−1 z −1 ) ∈ H
Teorema 70 Sea G es un grupo finito.
Si G contiene un subgrupo de orden m, para todo m tal que divide al orden de G y
(m, |G|
m
) = 1 entonces G es soluble
Definición 31 Sea {Gi }ni=0 una familia subgrupos de G, tal que Gi+1 ≤ Gi
Se dice que G = G0 > G1 > G2 · · · > Gn es un serie subnormal de G si y sólo si Gi+1 EGi
para todo 0 ≤ i < n, los factores de la serie son los grupos cuociente Gi Gi+1 y la longitud
de la serie la cantidad de subgrupos propios distintos.
Se dice que G = G0 > G1 > G2 · · · > Gn es un serie normal de G si y sólo si Gi E G
para todo 0 ≤ i < n.
CAPÍTULO 1. GRUPOS 52

Ejemplo 21 La serie formado por los derivados es una serie normal

G = G(0) > G(1) > G(2) · · · > G(n)

Si G es nilpotente entonces es una serie normal

G = Cn (G) > Cn−1 (G) > Cn−2 G · · · > C0 (G)

Definición 32 Sea G = G0 > G1 > G2 · · · > Gn un serie subnormal de G.

Un paso de refinamiento de la serie a la serie formada por

G = G0 > G1 > G2 · · · > Gi > N > Gi+1 > · · · > Gn o G = G0 > G1 > G2 · · · > Gn > N

donde Gi D N D Gi+1 o Gn D N.
Un refinamiento de la serie subnormal S es una subnormal serie S ′ obtenida por una
cantidad finita de pasos de refinamiento. Además el refinamiento es propio si la longitud
aumenta.

Definición 33 Sea S : G = G0 > G1 > G2 · · · > Gn = {e} un serie subnormal de G.

Se dice que S es una serie de composición si y sólo si Gi Gi+1 es un grupo simple.
Se dice que S es una serie soluble si y sólo si Gi Gi+1 es un grupo abeliano.

Ejemplo 22 Sea H E G entonces

GH es simple si y solo si H es un subgrupo maximal en G

Teorema 71 Sea G un grupo

1. Todo grupo finito G tiene una serie de composición

2. Todo refinamiento de una serie soluble es una serie soluble

3. Una serie subnormal es una serie de composición s y solo si no tiene un refinamiento

propio

Demostración: i) Sea G1 una subgrupo normal maximal de G . Ahora sea G2 un subgrupo

normal maximal de G1 , luego G1 G2 es un grupo simple, y como el grupo es finito el proceso
termina.
ii) Si Gi Gi+1 es abeliano y Gi+1 EH EGi entonces HGi+1 es un subgrupo de Gi Gi+1 ,
luego es abeliano y

Gi Gi+1 HGi+1 ≃ Gi H
luego HGi+1, Gi H son abelianos
iii) Si Gi+1 E H E Gi , con Gi+1 6= H 6= Gi entonces HGi+1 es un subgrupo propio de
Gi Gi+1 y también todo subgrupo propio de Gi Gi+1 es de esta forma. 

Teorema 72 Un grupo es soluble si y sólo si existe un serie soluble de G

CAPÍTULO 1. GRUPOS 53

Demostración: Por ejemplo anterior es inmediato para un lado.

La otra implicación, dada la serie soluble G = G0 > G1 > G2 · · · > Gn = {e}, entonces
tenemos que GG1 es abeliano luego G′ ≤ G1 , además tenemos que G1 G2 es abeliano
luego G′1 ≤ G2 , de lo cual tenemos que G′′ ≤ G′1 ≤ G2 , repitiendo el proceso tenemos que

G(n) ≤ Gn = {e}

con lo cual hemos demostrado que es soluble 

Ejemplo 23 El grupo diedral es un grupo soluble

Los grupos de orden pq son solubles

Proposición 73 Un grupo finito G es soluble si y sólo si G tiene una serie de composición

con factores cı́clicos de orden primo.

Demostración: Sea G = G0 > G1 > G2 · · · > Gn = {e} una serie de composición con
factores una potencia de un primo, luego los factores son abeliano, luego es soluble.
Sea G = G0 > G1 > G2 · · · > Gn = {e} una serie soluble, Si G0 6= G1 , Sea H1 una
subgrupo normal maximal de G, contenido en G1 .
Si G 6= H1 , sea H2 un subgrupo normal maximal de H1 , como el grupo es finito el
proceso termina. De este modo hemos construido G0 > H1 > H2 > · · · > Hk > G1 , como los
subgrupos son maximales, el factor es simple.
Aplicando el procedimiento a cada eslabón, tenemos un refinamiento de un serie soluble,
luego es soluble. De esta manera tenemos que los factores son abelianos simple, por ende son
orden es un primo. 

Definición 34 Dos serie subnormales S y T son equivalentes si y sólo si existe una corres-
pondencia entre los factores no triviales de S y los de T , tal que la correspondencia entre los
factores es un isomorfismo grupo

Ejemplo 24 El grupo cı́clico Z6 , tiene dos series de composición

Z6 ⊇< 2 >⊇ {e} Z6 ⊇< 3 >⊇ {e}

con cuocientes o factores: Z2 , Z3 y Z3 , Z2

Teorema 74 (Jordan-Hölder) Dos serie de composición de grupo son equivalente.

Demostración: Por inducción en el orden de G.

Dada las series de composición de largo respectivamente s, r

S : G > K1 > K2 > · · · > Ks+1 = {e} (1.1)

T : G > H1 > H2 > · · · > Hr+1 = {e} (1.2)

Si |G| = 2, la única serie de composición de G es G ⊇ {e}, y por tanto nada hay que
demostrar.
Supongamos el teorema válida para grupos cuyo orden es menor que el orden de G.
CAPÍTULO 1. GRUPOS 54

Si G es un grupo simple, la única serie es G ⊇ {e} luego el teorema es valido en este caso.
Si G no es simple, se distinguen dos casos:
i) H1 = K1 . En este primer caso, por hipótesis inductiva, las dos series de composición
de H1 , deducidas de S y T al eliminar el grupo G son equivalentes, luego las series originales
también lo son.
ii) Si H1 6= K1 . Como ambas son subgrupos normales G, ası́ lo es H1 K1 .
Como H1 6= K1 , luego H1 $ H1 K1 y por maximalidad de H2 , debe ser G = H1 K1 ,
Poniendo L1 = H1 ∩ K1 , se tiene por el teorema de isomorfismo:

GH1 = H1 K1 H1 ≃ K1 L1

GK1 = H1 K1 K1 ≃ H1 L1

Por consiguiente, K1 L1 , H1 L1 son simples, pues GH1, GK1 lo son.
Sea L1 > L2 > L3 · · · > Lt = {e} una serie de composición de L1 . En tal caso las
siguientes son series de composición de G:

G > H1 > L1 > L2 > L3 · · · > Lt = {e} (1.3)

G > K1 > L1 > L2 > L3 · · · > Lt = {e} (1.4)

los grupos cuocientes son

GH1 , H1 L1 , L1 L2 , L2 L3 · · · Lt−1 Lt = {e}

GK1 , K1 L1 , L1 L2 , L2 L3 · · · Lt−1 Lt = {e}

Entonces, las series 1.3 y 1.4 son equivalentes ya que, salvo la permutación de los dos
grupos de la izquierda, los demás son los mismo.
También son equivalentes series de H1 deducidas en 1.1 y 1.3 al eliminar el grupo de la
izquierda, entonces 1.1 y 1.3 son equivalentes. Análogamente con 1.2 y 1.4. Luego, 1.1 y 1.2
son equivalentes. 

1.9.1. Ejercicios
1. Demostrar que
Para todo n ∈ N tenemos que G(n) es un subgrupo normal de G.

2. Demostrar que S4 es soluble.

3. Demostrar que
Si n ≥ 5 entonces Sn no es soluble.

4. Demostrar que
Todos los p-grupos finitos son solubles
CAPÍTULO 1. GRUPOS 55

5. Demostrar que si N es un subgrupo soluble de G y GN es soluble entonces G es

soluble.
v Sean p, q números primos distintos
Demostrar que todos los grupos de orden p2 q son solubles.

6. Sea f : H → G un epimorfismo y H es un grupo soluble entonces

Demostrar que G es un grupo soluble.