Introducci

on a la teora
de grupos finitos

por Alberto Garca Raboso

8 de marzo de 2007

II

Este documento ha sido realizado en AMS-LATEX 2 .

v. 1.0 (26 de agosto de 2001).
v. 1.1 (24 de febrero de 2004): Actualizaci
on de direcci
on de correo electr
onico.
v. 1.2 (8 de marzo de 2007): Correcci
on de algunas erratas (gracias a Jorge N
un
ez
Pascual). Modificada tabla al final del captulo 10 para incluir grupos abelianos (por
sugerencia de Jorge N
un
ez Pascual). Actualizaci
on de direcci
on de correo
electr
onico.
Se puede contactar con el autor en <agraboso@physics.rutgers.edu> y
<agraboso@gmail.com>

Indice general

Indice general

III

1 Grupos y subgrupos
1.1. Primeras definiciones y propiedades . . . . . . . . . . . . . . . .
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Homomorfismos de grupos . . . . . . . . . . . . . . . . . . . . .

1
1
3
4

2 Teorema de Lagrange
2.1. Clases de un grupo modulo un subgrupo . . . . . . . . . . . . .
2.2. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . .
2.3. Producto interno de subgrupos . . . . . . . . . . . . . . . . . .

7
7
8
9

3 Grupos cclicos
3.1. Definicion de grupo cclico . . . . . . . .
3.2. Propiedades de los elementos de torsion
3.3. Corolarios del teorema de Lagrange . . .
3.4. Teoremas de Euler y Fermat . . . . . . .
3.5. Clasificacion de grupos cclicos . . . . .
3.6. Subgrupos de grupos cclicos . . . . . .
3.7. Generadores de grupos cclicos . . . . .
3.8. Imagen homomorfica de grupos cclicos .
3.9. Automorfismos de grupos cclicos . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

11
11
11
13
13
15
16
18
18
19

4 Acciones de grupos. Subgrupos normales

21
4.1. El teorema de orbita-estabilizador . . . . . . . . . . . . . . . . 21
4.2. Elementos conjugados y clases de conjugacion . . . . . . . . . . 23
4.3. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . . 25
5 Grupos cociente y teoremas de isomorfa
29
5.1. Grupo cociente y teorema de correspondencia . . . . . . . . . . 29
5.2. Homomorfismos, subgrupos y teoremas de isomorfa . . . . . . 30
5.3. Corolarios de los teoremas de isomorfa . . . . . . . . . . . . . . 32
iii


Indice general

IV

6 Grupos sim
etricos, alternados y di
edricos
35
6.1. Permutaciones. Descomposicion en ciclos disjuntos . . . . . . . 35
6.2. Descomposicion en transposiciones. Sistemas de generadores de
Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6.3. Signatura de una permutacion . . . . . . . . . . . . . . . . . . . 37
6.4. Grupos alternados . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.5. Estructura de los grupos simetricos y alternados . . . . . . . . 41
6.6. Teorema de Abel . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.7. Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.8. Grupos diedricos . . . . . . . . . . . . . . . . . . . . . . . . . . 44
7 Producto directo y semidirecto
47
7.1. Producto directo de grupos . . . . . . . . . . . . . . . . . . . . 47
7.2. Producto semidirecto de grupos . . . . . . . . . . . . . . . . . . 50
8 p-grupos y teoremas de Sylow. Grupos solubles
8.1. p-grupos y p-subgrupos de Sylow . . . . . . . . .
8.2. Teoremas de Sylow . . . . . . . . . . . . . . . . .
8.3. Corolarios de los teoremas de Sylow . . . . . . .
8.4. Grupos solubles . . . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

53
53
54
56
57

9 Grupos abelianos finitos

9.1. Factorizacion de elementos de grupos abelianos finitos
9.2. Clasificacion de los grupos abelianos finitos . . . . . .
9.3. Cuerpos finitos . . . . . . . . . . . . . . . . . . . . . .
9.4. Grupos abelianos de orden bajo . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

61
61
62
67
68

10 Clasificaci
on de grupos de orden menor que 16
10.1. Primeros grupos clasificados . . . . . . . . . . . .
10.2. Grupos de orden pq . . . . . . . . . . . . . . . . .
10.3. Grupos de orden 8 . . . . . . . . . . . . . . . . .
10.4. Grupos de orden 12 . . . . . . . . . . . . . . . .
10.5. Resumen . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

69
69
69
70
72
74

Bibliografa

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.
.

75

Captulo 1

Grupos y subgrupos
1.1.

Primeras definiciones y propiedades

Definici
on 1.1.1 Un grupo es un conjunto G dotado de una operaci
on binaria que satisface los siguientes axiomas:
(G1) Operaci
on interna:
x, y G, x y G
(G2) Propiedad asociativa:
x, y, z G, (x y) z = x (y z)
(G3) Existencia de elemento neutro:
e G : g G, e g = g e = g
(G4) Existencia de elemento inverso:
g G, g 1 G : g g 1 = e = g 1 g
Definici
on 1.1.2 Se dice que un grupo (G, ) es abeliano si para todos x, y
G se cumple x y = y x.
Definici
on 1.1.3 Sea (G, ) un grupo. Se llama orden de (G, ) al cardinal
|G| del conjunto subyacente. Se dice que (G, ) es finito si dicho cardinal lo
es, e infinito en caso contrario.
Proposici
on 1.1.4 (Propiedades cancelativas) Sea (G, ) un grupo. Para todos a, b, c G se cumple
a c = b c = a = b
c a = c b = a = b
1

Grupos y subgrupos
n. Dado c G, el axioma (G4) asegura la existencia de un
Demostracio
elemento c1 G tal que c c1 = e. Entonces, componiendo a c = b c por
la derecha con c1 , se tiene
(a c) c1 = (b c) c1
1

a (c c

) = b (c c

ae=be

utilizando (G2)
utilizando (G4)
utilizando (G3)

a=b
Analogamente, y dado que c1 c = e, componiendo c a = c b por la
izquierda con c1 ,
c1 (c a) = c1 (c b)

utilizando (G2)

(c1 c) a = (c1 c) b

utilizando (G4)

ea=eb

utilizando (G3)

a=b
 Q.E.D.
Proposici
on 1.1.5 El elemento neutro e de un grupo (G, ) es unico.
n. Supongamos que existiesen en (G, ) dos elementos neutros
Demostracio
distintos e, f G. Entonces, utilizando el axioma (G3), e = e f = f .
 Q.E.D.
Proposici
on 1.1.6 El elemento inverso de cualquier elemento g de un grupo
(G, ) es u
nico.
n. Supongamos que existiesen dos elementos g 1 , g ? G tales
Demostracio
que g g 1 = g 1 g = e y g g ? = g ? g = e. Entonces, g g 1 = g g ? ,
y, utilizando la propiedad cancelativa por la izquierda, se tiene g 1 = g ? .
 Q.E.D.
Proposici
on 1.1.7 Sea (G, ) un grupo. Para todo g G se tiene que (g 1 )1 =
g.
n. Dada la unicidad del elemento inverso, basta observar que
Demostracio
g g 1 = g 1 g = e.
 Q.E.D.
Proposici
on 1.1.8 Sea (G, ) un grupo. Para todos x, y G se tiene que
(x y)1 = y 1 x1 .
n. La unicidad del elemento inverso y las relaciones
Demostracio
(x y) (x y)1 = x (y y 1 ) x1 = x e x1 = x x1 = e
(x y)1 (x y) = y 1 (x1 x) y = y 1 e y = y 1 y = e
demuestran el enunciado.

 Q.E.D.

1.2. Subgrupos

Proposici
on 1.1.9 Sea (G, ) un grupo. Entonces,
(G, )es abeliano x, y G, (x y)1 = x1 y 1
n. De la definicion de grupo abeliano, (x y)1 = y 1 x1 =
Demostracio
x1 y 1 .
Recprocamente, si para todos x, y G se tiene (x y)1 = x1 y 1 ,
entonces, utilizando sucesivamente las proposiciones 1.1.7 y 1.1.8, la hipotesis
y de nuevo la proposicion 1.1.7,
x y = (x1 )1 (y 1 )1 = (y 1 x1 )1 = (y 1 )1 (x1 )1 = y x
 Q.E.D.

1.2.

Subgrupos

Definici
on 1.2.1 Dado un grupo (G, ) y un subconjunto H G, se dice que
(H, ) es un subgrupo de (G, ), y se denota (H, ) (G, ), si H es un grupo
con respecto a la operaci
on definida en G.
Definici
on 1.2.2 Sea (G, ) un grupo. Los subconjuntos G y {e} reciben el
nombre de subgrupos impropios de G. El resto de subgrupos de G reciben el
nombre de subgrupos propios de G.
Proposici
on 1.2.3 Sea (G, ) un grupo, y sea H G, H 6= . (H, ) es un
subgrupo de (G, ) si y s
olo si para todos x, y H se cumple x y 1 H.
n. Sea H un subgrupo de G. Si x, y H entonces, por (G4),
Demostracio
1
y H, y, por (G1), x y 1 H.
Recprocamente, sea x H. Entonces x x1 = e H y e x1 =
1
x H, demostrando (G3)y (G4). Para probar (G1), basta observar que
x y = x (y 1 )1 H. Por u
ltimo, la asociatividad de la operacion en H se
deduce de la asociatividad de la operacion en G.
 Q.E.D.
Proposici
on 1.2.4 Sea I un conjunto
de ndices, y sean Hi , i I subgrupos
T
de un grupo (G, ). Entonces, iI Hi es un subgrupo de G.
n. Sean x, y Hi para todo i I. Por ser Hi subgrupos,
Demostracio
T
1
x y Hi para todo i I. Entonces, x, y, x y 1 iI Hi .
 Q.E.D.
Definici
on 1.2.5 Sea X un subconjunto cualquiera de un grupo G. Se llama
subgrupo generado por X, y se denota hXi, a la intersecci
on de todos los
subgrupos de G que contienen a X.
Proposici
on 1.2.6 En las condiciones de la definici
on anterior,
hXi = {x1 1 x2 2 xnn : x1 , x2 , . . . , xn X, 1 , 2 , . . . , n Z}

Grupos y subgrupos
n. Sea HX el conjunto del miembro derecho de la igualdad.
Demostracio
Es claro que HX es un subgrupo de G. Como X HX y hXi es el mnimo
subgrupo que contiene a X, se tiene que hXi HX .
Falta probar la inclusion contraria. Puesto que hXi es un subgrupo de
G y X hXi, si xi X, xi hXi para todo i = 1, 2, . . . , n, de donde
 Q.E.D.
x1 1 x2 2 xnn hXi y HX hXi.
Definici
on 1.2.7 Se llama retculo de los subgrupos de un grupo (G, ) al
conjunto de todos los subgrupos de (G, ), junto con sus relaciones de inclusi
on.

1.3.

Homomorfismos de grupos

Definici
on 1.3.1 Sean (G1 , ), (G2 , ?) grupos, y sea f : G1 G2 una aplicaci
on entre ellos. Se dice que f es un homomorfismo de grupos si
f (x y) = f (x) ? f (y)
Un homomorfismo inyectivo recibe el nombre de monomorfismo; un homomorfismo suprayectivo, epimorfismo; un homomorfismo biyectivo, isomorfismo; y un isomorfismo de G en s mismo, automorfismo.
Si existe un isomorfismo entre (G1 , ) y (G2 , ?), se dice que ambos grupos
son isomorfos, y se denota (G1 , )
= (G2 , ?).
Proposici
on 1.3.2 Sean (G, ), (H, ?) grupos, y sea f : G H un homomorfismo entre ellos. Entonces, para todos x, y G,
f (x y 1 ) = f (x) ? f (y)1
f (y 1 x) = f (y)1 ? f (x)
n. Utilizando que f es un homomorfismo,
Demostracio
f (x y 1 ) ? f (y) = f ((x y 1 ) y) = f (x)
y basta componer con f (y)1 por la derecha. La demostracion del segundo
aserto es analoga.
 Q.E.D.
Corolario 1.3.3 Sean (G, ), (H, ?) grupos, y sea f : G H un homomorfismo entre ellos. Entonces,
1. f (eG ) = eH .
2. Para todo g G, f (g 1 ) = f (g)1 .
n.
Demostracio
1. Basta aplicar la proposicion anterior al caso x = y.

1.3. Homomorfismos de grupos

2. Basta aplicar la proposicion anterior al caso x = eG , y = g.

 Q.E.D.
Proposici
on 1.3.4 La relaci
on de isomorfa de grupos es una relaci
on de
equivalencia.
n. Sean G, H, K grupos.
Demostracio
La aplicacion idG : G G es claramente un isomorfismo, por lo que
G
= G.
Si es un isomorfismo de G en H, 1 existe y es una biyeccion de H
en G. Si x1 , x2 G, y1 , y2 H, entonces 1 (yi ) = xi si y solo si (xi ) = yi .
Ademas, (x1 x2 ) = y1 y2 , de donde 1 (y1 y2 ) = x1 x2 . As,
1 (y1 )1 (y2 ) = x1 x2 = 1 (y1 y2 )
demostrando que 1 es un homomorfismo. Por tanto, H
= G.
Finalmente, si es un isomorfismo de G en H, y es un isomorfismo de
H en K, es una biyeccion de G en K. Ademas,
(xy) = ((xy))
= ((x)(y))

por ser homomorfismo

= ((x))((y))

por ser homomorfismo

= ( (x))( (y))
de modo que es un homomorfismo, y G
= K.

 Q.E.D.

Definici
on 1.3.5 Sean (G, ), (H, ?) grupos, y sea f : G H un homomorfismo entre ellos. Se llaman n
ucleo e imagen de f a los conjuntos
kerf = {g G : f (g) = e}
imf = f (G) = {h H : g G : f (g) = h}
Proposici
on 1.3.6 Sean G, H grupos, y f : G H un homomorfismo. Si
G es abeliano, f (G) es abeliano.
n.
Demostracio
f (x)f (y) = f (xy) = f (yx) = f (y)f (x)
 Q.E.D.
Proposici
on 1.3.7 El conjunto Aut G de automorfismos de un grupo G es
un grupo bajo la operaci
on de composici
on.

Grupos y subgrupos
n. Sean f, g : G G automorfismos de G. Entonces, tanDemostracio
to f1 f2 como f2 f1 son biyecciones de G en G. Para demostar que son
automorfismos, basta, por tanto, comprobar que son homomorfismos.
(f1 f2 )(gh) = f1 (f2 (gh))
= f1 (f2 (g)f2 (h))

por ser f2 homomorfismo

= f1 (f2 (g))f1 (f2 (h))

por ser f1 homomorfismo

= (f1 f2 )(g)(f1 f2 )(h)

con demostracion analoga para f2 f1 .
La asociatividad se deduce de la asociatividad de la composicion de aplicaciones.
La aplicacion identidad es, evidentemente, un automorfismo, y cumple
f idG = idG f = f , demostrando la existencia de elemento neutro.
Por u
ltimo, la inversa de una aplicacion biyectiva es biyectiva, y, si g 0 =
f 1 (g) y h0 = f 1 (h),
f 1 (gh) = f 1 (f (g 0 )f (h0 ))
= f 1 (f (g 0 h0 ))
0 0

=gh =f

(g)h

por ser f homomorfismo

1

(h)

demuestra que es un homomorfismo.

 Q.E.D.

Captulo 2

Teorema de Lagrange
2.1.

Clases de un grupo m
odulo un subgrupo

Definici
on 2.1.1 Sea H un subgrupo de un grupo G. Se llama clase por la
izquierda de G modulo H a cada conjunto
gH = {gh : h H}
con g G.
An
alogamente, se llama clase por la derecha de G modulo H a cada conjunto
Hg = {hg : h H}
de nuevo con g G.
Proposici
on 2.1.2 Sea H un subgrupo de un grupo G. Entonces, la relaci
on
H definida en G seg
un
x H y x1 y H
es una relaci
on de equivalencia, con [g] = gH.
n. La relacion H es reflexiva ya que x1 x = e H por
Demostracio
ser H subgrupo. Es simetrica, puesto que, si x H y, x1 y H, entonces
(x1 y)1 = y 1 x H y se tiene y H x. Finalmente, es transitiva, porque,
si x H y, y H z, x1 y, y 1 z H, entonces (x1 y)(y 1 z) = x1 z H y
x H z. Por tanto, la relacion H es de equivalencia.
Si x H g, entonces g 1 x = h para alg
un h H, por lo que x = gh gH.
Recprocamente, si gh gH entonces g 1 (gh) = h H y g H gh.  Q.E.D.
Corolario 2.1.3 Sea H un subgrupo de un grupo G. Las clases por la izquierda m
odulo H forman una partici
on de G.
Proposici
on 2.1.4 Sea H un subgrupo de un grupo G. Para todo g G
existe una biyecci
on entre H y gH.
7

Teorema de Lagrange
n. Sea : H gH definida seg
Demostracio
un (h) = gh. Para comprobar que es inyectiva, basta notar que, si (x) = (y), se tiene gx = gy x =
y. La sobreyectividad es evidente: todo elemento de gH es de la forma gh con
h H, y, por tanto, es la imagen de h por .
 Q.E.D.
Corolario 2.1.5 |H| = |gH|
Proposici
on 2.1.6 Sea H un subgrupo de un grupo G. La aplicaci
on definida seg
un (gH) = Hg 1 establece una biyecci
on entre el conjunto de clases
por la izquierda de G m
odulo H y el conjunto de clases por la derecha de G
m
odulo H.
n. Para probar que es inyectiva, supongamos que (x) =
Demostracio
(y). Entonces, Hx1 = Hy 1 y existe h H tal que x1 = hy 1 . As,
y 1 x = h1 H y por tanto xH = yH. La sobreyectividad se deduce de que,
para todo x G, (x1 H) = Hx.
 Q.E.D.

2.2.

Teorema de Lagrange

Definici
on 2.2.1 Se llama ndice de H en G, y se denota [G : H], al n
umero
de clases por la izquierda de G m
odulo H.
Teorema 2.2.2 (Lagrange) Sea H un subgrupo de un grupo finito G. Entonces, |H| divide a |G|. En particular, se tiene que
|G| = [G : H]|H|
n. Basta observar que la relacion de equivalencia H partiDemostracio
ciona G en [G : H] clases distintas, todas ellas con el mismo cardinal |H|.
 Q.E.D.
Corolario 2.2.3 Sean H y K subgrupos de un grupo G tales que H K G.
Entonces,
[G : H] = [G : K][K : H]
n. Del teorema de Lagrange,
Demostracio
[G : K][K : H] =

|G| |K|
|G|
=
= [G : H]
|K| |H|
|H|
 Q.E.D.

2.3. Producto interno de subgrupos

2.3.

Producto interno de subgrupos

Definici
on 2.3.1 Dados dos subgrupos A y B de un grupo G. Se llama producto interno de A y B al conjunto
AB = {ab : a A, b B}
.
Proposici
on 2.3.2 Sean A y B subgrupos de un grupo G. AB es un subgrupo
de G si y s
olo si AB = BA, en cuyo caso se dice que A y B conmutan.
n. Supongamos que AB es un subgrupo. Sea ab AB. Existe
Demostracio
entonces un elemento a0 b0 AB tal que a0 b0 = (ab)1 de donde
ab = (a0 b0 )1 = (b0 )1 (a0 )1 BA
lo cual demuestra que AB BA. Por otro lado, para todo ba BA se tiene
ba = (a1 b1 )1 AB
por lo que BA AB y, finalmente, AB = BA.
Recprocamente, sean a1 b1 , a2 b2 AB. Como AB = BA, existe elementos
0
a A, b0 B tales que b1 a2 = a0 b0 . As,
(a1 b1 )(a2 b2 ) = (a1 a0 )(b0 b2 ) AB
demostrando (G1). La asociatividad (G2), se deduce de la de la operacion
definida en G. (G3) es evidente, ya que e A, e B e AB. Por u
ltimo,
para probar (G4) basta observar que (ab)1 = b1 a1 BA = AB.  Q.E.D.
Proposici
on 2.3.3 Sean A y B subgrupos finitos de un grupo G. Entonces,
|AB| =

|A||B|
|A B|

n. Sea {xi (A B) : i = 1, . . . , k} el conjunto de clases por la

Demostracio
izquierda de A modulo A B, de modo que xi x1
/ A B. Puesto que estas
j
establecen una particion en A, para todo a A podemos escribir a = xi g para
alg
un 1 i k y alg
un g A B.
As, todo elemento ab AB puede escribirse seg
un ab = xi (gb) xi B.
1
Ademas, xi B 6= xj B, ya que, en caso contrario, xi xj B, y, como xi x1
j A
1
por definicion, se tendra xi xj A B.
Esto demuestra que {xi B : i = 1, . . . , k} es el conjunto de clases por la
izquierda de AB modulo B, de manera que
[A : A B] =

|A|
|AB|
=k=
= [AB : B]
|A B|
|B|

de donde se deduce la afirmacion del enunciado.

 Q.E.D.

Captulo 3

Grupos cclicos
3.1.

Definici
on de grupo cclico

Definici
on 3.1.1 Se dice que un grupo (G, ) es cclico si existe al menos un
elemento a G tal que hai = G. Entonces, se dice que a es un generador de
G.
Definici
on 3.1.2 Sea (G, ) un grupo. Se define el orden de a G como
ord(a) = |hai|.
Definici
on 3.1.3 Sea (G, ) un grupo. Se dice que a G es un elemento de
torsion de G si ord(a) es finito.
Proposici
on 3.1.4 Sea (G, ) un grupo finito y a G. Si n = ord(a), entonces an = e y
hai = {a, a2 , . . . , an1 , an = e}
siendo distintos todos los elementos de este conjunto.
n. Puesto que (G, ) es un grupo finito, el conjunto {xr : r Z}
Demostracio
debe contener repeticiones. Existen, pues, enteros positivos i < j tales que
xi = xj . Entonces,
e = xj xj = xj xi = xji
Tomando n como el menor entero positivo tal que xn = e, veamos que los
elementos del conjunto {x, x2 , . . . , xn1 , xn = e} son todos distintos.
En efecto, si existieran en el dos elementos iguales xr = xs con r < s < n,
se tendra que xsr = e con s r < n, en contradiccion con la definicion de n.
 Q.E.D.

3.2.

Propiedades de los elementos de torsi

on

Proposici
on 3.2.1 Sea (G, ) un grupo y a, b G elementos de torsi
on. Se
cumplen las siguientes propiedades:
11

12

Grupos cclicos
1. ak = e ord(a)|k,
2. ord(a) = 1 a = e,
3. ord(a1 ) = ord(a),
4. ord(ak ) =
m y n),

ord(a)
(ord(a),k)

(donde (m, n) denota el m

aximo com
un divisor de

5. si ord(ab) es finito, entonces ord(ab) = ord(ba), y

6. si ab = ba, entonces ord(ab)|[ord(a), ord(b)]; adem
as, si ord(a) y ord(b)
son coprimos, ord(ab) = ord(a)ord(b) (siendo [m, n] el mnimo com
un
m
ultiple de m y n).
n.
Demostracio
1. Sea k = cn + r : c, r N, 0 r < n. Entonces,
xk = xcn+r = xcn xr = xr
de donde, necesariamente, ha de ser r = 0 y k = cn. El recproco es
evidente.
2. Si ord(a) = 1, entonces a1 = a = e. Recprocamente, si a = e, hai = {e}
y ord(a) = |hai| = 1.
3. Basta observar que (a1 )m = e (am )1 = e am = e.
4. Denotando n = ord(a), d = (n, k), podemos hacer n = n0 d, k = k 0 d. Si
(ak )m = akm = e, se tiene que n|km, o equivalentemente, n0 |k 0 m. Como
(n0 , k 0 ) = 1, n0 |m. As, ord(ak ) = n0 .
5. Sea m = ord(ab), de modo que (ab)m = e. Entonces,
(ab)m = (ab)(ab) . . . (ab)(ab) = a(ba) . . . (ba)b = e
(ba)m1 = a1 b1 (ba)m1 = (ba)1 (ba)m = e
6. Si a y b conmutan, se tiene (ab)k = ak bk . Por tanto, si M = [ord(a), ord(b)],
el primer apartado implica que (ab)M = aM bM = e y M |ord(ab).
Ademas, si n = ord(a), m = ord(b), (m, n) = 1, hacemos s = ord(ab), y
utilizamos los resultados anteriores,
(ab)s = as bs = e as = bs ord(as ) = ord(bs )
m
n

=
n|s, m|s M |s
(n, s)
(m, s)
Como tambien s|M , se tiene s = M .
 Q.E.D.

3.3. Corolarios del teorema de Lagrange

3.3.

13

Corolarios del teorema de Lagrange

Corolario 3.3.1 Para todo g G con G finito, ord(g)||G|

n.
Demostracio
 Q.E.D.

Se deduce de la definicion del orden de x como |hxi|.

Corolario 3.3.2 Sea G un grupo de orden p primo. Entonces G es cclico.

n. Sea g G, g 6= e. Puesto que los u
Demostracio
nicos divisores de un
n
umero primo son la unidad y el mismo, y ord(g) = 1 implicara g = e, se
debe tener |hgi| = p.
 Q.E.D.

3.4.

Teoremas de Euler y Fermat

es una unidad de Zn si existe

Proposici
on 3.4.1 Sea a
Zn . Se dice que a
b Z tal que a

b = b
a = 1.
n
El conjunto de unidades de Zn se denota U (Zn ), y cumple
U (Zn ) = {p N : p n, (p, n) = 1}
n. De la definicion, es claro que el inverso multiplicativo de
Demostracio
una unidad de Zn es tambien una unidad de Zn .
As, sean a
, b U (Zn ) inversos recprocos. Entonces, ab 1 (mod n), de
donde (ab, n) = (1, n) = 1 y, por tanto, (a, n) = (b, n) = 1.
Recprocamente, sea a
Zn tal que (a, n) = 1. La ecuacion ax 1
(mod n) tiene entonces una solucion u
nica hasta congruencia.
 Q.E.D.
Proposici
on 3.4.2 (U (Zn ), ) es un grupo abeliano.
n. La asociatividad se deduce de la asociatividad del producto
Demostracio
de n
umeros enteros, y el axioma (G4) es consecuencia directa de la definicion
de U (Zn ).
Sean a
, b U (Zn ), y sean c, d sus respectivos inversos. Entonces,
ab dc = a bd c = a 1 c = ac = 1
dc ab = d ca b = d 1 b = db = 1
lo que demuestra que ab U (Zn ) y 1 U (Zn ).

 Q.E.D.

Definici
on 3.4.3 Se llama funci
on de Euler a la aplicaci
on : N N
definida seg
un (n) = |U (Zn )|
Proposici
on 3.4.4 La funci
on de Euler cumple las siguientes propiedades:
1. Si (m, n) = 1, entonces (mn) = (m)(n),

14

Grupos cclicos
2. (pk ) = pk1 (p 1) si p es primo, y
Q
3. (n) = n (1 p1i ), donde pi son los divisores primos de n.
n.
Demostracio
1. Consideremos los n
umeros 1, 2, 3, . . . , mn, y formemos la tabla
0,
1,
2,
n,
n + 1,
n + 2,
...
...
...
(m 1)n, (m 1)n + 1, (m 1)n + 2,

...
k,
...
n + k,
...
...
. . . (m 1)n + k,

. . . n 1,
. . . 2n 1,
...
...,
. . . mn 1

Si (mn, 1) = 1, entonces se debe tener (m, 1) = (n, 1) = 1. En cada fila

hay (n) n
umeros primos con n. Observando que los n
umeros de una
misma columna son congruentes entre s modulo n, deducimos que, si
(k, n) = 1, entonces todos los n
umeros de la k-esima columna son primos
con n.
Consideremos una de estas columnas con (k, n) = 1:
n, n + k, 2n + k, . . . , (m 1)n + k
Estos n
umeros pueen considerarse como los valores de la funcion lineal
nx + k : (n, m) = 1, donde x recorre un sistema completo de restos
modulo m,
x = 0, 1, 2, . . . , m 1
Entonces, cada columna de la forma anterior forma un sistema completo
de restos modulo m, y, por tanto, contiene (m) n
umeros que son primos
con m.
2. Es claro que (p) = p 1 con p primo. Sea ahora n = pk , k > 1. El
sistema completo de restos modulo pk consta de pk1 sistemas completos
de restos modulo p, y en cada uno de ellos hay (p) n
umeros primos con
p.
Q
3. Sea n = pki i . Utilizando los apartados anteriores,
Y
Y k 1
(n) =
(pki i ) =
pi i (pi 1)
Y k
Y
1
1
=
pi i (1 ) = n (1 )
pi
pi
 Q.E.D.
Teorema 3.4.5 (Euler) Para todos a Z, n N tales que (a, n) = 1, se
tiene
a(n) 1 (mod n)

3.5. Clasificaci
on de grupos cclicos

15

n. Por el teorema de Lagrange, ord(a)||U (Zn )| = (n), de

Demostracio
donde a(n) = 1 en U (Zn ).
 Q.E.D.
Teorema 3.4.6 (Peque
no Teorema de Fermat) Para todo a Z y todo
p N primo con p - a, se tiene
ap1 1

(mod p)

n. Aplicando el segundo apartado de la proposicion 3.4.4 al

Demostracio
teorema de Euler,
a(p) 1

(mod p) = ap1 1

(mod p)
 Q.E.D.

3.5.

Clasificaci
on de grupos cclicos

Proposici
on 3.5.1 Todo grupo cclico es abeliano.
n. Puesto que todo elemento de un grupo cclico G = hgi es
Demostracio
n
de la forma g para alg
un n Z, se tiene
g i g j = g i+j = g j+i = g j g i
 Q.E.D.
Teorema 3.5.2 (Teorema de clasificaci
on de grupos cclicos) Si (G, )
es un grupo cclico infinito, entonces es isomorfo a (Z, +)
Si (H, ) es un grupo cclico de orden finito |H| = n, entonces es isomorfo
a (Zn , +).
n. Sea (G, ) un grupo cclico infinito y : (Z, +) (G, ) la
Demostracio
aplicacion dada por (r) = g r . La aplicacion es un homomorfismo, ya que
(r + s) = g r+s = (r) + (s), y es evidentemente biyectiva. Por tanto es
un isomorfismo.
Sea (H, ) un grupo cclico de orden finito |H| = n y : (Zn , +) (H, )
la aplicacion dada por (
r) = gr .
Veamos que esta bien definida. Sean r, s Z tales que r s (mod n),
i.e., r = s + kn. Entonces,
(
r) = g r = g s+kn = g s = (
s)
El mismo argumento prueba que esta aplicacion es inyectiva. Ademas, es un
homomorfismo, ya que
(
r + s) = g r+s = g r g s = (
r)(
s)
Puesto que una aplicacion inyectiva entre conjuntos con la misma cardinalidad
es biyectiva, es un isomorfismo de grupos.
 Q.E.D.

16

Grupos cclicos

3.6.

Subgrupos de grupos cclicos

Proposici
on 3.6.1 Todo subgrupo de un grupo cclico es cclico.
n. Sea G = hgi un grupo cclico, y sea H G. Es claro que si
Demostracio
H es un subgrupo impropio de G es cclico. Supongamos que H es un subgrupo
propio. Sea g k H tal que g m
/ H para m < k, y sea g s otro elemento de H.
Utilizando el algoritmo de division de Euclides, podemos escribir s = ck + r
con 0 r < k. Como H es un subgrupo, (g k )1 = g k H. Por tanto,
g s (g k )c = g sck = g r H
en contra de la definicion de k, a menos que r = 0.
As, cada elemento de H es de la forma (g k )n para alg
un n Z, y H es
k
cclico generado por g .
 Q.E.D.
Proposici
on 3.6.2 Sea G = hgi un grupo cclico de orden n. Entonces,
1. Para cada divisor d de n, existe un u
nico subgrupo de G de orden d,
n
d
hg i.
2. Si d y e son divisores de n, entonces la intersecci
on de los subgrupos de
ordenes d y e es el subgrupo de orden (d, e).

3. Si d y e son divisores de n, entonces el producto interno de los subgrupos

de
ordenes d y e es el subgrupo de orden [d, e].
n.
Demostracio
n

1. Es claro que el elemento g d tiene d potencias distintas, de donde hg d i es

un subgrupo de orden d. Supongamos que existiese otro subgrupo H de
orden d, generado por un elemento x = g r para alg
un r Z. Entonces,
rd
x = e, por lo que n|rd. As, r debe ser de la forma k nd para alg
un
n
d
k Z y x es una potencia de g . Por lo tanto, H debe ser un subgrupo
n
de hg d i, y, puesto que tiene el mismo cardinal, coinciden.
n

2. Sea x = g r hg d i hg e i. Como
d = d0 (d, e), e = e0 (d, e),

n
n
d |r, e |r,

se tiene que [ nd , ne ]|r. Pero, si

n n
n 1 1
n
,
=
,
=
d e
(d, e) d0 e0
(d, e)
Por tanto,

n
(d,e) |r

y x hg (d,e) i.
n

Recprocamente, sea y = g s hg (d,e) i, de modo que

y

n n
e | (d,e) ,

se tiene que

n
d |s

n
e |s,

n
d

n
(d,e) |s.
n
e

n
Como nd | (d,e)

de donde y hg i hg i.

3.6. Subgrupos de grupos cclicos

n

17

3. Sea x hg d ihg e i. Entonces, existen enteros k1 , k2 tales que

n

x = g k1 d +k2 e = g de (k1 e+k2 d)

y, evidentemente,

n
de (k1 e

n
+ k2 d)| [d,e]
, de donde x hg [d,e] i.
n

Recprocamente, sea y hg [d,e] i. Entonces, existe un entero k tal que

k n
y = g [d,e] . Utilizando la ecuacion ab = (a, b)[a, b] y la propiedad lineal
del maximo com
un divisor,
y=g

n
k [d,e]

= g k de (k1 d+k2 e) = g kk2 d g kk1 e hg d ihg e i

 Q.E.D.

Proposici
on 3.6.3 Sea G = hgi un grupo cclico infinito. Entonces,
1. Para cada d N, existe exactamente un subgrupo de G de ndice d, hg d i.
Adem
as, todo subgrupo no trivial de G es de ndice finito.
2. Sean d, e N. La intersecci
on de los subgrupos de ndices d y e es el
subgrupo de ndice [d, e].
3. Sean d, e N. El producto interno de los subgrupos de ndices d y e es
el subgrupo de ndice (d, e).
n.
Demostracio
1. Es claro que hg d i tiene ndice d. Basta observar que las clases por la
izquierda de G modulo hg d i son g k hg d i para cada 0 k < d.
Supongamos que existiese otro subgrupo H = hg s i de ndice d. Entonces,
g l hg s i con 0 k < s son las clases por la izquierda de G modulo H, de
donde, necesariamente, s = d.
2. Es claro que si x = g r hg d i hg e i, se debe tener d|r, e|r y, por tanto,
[d, e]|r y x hg [d,e] i.
Recprocamente, si y = g s hg [d,e] i, entonces [d, e]|s, y, por tanto,
d|s, e|s, de donde y hg d i hg e i.
3. Sea x = g r hg d ihg e i. Existen, entonces, enteros k1 , k2 tales que r =
k1 d + k2 e. Es evidente que (d, e)|s, de donde x hg (d,e) i.
Recprocamente, sea y = g s hg (d,e) i. Entonces, existe un entero k tal
que s = k(d, e). As, utilizando la propiedad lineal del maximo com
un
divisor,
y = g k(d,e) = g kk1 d+kk2 e = g kk1 d g kk2 e hg d ihg e i
 Q.E.D.

18

Grupos cclicos

3.7.

Generadores de grupos cclicos

Proposici
on 3.7.1 Los enteros 1 y 1 son los u
nicos generadores del grupo
(Z, +).
n. Es claro que todo entero n puede ponerse en cualquiera de
Demostracio
las dos formas
n=n1
n = n (1)
de modo que 1 y 1 generan efectivamente (Z, +). Sin embargo, el elemento
1 no puede ponerse en la forma 1 = m + m + + m = nm con n Z para
ning
un m 6= 1, 1.
 Q.E.D.
Proposici
on 3.7.2 Un elemento g k es un generador de un grupo cclico G =
hgi de orden finito n si y s
olo si (k, n) = 1.
n. Basta utilizar la proposicion 3.2.1, seg
Demostracio
un la cual
ord(g k ) =

n
ord(g)
=
(k, ord(g))
(k, n)

de donde ord(g k ) = n si y solo si (k, n) = 1.

 Q.E.D.

Corolario 3.7.3 Todo grupo cclico de orden finito n tiene (n) generadores
n. De entre todos los elementos de G = hgi, solamente seran
Demostracio
generadores aquellos que sean de la forma g k , k < n, (k, n) = 1. Este conjunto
es U (Zn ), cuyo cardinal es (n).
 Q.E.D.

3.8.

Imagen homom
orfica de grupos cclicos

Proposici
on 3.8.1 Sea G = hgi un grupo cclico, y sea f : G G0 un
homomorfismo. Entonces, f (G) = hf (g)i.
n. Basta observar que todo x f (G) es de la forma x =
Demostracio
f (g n ) = f (g)n .
 Q.E.D.
Proposici
on 3.8.2 Sea a un elemento de torsi
on de un grupo G, y sea
f : G G0 un homomorfismo. Entonces, ord(f (a))|ord(a), con igualdad si
f es inyectiva.
n. Sea a G tal que ord(a) = n, ord(f (a)) = m. Entonces,
Demostracio
n
e = f (a ) = f (a)n , de donde m|n. Ademas, si f es inyectiva, f (a)m = e
implica am = e, y n|m.
 Q.E.D.

3.9. Automorfismos de grupos cclicos

3.9.

Automorfismos de grupos cclicos

Proposici
on 3.9.1 Sea G
= (Z, +). Se tiene que
Aut G
= Z2
n. Sea f : G G un automorfismo, y sea g un generador
Demostracio
de G. Puesto que G = f (G) = hf (g)i, se tiene que f (g) debe ser tambien un
generador. Como G posee u
nicamente dos generadores, Aut G es un grupo de
orden dos, y, por tanto, isomorfo a Z2 .
 Q.E.D.
Proposici
on 3.9.2 Sea G
= (Zn , +). Se tiene que
Aut G
= U (Zn )
n. Sea f : G G un automorfismo, y sea g un generador
Demostracio
de G. Puesto que todo automorfismo es inyectivo, ord(f (g)) = ord(g) = n, de
donde f (g) debe ser tambien un generador de G. As,
Aut G = {fi : G G, fi (g) = g i : (i, n) = 1}
Sea : Aut G U (Zn ) definida seg
un (fi ) = i. Utilizando el hecho de que
Aut G es un grupo,
(fi fj ) = (fij ) = ij = (fi )(fj )
lo que prueba que es un homomorfismo. Puesto que es evidentemente
biyectiva, es un isomorfismo.
 Q.E.D.

19

Captulo 4

Acciones de grupos.
Subgrupos normales
4.1.

El teorema de
orbita-estabilizador

Definici
on 4.1.1 Sea G un grupo, y X un conjunto. Una accion de G sobre
X es una familia de aplicaciones
= {g : X X : g G}
que cumple las siguientes propiedades:
(A1) e (x) = x, y
(A2) a (b (x)) = ab (x).
Definici
on 4.1.2 Dada una acci
on de un grupo G sobre un conjunto X, y
un elemento x X, se llama estabilizador de x al conjunto
Gx = {g G : g (x) = x}
Proposici
on 4.1.3 En las condiciones de la definici
on anterior, Gx G
n. El axioma (A1) asegura que el elemento neutro de G perDemostracio
tenece a Gx . (A2) asegura que, si a, b Gx , entonces,
ab (x) = a (b (x)) = a (x) = x
por lo que ab Gx . Por u
ltimo, si a Gx , se tiene que
a1 (x) = a1 (a (x)) = e (x) = x
demostrando que a1 Gx .

 Q.E.D.
21

22

Acciones de grupos. Subgrupos normales

Proposici
on 4.1.4 Dada una acci
on de un grupo G sobre un conjunto X,
la relaci
on definida seg
un
x y g G : g (x) = y
es de equivalencia.
n. El axioma (A1) asegura que x x.
Demostracio
Si x y, entonces g (x) = y para alg
un g G. As,
g1 (y) = g1 (g (x)) = g1 g (x) = e (x) = x
demostrando que y x.
Por u
ltimo, si x y, y z, entonces g (x) = y, h (y) = z y
z = h (y) = h (g (x)) = hg (x)
de donde se deduce la transitividad de la relacion.

 Q.E.D.

Definici
on 4.1.5 La clase de equivalencia de un elemento x X bajo la
relaci
on de la proposici
on anterior recibe el nombre de orbita de x.
orb(x) = {y X : y x}

Teorema 4.1.6 (Orbita-estabilizador)

Sea una acci
on de un grupo G
sobre un conjunto X. Para cada x X,
|orb(x)| = [G : Gx ]
n. Dado x X, definimos una aplicacion de la orbita de x en
Demostracio
el conjunto de clases por la izquierda de G modulo Gx seg
un (g (x)) = gGx .
Comprobemos que esta bien definida. Supongamos que g (x) = h (x).
Entonces, h1 g (x) = x y, por tanto, h1 g Gx , de donde gGx = hGx .
Veamos que es inyectiva. Si (g (x)) = (h (x)), se tiene que gGx = hGx
1
y h g Gx . As,
h (x) = h (h1 g (x)) = hh1 g (x) = g (x)
Por u
ltimo, es suprayectiva, ya que cada gGx es (g (x)) por definicion.
Por tanto, es una biyeccion, y sus conjuntos dominio e imagen poseen el
mismo cardinal.
 Q.E.D.

4.2. Elementos conjugados y clases de conjugaci

on

4.2.

23

Elementos conjugados y clases de conjugaci

on

Definici
on 4.2.1 Sea G un grupo. Dado H G, la acci
on de H sobre G
definida seg
un
Conj(G, H) = {h : G G, h (g) = hgh1 : h H}
recibe el nombre de conjugacion de G por H.
La
orbita de un elemento g G se denomina clase de conjugacion de g en
H.
ClH (g) = {h (g) : h H}
El estabilizador de g G recibe el nombre de centralizador de g en H.
CH (g) = {h H : h (g) = g}
Proposici
on 4.2.2 Sea G un grupo. La familia de aplicaciones que forma la
acci
on Conj(G, H) posee estructura de grupo bajo la operaci
on de composici
on.
Este grupo, Int G recibe el nombre grupo de automorfismos internos de G, y
se tiene
Int G Aut G
n. Es claro que Int G Aut G. El axioma (A2) asegura que
Demostracio
Int G es cerrado por la operacion de composicion. El axioma (A1) asegura la
existencia del elemento neutro, e . Por u
ltimo,
(a1 a )(x) = a1 a (x) = e (x)
(a a1 )(x) = aa1 (x) = e (x)
asegura la existencia de inversos.

 Q.E.D.

Proposici
on 4.2.3 Sea G un grupo, y sean x, y G. Entonces,
1. y ClG (x) a, b G : x = ab, y = ba,
2. y ClG (x) = ord(x) = ord(y), y
3. Ges abeliano ClG (x) = x x G.
n. Sea y = zxz 1 .
Demostracio
1. Haciendo a = z 1 y b = zx, se tiene x = ab e y = ba. Recprocamente,
sea x = ab. Entonces, y = ba = b(ab)b1 = bxb1 , de modo que
y ClG (x).
2. Sea ord(x) = n, ord(y) = m. Entonces,
y m = e (zxz 1 )m = zxm z 1 = e xn = e

24

Acciones de grupos. Subgrupos normales

3. Sea G abeliano. Entonces, para cada x G se tiene gxg 1 = xgg 1 = x
con g G. Recprocamente, si ClG (x) = x, entonces gxg 1 = x para
todos x, g G, o, equivalentemente, gx = xg.
 Q.E.D.
Proposici
on 4.2.4
CH (g) = CG (g) H
n. Basta observar que
Demostracio
CH (g) = {h H : h (g) = g}
= {h G : h (g) = g} H = CG (g) H
 Q.E.D.
Definici
on 4.2.5 Se llama centro de G al subgrupo
\
Z(G) =
CG (g) = {g G : gh = hg h G}
gG

Proposici
on 4.2.6 Z(G) es un subgrupo abeliano de G.
n. De la propia definicion de Z(G) com interseccion de subDemostracio
grupos, se deduce que es un subgrupo, y la caracterizacion Z(G) = {g G :
gh = hg h G} demuestra que este es abeliano.
De hecho, se puede demostrar que Z(G) es el mayor subgrupo abeliano
contenido en G, en el sentido de que todo subgrupo abeliano de G esta contenido en el, de modo que G es abeliano si y solo si G = Z(G).
 Q.E.D.
Proposici
on 4.2.7 (Ecuaci
on de clases de conjugaci
on) Sea G un grupo finito, y sea C = {x1 , x2 , . . . , xm } una colecci
on completa de representantes
de clases de conjugaci
on de G en G. Entonces,
X
|G| = |Z(G)| +
|Cl(x)|
xC
xZ(G)
/

n. G puede escribirse como union disjunta de clases de conjuDemostracio

gacion seg
un
[
G=
Cl(x)
xC

[
xC
xZ(G)

Cl(x)

[
xC
xZ(G)
/

Cl(x)

4.3. Subgrupos normales

25

Ahora bien, las clases de conjugacion de los elementos de Z(G) constan de un

u
nico elemento. Por tanto,
[
|G| = |Z(G)| + |
Cl(x)|
xC
xZ(G)
/

= |Z(G)| +

|Cl(x)|

xC
xZ(G)
/

 Q.E.D.
Definici
on 4.2.8 Sea G un grupo. Dado H G, la acci
on de H sobre el
conjunto de subgrupos de G, denotado (G), definida seg
un
Conj((G), H) = {h : (G) (G), h (K) = hKh1 : h H}
recibe el nombre de conjugacion de subgrupos de G por H.
La o
rbita de un subgrupo K G se denomina clase de conjugacion de K
en H.
ClH (K) = {h (K) : h H}
El estabilizador de K G recibe el nombre de normalizador de K en H.
NH (K) = {h H : h (K) = K}

4.3.

Subgrupos normales

Definici
on 4.3.1 Sea G un grupo, y sea H G. Se dice que H es normal
en G, y se denota H
G si, para todo g G, se tiene gHg 1 = H.
Proposici
on 4.3.2 Son equivalentes:
1. H es normal en G.
2. Para todo g G, gH = Hg.
3. G = NG (H).
4. ClG (H) = H.
n.
Demostracio
(1 2) Componiendo gHg 1 = H por la derecha con g, obtenemos gH =
Hg.
(2 3) El normalizador de H en G es
NG (H) = {g G : g (H) = H}
= {g G : gHg 1 = H}
= {g G : Hgg 1 = He = H}
=H

utilizando la hipotesis

26

Acciones de grupos. Subgrupos normales

(3 4) Si G = NG (H), entonces gHg 1 = H para todo g G,de donde
ClG (H) = H.
(4 1) Sea gHg 1 un conjugado de H. Entonces, gHg 1 ClG (H) = H,
de donde gHg 1 = H y H
G.
 Q.E.D.
Proposici
on 4.3.3 Sea G un grupo. Entonces,
1. {e}
G, G
G.
2. Si H G, entonces H
NG (H).
3. Si H Z(G), entonces H
G.
4. Si H G y G abeliano, entonces H
G.
5. Si H G y [G : H] = 2, entonces H
G.
6. Si H es el u
nico subgrupo de G de orden n, entonces H
G.
n.
Demostracio
1. Para todo g G, g{e}g 1 = {e}, luego {e}
G. Para todo g
G, gGg 1 = G, luego G
G.
2. Basta observar el tercer apartado de la proposicion 4.3.2. De hecho,
NG (H) es el mayor subgrupo en el cual H es normal, en el sentido de
que cualquier otro subgrupo en el que H sea normal debe estar contenido
en NG (H).
3. Si H Z(G), todo h H conmuta con todo g G. Por tanto, gH = Hg
y, por el segundo apartado de la proposicion 4.3.2, H
G.
4. Si G es abeliano, es claro que gH = Hg y H
G por el segundo apartado
de la proposicion 4.3.2.
5. Si [G : H] = 2, las clases por la izquierda y por la derecha de G modulo
H deben coincidir: G y G\H. Aplicando ahora el segundo apartado de
la proposicion 4.3.2, H
G.
6. Para todo g G, se tiene |gHg 1 | = |H|. Puesto que H es el u
nico
1
subgrupo de G de orden n, gHg = H, demostrando la normalidad de
H en G.
 Q.E.D.
Proposici
on 4.3.4 Sean H y K subgrupos de un grupo G. Si K
G, entonces
HK G y H K
H; si adem
as H
G, entonces HK
G y H K
G.

4.3. Subgrupos normales

n. Como K
G, se tiene que hK = Kh para todo h G. En
Demostracio
particular, HK = KH, y, por la proposicion 2.3.2, HK G.
Para todo x H K y todo h H, hxh1 H por ser H subgrupo de
G. Ademas, puesto que x K y K es normal en G, hxh1 K. Por tanto,
hxh1 H K.
Si tanto H como K son normales en G, sus clases por la izquierda y por
la derecha coinciden, de donde, para todo g G
gHKg 1 = HgKg 1 = HKgg 1 = HK
demostrando la normalidad de HK en G.
Por u
ltimo, si x H K, entonces gxg 1 H K para todo g G.
 Q.E.D.
Definici
on 4.3.5 Se dice que un grupo G es simple si sus u
nicos subgrupos
normales son sus subgrupos impropios.

27

Captulo 5

Grupos cociente y teoremas

de isomorfa
5.1.

Grupo cociente y teorema de correspondencia

Proposici
on 5.1.1 Sea N un subgrupo normal de un grupo G. El conjunto de clases por la izquierda de G m
odulo N es un grupo bajo la operaci
on
(xN )(yN ) = xyN . Este grupo recibe el nombre de grupo cociente de G sobre
N y se denota G/N .
n. En primer lugar, es necesario comprobar que la operacion
Demostracio
esta bien definida. Si xN = uN e yN = vN , entonces, u1 x, v 1 y N y se
tiene
(uv)1 (xy) = v 1 u1 xy
= v 1 ny

donde n = u1 x N

= v 1 y(y 1 ny)
Dado que N es normal, y 1 ny N . Como v 1 y N , tambien (uv)1 (xy) N
y xyN = uvN .
Los axiomas de grupo se cumplen, entonces, de manera evidente: el elemento neutro es 1N = N , y el inverso de gN es g 1 N .
 Q.E.D.
Teorema 5.1.2 (Teorema de correspondencia) Sea N un subgrupo normal de un grupo G. Existe una correspondencia biyectiva entre los subgrupos
de G/N y los subgrupos de G que contienen a N . Adem
as, H
G si y s
olo si
H/N
G/N .
n. Sea H ? un subgrupo de G/N . Definimos la aplicacion del
Demostracio
conjunto de las partes de G/N en el conjunto de las partes de G seg
un
(H ? ) = {g G : gN H ? }
29

30

Grupos cociente y teoremas de isomorfa

(H ? ) es un subgrupo de G, ya que es no vaco (N (H ? ), pues, para todo
n N se tiene nN N H ? por ser H ? G/N )
a, b (H ? ) = aN, b1 N H ?
= ab1 N H ?
= ab1 (H ? )
Recprocamente, sea N H G. Definimos la aplicacion del conjunto
de las partes de G/N en el conjunto de las partes de G seg
un
(H) = {hN G/N : h H} = H/N
(H) es un subgrupo de G/N , ya que es no vaco (e (H)) y
1
h1 N, h2 N (H) h1 , h2 H h1 h1
2 H h1 h2 N (H)

Veamos ahora que tanto como son biyecciones, inversas la una de la

otra. En efecto, sea N H G. Entonces,
(H) = (H/N ) = {g G : gN H/N } = H
Recprocamente, si H ? G/N , entonces
(H ? ) = ({g G : gN H ? }) = {gN H ? } = H ?
Si H
G, entonces ghg 1 H para todo g G, de donde
(gN )(hN )(gN )1 = (ghg 1 )N H/N

gN G/N

demostrando la normalidad de H/N en G/N . Recprocamente, si H/N
G/N ,

entonces (gN )(hN )(gN )1 = (ghg 1 )N H/N para todo gN G/N implica
que ghg 1 H para todos h H y g G, de modo que H
G.
 Q.E.D.

5.2.

Homomorfismos, subgrupos y teoremas de

isomorfa

Proposici
on 5.2.1 Sean G1 y G2 grupos, y f : G1 G2 un homomorfismo.
1. H1 G1 = f (H1 ) G2 .
2. H2 G2 = f 1 (H2 ) G1 .
3. H1
G1 y f suprayectivo = f (H1 )
G2 .
4. H2
G2 = f 1 (H2 )
G1 .
n.
Demostracio

5.2. Homomorfismos, subgrupos y teoremas de isomorfa

31

1. Sean u, v f (H1 ), de modo que existen x, y H1 tales que u = f (x), v =

f (y). Entonces,
uv 1 = f (x)f (y)1 = f (xy 1 ) f (H1 )
2. Sean u, v H2 , de modo que existen x, y H1 tales que u = f (x), v =
f (y). Entonces,
uv 1 = f (x)f (y)1 = f (xy 1 ) H2 xy 1 f 1 (H2 )
3. Sea u f (H1 ), de modo que existe x H1 tal que f (x) = u. Para todo
v G2 , existe g G1 tal que f (g) = v, por ser f suprayectiva. As,
vuv 1 = f (g)f (x)f (g)1 = f (gxg 1 ) f (H1 )
ya que H1 es normal, de donde gxg 1 H1 .
4. Sea x f 1 (H2 ), de modo que existe u H2 tal que f (x) = u. Para
todo g G1 , existe v G2 tal que f (g) = v. Como H2
G2 ,
vuv 1 = f (g)f (h)f (g)1 = f (gxg 1 ) H2
de donde gxg 1 f 1 (H2 ) para todo g G1 , luego f 1 (H2 )
G1 .
 Q.E.D.
Teorema 5.2.2 (Primer teorema de isomorfa) Sean G y H grupos, y
f : G H un homomorfismo. Entonces,
1. imf H,
2. kerf
G, y
3. G/kerf
= imf .
n.
Demostracio
1. Basta aplicar el primer apartado de la proposicion anterior al subgrupo
impropio G.
2. Aplquese el u
ltimo apartado de la proposicion anterior al subgrupo impropio {e}.
3. Sea : G/N imf la aplicacion tal que (xN ) = f (x).
Supongamos que xN = yN , de modo que x1 y N . Entonces,
(xN ) = f (x) = f (x)e = f (x)f (x1 y) = f (y) = (yN )
demostrando que esta bien definida.

32

Grupos cociente y teoremas de isomorfa

El hecho de que f sea un homomorfismo implica que tambien lo es,
seg
un
((xN )(yN )) = (xyN ) = f (xy) = f (x)f (y) = (xN )(yN )
Ademas, es suprayectiva, ya que cada f (x) imf es (xN ) por definicion, e inyectiva, ya que
(xN ) = (yN ) f (x) = f (y) f (xy 1 ) = e
xy 1 N xN = yN
Por tanto, es un isomorfismo.
 Q.E.D.
Teorema 5.2.3 (Segundo teorema de isomorfa) Sean H G, N
G.
Entonces,
H HN
=
N H
N
n. Sea : G G/N el homomorfismo canonico con n
Demostracio
ucleo
N definido seg
un (g) = gN . Si consideramos la restriccion de a H, tenemos
(H) = HN/N y ker|H = H N . Basta, entonces, aplicar el primer teorema
de isomofa a |H .
 Q.E.D.
Teorema 5.2.4 (Tercer teorema de isomorfa) Sean H, N
G, N H.
Entonces,
G/N
= G/H
H/N
n. Considerese la aplicacion : G/N G/H definida seg
Demostracio
un
(gN ) = gH. Se tiene im = G/H y ker = H/N . Basta aplicar ahora el
primer teorema de isomorfa.
 Q.E.D.

5.3.

Corolarios de los teoremas de isomorfa

Proposici
on 5.3.1
G/Z(G)
= Int G
n. Sea : G Int G la aplicacion definida seg
Demostracio
un (g) = g .
Esta aplicacion es un homomorfismo, pues
(gh)(x) = gh (x) = [g h ](x) = [(g) (h)](x)

5.3. Corolarios de los teoremas de isomorfa

33

y es suprayectiva, ya que g es (g) por definicion. Basta ahora aplicar el

primer teorema de isomorfa, ya que
ker = {g G : g = e }
= {g G : g (x) = e (x) x G}
= {g G : gxg 1 = x x G}
= Z(G)
 Q.E.D.
Corolario 5.3.2 Sea G un grupo. Son equivalentes:
1. G es abeliano,
2. Int G es trivial, y
3. Int G es cclico.
n.
Demostracio
(1 2) Para todos a, g G, a (g) = aga1 = gaa1 = a.
(2 3) Evidente.
(3 1) Supongamos que IntG es cclico. Utilizando la proposicion anterior,
existe un elemento a G tal que G/Z(G)
= haZ(G)i. Para todos x, y
G existen enteros i, j y elementos b, c Z(G) tales que x = ai b, y = aj c.
Entonces, xy = ai baj c, y, puesto que todos estos elementos conmutan entre
s, xy = ai baj c = aj cai b = yx.
 Q.E.D.

Captulo 6

Grupos sim
etricos, alternados
y di
edricos
6.1.

Permutaciones. Descomposici
on en ciclos
disjuntos

Definici
on 6.1.1 Se llama grupo simetrico de orden n, Sn , al grupo de permutaciones del conjunto {1, 2, . . . , n}.
Proposici
on 6.1.2
|Sn | = n!
n. Existen n! permutaciones en un conjunto de n elementos.
Demostracio
 Q.E.D.
Proposici
on 6.1.3 Sean Sn , e i {1, 2, . . . , n}. Si k es el menor entero
positivo tal que k (i) {i, (i), . . . , k1 (i)}, entonces k (i) = i.
n. Supongamos que k (i) = r (i) para alg
Demostracio
un 0 < r < k.
kr
Entonces, (i) = i, en contra de la definicion de k. Por tanto, r = 0.
 Q.E.D.
Definici
on 6.1.4 Una permutaci
on se llama k-ciclo si existen k N e
i {1, 2, . . . , n} tales que
k es el menor entero positivo tal que k (i) = i, y
(j) = j para todo j
/ {i, (i), . . . , k1 (i)}.
Se denota entonces = (i(i) . . . k1 (i)). Un 2-ciclo recibe el nombre de
transposicion.
Proposici
on 6.1.5 Sea un k-ciclo. Entonces, ord() = k.
35

36

Grupos sim
etricos, alternados y di
edricos
n. Basta observar que un k-ciclo si k es el mnimo entero
Demostracio
positivo tal que k (i) = i, por la proposicion 6.1.3.
 Q.E.D.
Definici
on 6.1.6 Se dice que , son permutaciones disjuntas si no existe
i {1, 2, . . . , n} tal que (i) 6= i y (i) 6= i.
Proposici
on 6.1.7 Toda permutaci
on puede escribirse como producto de ciclos disjuntos.
n. Sea Sn . Definamos una relacion en {1, 2, . . . , n} seg
Demostracio
un
iRj k N : k (i) = j
Esta relacion es de equivalencia.
iRi, i.e., existe r N tal que r (i) = i, ya que, en caso contrario, el
conjunto { k (i) : k N} sera infinito. Si iRj, entonces existe k N tal
que k (i) = j, de donde i = r (i) = rk k (i) = rk (j). Por u
ltimo, si
iRj y jRk, se tienen k, m N tales que k (i) = j y m (j) = k, de donde
k+m (i) = k.
Por la proposicion 6.1.3, cada una de las clases de equivalencia de esta
relacion es un ciclo. La disjuncion de estas clases implica la disjuncion de los
ciclos.
 Q.E.D.
Proposici
on 6.1.8 Sean , permutaciones disjuntas. Entonces = , y,
para todo k N, ()k = k k .
n. Sea i {1, 2, . . . , n} que queda fijo por . Entonces, r (i)
Demostracio
queda tambien fijo por , de donde (i) = (i) = (i).
Anlogamente, si j {1, 2, . . . , n} queda fijo por , r (j) queda tambien
fijo por y (j) = (j) = (j).
Por u
ltimo, si k {1, 2, . . . , n} queda fijo por ambas, es evidente que
(k) = (k) = k.
Si y conmutan, es evidente entonces que ()k = k k para todo k N.
 Q.E.D.
Corolario 6.1.9 Sean , permutaciones disjuntas. Entonces,
ord() = [ord(), ord()]
n. Si ()m = m m = e, entonces m = e; m = e, por ser
Demostracio
permutaciones disjuntas. As m = ord() es el mnimo entero positivo tal
que ord()|m y ord()|m, es decir, m = [ord(), ord()].
 Q.E.D.

6.2. Descomposici
on en transposiciones. Sistemas de generadores de Sn

6.2.

Descomposici
on en transposiciones. Sistemas
de generadores de Sn

Proposici
on 6.2.1 Todo k-ciclo en Sn puede descomponerse en un producto
de k 1 transposiciones.
n. Basta observar que el k-ciclo = (12 . . . k) admite la facDemostracio
torizacion = (1k) . . . (13)(12), de donde
(i1 i2 . . . ik ) = (i1 ik ) . . . (i1 i3 )(i1 i2 )
 Q.E.D.
Corolario 6.2.2 Las transposiciones generan Sn .
n. Evidente de la proposicion anterior
Demostracio

 Q.E.D.

Proposici
on 6.2.3 Sean , Sn . La descomposici
on en ciclos disjuntos de
1
se obtiene de la de sustituyendo cada entero i en la descomposici
on
de por el entero (i).
n. En efecto, 1 ((i)) = (i). Por tanto, 1 aplica
Demostracio
(i) en ((i)), mientras que aplica i en (i).
 Q.E.D.
Corolario 6.2.4 Para todo n N, las transposiciones de la forma (k k + 1)
con 1 k n 1 generan Sn .
n. Veamos que toda transposicion (ij) con i < j puede escriDemostracio
birse como producto de transposiciones de la forma (k k + 1). Utilizando la
proposicion anterior, vemos que
(i i + 2) = (i + 1 i + 2)(i i + 1)(i + 1 i + 2)1
En general,
(ij) = (j 1 j)(j 2 j 1) . . . (i + 1 i + 2)(i i + 1)
(i + 1 i + 2)1 . . . (j 2 j 1)1 (j 1 j)1
Basta ahora utilizar las proposiciones 6.2.1 y 6.1.7.

6.3.

 Q.E.D.

Signatura de una permutaci

on

Proposici
on 6.3.1 Sea Fn el conjunto de los polinomios en n variables, y
sea la familia de aplicaciones : Fn Fn con Sn definidas seg
un
(f (x1 , x2 , . . . , xn )) = f (x(1) , x(2) , . . . , x(n) )
es una acci
on de Sn sobre Fn .

37

38

Grupos sim
etricos, alternados y di
edricos
n. En efecto, si denotamos I la permutacion identidad,
Demostracio
I (f (x1 , x2 , . . . , xn )) = f (x1 , x2 , . . . , xn )
verificando (A1). Para comprobar (A2), basta observar que
(f (x1 , x2 , . . . , xn )) = (f (x(1) , x(2) , . . . , x(n) ))
= f (x(1) , x(2) , . . . , x(n) )
= (f (x1 , x2 , . . . , xn ))
 Q.E.D.
Proposici
on 6.3.2 Si
Y

n =

(xi xj ) Fn

1i<jn

se define la signatura de como la aplicaci

on sgn : Sn {1, 1} definida
seg
un
sgn()n = (n )
Esta aplicaci
on sgn es un homomorfismo.
n. Es claro que, para todo R, (f ) = (f ). Por tanto,
Demostracio
utilizando la proposicion anterior,
sgn()n = n

por definicion

= (n )

por el axioma (A2)

= (sgn()n )

por definicion

= sgn() (n )
= sgn()sgn()n

por definicion
 Q.E.D.

Definici
on 6.3.3 Se dice que Sn es una permutaci
on par si sgn() = 1.
Se dice que Sn es una permutaci
on impar si sgn() = 1.
Corolario 6.3.4 Sean , Sn . Entonces,
1. sgn() = sgn( 1 ), y
2. sgn( 1 ) = sgn().
n. Utilizando que sgn es un homomorfismo,
Demostracio
1 = sgn(I) = sgn( 1 ) = sgn()sgn( 1 )
de donde sgn() = sgn( 1 ), y
sgn( 1 ) = sgn()sgn()sgn() = sgn()
 Q.E.D.

6.4. Grupos alternados

39

Corolario 6.3.5 Sea un k-ciclo. Entonces, sgn() = (1)k1

n. Es claro que la transposicion (12) es impar, puesto que proDemostracio
duce un u
nico cambio de signo en n , la del factor (x1 x2 ). Una transposicion
de la forma (1k) puede escribirse como
(1k) = (2k)(12)(2k)1
luego es impar por el corolario 6.3.4. Finalmente,
(lk) = (1l)(1k)(1l)1
por lo queda demostrado que toda transposicion es impar.
Por la proposicion 6.2.1, todo k-ciclo puede factorizarse en un producto de
k 1 transposiciones. Del hecho de que sgn es un homomorfismo se sigue el
enunciado.
 Q.E.D.
Proposici
on 6.3.6 Sea Sn una permutaci
on par. Entonces, toda descomposici
on de en transposiciones posee un n
umero par de transposiciones.
Anlogamente, si Sn es una permutaci
on impar, toda descomposici
on
de en transposiciones posee un n
umero impar de transposiciones.
n. Supongamos que Sn posee dos factorizaciones distintas
Demostracio
con k y l transposiciones, respectivamente. Entonces, las signaturas de cada
una de ellas debe coincidir con la signatura de . As, si es par,
sgn() = 1 = (1)k = (1)l
de manera que tanto k como l deben ser pares. Analogamente, si es impar,
sgn() = 1 = (1)k = (1)l
y k y l deben ser impares.

6.4.

 Q.E.D.

Grupos alternados

Definici
on 6.4.1 Se llama grupo alternado de orden n, An al subgrupo de
todas las permutaciones pares de Sn .
Proposici
on 6.4.2 An = ker(sgn).
n. En efecto,
Demostracio
ker(sgn) = { Sn : sgn() = 1}
es efectivamente el conjunto de todas las permutaciones pares de Sn . Q.E.D.

40

Grupos sim
etricos, alternados y di
edricos
Corolario 6.4.3
1. An
Sn .
2. |An | =

n!
2.

n. Por el primer teorema de isomorfa, aplicado al homoDemostracio

{1, 1}. Aplicando ahora el teorema de
morfismo sgn, An
Sn y Sn /An =
Lagrange,
|Sn |
|Sn |
n!
|An | =
=
=
[Sn : An ]
|Sn /An |
2
 Q.E.D.
Proposici
on 6.4.4
1. A2 = I.
2. A3
= Z3 .
n.
Demostracio
1. Es evidente del hecho de que S2 = {I, (12)}.
2. Puesto que S3 = {I, (12), (13), (23), (123), (132)}, se tiene que A3 =
{I, (123), (132)}. Pero
(123)(123) = (132)(123)(123)(123) = I
As, A3 es un grupo cclico de orden 3, y, por tanto, isomorfo a Z3 .
 Q.E.D.
Proposici
on 6.4.5 Para cada n 3, los 3-ciclos generan An .
n. De la propia definicion de grupo alternado, cada permutaDemostracio
cion de An puede escribirse como producto de un n
umero par de transposiciones. Agrupando las transposiciones por pares, (ij)(kl), se tienen dos casos. Si
i, j, k, l son enteros distintos,
(ij)(kl) = (ikj)(ikl)
Si alguno de ellos coincide,
(ij)(il) = (ilj)
Por tanto, todo elemento de An con n 3 puede escribirse como producto de
3-ciclos.
 Q.E.D.

6.5. Estructura de los grupos sim

etricos y alternados

41

Corolario 6.4.6 Para cada par r0 , s0 {1, 2, . . . , n} con r0 6= s0 , los 3-ciclos

de la forma (r0 s0 i) generan An .
n. El resultado se sigue de la proposicion anterior, observando
Demostracio
que
(ijk) = (r0 ij)(r0 jk)
(r0 jk) = (r0 s0 j)(r0 s0 i)(r0 s0 i)
 Q.E.D.

6.5.

Estructura de los grupos sim

etricos y
alternados

Proposici
on 6.5.1 Sean n, m N tales que n m. Entonces,
1. Sn Sm , y
2. An Am .
n. Basta ver que Sn Sm y An Am , y que Sn y An poseen
Demostracio
estructura de grupo.
 Q.E.D.
Proposici
on 6.5.2 Sn es no abeliano para n 3.
n. S3 no es conmutativo, ya que (12), (13) S3 y
Demostracio
(12)(13) = (132)
(13)(12) = (123)
Como S3 Sn para n 3, Sn es no abeliano para n 3.

 Q.E.D.

Proposici
on 6.5.3 An es no abeliano para n 4.
n. A4 no es conmutativo, ya que (123), (134) A4 y
Demostracio
(123)(134) = (234)
(134)(123) = (124)
Como A4 An para n 4, An es no abeliano para n 4.
Proposici
on 6.5.4 Para n 3, Z(Sn ) = I.

 Q.E.D.

42

Grupos sim
etricos, alternados y di
edricos
n. Sea Sn , 6= I. Entonces, existen i, j 1, 2, . . . , n tales
Demostracio
que (i) = j 6= i. Sea k 1, 2, . . . , n distinto de i y de j, y sea = (jk).
Entonces,
(i) = (i) = j
(i) = (j) = k
Por tanto, Z(Sn ) = I.

 Q.E.D.

Proposici
on 6.5.5 Para n 4, Z(An ) = I.
n. Sea An , 6= I. Entonces, existen i, j 1, 2, . . . , n tales
Demostracio
que (i) = j 6= i. Sea k, l 1, 2, . . . , n distintos de i y de j, y sea = (jkl).
Entonces,
(i) = (i) = j
(i) = (j) = k
Por tanto, Z(An ) = I.

 Q.E.D.

Corolario 6.5.6 Sn y An no tienen subgrupos normales de orden dos.

n. A3 no puede tener subgrupos de orden dos, pues contradira
Demostracio
el teorema de Lagrange, ya que |A3 | = 3.
En el resto de casos, el centro de los grupos considerados es el subgrupo
trivial. Supongamos, entonces, que existiese un subgrupo normal de orden dos,
H = {e, a}. Para cualquier elemento b 6= a del grupo considerado, se tendra
bab1 = a, o, equivalentemente, ab = ba, en contra de que el centro del grupo
es trivial.
 Q.E.D.

6.6.

Teorema de Abel

Proposici
on 6.6.1 Sea N
An con n 3. Si N contiene un 3-ciclo, entonces
N = An .
n. Sea (r0 s0 i) N . Entonces todo 3-ciclo de la forma (r0 s0 j)
Demostracio
pertenece a N , ya que
((ij)(r0 s0 ))1 (r0 s0 i)2 ((ij)(r0 s0 )) = (r0 s0 j)
y N es normal. As,
h(r0 s0 i), (r0 s0 j), ...i N
Pero, por el corolario 6.4.6, el primer miembro de la u
ltima inclusion es An .
 Q.E.D.

6.7. Teorema de Cayley

43

Proposici
on 6.6.2 A5 es simple.
n. Sea N
A5 , N 6= {I}, y sea N, 6= I. Se tienen tres
Demostracio
casos:
1. = (ab)(cd): tomando un entero e distinto de a, b, c, d, sea = (abe)
An . Entonces,
[1 ] = (abe) N
por ser N un subgrupo normal de An .
2. = (abc).
3. = (abcde): puesto que N es un subgrupo normal,
1 [(abc)(abc)1 ] = (ace) N
As pues, aplicando la proposicion anterior, se debe tener N = An .  Q.E.D.
Teorema 6.6.3 (Abel) An es simple si n 5.
n. Seg
Demostracio
un la proposicion anterior, A5 es simple. Supongamos
que Ak es simple para todo 5 k n 1.
Sea N
An , N 6= {I}. Veamos que existe una permutacion N, 6= I
tal que (i) = i para alg
un i {1, 2, . . . , n}.
Supongamos que no existiese tal . Sea An . Entonces existen tres
enteros distintos a, b, c {2, . . . , n} tales que (1) = a, (b) = c. Si =
(1a)(bcde), entonces (1 ) N , por ser N normal. Pero
(1 )(1) = 1
(1 )(c) = d
de manera que (1 ) fija 1 y no es la permutacion identidad, en contra de
la hipotesis.
As pues, sea G(i) = { An : (i) = i}
= An1 , que es simple por la
hipotesis de induccion. Entonces, N (i) = N G(i), que es un subgrupo normal
de G(i), debe ser N (i) = G(i).
Por tanto, todo subgrupo normal de An contiene a A5 , de donde debe
tambien contener un 3-ciclo. Por el corolario 6.4.6, se tiene entonces N = An .
 Q.E.D.

6.7.

Teorema de Cayley

Teorema 6.7.1 (Cayley) Todo grupo G es isomorfo a un subgrupo del grupo

de las biyecciones de G. En particular, si G es finito, G es isomorfo a un
subgrupo de un grupo de permutaciones.

44

Grupos sim
etricos, alternados y di
edricos
n. Sea F una aplicacion que asigna a cada g G la aplicacion
Demostracio
Fg : G G definida seg
un Fg (x) = gx. Cada Fg es inyectiva, pues
Fg (x) = Fg (y) = gx = gy = x = y
y tambien suprayectiva, ya que x = Fg (g 1 x). As, F : G B(G), donde
B(G) es el grupo de las biyecciones de G con la operacion de composicion.
F es un homomorfismo, puesto que
Fgh (x) = ghx = Fg (hx) = Fg Fh (x)
Ademas, kerf = {e}. Por el primer teorema de isomorfa, G es isomorfo a su
imagen, que es un subgrupo de B(G).
 Q.E.D.

6.8.

Grupos di
edricos

Definici
on 6.8.1 Se llama grupo diedrico de orden 2n, D2n al grupo de simetras de un polgono regular de n lados.
Proposici
on 6.8.2 Sea A la rotaci
on de
angulo 2
n alrededor del centro de
un polgono regular de n lados, y sea B la simetra con respecto a la recta que
pasa por el centro del mismo y por uno cualquiera de sus vertices. Entonces,
A, A2 , . . . , An ; A B, A2 B, . . . , An B
son todas las simetras del polgono, i.e.,
D2n = {A, A2 , . . . , An ; A B, A2 B, . . . , An B}
n. Los movimientos del plano que dejan invariante un polgono
Demostracio
regular de n lados, es decir, sus simetras, son:
Las rotaciones de angulo k 2
n para k Z:
Como la composicion de giros alrededor de un centro com
un es tambien
un giro alrededor del mismo centro, estas rotaciones estan generadas por
el giro A. Puesto que An = I, se tiene ord(A) = n y
hAi = {A, A2 , . . . , An = I}
es el conjunto de rotaciones que dejan invariante el citado polgono.
Las simetras con respecto a cada una de las rectas que pasan por el
centro del polgono y por uno de sus vertices, o por el centro del polgono
y por el punto medio de uno de sus lados:
Numerando los vertices con los n primeros n
umeros naturales, el giro A
viene determinado poer las ecuaciones
A(n) = 1
A(i) = i + 1

para todo 1 i < n

6.8. Grupos di
edricos

45

Si elegimos B como la simetra con respecto a la recta que pasa por el

centro y por el vertice 1, entonces
B(1) = 1
B(i) = n i + 2

para todo 1 < i n

Veamos que A B es tambien una simetra con respecto a una recta. En

efecto,
A B(1) = 2
A B(2) = 1
A B(i) = n i + 3

para todo 3 i n

son las ecuaciones de la simetra con respecto a la recta que pasa por el
centro y por el punto medio del lado que determinan los vertices 1 y 2.
Analogamente, puede mostrarse que el resto de composiciones de la for
ma Ak B son simetras con respecto a rectas. Estas,
junto con B, son
las n simetras con respecto a rectas del polgono regular de n lados.
 Q.E.D.
Proposici
on 6.8.3 En las condiciones de la proposici
on anterior,
A B = B A1
n. El movimiento A1 viene dado por las ecuaciones
Demostracio
A1 (1) = n
A1 (i) = i 1

para todo 1 < i n

Entonces,
B A1 (1) = 2
B A1 (2) = 1
B A1 (i) = n i + 3

para todo 2 < i n

ecuaciones que coinciden con las de A B, dadas en la demostracion de la

proposicion anterior.
 Q.E.D.
Proposici
on 6.8.4 El grupo diedrico D2n es isomorfo a un subgrupo de Sn .
n.
Demostracio
Dn Sn seg
un

En efecto, basta definir el homomorfismo inyectivo F :

F (A) = (12 . . . n)
F (B) = (2 n)(3 n 1) . . .
 Q.E.D.

Captulo 7

Producto directo y
semidirecto
7.1.

Producto directo de grupos

Proposici
on 7.1.1 Sean Gi , i = 1, 2, . . . , n grupos. El producto cartesiano
G1 G2 . . . Gn dotado de la operaci
on
(g1 , g2 , . . . , gn )(g10 , g20 , . . . , gn0 ) = (g1 g10 , g2 g20 , . . . , gn gn0 )
posee estructura de grupo, y recibe el nombre de producto directo de los grupos
Gi , i = 1, 2, . . . , n.
n. La operacion interna y la asociatividad son evidentes de la
Demostracio
estructura de grupo de G y H. El elemento neutro de GH es (e1 , e2 , . . . , en ).
 Q.E.D.
El elemento inverso de (g1 , g2 , . . . , gn ) es (g11 , g21 , . . . , gn1 ).
Proposici
on 7.1.2 Sean G y H grupos. Entonces,
1. G H
= H G,
2. G
= G = {(g, eH ) : g G}, y
3. G
G H.
n.
Demostracio
1. Basta considerar la aplicacion : G H H G definida seg
un
(g, h) = (h, g), que es claramente un isomorfismo.
2. Basta considerar la aplicacion 1 : G G definida seg
un 1 (g) =
(g, eH ), que es de nuevo un isomorfismo.
3. Si consideramos la proyeccion canonica sobre la segunda componente
2 : G H H definida seg
un 2 (g, h) = h, podemos observar que
ker2 = G, de modo que, por el primer teorema de isomorfa, G
GH.
47

48

Producto directo y semidirecto

 Q.E.D.
Proposici
on 7.1.3 Sea G un grupo, y sean M, N
G. Si M N = {e}, y
M N = G, entonces G
= M N.
n. Puesto que G = M N , para cada g G existen n N, m
Demostracio
M tales que g = mn. Como M N = {e}, esta representacion debe ser u
nica.
En efecto, si mn = m0 n0 , entonces (m0 )1 m = n0 n1 M N , de donde
m = m0 y n = n0 . As, la aplicacion f : G M N tal que f (g) = (m, n)
esta bien definida y es biyectiva.
Falta comprobar que f es un homomorfismo de grupos. Para ello, basta
observar que si n N, m M , se cumple nm = mn, ya que la normalidad
de M y N implican
n1 m1 nm = n1 (m1 nm) N N = N
n1 m1 nm = (n1 m1 n)m M M = M
y puesto que M N = {e}, se debe tener n1 m1 nm = e. Entonces, si
g = mn, g 0 = m0 n0 ,
f (gg 0 ) = f ((mn)(m0 n0 ))
0

= f (m(nm )n )
0

por la definicion de f
por la propiedad asociativa

= f (m(m n)n )
= f ((mm0 )(nn0 ))
0

= (mm , nn )
0

por la propiedad asociativa

por la definicion de f

= (m, n)(m , n )

por la definicion de producto directo

= f (g)f (g )
 Q.E.D.
Proposici
on 7.1.4 Un grupo G es isomorfo al producto directo de sus subgrupos Hi , i = 1, 2, . . . , n si
1. Hj
G para cada j = 1, 2, . . . , n,
Q
2. Hj ( i6=j Hi ) = {e} para cada j = 1, 2, . . . , n, y
Q
3. ni=1 Hi = G.
n. Debido a la condicion tercera, para cada g G existen
Demostracio
hj Hj , j = 1, 2, . . . , n tales que g = h1 h2 . . . hn . Esta descomposicion es
u
nica, ya que, si h1 h2 . . . hn = (h01 h02 . . . h0n ), entonces
(h01 )1 h1 = (h02 . . . h0n )(h1 . . . hn )1

7.1. Producto directo de grupos

49

De
Q la normalidad de los Hj se sigue que el segundo miembro pertenece a
on del enuni6=1 Hi , y, como el primero pertenece a H1 , la segunda condici
0
ciado nos lleva a que h1 = h1 . Continuando con este argumento, se llega a que
hj = h0j para todo j {1, 2, . . . , n}.
As, podemos definir la aplicacion f : G H1 . . . Hn seg
un
f (g) = (h1 , h2 , . . . , hn )
Esta aplicacion es evidentemente biyectiva, y es un homomorfismo, pues, si
g = h1 h2 . . . hn y g 0 = h01 h02 . . . h0n ,
f (gg 0 ) = (h1 h01 , h2 h02 , . . . , hn h0n )
= (h1 , h2 , . . . , hn )(h01 , h02 , . . . , h0n )
= f (g)f (g 0 )
 Q.E.D.
Proposici
on 7.1.5 Sea A
G, B
H. Entonces, A B
G H y
GH G H

=
AB
A
B
n. Si G : G G/A y H : H H/B son los homomorfisDemostracio
mos canonicos con n
ucleos A y B, respectivamente, consideremos la aplicacion
GH G H : G H G/A H/B
Esta aplicacion es un homomorfismo suprayectivo con n
ucleo A B. El enunciado se sigue entonces de la aplicacion del primer teorema de isomorfa.
 Q.E.D.
Proposici
on 7.1.6 Sean m, n Z tales que (m, n) = 1. Entonces,
Zm Zn
= Zmn
n. Sea x un generador de Zm , e y un generador de Zn . EntonDemostracio
ces, los elementos (x, 0), (0, y) Zm Zn tiene ordenes m, n, respectivamente.
Por tanto, por la proposicion 3.2.1, se tiene
ord((x, y)) = [ord(x, 0), ord(0, y)] = [m, n] = mn
 Q.E.D.

50

Producto directo y semidirecto

7.2.

Producto semidirecto de grupos

Proposici
on 7.2.1 Sean G, H grupos, y sea : H Aut G un homomorfismo. El producto cartesiano G H dotado de la operaci
on
(a, b) o (c, d) = (ab (c), bd)
posee estructura de grupo, y recibe el nombre de producto semidirecto de G y
H con respecto a , y se denota G o H.
n. Es claro que la operacion es cerrada en el producto carteDemostracio
siano G H.
La asociatividad se demuestra seg
un
[(a, b) o (c, d)] o (e, f ) = (ab (c), bd) o (e, f )
= (ab (c)bd (e), bdf )
= (ab (c)b (d (e)), bdf )
= (ab (cd (e)), bdf )
= (a, b) o (cd (e), df )
= (a, b) o [(c, d) o (e, f )]
El elemento neutro es, claramente, (eG , eH ), pues
(a, b) o (eG , eH ) = (ab (eG ), beH ) = (a, b)
El inverso de un elemento (a, b) es (b1 (a1 ), b1 ). En efecto,
(a, b) o (b1 (a1 ), b1 ) = (ab (b1 (a1 )), bb1 )
= (abb1 (a1 ), bb1 )
= (aa1 , bb1 ) = (eG , eH )
(b1 (a1 ), b1 ) o (a, b) = (b1 (a1 )b1 (a), b1 b)
= (b1 (a1 a), b1 b) = (eG , eH )
 Q.E.D.
Proposici
on 7.2.2 Sean G y H grupos. Entonces,
1. G
= G = {(g, eH ) : g G}, y G
G o H.
2. H
= H = {(eG , h) : h H}
n.
Demostracio

7.2. Producto semidirecto de grupos

51

1. La aplicacion biyectiva f : G G definida seg

un f (g) = (g, eH ) es un
homomorfismo, pues
f (gg 0 ) = (gg 0 , eH ) = (geH (g 0 ), eH ) = (g, eH ) o (g 0 , eH ) = f (g) o f (g 0 )
Ademas, para todos (g, eH ) G, (a, b) G o H, se tiene
(a, b) o (g, eH ) o (a, b)1 = (ab (g), b) o (b1 (a1 ), b1 )
= (ab (g)b (b1 (a1 )), eH )
= (ab (g)a1 , eH ) G
2. La aplicacion biyectiva f : H H definida seg
un f (h) = (eG , h) es un
homomorfismo, pues
f (hh0 ) = (eG , hh0 ) = (eG h (eG ), hh0 ) = (eG , h)o (eG , h0 ) = f (h)o f (h0 )
 Q.E.D.
Proposici
on 7.2.3 Sea G un grupo, y sean M
G, N G. Si M N = {e},
y M N = G, entonces G
= M o N , donde : N Aut M viene dada por
1
n (m) = nmn .
n. Al igual que en la demostracion de la proposicion 7.1.3, cada
Demostracio
g G posee una factorizacion u
nica g = mn. La aplicacion f : G M o N
dada por f (g) = (m, n) esta, 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 (n1
1 n1 )n2 = m1 n1 (m2 )n1 n2
Por tanto,
f (g1 g2 ) = (m1 n1 (m2 ), n1 n2 ) = (m1 , n1 ) o (m2 , n2 ) = f (g1 ) o f (g2 )
lo cual muestra que f es un isomorfismo.

 Q.E.D.

Captulo 8

p-grupos y teoremas de
Sylow. Grupos solubles
8.1.

p-grupos y p-subgrupos de Sylow

Definici
on 8.1.1 Sea G un grupo, y p un divisor primo de |G|. Denotamos
por |G|p la m
axima potencia de p que divide a |G|.
Se dice que g G es un p-elemento si ord(g) es una potencia de p.
Se dice que G es un p-grupo si |G| es una potencia de p.
Se dice que H G es un p-subgrupo si |H| es una potencia de p.
Se dice que H G es un p-subgrupo de Sylow si |H| = |G|p .
Proposici
on 8.1.2 Sea G un p-grupo finito no trivial. Entonces, Z(G) es no
trivial.
n. Sean C1 , C2 , . . . , Cr las distintas clases de conjugacion de G,
Demostracio
de modo que
|G| = |C1 | + |C2 | + + |Cr |
()
Sin perdida de generalidad, tomamos C1 = {e}. Por el teorema de orbitaestabilizador, si xi Ci con i 6= 1, se tiene
|Ci | =

|G|
|CG (xi )|

de modo que |Ci | debe ser una potencia de p.

Pero entonces, se tendra que el segundo miembro de (*) es congruente
con 1 modulo p, mientras que el primero es divisible por p. As pues, debe
existir un valor de i (distinto de 1) tal que CG (xi ) = G, por lo que xi Z(G).
 Q.E.D.
53

54

p-grupos y teoremas de Sylow. Grupos solubles

Proposici
on 8.1.3 Sea G un grupo de orden p2 con p primo. Entonces, G
es abeliano.
n. Por el teorema anterior, Z(G) es no trivial. Por el teorema
Demostracio
de Lagrange, se debe tener |Z(G)| = p o |Z(G)| = p2 . Si |Z(G)| = p2 , es claro
que G = Z(G), por lo que G es abeliano. Si |Z(G)| = p, entonces G/Z(G) es
cclico de orden p. Por el corolario 5.3.2, G es abeliano.
 Q.E.D.

8.2.

Teoremas de Sylow

Proposici
on 8.2.1 Sea p n
umero primo, y sea m Z, (m, p) = 1. Entonces,
 n 
p m
m (mod p)
pn
n

n. El n
Demostracio
umero combinatorio ppnm es el coeficiente del termino
n
xp en la expansion binomial de
nm

(1 + x)p
Ahora bien,

= ((1 + x)p )m
n

(1 + x)p 1 + xp

(mod p)

ya que los coeficientes de los

demas terminos de la expansion son divisibles por
n

n
n
p. As, el coeficiente ppnm es congruente al coeficiente de xp de (1 + xp )m ,
y, por tanto, es congruente con m modulo p.
 Q.E.D.
Teorema 8.2.2 (Teorema de Sylow) Sea p un n
umero primo, y G un grupo finito de orden pn m con (p, m) = 1. Entonces,
1. G tiene, al menos, un p-subgrupo de Sylow.
2. El n
umero de p-subgrupos de Sylow de G es congruente a 1 m
odulo p, y
divide a m.
3. Todo p-subgrupo de G est
a contenido en un p-subgrupo de Sylow.
4. Todos los p-subgrupos de Sylow de G son conjugados.
n.
Demostracio
1. Sea X la coleccion de los subconjuntos de G con |G|p = pn elementos, y
consideremos la accion de G sobre X definida seg
un
g (S) = gS
Sean O1 , O2 , . . . , Or las orbitas de esta accion, de modo que se tiene la
union disjunta
X = O1 O2 Or

8.2. Teoremas de Sylow

55

n

Como, por la proposicion 8.2.1, |X| = ppnm 1 (mod p), debe existir
alguna orbita O tal que p - |O|. Sea A O tal que 1 A. Entonces,
GA GA A = A, de donde |GA | |A| = |G|p . Ademas, por el teorema
de orbita-estabilizador, |G| = |O||GA |, de donde |G|p ||GA |.

Por tanto, GA = A, de donde |GA | = |G|p y GA es un p-subgrupo de

Sylow de G. Ademas,
G/GA = {gGA : g G}
= {gA : g G}
=O
Por otro lado, sea P es un p-subgrupo de Sylow de G. Entonces, G/P
es una coleccion de subconjuntos de G con cardinal |G|p , y, por tanto, G/P X. Ademas, |G/P | es la orbita en X de P , y (p, |G/P |) =
(p, m) = 1. Por tanto, existe una correspondencia biyectiva entre la
coleccion de los p-subgrupos de Sylow de G y las orbitas en X cuya cardinalidad es coprima con p, siendo cada una de estas orbitas los grupos
cociente de G sobre el p-subgrupo de Sylow correspondiente.
2. Sea X 0 el conjunto de los elementos de X que pertenecen a una orbita
cuya cardinalidad es coprima con p. Entonces, |X 0 | = rm, donde r es el
n
umero de tales orbitas. Como |X\X 0 | es divisible por p,
|X 0 | |X| (mod p)
 n 
p m
rm
(mod p)
pn
rm 1 (mod p)
r1

(mod p)

por la proposicion 8.2.1

ya que (p, m) = 1

Basta ahora recordar la correspondencia biyectiva entre orbitas de cardinalidad coprima con p y p-subgrupos de Sylow, de donde r es el n
umero
de estos u
ltimos.
3. Sea P un p-subgrupo de Sylow de G, y Q un p-subgrupo cualquiera de
G con |Q| = pr . Sea
Y = {gP g 1 : g G}
Consideremos la accion de Q sobre Y dada por
x (gP g 1 ) = x(gP g 1 )x1 = (xg)P (xg)1
Por el teorema de orbita-estabilizador, la cardinalidad de cada una de
las orbitas de esta accion debe ser una potencia (quiza trivial) de p. En
efecto,
|orb(gP g 1 )| = [Q : QgP g1 ] =

|Q|
|QgP g1 |

pr
|QgP g1 |

56

p-grupos y teoremas de Sylow. Grupos solubles

Ademas,
|Y | = [G : NG (P )] =

[G : P ]
m
=
[NG (P ) : P ]
[NG (P ) : P ]

por lo que |Y ||m. Como p - m, se tiene, entonces, p - |Y |. As, debe

existir alguna orbita con un u
nico elemento, pues, en caso contrario, se
tendra p||Y |, ya que Y puede escribirse como union disjunta de orbitas.
Sea {P1 = gP g 1 } una de tales orbitas. Entonces, para todo x
Q, xP x1 = P . Por tanto, QP1 = P1 Q y QP1 G por la proposicion
2.3.2. Utilizando la proposicion 2.3.3, es claro que QP1 es un p-subgrupo,
de donde, necesariamente, QP1 = P1 , y, por tanto, Q P1 .
4. Si Q es tambien un p-subgrupo de Sylow, Q P1 y |Q| = |P1 | implican
Q = P1 = gP g 1 .
 Q.E.D.

8.3.

Corolarios de los teoremas de Sylow

Proposici
on 8.3.1 Sean G un grupo finito, P un p-subgrupo de Sylow de G,
y N
G. Entonces,
1. P N/N es un p-subgrupo de Sylow de G/N .
2. P N es un p-subgrupo de Sylow de N , y
n. En primer lugar, observemos que para demostrar que un
Demostracio
subgrupo H de un grupo G es un p-subgrupo de Sylow, basta comprobar que
H es un p-subgrupo y que [G : H] no es divisible por p.
1. Por el teorema de correspondencia, [G : P N ] = [G/N : P N/N ]. Pero,
como [G : P N ] divide a [G : P ] por factorizacion de ndices) y p - [G : P ],
se tiene p - [G/N : P N/N ]. Puesto que P N/N
= P/(P N ) por el
segundo teorema de isomorfa, P N/N es un p-grupo, ya que P/(P N )
lo es. As, P N/N es un p-subgrupo de G/N .
2. De la proposicion 2.3.3, se tiene que [N : P N ] = [P N : P ]. Como P N
es un subgrupo de G por la proposicion 4.3.4, y P es un p-subgrupo de
Sylow de G, p - [P N : P ]. Por tanto, P N es un p-subgrupo de G cuyo
ndice en N es coprimo con p, i.e., P N es un p-subgrupo de Sylow de
N.
 Q.E.D.
Teorema 8.3.2 (Cauchy) Sea G un grupo finito. Para todo p primo tal que
p||G| existe un elemento de orden p.

8.4. Grupos solubles

n. Por el teorema de Sylow, existe en G un p-subgrupo de SyDemostracio
low, P . Por el teorema de Lagrange, todos los elementos de P son p-elementos,
y, por tanto, alguna potencia de ellos posee orden p.
 Q.E.D.
Corolario 8.3.3 Sea G un grupo finito. G no tiene subgrupos propios si y
s
olo si |G| es primo.
n. Supongamos que |G| no fuese primo. Entonces, por el teoDemostracio
rema de Cauchy, debe existir un elemento g de orden p para cada primo p que
divide a |G|, y hgi sera un subgrupo propio de G.
El recproco es evidente del teorema de Lagrange.
 Q.E.D.
Corolario 8.3.4 Un grupo finito G es un p-grupo si y s
olo si todos sus elementos son p-elementos.
n. Por el teorema de Lagrange, si |G| = pn , el orden de todo
Demostracio
elemento de G debe ser una potencia de p.
Recprocamente, supongamos que todos los elementos de G son p-elementos.
Si existiese un n
umero primo q 6= p tal que q||G|, el teorema de Sylow implicara que existe un q-subgrupo de Sylow, en contra de la hipotesis.  Q.E.D.
Corolario 8.3.5 Sea G un p-grupo de orden finito pn . Para cada entero i =
0, 1, . . . , n existe un subgrupo normal en G de orden pi .
n. Para n = 0 la proposicion es evidente. Supongamos que el
Demostracio
enunciado es cierto para todo k < n.
Sea |G| = pn . Por la proposicion 8.1.2, Z(G) es no trivial. Por tanto, existe
0 < r n tal que |Z(G)| = pr . Por el teorema de Cauchy, Z(G) posee un
elemento g de orden p. As, H = |hgi| = p y H
G.
Por la hipotesis de induccion, G/H (que tiene orden pn1 ) posee subgrupos
normales Ji de orden pi para cada i = 0, 1, . . . , n 1. Por el teorema de
correspondencia, cada Ji
G/H es de la forma Ji = Hi /H, donde Hi
G y
|Hi | = pi+1 .
 Q.E.D.

8.4.

Grupos solubles

Definici
on 8.4.1 Sea G un grupo finito. Se llama serie de composicion a una
cadena de subgrupos
{e} = H0 H1 H2 Hk1 Hk = G
tal que Hi
Hi+1 , y Hi+1 /Hi es un grupo simple para todo i = 0, 1, 2, . . . , k1.
Los grupos cociente Hi+1 /Hi reciben el nombre de factores de composicion.

57

58

p-grupos y teoremas de Sylow. Grupos solubles

Teorema 8.4.2 (Jordan-H
older) Sea G un grupo finito. Si G posee dos
series de composici
on,
{e} = H0 H1 H2 Hk1 Hk = G
{e} = J0 J1 J2 Jr1 Jr = G
entonces k = r y existe Sk tal que Hi+1 /Hi
= J(i)+1 /J(i) .
Definici
on 8.4.3 Un grupo G es soluble si existe en el una serie de composici
on
{e} = H0 H1 H2 Hk1 Hk = G
en la cual los factores de composici
on Hi+1 /Hi , i = 0, 1, 2, . . . , k 1 son
abelianos.
Proposici
on 8.4.4 S3 , S4 , A3 y A4 son solubles.
n. Basta exhibir las series de composicion
Demostracio
{I} A3 S3
{I} h(12)(34), (13)(24)i A4 S4
{I} A3
{I} h(12)(34), (13)(24)i A4

cuyos factores de composicion son abelianos.

 Q.E.D.

Proposici
on 8.4.5 Sn y An no son solubles para n 5.
n. Para todo n 5, el teorema de Abel asegura que An es
Demostracio
simple. Por tanto,
{I} An Sn
es una serie de composicion en Sn , pero el factor de composicion An /{e}
= An
no es abeliano. Por el teorema de Jordan-Holder, cualquier otra serie de composicion en Sn posee alg
un factor de composicion isomorfo a An , y, por tanto,
no puede existir en Sn una serie de composicion con factores de composicion
abelianos.
Analogamente,
{I} An
es una serie de composicion en An con un u
nico factor de composicion no
abeliano, An . De nuevo, el teorema de Jordan-Holder asegura la imposibilidad de la existencia de una serie de composicion con factores de composicion
abelianos.
 Q.E.D.

8.4. Grupos solubles

59

Definici
on 8.4.6 Sea G un grupo, y sean x, y G
[x, y] = x1 y 1 xy
Se llama subgrupo conmutador de G al subgrupo generado por todos los conmutadores de elementos de G.
G0 = h{[x, y] : x, y G}i
Proposici
on 8.4.7 Sea G un grupo, y G0 su subgrupo conmutador. Entonces,
0
G
G y G/G0 es abeliano. Adem
as, si N
G, G/N es abeliano si y s
olo si
0
G N.
n. Sean a, b, G, de modo que [a, b] G0 . Para todo g G,
Demostracio
[gag 1 , gbg 1 ] = (ga1 g 1 )(gb1 g 1 )(gag 1 )(gbg 1 ) = ga1 b1 abg 1 = g[a, b]g 1
demostrando la normalidad de G0 en G.
Sean ahora xG0 , yG0 G/G0 . Entonces,
(xG0 )(yG0 ) = xyG0 = xy[x, y]G0 = yxG0 = (yG0 )(xG0 )
Supongamos que N
G y que G/N es abeliano. Entonces, para todos
x, y G se tiene (xN )(yN ) = (yN )(xN ), de donde x1 y 1 xyN = N y
[x, y] N , mostrando que G0 N . Recprocamente, si G0 N entonces
(xN )(yN ) = xyN = xy[x, y]N = yxN = (yN )(xN )
y G/N es abeliano.

 Q.E.D.

Definici
on 8.4.8 Se llama serie derivada de G a la cadena de subgrupos
G(0) G(1) G(2) G(k)
donde G(0) = G y G(k) = (G(k1) )0 .
Proposici
on 8.4.9 Un grupo G es soluble si y s
olo si G(k) = {e} para alg
un
k 0.
n. Supongamos que G es soluble, de manera que existe una
Demostracio
serie de composicion
{e} = Hn Hn1 H1 H0 = G
en la que cada factor Hi1 /Hi es abeliano. G(i) es un subgrupo de Hi para
i = 0, y para i = 1 por la proposicion 8.4.7. Si G(i1) Hi1 , entonces,
G(i) (Hi1 )0 . Como Hi1 /Hi es abeliano, la proposicion 8.4.7 asegura que
(Hi1 )0 Hi , y, por tanto, G(i) (Hi1 )0 Hi . Como Hn = {e}, se tiene,
finalmente, G(n) = {e}.
Recprocamente, si G(k) = {e} para alg
un k 0, entonces
{e} = G(k) G(k1) G(1) G(0) = G
es una serie de composicion con factores abelianos, seg
un la proposicion 8.4.7.
 Q.E.D.

Captulo 9

Grupos abelianos finitos

9.1.

Factorizaci
on de elementos de grupos
abelianos finitos

Proposici
on 9.1.1 Sea G un grupo, y x G un elemento de orden mn
con (m, n) = 1. El elemento x puede escribirse de manera u
nica como el
producto de dos elementos y, z que conmutan entre s, con
ordenes n y m,
respectivamente. Adem
as, y, z son potencias de x.
n. Utilizando la propiedad lineal del maximo com
Demostracio
un divisor,
um+vn
existen enteros u, v tales que 1 = um + vn. Entonces, x = x
= xum xvn .
um
vn
Tomando y = x , z = x se tiene que y, z son potencias de x, y, por tanto,
conmutan entre s.
Sean n0 = ord(y), m0 = ord(z). Dado que y n = xumn = e, z m = xvmn = e,
se tiene que n0 |n, m0 |m. Por otro lado,
0

xn m = (yz)n m = y n m z n m = e
implica que mn|m0 n0 , de donde n = n0 , m = m0 .
Supongamos ahora que existen dos elementos y1 , z1 que cumplen tambien
los requerimientos del enunciado. Entonces, es claro que y1 , z1 conmutan con
x, pues
xy1 = y1 z1 y1 = y1 x
xz1 = z1 y1 z1 = z1 x
Por tanto, y1 , z1 conmutan con y, z, puesto que estos u
ltimos son potencias de
x.
Por otro lado, yz = x = y1 z1 implica w = y11 y = z1 z 1 . Entonces,
wn = (y11 )n y n = e
1 m
wm = xm
1 (z ) = e

61

62

Grupos abelianos finitos

Como (m, n) = 1, se debe tener, necesariamente, w = e, de donde y = y1 y
z = z1 .
 Q.E.D.
Corolario 9.1.2 Para cada elemento x G de orden pn1 1 pn2 2 . . . pnk k , donde
los pj son n
umeros primos distintos, existe una u
nica factorizaci
on
x = x1 x2 . . . xk
de modo que xi xj = xj xi para todos i, j {1, 2, . . . , k} y cada xi es una
potencia de x de orden pni i .
n. Basta aplicar repetidas veces la proposicion anterior. Q.E.D.
Demostracio
Proposici
on 9.1.3 Todo grupo abeliano finito es isomorfo al producto directo
de todos sus p-subgrupos de Sylow.
n. Sea G un grupo abeliano con |G| = n = pn1 1 pn2 2 . . . pnk k .
Demostracio
Puesto que G es abeliano, aplicando la proposicion 4.2.3 y el teorema de
Sylow, deducimos que, para cada pi , existe un u
nico pi -subgrupo de Sylow, al
que denotaremos Spi , que, ademas, es normal en G.
Ademas, si
Y
g Spj ( Spi )
i6=j
m
pj j

se tiene ord(g) =
con 0 Q
mj nj . Por otro lado, utilizando el corolario
9.1.2, podemos escribir g = i6=j yi con yi Spi , de modo que
ord(g) = [ord(yi )]i6=j =

i
pm
i

i6=j

Se sigue entonces que g = e.

Del corolario 9.1.2 se deduce que G = Sp1 Sp2 . . . Spk . Finalmente, aplicando
la proposicion 7.1.4 se obtiene el enunciado.
 Q.E.D.

9.2.

Clasificaci
on de los grupos abelianos finitos

Definici
on 9.2.1 Dado un grupo abeliano G, se dice que {a1 , a2 , . . . , ar } es
un sistema de generadores de G si todo elemento x G puede escribirse en
la forma
x = n1 a1 + n2 a2 + + nr ar
con nj Z.
Si la expresi
on anterior es u
nica, se dice que {a1 , a2 , . . . , ar } es una base
de G.
Proposici
on 9.2.2 Sea G un grupo abeliano, y {a1 , a2 , . . . , ar } un sistema
de generadores de G. Son equivalentes:

9.2. Clasificaci
on de los grupos abelianos finitos
1. {a1 , a2 , . . . , ar } es una base de G.
2. Si existen n1 , n2 , . . . , nr Z tales que
n1 a1 + n2 a2 + + nr ar = 0
se debe tener nj aj = 0 para todo j = 1, 2, . . . , r.
n.
Demostracio
(1 2) Supongamos que {a1 , a2 , . . . , ar } es una base de G. Entonces,
n1 a1 + n2 a2 + + nr ar = 0 = 0a1 + 0a2 + + 0ar
y, de la unicidad de la representacion, se deduce que nj aj = 0 para todo
j = 1, 2, . . . , r.
(2 1) Recprocamente, supongamos que x G posee dos descomposiciones
n1 a1 + n2 a2 + + nr ar = x = n01 a1 + n02 a2 + + n0r ar
Se tiene entonces
(n1 n01 )a1 + (n1 n02 )a2 + + (n1 n03 )ar = 0
y la hipotesis asegura que (nj n0j )aj = 0 para todo j = 1, 2, . . . , r.  Q.E.D.
Proposici
on 9.2.3 Sea {a1 , a2 , . . . , ar } una base de un grupo abeliano finito
G. Entonces,
r
M
G
hai i
=
i=1

n. Como G es abeliano, cada haj i es normal en G. Puesto que

Demostracio
{a1 , a2 , . . . , ar } es un sistema de generadores de G, G = ha1 i+har i+ +har i.
Finalmente, si
Y
x haj i ( hai i)
i6=j

se tiene que
x = nj aj =

ni ai

i6=j

y, de la proposicion anterior, se tiene x = 0. El resultado se deduce entonces

de la proposicion 7.1.4.
 Q.E.D.
Teorema 9.2.4 (Teorema de estructura de los grupos abelianos finitos)
Todo grupo abeliano finito es isomorfo a una suma directa de grupos cclicos
de
ordenes potencias de primos.

63

64

Grupos abelianos finitos

n. Por las proposiciones 9.1.3 y 9.2.3, basta demostrar que
Demostracio
cualquier p-subgrupo de Sylow tiene una base. As pues, sea G un p-grupo.
Elegimos a1 G de orden maximo pm1 . Si G1 = ha1 i = G, entonces {a1 }
es una base de G.
Supongamos entonces que G1 ( G. Supongamos que tenemos k elementos
a1 , a2 , . . . , ak de ordenes pm1 , pm2 , . . . , pmk tales que
1. m1 m2 . . . mk y todo elemento de G que no pertenezca a Gk =
ha1 i ha2 i hak i tiene orden pt con t mk , y
2. {a1 , a2 , . . . , ak } es una base de Gk .
Si Gk ( G, tomamos b G\Gk de orden pt . Sea r el menor entero positivo
tal que rb Gk (existe, pues pt b = 0 Gk ). Utilizando el algoritmo de
Euclides, podemos escribir
pt = cr + r0

con 0 r0 < r

Por tanto, r0 b = pt b crb Gk , por lo que r0 = 0. Por tanto, r|pt . Pongamos,

entonces, r = pmk+1 , y puesto que t mk+1 se tiene
m1 m2 . . . mk mk+1
Puesto que rb Gk , se tiene
rb =

k
X

ni ai

i=1

Multiplicando esta igualdad por

pt
r

= ptmk+1 ,

pt b = 0 =

k
X

ni

i=1
t

pt
ai
r
t

Utilizando (2), se sigue que ni pr ai = 0, y, por tanto, nirp es un m

ultiplo de
pmi . As,
n i pt
= n0i pmi ,
n0i N,
i = 1, 2, . . . , k
r
Entonces, ni = r(n0i pmi t ) = rn00i , donde n00i N.
Definimos
k
X
ak+1 = b
n00i ai
i=1

Pk

P
Se tiene que rak+1 = rb i=1 rn00i ai = rb ki=1 ni ai = 0, y, por tanto,
ord(ak+1 )|r. Por otro lado, sak+1 = 0 implica sb Gk , de donde r s por la
definicion de r. As, ord(ak+1 ) = r = pmk+1 .

9.2. Clasificaci
on de los grupos abelianos finitos
Si
0=

k+1
X

ci ai

i=1

entonces ck+1 ak+1 Gk , de donde, por la definicion de ak+1 , se tiene que

ck+1 b Gk .
Dividiendo ck+1 entre r, se tiene ck+1 = cr + r00 con 0 r00 < r. Debe ser,
entonces, r00 = 0, ya que r00 b = ck+1 b crb Gk . Por ello, ck+1 es un m
ultiplo
m
k+1
de r = p
, y, por tanto,
ck+1 = pmk+1 c0k+1
Por tanto, ck+1 ak+1 = 0, lo cual, unido a (2), implica que {a1 , a2 , . . . , ak , ak+1 }
es una base de Gk+1 .
 Q.E.D.
Proposici
on 9.2.5 Todo grupo abeliano finito G es isomorfo a una suma
directa de la forma
G
= Zpn1 Zpn2 Zprnr
1

Esta descomposici
on es u
nica, salvo por el orden.
n. La existencia es consecuencia directa del teorema de estrucDemostracio
tura, pues todo grupo cclico finito de orden k es isomorfo a (Zk , +).
Puesto que, para cada primo p que divide a G, existe un u
nico p-subgrupo
de Sylow, basta demostrar la unicidad para estos, i.e., basta hacerlo para
p-grupos.
Sea, por tanto, G un p-grupo abeliano finito, de orden pt . Supongamos que
G posee dos descomposiciones
G
= A1 A2 Ar
G
= B1 B2 Bs
donde Ai = (Zpei , +) y Bj = (Zpfj , +), y
e1 e2 . . . er
f1 f2 . . . fs
Para t = 1, el enunciado de la proposicion se cumple trivialmente. Supongamos que tambien es cierto para todo p-grupo de orden pk con k < t.
Sea pG = {py : y G} G (no es una clase por la izquierda). Si
pG = {e}, todo elemento de G (excepto el neutro e) es de orden p, y, por
tanto, ei = fj = 1 para todos i = 1, 2, . . . , r y j = 1, 2, . . . , s, de donde
pt = |G| = pr = ps .
Si pG 6= {e}, veamos que podemos escribir
pG
= hpa1 i hpa2 i hpar i
pG
= hpb1 i hpb2 i hpbs i

65

66

Grupos abelianos finitos

donde hai i = Ai y hbj i = Bj .
Si px pG, x G, y, por tanto,
x=

r
X

ni ai

px =

i=1

r
X

ni pai

i=1

Pr

Supongamos que px = 0. Entonces, i=1 ni pai = 0, y, puesto que {ai }ri=1

es una base de G, se debe tener ni pai = 0 para cada i = 1, 2, . . . , r. As,
{pai }ri=1 es una base de pG, y, aplicando la proposicion 9.2.3 se obtiene el
primer isomorfismo.
El segundo se demuestra de forma analoga.
Finalmente,
|pG| = pe1 1 pe2 1 . . . per 1 = ptr
|pG| = pf1 1 pf2 1 . . . pfs 1 = pts
de donde r = s y ei = fi para cada i = 1, 2, . . . , r.

 Q.E.D.

Definici
on 9.2.6 Sea G un grupo abeliano finito
G
= Zpn1 Zpn2 Zpnr r
1

Los n
umeros

(pn1 1 , pn2 2 , . . . , pnr r )

se llaman divisores elementales del grupo G.

Corolario 9.2.7 Dos grupos abelianos finitos con divisores elementales distintos no son isomorfos.
n. El enunciado es una reformulacion de la proposicion 9.2.5
Demostracio
en terminos de la definicion anterior.
 Q.E.D.
Corolario 9.2.8 Todo grupo abeliano finito G es isomorfo a una suma directa
de la forma
G
= Zm1 Zm2 Zmt
donde m1 2 y mi divide a cada mj con j i.
n. Con todos los divisores elementales de G, construimos la
Demostracio
matriz
n11

p1
pn2 12 pnr 1r
pn21 pn22 pn2r
r
2
1

..
..
..
.
.
.
.
.
.
nt1
nt2
n
p1
p2
pr tr
en la cual nij ni+1,j .
Entonces, definimos mi = p1ni1 p2ni2 . . . pnr ir . Es claro que mi divide a cada
mj con j i. Ademas, por la proposicion 7.1.6,
Zmi
= Zpni1 Zpni2 Zpnr ir
1

As, el enunciado se sigue trivialmente de la proposicion 9.2.5.

 Q.E.D.

9.3. Cuerpos finitos

67

Definici
on 9.2.9 Sea G un grupo abeliano finito
G
= Zm1 Zm2 Zmt
donde m1 2 y mi divide a cada mj con j i. Los n
umeros mi reciben el
nombre de coeficientes de torsion o invariantes de G.
Corolario 9.2.10 Dos grupos abelianos finitos con coeficientes de torsi
on distintos no son isomorfos.
n. De nuevo, este enunciado es una reformulacion del corolario
Demostracio
9.2.8 en terminos de la definicion anterior.
 Q.E.D.
Corolario 9.2.11 Sea G un grupo abeliano finito de orden n. Para cada divisor d de n existe un elemento de orden d.
Q
n. Por el corolario 9.1.2, si d = ni=1 pni i , el elemento x tiene
Demostracio
Q

una factorizacion u
nica x = ni=1 xi , donde cada xi es de orden pni i - Estos
u
ltimos existen por el corolario 8.3.5.
 Q.E.D.

9.3.

Cuerpos finitos

Definici
on 9.3.1 Un cuerpo (F, +, ) es un conjunto no vaco F , dotado con
dos operaciones, suma (+) y multiplicaci
on (), tales que
(F, +) y (F = F \{0}, ) son grupos abelianos, y
x, y, z F, x (y + z) = x y + x z (propiedad distributiva).
Los elementos neutros con respecto a la suma y a la multiplicaci
on se
denotan 0 y 1, respectivamente. El inverso aditivo de un elemento x F se
denota x, y su inverso multiplicativo, x1 .
Definici
on 9.3.2 Se llama caracterstica de un cuerpo (F, +, ) al orden aditivo del elemento neutro de la multiplicaci
on.
Proposici
on 9.3.3 La caracterstica de un cuerpo (F, +, ) es cero o un n
umero primo.
n. Sea F un cuerpo de caracterstica positiva k, y supongamos
Demostracio
que d1 y d2 son divisores propios de k. Entonces
0 = k1 = d1 d2 1 = (d1 1)(d2 1)
Puesto que no existen en F divisores de cero, alguno de los dos factores debe
ser cero, en contra de la definicion de k.
 Q.E.D.

68

Grupos abelianos finitos

Proposici
on 9.3.4 Sea F un cuerpo finito de caracterstica p. Entonces, existe n N tal que
n
M

(F, +) =
Zp
i=1

n. Para todo x F , utilizando la definicion de caracterstica,

Demostracio
px = p(1x) = (p1)x = 0
de donde todo elemento de F tiene orden p. Basta, entonces, aplicar la proposicion 9.2.5.
 Q.E.D.
Proposici
on 9.3.5 El grupo multiplicativo de todo cuerpo finito es cclico.
n. Aplicando el corolario 9.2.8,
Demostracio
F
= Zm1 Zm2 Zmr
donde mi|mj para todo j i. Por tanto, para cada x F se tiene ord(x)|mr
y xmr = 1. Sin embargo, el polinomio xmr 1 tiene, como maximo, mr soluciones. Se sigue, entonces, que |F | = mr , luego F es cclico.
 Q.E.D.

9.4.

Grupos abelianos de orden bajo

Para elaborar la siguiente tabla se han utilizado las proposiciones 7.1.6 y

9.2.5 y los corolarios 3.3.2 y 9.2.7.

n
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

Z16 ,

Grupos abelianos de orden n

Z2
Z3
Z4 ,
Z2 Z2
Z5
Z6
= Z2 Z3
Z7
Z8 ,
Z4 Z2 ,
Z2 Z2 Z2
Z9 ,
Z3 Z3
Z10
= Z2 Z5
Z11
Z4 Z3 ,
Z2 Z2 Z3
Z13
Z14
= Z2 Z7
Z15
= Z3 Z5
Z8 Z2 ,
Z4 Z2 Z2 ,
Z2 Z2 Z2 Z2

Captulo 10

Clasificaci
on de grupos de
orden menor que 16
10.1.

Primeros grupos clasificados

A partir de lo demostrado en los captulos anteriores, podemos clasificar

ya los siguientes grupos.
Grupos de orden primo. Por el corolario 3.3.2, los grupos de orden primo
son cclicos simples, y, por tanto, abelianos.
Son de este tipo los grupos de orden 2, 3, 5, 7, 11 y 13.
Grupos de orden p2 . Seg
un la proposicion 8.1.3, todo grupo de orden el
cuadrado de un primo p es abeliano. As pues, el corolario 9.2.7 asegura
que todo grupo de orden p2 es isomorfo a Zp2 o a Zp Zp .
En esta clase se encuadran los grupos de orden 4 y 9.

10.2.

Grupos de orden pq

Proposici
on 10.2.1 Sean p y q primos con p > q, y G un grupo de orden
pq. Entonces,
Si p 6 1

(mod q), entonces G

= Zpq .

Si p 1

(mod q) y G es abeliano, entonces G

= Zpq .

Si p 1

(mod q) y G no es abeliano, entonces G

= Zp o Zq .

n. Sean np , nq el n
Demostracio
umero de p-subgrupos y q-subgrupos de
Sylow, respectivamente. Por el teorema de Sylow, np 1 (mod p) y np |q.
Como p > q, esto implica np = 1. Entonces, si P es el u
nico p-subgrupo de
Sylow de G, se tiene P
G.
69

70

Clasificaci
on de grupos de orden menor que 16
Sea Q un p-subgrupo de Sylow de G. Como tambien nq 1 (mod q) y
nq |p, el subgrupo Q puede tener o bien un u
nico conjugado (el mismo), o bien
p conjugados.
El primer caso se da si p 6 1 (mod q), o si p 1 (mod q) y G es
abeliano. Entonces, Q
G. Puesto que, por el teorema de Lagrange, P Q =
{e}, la proposicion 2.3.3 asegura que P Q = G. Aplicando la proposicion 7.1.3,
G
= P Q. Pero P
= Zp y Q
= Zq , por ser P y Q grupos de orden primo.
Finalmente, basta observar que Zp Zq
= Zpq por la proposicion 7.1.6.
Si p 1 (mod q) y G no es abeliano, G tiene p q-subgrupos de Sylow.
Como, por el teorema de Lagrange, P Q = {e}, de nuevo la proposicion 2.3.3
asegura que P Q = G. Entonces, por la proposicion 7.2.3, G
= P o Q, donde
: N Aut M viene dada por n (m) = nmn1 . Finalmente, basta observar
que P
 Q.E.D.
= Zp y Q
= Zq .
Esta proposicion nos permite clasificar los grupos de orden 6 = 3 2, 10 =
5 2, 14 = 7 2 y 15 = 5 3.
Grupos de orden 2p. Si q = 2 y p es un primo impar, se tiene que p
1 (mod q). Aplicando la proposicion anterior, se tiene que todo grupo
abeliano de orden 2p es isomorfo a Z2p .
El grupo diedrico de orden 2p, D2p , es no abeliano. Puesto que la proposicion anterior asegura que existe una u
nica clase de isomorfa de grupos
no abelianos de orden 2p, llegamos a la conclusion de que todo grupo no
abeliano de orden 2p es isomorfo a D2p
= Zp o Z2 .
Quedan as clasificados los grupos de orden 6, 10 y 14.
Notese que S3 es un grupo no abeliano de orden 6, por lo que S3
= D6 .
Grupos de orden 15. Si p = 5 y q = 3, se tiene que p 6 1 (mod q), de
donde todo grupo de orden 15 debe ser cclico, y, por tanto, abeliano.

10.3.

Grupos de orden 8

Seg
un los resultados del captulo anterior, existen tres clases de isomorfa
de grupos abelianos de orden 8, a saber:
Z8 , Z4 Z2 , Z2 Z2 Z2
Investiguemos ahora los grupos no abelianos de orden 8.
Proposici
on 10.3.1 Sea G un grupo no abeliano de orden p3 con p primo.
Entonces, |Z(G)| = p y G/Z(G)
= Zp Zp

10.3. Grupos de orden 8

71

n. Por la proposicion 8.1.2, Z(G) es no trivial. Por el teorema

Demostracio
de Lagrange, debe ser, entonces, |Z(G)| = p o |Z(G)| = p2 . Pero |Z(G)| = p2
implicara que Int G
= G/Z(G) es cclico, y, por el corolario 5.3.2, G sera
abeliano. Por tanto, |Z(G)| = p.
Entonces, |G/Z(G)| = p2 . Si G/Z(G)
= Zp2 , el corolario 5.3.2 implicara
de nuevo la conmutatividad de G, por lo que G/Z(G)
= Zp Zp .  Q.E.D.
Proposici
on 10.3.2 Sea G un grupo no abeliano de orden 8. Entonces, existe
en G alg
un elemento de orden 4.
n. En efecto, sea H = hg, hi con g, h G elementos de orden
Demostracio
2. Entonces,
H = {e, g, h, gh, hg}
Entonces, el teorema de Lagrange implica que gh = hg.

 Q.E.D.

Sea G un grupo no abeliano de orden 8, de modo que Z(G) = {e, z}.

Supongamos que z es el u
nico elemento de orden 2 en G. Por el corolario
8.3.5, podemos escoger un elemento y G de orden 4 tal que Q = hyi
G.
Entonces, G/Q = hxQi, y como x no puede ser un elemento de orden 2, se
tiene que x2 = z. Ademas, tambien y 2 = z. Por tanto,
G = {e, z, x, x3 , y, y 3 }
Ademas, xyx1 Q = {e, z, y, y 3 }. Pero
Si xyx1 = e se tendra y = e.
Si xyx1 = z se tendra y = z.
Si xyx1 = y se tendra xy = yx, de donde G sera abeliano.
Por tanto, xyx1 = y 3 , de donde xy = y 3 x. Por tanto, encontramos la presentacion
hx, y : x4 = e, x2 = y 2 , xy = y 3 xi
Este grupo recibe el nombre de grupo cuaterni
onico, y se denota Q8 . Sus
elementos suelen denotarse 1, 1, i, i, j, j, k, k, cumpliendo las siguientes
relaciones:
i2 = j 2 = k 2 = 1
ij = k

jk = i

ki = j

ji = k

kj = i

ik = j

72

Clasificaci
on de grupos de orden menor que 16
Sea, de nuevo, G un grupo no abeliano de orden 8, de modo que Z(G) =
{e, z}. Supongamos ahora que existe en G un elemento x de orden 2 distinto
de z. Si y es un elemento de orden 4, entonces
G = {e, y, y 2 , y 3 , x, xy, xy 2 , xy 3 }
Puesto que yx G, la u
nica posibilidad que no lleva a contradiccion con las
3
hipotesis es yx = xy . Por tanto, este grupo es isomorfo a D8 .

10.4.

Grupos de orden 12

Proposici
on 10.4.1 Sea G un grupo de orden 12. Entonces, G tiene un subgrupo de Sylow normal.
n. Por el teorema de Sylow, el n
Demostracio
umero de 3-subgrupos de
Sylow de G debe ser uno o cuatro.
Supongamos que G posee cuatro 3-subgrupos de Sylow, P1 , P2 , P3 , P4 . Cada interseccion Pi Pj con i 6= j debe ser un subgrupo propio de Pi . Como
Pi
= Z3 , es necesario que Pi Pj = {e}. Por tanto, G contiene el neutro,
y ocho elementos de orden 3, incluidos en sus 3-subgrupos de Sylow. Quedan, por tanto, tres elementos de orden 2, por lo cual solo puede existir un
2-subgrupo de Sylow.
 Q.E.D.

Sea G un grupo de orden 12, V un 2-subgrupo de Sylow y T un 3-subgrupo

de Sylow. Seg
un resultados anteriores, se tiene T
= Z3 , y V
= Z4 o V
=
Z2 Z2 . Ademas, por la proposicion anterior, uno de los dos debe ser normal
en G.
Analicemos los distintos casos.
1. V
G, T
G, V
= Z4 :
Por la proposicion 7.1.3, G
= Z4 Z3
= Z12 .
2. V
G, T
G, V
= Z2 Z2 :
Por la proposicion 7.1.3, G
= Z2 Z2 Z3 .
3. V
G, T G, V
= Z4 :
Por la proposicion 7.2.3, G
= Z4 o Z3 . Sin embargo : Z3 Aut Z4
=
Z2 solo puede ser el homomorfismo trivial, por lo cual Z4 o Z3 = Z4 Z3 .
En este caso, tambien T
G, repitiendo el primer caso.
4. V
G, T G, V
= Z2 Z2 :
Por la proposicion 7.2.3, G
= (Z2 Z2 ) o Z3 . Si : Z3 Aut Z2 Z2

10.4. Grupos de orden 12

73

esta definida seg

un
0 (01) = 01
= 10
1 (01)

0 (10) = 10
= 11
1 (10)

0 (11) = 11
= 01
1 (11)

2 (01) = 11

2 (10) = 01

2 (11) = 10

y denotamos a = (01, 0), b = (10, 0), c = (00, 1), este grupo admite la
presentacion
ha, b, c : a2 = b2 = c3 = e, ab = ba, cac1 = a, cbc1 = abi
El homomorfismo que aplica
a 7 (12)(34)
b 7 (14)(23)
c 7 (123)
establece un isomorfismo de este grupo con el cuarto grupo alternado,
A4 .
5. V G, T
G, V
= Z4 :
Por la proposicion 7.2.3, G
= Z3 o Z4 , donde el homomorfismo :
Z4 Aut Z3 viene dado por
0 (1) = 2 (1) = 1
= 3 (1)
= 2
1 (1)
Tomando a = (1, 2), b = (1, 1), concluimos que este grupo admite la
presentacion
ha, b : a6 = e, a3 = b2 , bab1 = a1 i
Suele denominarse grupo cuaternionico generalizado de orden 12, Q12 .
6. V G, T
G, V
= Z2 Z2 :
Por la proposicion 7.2.3, G
= Z3 o (Z2 Z2 ). Si : Z2 Z2 Aut Z3
viene dado por
00 (1) = 11 (1) = 1
01 (1) = 10 (1) = 2
la eleccion a = (1, (1, 1)), b = (1, (1, 0)) nos lleva a la presentacion
ha, b : a6 = b2 = e, ab = ba1 i
es decir, al grupo D12 de simetras de un hexagono regular.

74

Clasificaci
on de grupos de orden menor que 16

10.5.

Resumen

La siguiente tabla muestra las distintas clases de isomorfa de grupos de

orden menor que 16, resumiendo los resultados de este captulo, as como los
del anterior.

n
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Grupos abelianos de orden n

Z2
Z3
Z4 ,
Z2 Z2
Z5
Z6
= Z2 Z3
Z7
Z8 ,
Z4 Z2 ,
Z2 Z2 Z2
Z9 ,
Z3 Z3
Z10
= Z2 Z5
Z11
Z4 Z3 ,
Z2 Z2 Z3
Z13
Z14
= Z2 Z7
Z15
= Z3 Z5

Grupos no abelianos de orden n

D6 = S3
D8 , Q8
D10
D12 , Q12 , A4
D14
-

Bibliografa
[1]

J.L. Alperin, Rowen B. Bell. Groups and Representations. Graduate

Texts in Mathematics 162, Springer-Verlag New York Inc., New York,
1995, ISBN 0-387-94526-1.

[2]

Jose Dorronsoro, Eugenio Hernandez. N

umeros, grupos y anillos.
Addison-Wesley / Universidad Autonoma de Madrid, Salamanca, 1996,
ISBN 0-201-65395-8, ISBN 84-7829-009-5.

[3]

John F. Humphreys. A Course in Group Theory. Oxford Science Publications, Oxford University Press Inc., New York, 1996, ISBN 0-19-853459-0.

[4]

Serge Lang. Algebra. Addison-Wesley Publishing Company Inc., Reading,

Massachusetts, 3rd edition, 1993, ISBN 0-201-55540-9.

75