Grupos nitos

Ecuaciones algebraicas
Eugenio Miranda Palacios
Curso 2010/2011
ndice
1. Denicin de grupos 4
2. Ejemplos 5
3. Grupos didricos 7
4. Generadores y relaciones 9
5. Propiedades elementales 11
6. Homomorsmos 13
7. Subgrupos 14
8. El retculo de subgrupos 16
9. Grupos cclicos 17
10. Grupos simtricos 18
11. Producto directo 22
12. Grupos polidricos 22
12.1. El grupo del tetraedro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
12.2. El grupo del cubo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
12.3. El grupo del icosaedro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
12.4. Importancia de estos grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
13. Grupos de matrices 27
14. El grupo cuaternio 29
15. Clases laterales 30
1
16. Subgrupos normales 31
17. Subgrupos caractersticos 32
18. Subgrupos interesantes de un grupo. 33
19. Teoremas de isomorsmo 36
20. Producto directo de dos grupos 40
21. Producto directo de una familia arbitraria de grupos 44
22. Producto directo de una familia nita de grupos 45
23. Series de composicin 47
24. El programa de Holder 49
25. Grupos solubles 51
26. Grupos de operadores 53
27. Acciones de grupo 53
28. La categora de G-conjuntos 54
29. Subconjuntos y cocientes 54
30. Ejemplos 55
31. Frmula de clases 57
32. Aplicaciones: p-grupos 58
33. El teorema de Polya-Burnside 59
34. Teoremas de Sylow 62
34.1. Primer teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
34.2. Segundo teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
35. Ejemplos 64
36. Grupos solubles 65
37. Aplicaciones 65
37.1. Grupos de orden pq, con p y q primos, p <q . . . . . . . . . . . . . . . . . . . 66
37.2. Grupos de orden 30 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
37.3. Grupos de orden pqr , p <q <r primos distintos . . . . . . . . . . . . . . . . 66
37.4. Grupos de orden 12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
37.5. Grupos de orden 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2
37.6. Grupos de orden p
2
q, p y q primos distintos . . . . . . . . . . . . . . . . . . . 68
37.7. Grupos de orden 36 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
37.8. Grupos de orden p
2
q
2
, p y q primos con p <q . . . . . . . . . . . . . . . . . . 68
37.9. Grupos de orden 60 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
38. Simplicidad de A
n
70
39. Resumen de tcnicas. 71
39.1. Contar elementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
39.2. Considerar subgrupos de ndice pequeo. . . . . . . . . . . . . . . . . . . . . . 71
39.3. Representacin por permutaciones. . . . . . . . . . . . . . . . . . . . . . . . . . 71
39.4. Considerar p-subgrupos para primos p distintos. . . . . . . . . . . . . . . . . 72
39.5. Normalizadores de intersecciones de p-subgrupos de Sylow. . . . . . . . 72
3
1. Denicin de grupos
Primeros conceptos
Denicin 1.1. Un grupo es un par (G, ) donde G es un conjunto y : G G G es
una ley de composicin (operacin binaria) satisfaciendo tres axiomas:
Asociatividad: Para cualesquiera x, y, z G se verica (x y ) z =x (y z)
Elemento neutro: Existe un elemento e G tal que para todo elemento x G
se verica e x =x
Elemento inverso: Para todo elemento x G existe un elemento x
/
G tal que
x
/
x =e
Un grupo G se llama conmutativo o abeliano si satisface:
Conmutatividad: Para todo par de elementos x, y G se verica x y =y x.
Llamamos orden del grupo al cardinal del conjuntoG. Lo representamos por |G|.
Cuando el conjunto G es nito diremos que G es un grupo nito.
Por abuso de lenguaje es costumbre referirse al grupo (G, ) como el grupo G, es
decir que la operacin se sobreentiende.
Notacin. Normalmente escribiremos la operacin de un grupo en notacin multi-
plicativa por yuxtaposicin, es decir sin un smbolo especial:
El compuesto de x e y se denota como xy .
El elemento neutro se denota por 1 y se llama unidad.
El inverso de x se denota por x
1
.
Cuando el grupo es abeliano usaremos a veces la notacin aditiva:
El compuesto de x e y se denota por x +y .
El elemento neutro se denota por 0 y se llama cero.
El elemento x
/
tal que x
/
+x =0 se denota por x y se llama opuesto de x.
Grupo multiplicativo Grupo aditivo
a b, ab Multiplicacin a +b Adicin
e , 1 Identidad, Uno 0 Cero
a
1
Inverso a Opuesto
a
n
Potencia de a na Mltiplo de a
ab
1
Cociente a b Diferencia
4
La tabla de Cayley
Denicin 1.2. Sea G =|g
1
, g
2
, . . . , g
n
] un grupo nito con g
1
=1. La tabla de Cay-
ley, tabla de multiplicacin o tabla de grupo de G es la matriz n n cuya entrada
(i , j ) es el elemento g
i
g
j
.
Para un grupo nito, la tabla de grupo contiene en cierto sentido toda la infor-
macin sobre el grupo. Sin embargo es un objeto computacionalmente inmanejable
ya que su tamao es el cuadrado del orden del grupo y visualmente no es un objeto
muy til para determinar propiedades del grupo. Parte del desarrollo de la teora de
grupos (en particular de la teora de grupos nitos) tiene como objetivo mostrar una
visin mas conceptual de la estructura interna de grupos.
2. Ejemplos
Ejemplo 2.1. El conjunto Z de los enteros, el conjunto de los racionales y el con-
junto de los nmeros reales son grupos para la operacin suma.
En todos estos casos, el neutro es el nmero 0 y el inverso de a es el nmero a.
Ejemplo 2.2. El conjunto de los enteros con la multiplicacin ordinaria no es un
grupo.
El neutro es el nmero 1, pero hay enteros que no tienen inverso.
Por ejemplo, no existe ningn entero b tal que 5b =1.
Ejemplo 2.3. El subconjunto |1, 1, i , i ] de los nmeros complejos es un grupo
para la multiplicacin ordinaria.
El inverso de 1 es l mismo.
El inverso de i es i y viceversa.
Ejemplo 2.4. El conjunto
+
de los racionales positivos es un grupo bajo multipli-
cacin ordinaria.|pause
El inverso de a es 1/a =a
1
.
Ejemplo 2.5. El conjunto S de los nmeros irracionales positivos junto con el 1 sa-
tisface las tres propiedades de la denicin de grupo. Pero no es ungrupo.
Por ejemplo,
_
2
_
2 =2, as que S no es cerrado para la multiplicacin.
Ejemplo 2.6. El conjunto ,
22
() de todas las matrices 2 2 de nmeros reales es
un grupo para la suma de matrices.
La identidad es
_
0 0
0 0
_
El inverso de
_
a b
c d
_
es
_
a b
c d
_
5
Ejemplo 2.7. El conjunto Z
n
para n 1 es un grupo para la suma mdulo n.
Para todo j ,=0 de Z
n
el inverso de j es n j .
Ejemplo 2.8. El conjunto

de los nmeros reales no nulos es un grupo bajo mul-

tiplicacin ordinaria.
El neutro es el nmero 1.
El inverso de a es 1/a.
Ejemplo 2.9. El conjunto
GL
2
() =GL(2, ) =
__
a b
c d
_
| a, b, c, d , ad bc ,=0
_
de las matrices 2 2 con elementos reales y determinante no nulo es un grupo no
abeliano para la multiplicacin de matrices.
El neutro es la matriz identidad y para el inverso
_
a b
c d
_
1
=
_
d
adbc
b
adbc
c
adbc
a
adbc
_
Este es un grupo no abeliano muy importante que se llama grupo lineal general de
matrices 22 sobre .
Ejemplo 2.10. El conjunto de todas las matrices 2 2 de nmeros reales no es un
grupo bajo multiplicacin.
No existe inverso para las matrices de determinante 0.
Ejemplo 2.11. Sabemos que un entero a tiene inverso multiplicativo mdulo n si y
slo si m. c. d.(a, n) =1.
Para todo natural n >1 denimos
U(n) =U(Z
n
) =Z

n
=|[a] Z
n
| m. c. d.(a, n) =1]
El conjunto U(n) es un grupo para la multiplicacin mdulo n.
Para n =10 tenemos U(n) =|1, 3, 7, 9]. La tabla de Cayley para U(10) es
1 3 7 9
1 1 3 7 9
3 3 9 1 7
7 7 1 9 7
9 9 7 3 1
Si n es primo, U(n) =|1, 2, . . . , n 1]
Segn Weber (Lehrbuch der Algebra, 1899) los grupos U(n) son los ejemplos mas
importantes de grupos abelianos nitos.
Ejemplo 2.12. El conjunto |0, 1, 2, 3] no es un grupo bajo multiplicacin mdulo 4.
Las clases 1 y 3 tienen inverso, pero las clase 0 y 2 no lo tienen.
Ejemplo 2.13. El conjunto Z no es un grupo para la resta, porque la operacin no es
asociativa.
6
Ejemplo 2.14. Para todo entero n 1 el conjunto de todas las races n-simas de la
unidad

n
=
_
cos
_
2k
n
_
+i sen
_
2k
n
_
| k =0, 1, 2, . . . , n 1
_
(es decir, todas las races complejas del polinomio x
n
1) es un grupo para la multi-
plicacin.
Ejemplo 2.15. El conjunto

n
=|(a
1
, a
2
, . . . , a
n
) | a
1
, a
2
, . . . , a
n
]
es un grupo para la suma por componentes denida por
(a
1
, a
2
, . . . , a
n
) +(b
1
, b
2
, . . . , b
n
) =(a
1
+b
1
, a
2
+b
2
, . . . , a
n
+b
n
)
Ejemplo 2.16. Par un punto jo (a, b)
2
denimos una aplicacin T
a,b
:
2

2
como T
a,b
(x, y ) =(x +a, y +b).
El conjunto G = |T
a,b
| a, b ] es un grupo para la composicin de aplicacio-
nes.
Un clculo directo muestra que T
a,b
T
c,d
=T
a+c,b+d
.
De esta frmula se deduce que G es cerrado para la operacin, que el neutro es
T
0,0
, que el inverso de T
a,b
es T
a,b
y que el grupo G es abeliano.
La composicin de aplicaciones siempre es asociativa.
Los elementos de G se llaman traslaciones.
Ejemplo 2.17. El conjunto de todas las matrices 22 de determinante 1 con elemen-
tos en , , C o Z
p
(con p primo) es un grupo no abeliano para la multiplicacin
de matrices, que se llama grupo lineal especial y se representa por SL
2
(F) =SL(2, F)
donde F =, , C, Z
p
respectivamente.
En este caso la frmula del inverso es bastante sencilla:
_
a b
c d
_
1
=
_
d b
c a
_
3. Grupos didricos
Grupos didricos
Una familia importante de ejemplos es la clase de grupos cuyos elementos son
simetras de objetos geomtricos. La subclase mas sencilla es la correspondiente a
guras planas regulares.
Para cada n Z, n 3 sea D
n
el conjunto de simetras de un n-gono regular,
donde una simetra es cualquier movimiento rgido del plano (o isometra) que lleva
el n-gono en s mismo. Es fcil ver que:
La composicin de dos de tales movimientos tambin dejan jo al n-gono.
La identidad es uno de estos movimientos.
7
Para cualquiera de los elementos de D
n
la transformacin inversa tambin
pertenece a D
n
.
As que D
n
es un grupo (mas precisamente, un subgrupo del grupo eucldeo del
plano).
Numeramos los vrtices del n-gono de manera que los vrtices 1 y 2 sean ad-
yacentes. Cualquier isometra del plano queda determinada por la imagen de tres
puntos no alineados. En nuestro caso, cualquier elemento de D
n
est determinado
por la imagen del centro del n-gono (que siempre es l mismo) y por las imgenes
de los vrtices 1 y 2.
Bajo cualquier elemento de D
n
la imagen del vrtice 1 es necesariamente uno
de los otros n vrtices, y la imagen del vrtice 2 tiene que ser uno de los dos vrtices
adyacentes a la imagen del vrtice 1.
Obtenemos as una cota para el orden de D
n
: |D
n
| 2n.
Por otra parte, las n rotaciones r
k
, 0 k < n alrededor del centro del n-gono y
con ngulos 2k/n radianes son todas distintas y llevan el n-gono en s mismo, as
que todas ellas pertenecen a D
n
.
Tambin pertenecen a D
n
las n reexiones en las rectas que pasan por el centro
del n-gono y por cada uno de los vrtices y de los puntos medios de las aristas.
En total hemos obtenido 2n elementos distintos de D
n
, as que |D
n
| 2n.
Combinando con la desigualdad anterior vemos que |D
n
| =2n.
Ya que a lo largo del curso usaremos mucho los grupos didricos como fuente
de ejemplos, ahora jaremos alguna notacin y haremos algunos clculos que sim-
plicarn otros clculos futuros y nos ayudarn a determinar D
n
como un grupo
abstracto (en lugar de volver al contexto geomtrico cada vez que aparezca).
Fijamos un n-gono regular centrado en el origen en un XY-plano y numeramos
los vrtices consecutivamente desde 1 hasta n en sentido contrario a las agujas del
reloj.
Sea r la rotacin con centro en el origen y ngulo 2/n radianes (en sentido
contrario a las agujas del reloj).
Sea s la reexin en el eje que pasa por el vrtice 1 y el origen.
Lema 3.1. 1. 1, r, . . . , r
n1
son todas distintas y r
n
=1, as que o(r ) =n.
2. s
2
=1, es decir que o(s ) =2.
3. s ,=r
i
para todo i .
4. s r
i
,=s r
j
para todo 0 i , j n 1 con i ,= j , as que
D
n
=|1, r, r
2
, . . . , r
n1
, s , s r, s r
2
, . . . , s r
n1
]
es decir, cada elemento se puede escribir de forma nica como s
k
r
j
para algn
k =0, 1 y 0 j n 1.
5. r s =s r
1
. En particular r y s no conmutan, as que D
n
no es abeliano.
6. r
i
s = s r
i
para todo 0 i n. Esto indica como conmuta s con las potencias
de r .
8
Observamos ahora que la tabla completa de multiplicacin de D
n
puede escri-
birse en trminos slo de r y s , es decir, todos los elementos de D
n
tienen una re-
presentacin nica de la forma s
k
r
i
, k = 0, 1 y 0 1 n 1, y cualquier producto
de dos elementos en esta forma puede reducirse a la misma forma usando slo las
relaciones 1,2 y 6 (reduciendo todos los clculos mdulo n). Por ejemplo, si n =12,
(s r
9
)(s r
6
) =s (r
9
s )r
6
=s (s r
9
)r
6
=s
2
r
9+6
=r
3
=r
9
Sumario de ejemplos
Grupo Operacin Neutro Elemento Inverso Abeliano
Z Suma 0 k k S

+
Producto 1 m/n n/m S
Z
n
Suma mod n 0 [k] [n k] S

Producto 1 x 1/x S
GL(2, F) Producto
_
1 0
0 1
_ _
a b
c d
_
1
adbc
_
d b
c a
_
No
U(n) Prod. mod n 1 k, (k, n) =1 x, xk 1 (m od n) S

n
Suma comp. (0, 0, . . . , 0) (a
1
, a
2
, . . . , a
n
) (a
1
, a
2
, . . . , a
n
) S
SL(2, F) Producto
_
1 0
0 1
_ _
a b
c d
_ _
d b
c a
_
No
D
n
Composicin r
0
=1 s
k
r
i
s
k
r
ni
No
4. Generadores y relaciones
En los ejemplos anteriores vemos que la nocin de grupo es ubicua. El objetivo
de la exposicin axiomtica es
Hallar propiedades sucientemente generales para permitir que ejemplos muy
diversos satisfazgan estas propiedades y
Sucientemente especcas para que permitan deducir muchas consecuen-
cias interesantes.
El objetivo del lgebra abstracta es descubrir verdades sobre sistemas algebrai-
cos que sean independientes de la naturaleza especca de las operaciones.
Todo lo que necesitamos saber es que estas operaciones, sean las que sean, veri-
can ciertas propiedades. Entonces buscamos deducir consecuencias de estas pro-
piedades.
Por esto esta rama de las matemticas se llama lgebra abstracta.
Sin embargo debe recordarse que cuando discutamos un grupo especco, de-
beremos dar la operacin (al menos implictamente).
9
Generadores y relaciones
El uso de generadores r y s para el grupo didrico muestra un modo simple y
corto de hacer clculos en D
n
. Anlogamente introducimos las nociones de gene-
radores y relaciones para grupos arbitrarios. Es til exponer estos conceptos ahora
(antes de su justicacin formal) ya que proporcionan formas simples de describir
y hacer clculos en muchos grupos. El tratamiento riguroso de generadores y rela-
ciones se requiere desarrollar el estudio de grupos libres.
Dado un grupo G, llamamos conjunto de generadores de G a cualquier subcon-
junto S G con la propiedad de que todo elemento de G puede escribirse como un
producto nito de elementos de S y de sus inversos. Notaremos G = S y decimos
que G est generado por S y tambin que S genera G. Por ejemplo, el entero 1 es un
generador del grupo Z=(Z, +) ya que todo entero es una suma de un nmero nito
de copias de 1 y 1, as que Z=1. Otro ejemplo: Por la propiedad 4, D
n
=r, s .
Si el grupo G es nito, el conjunto S genera G si todo elemento de G es un pro-
ducto nito de elementos de S (es decir, no es necesario incluir los inversos de ele-
mentos de S).
En un grupo arbitrario G, cualesquiera ecuacin que satisfacen los generadores
se llaman relacin de G. Por ejemplo, en D
n
tenemos las relaciones r
n
= 1, s
2
= 1
y r s =s r
1
. Adems estas tres relaciones tienen la propiedad de que cualquier otra
relacin entre los elementos del grupo puede deducirse de ellas (esto no es trivial;
se sigue del hecho de que podemos decidir exactamente cuando dos elementos del
grupo son iguales utilizando slo esas tres relaciones).
En general, si algn grupo G est generado por un subconjunto S y existe una
familia de relaciones, sean estas R
1
, R
2
, . . . , R
m
(aqu cada R
i
es una ecuacin en los
elementos de S |1]), tales que cualquier relacin entre los elementos de S puede
deducirse de ellas, llamaremos a estos generadores y relaciones una presentacin de
G y denotamos
G =S | R
1
, R
2
, . . . , R
n

Por ejemplo, una presentacin para el grupo didrico D

n
es
D
n
=r, s | r
n
=1, s
2
=1, r s =s r
1

Utilizar esta presentacin para describir D

n
(en lugar de volver siempre a la descrip-
cin geomtrica original) simplica mucho el trabajo con estos grupos.
Otros presentaciones para grupos conocidos son las siguientes: Todo grupo c-
clico nito de orden n tiene la presentacin
C
n
=x | x
n
=1
El grupo Z
2
Z
2
tiene la presentacin
Z
2
Z
2

=V =x, y | x
2
=1, y
2
=1, (xy )
2
=1
A este ltimo grupo se le llama grupo de Klein abstracto.
10
5. Propiedades elementales
En la denicin usual de grupo se exige que la unidad y el inverso sean bilteros
e incluso que sean nicos. Pero todo esto puede deducirse de la denicin dada:
Proposicin 5.1 (Reglas de clculo). Sea G un grupo con unidad e .
1. Para todo elemento x G se verica xx
1
=e
2. Para todo elemento x G se verica xe =x
3. La unidad de un grupo es nica
4. El inverso de cualquier elemento es nico
5. ( Propiedad cancelativa): Para x, y, z G,
xy =xz y =z y x =zx y =z
6. e
1
=e
7. Para todo elemento x G se verica (x
1
)
1
=x
8. Para cualesquiera x, y G se verica (xy )
1
=y
1
x
1
9. Para cualesquiera x, y G existen nicos u, v G tales que xu =y y vx =y .
Demostracin. 1. Calculamos:
x
1
(xx
1
) =(x
1
x)x
1
=ex
1
=x
1
Multiplicamos ambos miembros por la izquierda por (x
1
)
1
:
xx
1
=e (xx
1
) =(x
1
)
1
(x
1
(xx
1
)) =(x
1
)
1
x
1
=e
2. Calculamos utilizando el apartado anterior:
xe =x(x
1
x) =(xx
1
)x =ex =x
3. Sean e, f G dos unidades. Entonces e =e f = f
4. Sean x
/
, x
1
dos inversos para x G. Entonces x
/
=x
/
=x
/
(xx
1
) =(x
/
x)x
1
=
ex
1
=x
1
Demostracin. 1. Sea xy = xz. Multiplicamos ambos miembros por x
1
por la
izquierda: y = e y = (x
1
x)y = x
1
(xy ) = x
1
(xz) = (x
1
x)z = e z = z. Igual
por el otro lado.
2. De la misma denicin: e e =e , luego e =e
1
11
3. Como hemos visto antes, xx
1
= e , luego de la misma denicin de inverso
obtenemos que (x
1
)
1
=x
4. Un simple clculo: (y
1
x
1
)(xy ) =y
1
(x
1
x)y =e , luego (xy )
1
=y
1
x
1
5. Otro simple clculo muestra que u = x
1
y y v = y x
1
verican las condicio-
nes pedidas y son los nicos que las verican.
Las propiedad asociativa garantiza que en un clculo podemos introducir pa-
rntesis arbitrariamente: Sean x
1
, . . . x
n
G. Denimos por recurrencia:

n
i =1
x
i
=
(

n1
i =1
x
i
)x
n
.
Proposicin 5.2 (Ley asociativa general). Sea G un grupo Para cualesquiera enteros
m >n >0 sean x
1
, . . . x
m
G. Se verica
_
n

i =1
x
i
__
m

i =n+1
x
i
_
=
m

i =1
x
i
De la misma forma, cuando se verica la propiedad conmutativa podemos mul-
tiplicar los elementos en cualquier orden:
Proposicin5.3(Ley conmutativa general). SeaG ungrupo abeliano, seanx
1
, . . . , x
n

G y sea una permutacin del conjunto |1, . . . , n]. Se verica:
n

i =1
x
i
=
n

i =1
x
(i )
12
6. Homomorsmos
Homomorsmos
Denicin 6.1. Dados dos grupos G y H llamamos homomorsmo de G a H a toda
aplicacin f : G H tal que para todo par x, y G verique f (xy ) = f (x) f (y )
El grupoG se llama dominio de f y el grupo H se llama codominio o rango de g .
El conjunto Im( f ) = f (G) =|f (x) | x G] H se llama imagen de f y el conjunto
ker( f ) =|x G | f (x) =1] H se lama ncleo de f
El homomorsmo de grupos f se llama
Monomorsmo si es una aplicacin inyectiva.
Epimorsmo si es una aplicacin suprayectiva.
Isomorsmo si es una biyeccin.
Si el dominio y el codominio coinciden, G = H, diremos que f es un endomor-
smo.
Un endomorsmo biyectivo se llama automorsmo y se representa por f : G

=
H.
Ejemplo 6.2. Sea

el grupo de los nmeros reales no nulos con la multiplicacin.

La aplicacin determinante
GL(2, )

, A de t (A)
es un homomorsmo. El ncleo de este homomorsmo es SL(2, ) y la imagen es
todo

.
Ejemplo 6.3. La aplicacin :

denida por (x) =|x| es unhomomorsmo

con ncleo |1, 1].
Ejemplo 6.4. La aplicacin [x] [x] dada por f f
/
(la derivada de f ) es un
endomorsmo de [x]. La imagen es todo [x] y el ncleo es el conjunto de polino-
mios constantes.
Ejemplo 6.5. La aplicacin : Z Z
n
denida por (m) = [m] = [r ] donde r es el
resto de dividir m entre n es un homomorsmo sobre. El ncleo es nZ, el conjunto
de mltiplos enteros de n.
Ejemplo 6.6. La aplicacin : denida por (x) =x
2
no es un homomors-
mo para la adicin.
Ejemplo 6.7. Toda aplicacin lineal entre espacios vectoriales es un homomorsmo
de grupos aditivos.
Proposicin 6.8. 1. Para todo grupo G la aplicacin identidad 1
G
: G G es un
automorsmo.
2. Sean f
1
: G H, f
2
: H K dos homomorsmos de grupos. Entonces la apli-
cacin compuesta f
2
f
1
: G K es un homomorsmo.
13
3. Sea f : G H un isomorsmo de grupos. Entonces la aplicacin inversa f
1
:
H G tambin es un isomorsmo
Corolario 6.9. Para un grupo arbitrario G, el conjunto de todos los automorsmos
de G forman un grupo (con la composicin de aplicaciones como operacin), que se
llama grupo de los automorsmos de G y se representa por Aut(G)
Proposicin 6.10. Todo homomorsmo de grupos f : G H verica:
1. f (1) =1
2. x G f (x
1
) = f (x)
1
Teorema de Dyck
Teorema 6.11. Sea G = s
1
, . . . , s
n
un grupo nitamente generado y sean a
1
, . . . , a
n
elementos de otro grupo H tales que cualquier relacin enG satisfecha por los r
i
tam-
bin se satisface en H cuando sustituimos r
i
a
i
para todo i . Entonces existe un
nico homomorsmo f : G H tal que f (r
i
) =a
i
para todo i .
Si tenemos una presentacin para G =r
1
, . . . , r
n
| w
1
, . . . , w
m
, slo tenemos que
comprobar las relaciones w
1
, . . . , w
m
para los a
i
, ya que toda otra relacin en G se
deduce de estas.
Si H = a
1
, . . . , a
n
, entonces f es suprayectiva. Si adems |H| = |G| son nitos,
entonces f es un isomorsmo.
El resultado inverso tambin es cierto y mas fcil de demostrar:
Teorema 6.12. Sea G = r
1
, . . . , r
n
y sea f : G H un homomorsmo de grupos.
Llamamos a
i
= f (r
i
), i = 1, . . . , n. Entonces cualquier relacin en G que satisfazgan
los r
i
tambin se satisface en H tras la sustitucin r
i
a
i
, i =1, . . . , n.
7. Subgrupos
Subgrupos
Denicin 7.1. Dados dos grupo (G, ) y (H, ), decimos que H es un subgrupo de G,
y lo representamos por H <G, cuando H es un subconjunto de G y la aplicacin de
insercin H G es un homomorsmo de grupos.
Todo grupo G tiene dos subgrupos: El grupo formado slo por el elemento uni-
dad, que es el subgrupo trivial, y el mismo G, que es el subgrupo total. Ambos son
los subgrupos impropios. Cualquier otro subgrupo es un subgrupo propio.
Por abuso de lenguaje se suele identicar al subgrupo (H, ) con el subconjunto
H, ya que la la ley de composicin est determinada por el grupo G.
Proposicin 7.2 (Caracterizaciones de subgrupo). 1. Sea G un grupo y sea ,=
H G. Entonces H es un subgrupo de G si y slo si se verica:
Para todo par de elementos x, y H tambin xy H.
14
1 H
Para todo x H tambin x
1
H.
2. Sea G un grupo y sea ,= H G. Entonces H es un subgrupo de G si y slo si
para todo par de elementos x, y H se verica que xy
1
H.
3. SeaG un grupo nito y sea , =H G. Entonces H es un subgrupo de G si y slo
si para todo par de elementos x, y H se verica que xy H.
Demostracin. 1. Trivial
2. Sea H un subgrupo de G y sean x, y H. Por ser H un subgrupo es cerrado
para el inverso, luego y
1
H, y para la composicin, luego xy
1
H.
Sea ahora H un subconjunto deG no vaco vericando la propiedad del enun-
ciado. Por ser no vaco existe un x H, luego 1 = xx
1
H y x
1
= 1x
1
H.
Y para cualesquiera x, y H, xy =x(y
1
)
1
H. As que H es cerrado para la
unidad, el inverso y la composicin. Luego es un subgrupo de G.
3. Por ser G un grupo nito, x G n > 0x
n
= 1 y por tanto x
1
= x
n1
. Por
induccin sobre n, de la propiedad del enunciado y de x H deducimos que
x
n1
H. El resto es igual al apartado anterior.
Como ilustracin de este criterio vamos a demostrar:
Proposicin 7.3. Sea |H

| ] una familia de subgrupos de un grupoG. Entonces

H =

es un subgrupo de G.
Demostracin. Sea 1 el elemento unidad de G Para todo , 1 H

as que 1

y por tanto H es no vaco.

Sean ahora x, y H arbitrarios. Para todo se verica que x, y H

y por ser H

un subgrupo tenemos que xy

1
H

. Luego xy
1
H

=H.
Esta proposicin nos permite denir dos conceptos importantes:
Denicin 7.4. Sea S un subconjunto de G. Llamamos subgrupo generado por S a
la interseccin H de todos los subgrupos de G que contienen a S. Lo representamos
por H =S.
Denicin7.5. Sea |H

| ] una familia arbitraria de subgrupos deG. Llamamos

compuesto de los H

al subgrupo generado por S

. Lo representamos por

En el caso particular en que la familia es nita, sea H

1
, . . . , H
n
, su compuesto se
representa por H
1
H
n
.
Proposicin 7.6. 1. Sea S =. Entonces S es el subgrupo trivial.
2. Para cualquier S G no vaco, S es el conjunto de todos los elementos de G
que se expresan como producto nito de elementos de S y de sus inversos.
3. SeaG un grupo nito. Para cualquier S G no vaco, S es el conjunto de todos
los elementos de G que se expresan como producto nito de elementos de S.
15
8. El retculo de subgrupos
Retculo de subgrupos
Asociado con cada grupo existe un grafo que muestra las relaciones entre sus
subgrupos. Este grafo que se llama retculo de subgrupos del grupo dado ilumina la
estructura del grupo mejor que la tabla de grupo.
En la teora de grupos se usan diagramas de retculos o parte de ellos para des-
cribir grupos especcos y algunas propiedades de grupos generales. Adems el re-
tculo de subgrupos de un grupo juega un papel central en la teora de Galois.
El retculo de subgrupos de un grupo nito dado G se construye como sigue:
Situamos todos los subgrupos de G empezando abajo con 1, acabando arriba conG
y, hablando toscamente, con subgrupos de orden mayor colocados mas arriba en la
pgina que los de orden mas pequeo.
Trazamos lneas entre los subgrupos siguiendo la regla de que hay una lnea de
A a B si A es un subgrupo de B y no existen subgrupos propios de B que contengan
propiamente a A.
As si A < B existe un camino (posiblemente varios) desde A hasta B que pasa a
travs de una cadena de subgrupos intermedios. La posicin inicial de los subgru-
pos sobre la pgina (que es a priori algo arbitraria) puede elegirse frecuentemente
(con un poco de prctica) para producir un dibujo sencillo. Ntese que para cual-
quier par de subgrupos H, K de G, el mnimo subgrupo que contiene a ambos (lla-
mado el compuesto de H y K y representado por H K) se obtiene rpidamente del
retculo como sigue:
Se toman caminos hacia arriba desde H y K hasta que se alcanza un subgrupo
comn A que contiene a ambos (ya que G contiene a todos sus subgrupos, un tal A
siempre existe).
Para asegurarnos que A = H K comprobamos que no existe ningn A
1
< A
que contenga a ambos H y K. En otro caso, reemplazamos A por A
1
y repetimos el
proceso para ver si A
1
=H K.
Por un procedimiento simtrico se puede obtener directamente el mayor sub-
grupo de G contenido en H y K, es decir su interseccin H K.
Este proceso tiene algunas limitaciones.
No puede ejecutarse tal cual para grupos innitos
An para grupos nitos de orden relativamente pequeo puede ser bastante
complicado (algunos grupos con orden 64 ponen el pelo de punta).
Naturalmente dos grupos isomorfos tienen retculos de subgrupos isomorfos.
Pero grupos no isomorfos pueden tener tambin retculos isomorfos (en los ejem-
plos veremos dos de tales grupos, ambos de orden 16).
Esto no es un inconveniente muy serio ya que el retculo es slo parte de los
datos del grupo G e incluso es til ver que dos grupos no isomorfos tienen algunas
propiedades comunes.
16
9. Grupos cclicos
Denicin 9.1. Un grupo G se llama cclico si existe un a G tal que G = |a
n
| n
Z].
El elemento a se llama generador de G.
Se denota G =a.
Ejemplo 9.2. El grupo (Z.+) es cclico. De hecho Z=1 =1.
Ejemplo 9.3. El grupo (Z
n
, +) es cclico. De hecho Z
n
=a si y slo si m. c. d.(a, n) =
1.
Ejemplo 9.4. El grupo U(10) = |1, 3, 7, 9] es cclico. De hecho U(10) = 3 = 7,
aunque 9 =|1, 9].
Ejemplo 9.5. El grupo U(8) =|1, 3, 5, 7] no es cclico. Porque
1 =|1]
3 =|1, 3]
5 =|1, 5]
7 =|1, 7]
Proposicin 9.6. Sea G un grupo y sea a G. Si el orden de a es innito, todas las
potencias |a
k
| k Z] son distintas.
Si o(a) = n es nito entonces a = |1, a, a
2
, . . . , a
n1
] y a
j
= a
k
si y slo si j k
(m od n).
Corolario 9.7. Para cualquier a G se verica que o(a) =|a|.
Corolario 9.8. a
k
=1 si y slo si n divide a k.
Teorema 9.9. Sea a G un elemento de orden nito n = o(a). Para todo k Z se
verica que a
k
=a
m.c.d.(n,k)
y o(a
k
) =n/m. c. d.(n, k).
Corolario 9.10. Sea a G un elemento de orden nitoo(a) =n. Entonces a
j
=a
k

si y slo si m. c. d.(j , n) =m. c. d.(k, n).

Corolario 9.11. Sea G =a un grupo cclico de orden |G| =n. Entonces G =a
k
si y
slo si m. c. d.(k, n) =1.
Corolario 9.12. Una clase [k] Z
n
es un generador de Z
n
si y slo si m. c. d.(k, n) =1.
Teorema fundamental de los grupos cclicos
Teorema 9.13. 1. Todo subgrupo de un grupo cclico es cclico.
2. Si |a| =n, el orden de cualquier subgrupo de a es un divisor de n.
3. Para cada m divisor positivo de n el grupo |a| tiene exactamente un subgrupo
de orden m, a saber a
n/m
.
Corolario 9.14. Para cada d divisor positivo de n el grupo [n/d] es el nico sub-
grupo de Z
n
de orden d. Estos son los nicos subgrupos de Z
n
.
17
Nmero de elementos de cada orden en un grupo cclico
Denicin9.15. Para todoenteropositivon llamamos (n) =||k Z| k >0, m. c. d.(k, n) =
1]. La funcin : NN se llama funcin tociente de Euler.
Por denicin del grupo, |U(n)| =(n).
Teorema 9.16. Sea d un entero positivo divisor de n. El nmero de elementos de
orden d en un grupo cclico de orden n es (d).
Ntese que que para un grupo cclico de orden n, el nmero de elementos de
orden d depende slo de d. As que Z
8
, Z
640
y Z
80000
tienen cada uno (8) = 4 ele-
mentos de orden 8.
Corolario 9.17. En grupo nito el nmero de elementos de orden d es divisible por
(d).
10. Grupos simtricos
Grupos simtricos
Sea X un conjunto arbitrario.
Denicin 10.1. Una permutacin del conjunto X es cualquier aplicacin biyectiva
: X X.
Lema 10.2. El conjunto de todas las permutaciones del conjunto X forman un grupo
con la operacin de composicin de aplicaciones.
Denicin 10.3. El grupo del lema anterior se llama grupo simtrico sobre el con-
junto X. Se representa por S
X
.
Denicin 10.4. Cualquier subgrupo de S
X
se llama grupo de permutaciones sobre
X.
Lema 10.5. Sean X, Y dos conjuntos con el mismo cardinal y sea f : X Y una
biyeccin arbitraria. Entonces la aplicacin
: S
X
S
Y
() = f f
1
es un isomorsmo de grupos.
Este lema nos dice que la estructura de S
X
depende slo del cardinal |X| y no de
la naturaleza de los elementos de X.
Nos interesa sobre todo el caso enque el conjunto X es nito. Sea n=|1, 2, . . . , n].
Denicin 10.6. Llamamos grupo simtrico de grado n al grupo simtrico sobre
n=|1, 2, . . . , n]. Lo representamos por S
n
.
Para cualquier conjunto nito X de cardinal |X| = n, el lema anterior nos dice
que S
X

=S
n
.
18
Lema 10.7. El orden del grupo S
n
es n! =n(n 1)(n 2) 2 1.
Hay dos notaciones para designar los elementos de S
n
:
Cualquier elemento S
n
est denido por el conjunto de imgenes de los
elementos de n. Podemos determinar mediante una matriz 2n:
=
_
1 2 . . . n 1 n
i
1
i
2
. . . i
n1
i
n
_
donde la primera la son los elementos ordenados de n y para cada elemento de la
segunda la tomamos i
k
=(k) (la imagen de k bajo la aplicacin .
Denicin 10.8. La anterior matriz se llama matriz de la permutacin .
Las matrices de permutacin constituyen una notacin un poco pesada, pero
son muy tiles para calcular productos de permutaciones:
Ejemplo 10.9. Sean
=
_
1 2 3 4
2 3 4 1
_
, =
_
1 2 3 4
4 3 2 1
_
entonces
=
_
1 2 3 4
2 3 4 1
__
1 2 3 4
4 3 2 1
_
=
_
1 2 3 4
1 4 3 2
_
=
_
1 2 3 4
4 3 2 1
__
1 2 3 4
2 3 4 1
_
=
_
1 2 3 4
3 2 1 4
_
Ejemplo 10.10. Sean ahora
=
_
1 2 3
2 3 1
_
, =
_
1 2 3
2 1 3
_
Entonces
=
_
1 2 3
2 3 1
__
1 2 3
2 1 3
_
=
_
1 2 3
3 2 1
_
=
_
1 2 3
2 1 3
__
1 2 3
2 3 1
_
=
_
1 2 3
1 3 2
_
Lema 10.11. Para n 3, el grupo S
n
no es conmutativo.
Una segunda notacin mas compacta para las permutaciones es como produc-
tos de ciclos disjuntos:
Denicin10.12. Un ciclo de longitud m es una permutacin representada por una
sucesin = (i
1
, i
2
, . . . , i
m
) donde los i
k
son enteros positivos todos distintos y
menores o iguales a n.
La permutacin est denida por (i
k
) =i
k+1
para k =1, 2, . . . , m1, (i
m
) =
i
1
y (j ) = j para todo j ,=i
k
, k =1, 2, . . . , m.
19
Ejemplo 10.13. El ciclo (1, 2, 3, 4) es la permutacin
=
_
1 2 3 4
2 3 4 1
_
Denicin 10.14. Dos ciclos = (i
1
, i
2
, . . . , i
m
) y = (j
1
, j
2
, . . . , j
s
) se llaman
disjuntos si para todo par de ndice k, l se verica i
k
,= j
l
.
Lema 10.15. El producto de ciclos disjuntos es conmutativo.
Proposicin 10.16. Toda permutacin se descompone de manera nica como pro-
ducto de ciclos disjuntos.
La expresin de una permutacin como producto de ciclos disjuntos permite
apreciar fcilmente a primera vista las propiedades mas sencillas de las permuta-
ciones:
Proposicin 10.17 (Rufni, 1799). 1. El orden de todo ciclo =(i
1
, i
2
, . . . , i
m
) es
igual a la longitud m.
2. Sea =
1

2
. . .
t
un producto de ciclos disjuntos de longitudes respectivas
m
1
, . . . , m
t
. El orden de la permutacin es m. c. m.(m
1
, . . . , m
t
).
Proposicin 10.18. 1. Sea =(i
1
, i
2
, . . . , i
m1
, i
m
) un ciclo de longitud m. En-
tonces
1
=(i
m
, i
m1
, . . . , i
2
, i
1
) tambin es un ciclo de longitud m.
2. Sea =
1

2
. . .
t
un producto de ciclos disjuntos de longitudes respectivas
m
1
, . . . , m
t
. Entonces
1
=
1
1

1
2
. . .
1
t
.
Denicin 10.19. Sea una permutacin cuya descomposicin en producto de ci-
clos disjuntos tiene e
1
ciclos de longitud 1, e
2
ciclos de longitud 2 y en general e
k
ci-
clo de longitudk. El tipo o estructura de ciclos de es el producto formal 1
e1
2
e2
s
es
.
Denicin10.20. Dos permutaciones , S
n
se llaman conjugadas enS
n
si existe
una S
n
tal que =
1
Proposicin 10.21. Dos permutaciones son conjugadas en S
n
si y slo si tienen el
mismo tipo.
Denicin 10.22. Todo ciclo de (i , j ) longitud 2 se llama transposicin
Proposicin 10.23. Toda permutacin se descompone como producto de transposi-
ciones.
La descomposicin de una permutacin como producto de transposiciones no
es nica:
Ejemplo 10.24. (1, 2, 3) =(1, 2)(2, 3) =(1, 3)(1, 2)
De hecho ni siquiera el nmero de transposiciones es nico:
Ejemplo 10.25. (2, 3) =(1, 2)(2, 3)(1, 3)
20
Ejemplo 10.26.
(1, 2, 3, 4, 5) =(4, 5)(3, 5)(2, 5)(1, 5) =(4, 5)(2, 5)(1, 2)(2, 5)(2, 3)(1, 3)
Pero en cualquier descomposicin, el nmero de transposiciones que aparecen
siempre es de la misma paridad:
Lema 10.27. Sea 1 =
1

2
. . .
m
una descomposicinde la identidad como producto
de transposiciones. Entonces m es par.
Proposicin 10.28. Sea s
n
arbitrario y sean =
1

2
. . .
m
=
1

2
. . .
r
dos
descomposiciones de como producto de transposiciones. Entonces m y r son de la
misma paridad.
Denicin 10.29. Una permutacin S
n
que se puede expresar como producto
de un nmero par de transposiciones se llama permutacin par.
Una permutacin S
n
que se puede expresar como producto de un nmero
impar de transposiciones se llama permutacin impar.
Proposicin 10.30. El conjunto de permutaciones pares del S
n
es un subgrupo.
Denicin 10.31. El grupo de permutaciones pares de n se llama grupo alternado
de grado n y se denota A
n
.
Lema 10.32. Para n >1 el orden del grupo A
n
es n!/2.
Proposicin 10.33. El grupo A
n
est generado por los ciclos
(1, 2, 3), (1, 2, 4), . . . , (1, 2, n)
21
11. Producto directo
Producto directo
Sean (H, ) y (K, ) dos grupos y sea H K el conjunto producto cartesiano de H
y K. Denimos una operacin binaria en H K de la siguiente forma:
(h, k) (h
1
, k
1
) =(h h
1
, k k
1
)
Lema 11.1. El par (H K, ) es un grupo
Demostracin. Hay que efectuar tres comprobaciones:
Asociatividad Para cualesquiera (h, k), (h
1
, k
1
), (h
2
, k
2
) H K calculamos:
((h, k) (h
1
, k
1
)) (h
2
, k
2
) =(h h
1
, k k
1
) (h
2
, k
2
)
=((h h
1
) h
2
, (k k
1
) k
2
)) =(h (h h
1
), k (k
1
k
2
))
=(h, k
1
) (h
1
h
2
, k
1
k
2
) =(h, k) ((h
1
, k
1
) (h
2
, k
2
))
Existencia de neutro Sea e el elemento neutro de H y sea f el elemento neutro de
K. Para cualquier (h, k) H K calculamos:
(e, f ) (h, k) =(e h, f k) =(h, k)
Existencia de inverso Sea (h, k) H K arbitrario y sean h
/
el inverso de h en H y
k
/
el inverso de k en K. Calculamos:
(h
/
, k
/
) (h, k) =(h
/
h, k
/
k) =(e, f )
En particular si tomamos H =K =, el producto es el grupo aditivo de los
vectores del plano.
Otro grupo producto interesante es Z
2
Z
2
. Es un grupo de orden cuatro para el
que todo elemento verica que 2a =0, por lo que no es cclico.
12. Grupos polidricos
12.1. El grupo del tetraedro
El grupo del tetraedro
Llamamos G
4
al grupo del tetraedro. Nuestro objetivo es determinar el orden y
una presentacin para G
4
.
Un tetraedro regular tiene cuatro vrtices, seis aristas y cuatro caras. Una ro-
tacin suya debe enviar un vrtice en otro vrtice, as que las posibilidades como
imagen de un vrtice jo son cuatro. Una vez conocida la imagen de es vrtice, otro
adyacente a l slo tiene tres posibilidades para la imagen, as que en total el nme-
ro mximo de rotaciones del tetraedro es 4 3 =12.
Vamos a describir ahora 12 rotaciones distintas del tetraedro:
22
Figura 1: El tetraedro
En primer lugar tenemos la identidad, nica rotacin de orden 1.
Cada recta que une un vrtice con el centro de la cara opuesta es un eje de
simetra de orden tres, es decir, que alrededor de cada una de ellas hay dos
rotaciones de orden tres del tetraedro. Ya que existen cuatro de tales rectas,
tenemos en total 2 4 =8 rotaciones de orden tres.
Alrededor de cada recta que une los centros de dos aristas opuestas existe una
rotacin con ngulo radianes que lleva el tetraedro en s mismo. Como exis-
ten seis aristas (que forman tres pares de aristas opuestas), obtenemos tres
rotaciones de orden dos.
Sumando vemos que hemos obtenido 1+8+3 =12 rotaciones distintas, as que
|G
4
| = 12. Posteriormente veremos que G
4

= A
4
, el grupo alternado sobre cuatro
elementos.
Para determinar una presentacin numeramos los vrtices del tetraedro: Llama-
mos 1 a uno de ellos y a los otros 2,3,4 en sentido antihorario vistos desde 1. Sea x
la rotacin de orden tres que ja 4 y lleva 1 en 2, y sea y la rotacin de orden tres
que ja 1 y lleva2 en 3. Un poco de clculo muestra que xy es la rotacin de orden
2 que intercambia 1 y 2 y un poco mas de clculo muestra que todas las rotaciones
pertenecen al grupo x, y , as que un candidato para la presentacin es
G
4
=x, y | x
3
=1, y
3
=1, (xy )
2
=1 (12.1)
Mas adelante veremos que el grupo dado por la presentacin anterior tiene como
mximo doce elementos, as que efectivamente, esta es una presentacin para el
grupo del tetraedro.
12.2. El grupo del cubo
El grupo del cubo
23
Figura 2: El hexaedro o cubo
Llamamos G
6
al grupo de todas las rotaciones que dejan jo a un cubo (tambin
llamado hexaedro regular, de ah el subndice).
El hexaedro tiene ocho vrtices, doce aristas y seis caras. Las posibles imgenes
de un vrtice determinado son ocho, y una vez jada esta imagen, las posibilidades
de la imagen de un vrtice adyacente son slo tres, as que |G
6
| 8 3 =24.
Vamos a describir diversas rotaciones:
En primer lugar tenemos la identidad, nica rotacin de orden uno.
Cada recta que une los centros de dos caras opuestas es un eje de rotacin
cuaternario, al que pertenecen la identidad, dos rotaciones de orden cuatro
(las de ngulo /2 y /2) y una rotacin de orden dos (la de ngulo ). Como
existen tres des estas rectas (porque hay tres pares de caras opuestas), en total
hemos descrito seis rotaciones de orden cuatro y tres de orden dos.
Cada recta que une pares de vrtices opuestos es un eje de rotacin ternario.
Adems de la identidad, tal eje determina dos rotaciones de ordentres, as que
en total tenemos 4 2 =8 rotaciones de orden tres.
Cada recta que une los puntos medios de aristas opuestas es uneje de rotacin
binario, que determina una rotacin de ngulo . Como hay 12/2 =6 pares de
aristas opuestas, hemos encontrado otras seis rotaciones de orden dos.
En total tenemos 1 +(6 +3) +8 +6 = 24 rotaciones distintas, as que |G
6
| = 24.
Luego veremos que G
6

=S
4
, el grupo simtrico sobre cuatro elementos.
Numeramos los vrtices de una cara en sentido antihorario como 1, 2, 3, 4. Sea x
la rotacin de orden 4 que lleva 1 en 2, y sea y la rotacin de orden 3 que ja 1 y lleva
2 en 4. Es rutina comprobar que xy es la rotacin de orden dos que intercambia
24
Figura 3: El icosaedro
1 con 2. Tambin es rutina (y largo) comprobar que G
6
= x, y . Esto nos lleva a
suponer que
G
6
=x, y | x
4
=1, y
3
=1, (xy )
2
=1
es una presentacin de G
6
. Un poco de clculo muestra que el grupo denido por
dicha presentacin tiene como mximo 24 elementos, con lo que vemos que efecti-
vamente es un presentacin de G
6
.
12.3. El grupo del icosaedro
El grupo del icosaedro
Llamamos G
20
al grupo del icosaedro. Un icosaedro tiene en total 12 vrtices, 30
aristas y 20 caras. Cada vrtice tiene cinco adyacentes, as que tenemos 12 posibi-
lidades como imagen de un vrtice arbitrario y cinco como imagen de un vrtice
adyacente. En total |G
20
| 12 5 =60. Vamos a describir rotaciones:
Slo hay una rotacin de orden uno, la identidad.
Cada recta que una un par de vrtices opuestos es un eje de simetra quina-
rio, al que pertenecen cuatro rotaciones de orden 5 (adems de la identidad).
Existen seis de tales rectas, as que hemos encontrado 6 4 = 24 rotaciones
distintas de orden cinco.
Las rectas que unen los puntos medios de caras opuestas son ejes ternarios de
simetra. Cada una de ellas determina dos rotaciones de orden tres, en total
10 2 =20 rotaciones distintas de oren tres.
Finalmente, las rectas que unen puntos medios de aristas opuestas son ejes
binarios. Cada una determina una rotacin de orden dos, en total 15 rotacio-
nes de orden dos.
Sumando todo hemos obtenido 1 +24 +20 +15 = 60 rotaciones distintas y por
tanto |G
20
| =60. Ya veremos queG
20

=A
5
, el grupo alternado sobre cinco elementos.
25
Una presentacin para este grupo viene dada por
G
20
=x, y | x
5
=1, y
3
=1, (xy )
2
=1
como puede comprobarse en dos pasos: Llamamos 1 a uno de los vrtices y sucesi-
vamente 2, 3, 4, 5, 6 a los cinco adyacentes a 1, en sentido antihorario vistos desde
1. Sea x la rotacin de orden cinco que ja 1 y lleva 2 en 3, y sea y la rotacin de
orden tres que lleva 1 en 6 y 6 en 2. Entonces se comprueba que xy es la rotacin
de orden dos que intercambia 1 con 2, as que (xy )
2
=1. Adems se comprueba que
G
20
=x, y .
El ltimo paso consiste en ver que el grupo denido por la presentacin anterior
tiene como mximo 60 elementos. Mas adelante lo veremos.
12.4. Importancia de estos grupos
Importancia de estos grupos
Adems de los descritos, existen otros dos poliedros regulares: El octaedro (que
tiene seis vrtices, doce aristas y ocho caras triangulares) y el dodecaedro (que tiene
veinte vrtices, treinta aristas y doce caras pentagonales). Los cinco poliedros regu-
lares se conocen tambin como slidos platnicos (En el dilogo de Platn titulado
Teeteto se cuenta que sta es la lista completa de todos los poliedros convexos re-
gulares posibles. Teeteto es el hombre que descubri y demostr este resultado. Su
demostracin se recoge en el libro XIII de los Elementos de Euclides y mas o menos
es la que se expone en la enseanza elemental).
Pero estos poliedros se agrupan como pares de poliedros recprocos que tienen
el mismo grupo: Si unimos los puntos medios de un cubo obtenemos un octaedro
regular (que est jo para el mismo grupo que el cubo) y viceversa, as que el grupo
del octaedro es el mismo del cubo. Igualmente, si unimos los puntos medios de las
caras de unicosaedro regular obtenemos undodecaedro regular, que tiene el mismo
grupo que el icosaedro (Si unimos los puntos medios de las caras de un tetraedro
regular obtenemos otro tetraedro regular). As que los grupos G
4
, G
6
y G
20
son los
nicos que aparecen como grupos de rotaciones de slidos regulares.
Podemos considerar tambin los diedros regulares. Son poliedros que tienen dos
caras (que son polgonos regulares). Son poliedros degenerados porque no encie-
rran ningn espacio y ambas caras coinciden, pero su denicin combinatoria tiene
sentido. Sus grupos de rotaciones son los grupos didricos D
n
(de aqu les viene el
nombre a estos grupos).
El inters de listar estos grupos estriba en que la lista es completa. En Cohn,
Classical Algebra, seccin 3.6 se demuestra:
Proposicin 12.1. Todo subgrupo nito del grupo de rotaciones del espacio eucldeo
de dimensin tres es isomorfo a un grupo cclico C
n
, un grupo didrico D
n
o uno de
los grupos polidricos G
4
, G
6
, G
20
.
Una cuestinpertinente ahora sera describir los grupos de simetras (rotaciones
y reexiones) de un poliedro regular. La respuesta es muy fcil basndonos en el
siguiente lema que se puede demostrar cuando estudiemos los grupos de matrices.
26
Lema 12.2. Sea t la reexin central en un punto O del espacio eucldeo. Entonces t
conmuta con toda rotacin cuyo eje pase por O.
SeaG cualquier subgrupo nito del grupo eucldeo y sea H el subgrupo de todos
los movimientos directos (rotaciones). Si G _H existe un movimiento inverso enG,
y es fcil demostrar que [G : H] =2 y por tanto G >H.
Sea G el grupo de todas las simetras (directas e inversas) del cubo o del ico-
saedro. La reexin central t en el centro del poliedro pertenece a G (y est en su
centro). Sea K = t . Entonces G >G
n
(n=6 o 20) y G > K, G
n
K = 1 y G =G
n
k.
Luego G

=G
n
K es el producto directo interno.
Para el tetraedro, la reexin en el centro no lo deja jo, y por tanto el proce-
so anterior es falso. Mas adelante veremos que el grupo de todas las simetras del
tetraedro tiene orden 24 y es isomorfo al grupo simtrico S
4
.
13. Grupos de matrices
Grupos de matrices
Sea F un cuerpo arbitrario. Llamamos M
n
(F) al conjunto de todas las matrices
cuadradas n n con coecientes en F. En este conjunto se denen una suma y un
producto, respecto alos cuales M
n
(F) es un anillo.
Nos interesa el grupo multiplicativo de este anillo. Lo representamos por GL
n
(F)
y lo llamamos grupo lineal general de orden n de F. Sus elementos son las matrices
cuadradas que tengan inverso. Es conocido el siguiente resultado:
Lema 13.1. Para toda matriz A M
n
(F) son equivalentes:
1. Existe B M
n
(F) tal que AB =I = BA.
2. det(A) ,=0.
3. Las las de A son linealmente independientes sobre F.
4. Las columnas de A son linealmente independientes sobre F.
Sea V = F
n
un espacio vectorial de dimensin n sobre F. Para cada eleccin de
una base v
1
, . . . , v
n
existe un isomorsmo Aut (V)

=GL
n
(F), por lo que tendemos a
identicar estos dos grupos, pero cuidado! el isomorsmo no es cannico, sino que
depende de la base.
Los grupos de matrices estn ntimamente ligados a la Geometra, As por ejem-
plo, los grupos polidricos que hemos visto pueden representarse por grupos de
matrices.
Por ejemplo, escojamos como base en
3
un sistema donde el origen est en el
centro de un cubo regular y los tres ejes sean perpendiculares a las caras del cubo,
correspondiendo el vrtice 1 al punto (1, 1, 1) y l vrtice 2 al punto (1, 1, 1). Es fcil
ver que la matriz que corresponde a la rotacin x de orden 4 citada en la presenta-
cin 12.1 es
A =
_
_
_
0 1 0
1 0 0
0 0 1
_
_
_
27
y la que corresponde a rotacin y de orden tres citada tambin en la presenta-
cin 12.1 es
B =
_
_
_
0 1 0
0 0 1
1 0 0
_
_
_
Ahora es muy fcil ver que
AB =
_
_
_
0 0 1
0 1 0
1 0 0
_
_
_
es de orden 2 y que el grupo A, B tiene orden 24. En general es mas mecnico (y
menos intuitivo) hacer clculos enGL
3
() que directamente en los grupos de trans-
formaciones geomtricas.
Se ha considerado a los grupos de matrices y a los grupos simtricos como el
espejo al que referir los grupos abstractos. Por ello son muy importantes los homo-
morsmos de un grupo abstracto G a un grupo de matrices GL
n
(F).
Tales homomorsmos se llaman representaciones lineales del grupo G y son ob-
jeto de estudio en el curso de Ampliacin de lgebra.
Existenteoremas sobre grupos abstractos que actualmente slo se sabendemos-
trar a travs de la teora de representaciones.
Otra utilidad importante de los grupos de matrices es proveer ejemplos de gru-
pos nitos.
Sea F un cuerpo nito con q elementos. Veamos cual es el orden de GL
n
(F):
Sea A GL
n
(F) arbitraria. Por el lema 13.1, la primera la puede ser cualquier
vector no nulo de F
n
, es decir que hay q
n
1 posibilidades.
Una vez jadas las primeras i las, la (i +1)-sima puede ser cualquier vector de
F
n
que no pertenezca al subespacio generado por las i primeras (que es de orden
F
i
). As que para esta la tenemos q
n
q
i
posibilidades.
En total el nmero de matrices distintas de GL
n
(F) es |GL
n
(F)| = (q
n
1)(q
n

q) . . . (q
n
q
n1
).
Por ejemplo, |Gl
2
(Z
2
)| =(2
2
1)(2
2
2) =6 y |GL
3
(Z
2
)| =(2
3
1)(2
3
2)(2
3
2
2
) =
168.
Para cualquier cuerpo F y cualquier n > 0 la aplicacin det : GL
n
(F) F

que
asigna a cada matriz A su determinante det(A) es un homomorsmo de grupos (ya
que el determinante de un producto de matrices es el producto de los determinan-
tes de los factores). Su ncleo es un subgrupo interesante que recibe un nombre
especial:
SL
n
(F) =|A GL
n
(F) | det(A) =1]
Se llama grupo unimodular o grupo lineal especial del cuerpo F en dimensin n.
Como es el ncleo de un homomorsmo, es un subgrupo normal de GL
n
(F).
El primer teorema de isomorsmo nos dice que GL
n
(F)/SL
n
(F)

=F

.
Si |F| =q es nito tenemos para el orden que
|SL
n
(F)| =
1
q
((q
n
1)(q
n
q) . . . (q
n
q
n1
))
28
Existen otros subgrupos (y grupos cocientes!) interesantes de GL
n
(F) como los
grupos ortogonal y simplctico (y los grupos proyectivos general y especial) y cada
uno de ellos merece un estudio propio. Se conocen como los grupos clsicos y se les
han dedicado varios libros. Para una primera aproximacin, vase Artin, Geometri-
cal Algebra
14. El grupo cuaternio
El grupo cuaternio
El grupo cuaternio se puede denir como un grupo de matrices. En el grupo
GL
2
(C) consideramos las siguientes matrices:
1 =
_
1 0
0 1
_
, i =
_
_
1 0
0
_
1
_
, j =
_
0 1
1 0
_
, k =
_
0
_
1
_
1 0
_
Es fcil comprobar que el conjuntoQ
2
=|i1, ii , ij , ik] es cerrado para el pro-
ducto, as que forma un subgrupo de orden ocho de GL
n
(C).
Se llama grupo de los cuaternios.
La tabla de multiplicacin puede escribirse a partir de los productos i i = 1,
j j =1, i j =k, j i =k, los cuales nos dicen que 1, k i , j .
Como i
1
=i y j
1
=j , podemos escribir la presentacin:
Q
2
=i , j | i
4
=1, j
2
=i
2
, j i j
1
=i
1

Ntese queQ
2
no es abeliano
29
15. Clases laterales
Clases laterales
Sea G un grupo y H un subgrupo suyo. Denimos dos relaciones binarias en G
de la siguiente forma:
x
I
y si y slo si y
1
x H
x
D
y si y slo si xy
1
H
Proposicin 15.1. Las relaciones recin denidas son relaciones de equivalencia
Proposicin 15.2. Sea x G.
1. La clase de equivalencia de x bajo la relacin
I
es
xH =|xh | h H]
y se llama clase lateral por la izquierda de H enG denida por x
2. La clase de equivalencia de x bajo la relacin
D
es
Hx =|hx | h H]
y se llama clase lateral por la derecha de H enG denida por x
Corolario 15.3. El conjunto de todas las clases por la izquierda de H en G for-
man una particin de G que representamos por G/H
El conjunto de todas las clases por la derecha de H en G forman una particin
de G que representamos por H\G
Proposicin 15.4. 1. Para todo x G, x xH, x Hx.
2. Para todo x G existen biyecciones xH

=H

=Hx dadas por xh h hx
3. Existe una biyeccinG/H

=H\G dada por xH Hx
1
Denicin 15.5. El cardinal de los conjuntos G/H y H\G se llama ndice de H enG
y se representa por [G : H].
Teorema 15.6. Sea G un grupo nito y H un subgrupo suyo. Entonces |G| = [G :
H]|H|.
Corolario 15.7 (Teorema de Lagrange). SeaG un grupo nito y H un subgrupo suyo.
El orden |H| divide al orden |G|.
Corolario 15.8. Sea G un grupo nito. Todo x G verica o(x) | |G|.
Proposicin 15.9. Sea una torre de grupos G >H >K con [G : K] nito. Entonces
[G : K] =[G : H][H : K]
30
16. Subgrupos normales
En general las clases por la izquierda y por la derecha de un subgrupo H en un
grupo G son distintas. De hecho tenemos
Subgrupos normales
Lema 16.1. Sea x G. Existe un y G tal que xH =Hy si y slo si xH =Hx
Proposicin 16.2. Sea H un subgrupo de G. Las siguientes propiedades son equiva-
lentes:
1. Todo x G verica xH =Hx.
2. Para todo x G y todo h H se verica xhx
1
H
3. Para todo x G se verica xHx
1
H
4. Para todo x G se verica xHx
1
=H
Denicin 16.3. Un subgrupo H de G que verique la proposicin 16.2 se llama
subgrupo normal de G. Se representa por H <G
En este caso los conjuntos G/H y H\G son el mismo y lo representamos por
G
H
.
Para todo subgrupo normal H <G podemos denir una operacin binaria
G
H

G
H

G
H
como (xH)(y H) =(xy )H
Proposicin 16.4. 1. La operacin anterior est bien denida
2. El conjunto G/H con esta operacin es un grupo que se llama grupo cociente
de G sobre H.
3. La proyeccin cannica p : G G/H es un homomorsmo de grupos con n-
cleo ker(p) =H.
Proposicin 16.5. Un subgrupo H <G es un subgrupo normal de G si y slo si existe
un homomorsmo f : G G
1
tal que H =ker( f ).
Automorsmos internos
Sea G un grupo y sea x G un elemento suyo jo. Denimos una aplicacin

x
: G G g G,
x
(g ) =x g x
1
Lema 16.6. La aplicacin
x
es un endomorsmo de G, que se llama automorsmo
interno denido por x.
Sea In(G) =|
x
| x G].
31
Lema 16.7. In(G) es un subgrupo normal de Aut(G)., que se llama grupo de los au-
tomorsmos internos de G
Cualquier automorsmo f Aut(G) que no sea interno se llama automorso
externo de G.
El grupo cociente Out(G) =Aut(G)/In(G) se llama grupo de automorsmo exter-
nos de G.
Denimos ahora una aplicacin
: G G x G, (x) =
x
Lema 16.8. La aplicacin es un homomorsmo de grupos con imagen Im() =
In(G) y ncleo ker() =Z(G) =|x G | g G x g = g x]
17. Subgrupos caractersticos
Subgrupos caractersticos
Denicin17.1. UnsubgrupoC de ungrupoG se llama normal enG cuando F(C)
C para todo automorsmo interno f : G G. Lo denotamos C <G.
Un subgrupoC de un grupoG se llama caracterstico enG cuando F(C) C para
todo automorsmo f : G G.
UnsubgrupoC de ungrupoG se llama totalmente invariante enG cuando F(C)
C para todo endomorsmo f : G G.
Lema 17.2. Todo subgrupo caracterstico enG es normal enG. Todo subgrupo total-
mente invariante enG es caracterstico enG.
Ejemplo 17.3. El vierergruppe de Klein, Z
2
Z
2
es abeliano, as que todos sus sub-
grupos son normales, pero los nicos subgrupos caractersticos son los impropios.
Ejemplo 17.4. Para un grupo abeliano A y un entero n Z son totalmente inva-
riantes el subgrupo de torsin t (A) = |a A | m Z
+
ma = 0], el subgrupo
nA =|na | a A] y el subgrupo A
n
=|a A | na =0]
Lema 17.5. Sea G un grupo, H un subgrupo de G y K un subgrupo caracterstico de
H.
1. Si H es normal enG, tambin K es normal enG.
2. Si H es caracterstico enG, tambin K es caracterstico enG.
3. Si H es totalmente invariante enG y K es totalmente invariante en H, tambin
K es totalmente invariante enG.
Demostracin. Supongamos H normal enG y sea a G arbitrario. Entonces aHa
1
=
H y podemos denir un automorsmo f : H H por f (x) =axa
1
. Como K es un
subgrupo caracterstico de H, f (K) =aKa
1
= K y por tanto K es normal en G. De
la misma manera se demuestran los otros dos resultados.
32
Lema 17.6. Sea G un grupo y H <G. Sea la proyeccin p : G G/H. Sea K
/
<G/H y
sea K = f
1
(K
/
).
1. Si K
/
es normal enG/H, tambin K es normal enG.
2. Si K
/
es caracterstico en G/H y H es caracterstico en G, tambin K es caracte-
rstico enG.
3. Si K
/
es totalmente invariante enG/H y H es totalmente invariante enG, tam-
bin K es totalmente invariante enG.
Demostracin. Demostremos el segundo apartado: Sea f : G G unautomorsmo.
Como f (H) = H, f induce un automorsmo f
/
: G/H G/H y f
/
(K
/
) = K
/
. Luego
(p f )(K) = ( f
/
p)(K) = f
/
(K
/
) = K
/
= p(K) y f (K) = K. Igual se demuestran los otros
dos apartados.
Lema 17.7. La interseccin de subgrupos normales, caractersticos o totalmente in-
variantes en G es, respectivamente, un subgrupo norma, caracterstico o totalmente
invariante enG.
El subgrupo engendrado por por una familia de subgrupos normales, caracters-
ticos o totalmente invariantes en G es, respectivamente, un subgrupo normal, carac-
terstico o totalmente invariante.
18. Subgrupos interesantes de un grupo.
Subgrupos interesantes de un grupo.
Denicin 18.1. Llamamos centro de G al conjunto
Z =Z(G) =|a G | ax =xa x G]
es decir, el conjunto de los elementos de G que conmutan con todos los elementos
de G.
Evidentemente G es abeliano si y slo si G =Z(G).
Lema 18.2. El centro es un subgrupo caracterstico de G.
En general Z(G) puede ser trivial (por ejemplo para G =S
n
, n 3). Pero algunos
tipos especiales de grupos (grupos abelianos, p-grupos, grupos nilpotentes) tienen
siempre un centro no trivial. Para grupos abelianos es evidente. En los otros casos lo
demostraremos mas adelante.
Denicin18.3. Dado ungrupoG denimos el i -simo centro deG por recurrencia:
Z
0
=1;
Z
i +1
Z
i
=Z
_
G
Z
i
_
Lema 18.4. El grupo Z
i
(G) =Z
i
es un subgrupo caracterstico de G.
33
Demostracin. Induccin sobre i .
Denicin 18.5. Llamamos hipercentro de G al grupo H =H(G) =

0
Z
i
Lema 18.6. H(G) es un subgrupo caracterstico de G.
El concepto de centro de un grupo admite dos generalizaciones interesantes:
Denicin 18.7. Sea S un subconjunto de un grupo G. Llamamos centralizador de
S enG al conjunto
C
g
(S) =|x G | xa =ax a S]
Llamamos normalizador de S enG al conjunto
N
G
(S) =|x G | xS =Sx]
Lema 18.8. El normalizador N
G
(S) es un subgrupo de G.
El centralizador C
G
(S) es un subgrupo normal de N
G
(S).
Si S es un subgrupo de G, S es un subgrupo normal de N
G
(S).
Teorema 18.9. Sea G un grupo H < K subgrupos suyos. Entonces H es normal en K
si y slo si K <N
G
(H).
Este teorema caracteriza al normalizador N
G
(H) como el mayor subgrupo de G
en el que H es normal.
Teorema 18.10. Sea G un grupo y H un subgrupo suyo. Existe un monomorsmo:
f :
N
G
(H)
C
G
(H)
Aut(H)
dado por f (a) =
a
(el automorsmo interno denido por a).
Corolario 18.11. Llamamos In(G) al grupo de los automorsmo internos de G. En-
tonces In(G)

=G/Z(G).
Lema 18.12. Sea f : G H un epimorsmo de grupos. Entonces f (Z(G)) Z(H).
Lema 18.13. Sea G un grupo y H un subgrupo de G. Entonces Z(H) =C
G
(H) H.
Teorema 18.14. Sea H <G con H abeliano. Entonces HZ(G) es abeliano
Corolario 18.15. SeaG un grupo, Z su centro y x G tal que x / Z. El grupo <Z, x >
es abeliano.
Corolario 18.16. Si G no es abeliano, el cociente G/Z(G) no es cclico.
Denicin 18.17. Sea G un grupo arbitrario. Para dos elementos x, y G denimos
su conmutador como el elemento [x, y ] =xy x
1
y
1
.
El conmutador recibe tal nombre porque [x, y ]y x =xy .
Lema18.18. Para cualquier homomorsmo f : g H se verica f ([x, y ]) =[ f (x), f (y )].
34
Como [x, y ]
1
=[y, x], el inverso de un conmutador es un conmutador. Sin em-
bargo el producto de dos conmutadores no tiene porqu ser un conmutador. De-
nimos pues:
Denicin 18.19. Llamamos (primer) subgrupo conmutador o (primer) subgrupo
derivado de G al subgrupo generado por todos los conmutadores de G. Se denota
[G,G] =(G) =G
/
.
Lema 18.20. [G,G] es un subgrupo totalmente invariante de g .
Es inmediato que G es abeliano si y slo si [G,G] =1.
Denicin 18.21. El grupo cociente G/[G,G] se representa por G
ab
y se llama abe-
lianizado de G.
Teorema 18.22 (Propiedad universal del abelianizado). Sea G un grupo y p : G
G
ab
el epimorsmo cannico. Para todo grupo abeliano A y par todo homomorsmo
f : G A existe un nico homomorsmo f : G
ab
A tal que f = f p.
Adems ( f ) =( f ) y ker( f ) =ker( f )/[G,G].
Corolario18.23. Sea N unsubgrupo normal deG. El grupo cocienteG/N es abeliano
si y slo si N >[G,G].
El teorema anterior y su corolario pueden parafrasearse de varias formas:
El grupo [G,G] es el mnimo subgrupo normal de G tal que el cociente es abe-
liano.
G
ab
es el mayor grupo cociente abeliano de G.
Tambin suele decirse que G
ab
es la imagen abeliana de G (el grupo abe-
liano que mas se parece a G), de ah viene su nombre.
Todo morsmo de grupos f : G H induce un morsmo f
ab
: G
ab
H
ab
Denicin 18.24. Sean H, K subgrupos de G. Denimos el conmutador de H y K
como el subgrupo [H, K] de G generado por los conmutadores [x, y ] con x H,
y K.
Lema 18.25. Si H y K son subgrupos caractersticos de G, tambin [H, K] es un sub-
grupo caracterstico de G.
Denicin 18.26. Denimos el i -simo subgrupo derivado de G por recurrencia:
G
0
=G; G
(i +1
=[G
(i
,G
(i
]
Denimos el i -simo subgrupo conmutador de G por recurrencia:

0
(G) =G;
i +1
(G) =[
i
(G),G]
Llamamos hiperconmutador de G al grupo (g ) =

0

i
(G)
Lema 18.27. G
(i
,
i
(G) y (G) son subgrupos totalmente invariantes enG.
35
19. Teoremas de isomorsmo
Teorema de correspondencia
Teorema 19.1. Cualquier homomorsmo de grupos f : G H induce una biyeccin
|G
1
| ker( f ) <G
1
<G]

=|H
1
| 1 <H
1
<Im( f )]
que asigna a cada subgrupoG
1
que contenga a ker( f ) su imagen f (G
1
), y cuya inversa
asigna a cada subgrupo H
1
contenido en Im( f ) su imagen inversa f
1
(H
1
). Cada uno
de estos conjuntos de subgrupos es unretculo bajo el ordenparcial dado por inclusin
y esta biyeccin es un isomorsmo de retculos.
Teorema fundamental del grupo cociente
Teorema 19.2. Sea N <G. Para cada homomorsmo de grupos f : G H con f (N) =
1 existe un nico homomorsmo f
/
: G/N H tal que f = f
/
p, siendo p : G G/N
la proyeccin cannica.
Corolario19.3. Enlas condiciones del teorema 19.2, Im( f
/
) =Im( f ) y ker( f
/
) =ker( f )/N.
Corolario 19.4. Si f : G H es un epimorsmo de grupos con ncleo N = ker( f ),
existe un isomorsmo nico f
/
: G/N

=H tal que f = f
/
p.
Corolario 19.5. Si f : G H es un morsmo de grupos con ncleo N, existe un mo-
nomorsmo nico f
/
: G/N H tal que f = f
/
p, Im( f ) =Im( f
/
).
Corolario 19.6 (Descomposicin cannica de un homomorsmo). Cualquier ho-
momorsmo f : G H con ncleo N =ker( f ) e imagen L =Im( f ) se escribe como un
compuesto i p:
G
p

G
N

L
i
H
con p epimorsmo, isomorsmo y la inclusin i monomorsmo.
Teorema 19.7 (Primer teorema de isomorsmo). Todo homomorsmo de grupos f :
G H induce un isomorsmo
:
G
ker( f )

=Im( f )
Demostracin. es el isomorsmo dado en el corolario 19.6 anterior
Teorema 19.8. Sea f : G H un homomorsmo de grupos con ncleo N <G y sean
R,S subgrupos de G con N <R <S <G. Entonces R <S si y slo si f (R) < f (S). En este
caso existe un isomorsmo
S
R

=
f (S)
f (R)
dado por xR f (x) f (R)
En particular para R =N obtenemos que N <S y S/N

= f (S).
36
Demostracin. Sea f (R) < f (S). Construimos el grupo cociente f (S)/f (R) y la pro-
yeccin correspondiente q : f (S) f (S)/f (R) con ncleo f (R). El homomorsmo
compuesto q f es un epimorsmo con ncleo R. Por ser ncleo de un homomors-
mo, R <S. Por el corolario 19.5, S/R

= f (S)/f (R), con s r f (s ) f (R).
Sea ahora R <S. Como el epimorsmo f
1
: S f (S) tiene ncleo N, es universal
para este ncleo. O sea que la proyeccin p : S S/R factoriza como p = p
/
f
1
para
un morsmo p
/
: f (S) S/R y el ncleo de p
/
es f (R). Luego f (R) < f (S).
Corolario 19.9. Sea f : G H un homomorsmo de grupos y sea S < H. Entonces
f
1
(S) <G.
Tercer teorema de isomorsmo
Corolario 19.10. Dado un grupo G y un subgrupo normal suyo N, existe una bi-
yeccin natural entre los subgrupos de G que contienen a N y los subgrupos de G/N
dada por H H/N. Adems H < N si y slo si H/N <G/N y en este caso existe un
isomorsmo
G/N
H/N

=
G
H
dado por (g N)(H/N) g H
Demostracin. Sea f : G G/N la proyeccin cannica. La biyeccin buscada vie-
ne dada por el teorema 19.1: Cada subgrupo de G/N es de la forma f (H) para algn
H con N < H <G. Pero la imagen f (H) consiste en todas las clases g N con g H,
luego f (H) =H/N. El teorema 19.8 conS =G y R =H nos da el resultado pedido.
Teorema 19.11 (Segundo teorema de isomorsmo). Sea G un grupo, sean H y K
subgrupos de G con K <G. Entonces:
1. H K =HK =|hk | h H, k K], K <HK
2. H K <H
3. Existe un isomorsmo
H
H K

=
HK
K
dado por h(H K) hK.
El segundo teorema de isomorsmo se conoce tambin como teorema del para-
lelogramo
Demostracin. 1. H, K HK H K. Basta demostrar que HK es un grupo:
Contiene a la unidad 1 = 1 1 HK. Como K es normal, HK es cerrado pa-
ra el producto: hkh
1
k
1
= hh
1
(h
1
1
kh
1
)k
1
HK, y para el inverso: (hk)
1
=
k
1
h
1
= h
1
(hk
1
h
1
) HK. Luego es un subgrupo de G. Evidentemente
K <HK y K <HK ya que K <G.
37
2. Sea el morsmo compuesto H
i
G
p
G/K donde i es la inclusin y p la pro-
yeccin cannica. Sea = pi . Calculamos el ncleo ker() = |h H | (h) =
1] =|h H | p(h) =1] =|h H | h K] =HK]. Por ser unncleo, HK <H.
3. La imagen Im() del morsmo anterior es el grupo de las clases de elementos
de H, luego es HK/K. Por el primer teorema de isomorsmo, H/(H K)

=
(HK)/K con h(H K) hK
El teorema 19.11 nos dice que en el diagrama siguiente lados paralelos son iso-
morfos:
HK
K H
H K
Ejemplo 19.12. Sea H <S
n
. O bien H < A
n
, en cuyo caso todas las permutaciones
de H son pares, o bien H contiene una permutacin impar. Entonces HA
n
= S
n
y
H/(HA
n
)

=S
n
/A
n

=Z
2
. As que si H contiene una permutacin impar, las permu-
taciones pares de H forman un subgrupo normal de ndice 2.
Lema 19.13 (Ley modular). Dados A, B, C subgrupos de un grupo G tales que A <C
se verica que A(B C) =(AB) C.
Demostracin. Todo z A(BC) se expresa como z =ax con a A, x BC, luego
z =ax B y z =ax C ya que A <C. Por tanto z =ax (AB) C.
Para todo c (AB)C, c =ab con a A y b B, as que b =a
1
c C y por tanto
b B C. Luego c =ab A(B C).
Teorema 19.14 (Cuarto teorema de isomorsmo). Dados un grupo G y subgrupos
suyos H, H
/
, K, K
/
tales que H
/
<H <G y K
/
<K <G, entonces K
/
(H
/
K) <K
/
(HK),
H
/
(H K
/
) <H
/
(H K) y existen isomorsmos
K
/
(H K)
K
/
(H
/
K)

=
H K
(H K
/
)(H
/
K)

=
H
/
(H K)
H
/
(H K
/
)
El cuarto teorema de isomorsmo se suele llamar lema de Zassenhaus o tambin
lema de la mariposa
Demostracin. Aplicamos el teorema 19.11 a los grupos K
/
y H K. Como K
/
< K,
K
/
(HK) =HK
/
y (HK
/
)(H
/
K) <HK ya que K
/
(HK)/K
/
=HK/HK
/
,
se deduce que H K
/
<H K y simtricamente H
/
K <H K. En el isomorsmo
38
anterior el subgrupo (H K
/
)(H
/
K) por la ley modular. Luego K
/
(H
/
K) <K
/
(H
K). Aplicando el teorema del doble cociente obtenemos
K
/
(H K)
K
/
(H
/
K)

=
H K
(H
/
K)(H K
/
)
El resto sigue por simetra.
Demostracin alternativa. Basta demostrar el primer isomorsmo debido a la si-
metra del enunciado. Consideramos los grupos A = K H, B = K
/
(K H
/
). Enton-
ces BA = K
/
(K H
/
)(K H) = K
/
(K H) ya que K H
/
< K H. Adems B A =
(K
/
(K H
/
)) (K H) = (K
/
(K H
/
)) H = (K
/
H)(K H
/
). Aplicando el segundo
teorema de isomorsmo queda el resultado buscado.
El cuarto teorema de isomorsmo puede visualizarse en el siguiente diagrama:
Lema de la mariposa
H
/
(H K) K
/
(H K)
H
/
(H K
/
) H K K
/
(H
/
K)
H
/
(H
/
K)(H K
/
) K
/
H
/
K H K
/
Dados dos factores H/H
/
y K/K
/
de un grupo G, llamamos proyeccin de H/H
/
sobre K/K
/
al cociente K
/
(H K)/K
/
(H
/
K). Con esta terminologa el lema de Zas-
senhaus asegura que la proyeccin de un primer factor sobre un segundo factor es
isomorfa a la proyeccin del segundo sobre el primero.
39
20. Producto directo de dos grupos
Denicin de producto directo
Sean H y K dos grupos arbitrarios. Denimos una operacin en el conjunto pro-
ducto cartesiano H K por componentes:
(h
1
, k
1
)(h
2
, k
2
) =(h
1
h
2
, k
1
k
2
)
Lema 20.1. H K con la operacin denida tiene estructura de grupo
Demostracin. Comprobar la asociatividad es rutina, el elemento neutro es el (1,1)
y el inverso es (h, k)
1
=(h
1
, k
1
).
Denicin 20.2. Llamamos producto directo de H y K al grupo que acabamos de
denir.
Homomorsmos cannicos
Existen cuatro aplicaciones interesantes entre H, K y H K:
p
1
: H K H p
1
(h, k) =h
p
2
: H K K p
2
(h, k) =k
i
1
: H H K i
1
(h) =(h, 1)
i
2
: K H K i
2
(k) =(1, k)
Estas aplicaciones reciben respectivamente el nombre de primera proyeccin,
segunda proyeccin, primera inyeccin y segunda inyeecin.
Lema 20.3. 1. Las cuatro aplicaciones anteriores son homomorsmos de grupos
2. p
j
i
j
=1 para j =1, 2; p
j
i
k
es trivial para j ,=k.
3. p
j
es sobre y i
j
es inyectiva para j =1, 2
4. H
/
= I m(i
1
) = Ke r (p
2
) = |(h, 1) | h H] es un subgrupo normal de H K, y
adems H
/
=H.
5. K
/
= I m(i
2
) = Ke r (p
1
) = |(1, k) | k K] es un subgrupo normal de H K, y
adems K
/
=K.
6. H
/
K
/
=1. Adems, x H
/
, y K
/
tenemos xy =y x.
Demostracin. Todo es comprobacin trivial.
Propiedad universal del producto directo.
Teorema 20.4. Propiedad universal del producto directo. Sea G un grupo arbitra-
rio y sean f
1
: G H, f
2
: G K dos homomorsmos de grupos cualesquiera. Existe
un nico homomorsmo f : G H K tal que p
1
f = f
1
, p
2
f = f
2
.
40
Demostracin. 1. Unicidad. Supongamos que existen algn f que verica las
condiciones del teorema. Calculemos cuanto puede valer:
g G, f (g ) =(h, k), h =p
1
f (g ) = f
1
(g ), k =p
2
f (g ) = f
2
(g )
As que la nica forma de denir f es f (g ) =( f
1
(g ), f
2
(g )).
2. Existencia. Denimos g G, f (g ) = ( f
1
(g ), f
2
(g )) por el punto anterior. Es
inmediato comprobar que f es un homomorsmo y que verica las condicio-
nes exigidas.
Usualmente se ilustra la propiedad universal con el diagrama:
G
H

p
1

f
1
H K
f
?
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
p
2
-
K
f
2
-
El teorema 20.4 dice que existe un nico f que hace el diagrama conmutativo.
Teorema 20.5. Sea L un grupo y l
1
: L H, l
2
: L K dos homomorsmos que
verican la propiedad: Para todo grupo G y todo par de homomorsmos f
1
: G H,
f
2
: G K, existe un nico homomorsmo f : G L tal que l
1
f = f
1
, l
2
f = f
2
.
Entonces L

=H K.
Demostracin. Por la propiedad universal,
1
l : L H K tal que p
j
l =l
j
, j =1, 2.
Por la hiptesis del presente teorema,
1
p : H K L tal que l
j
p = p
j
, j = 1, 2.
Sustituyendo unas igualdades en otras, obtenemos:
p
j
1
HK
=p
j
=l
j
p =p
j
l p, j =1, 2 l p =1
HK
l
j
1
G
=l
j
=p
j
l =l
j
pl , j =1, 2 pl =1
L
luego p y l son isomorsmos inversos cada uno del otro.
Segund propiedad universal
Este teorema nos dice que la propiedad universal caracteriza al producto directo
salvo isomorsmos. El producto directo posee otra propiedad universal:
Teorema 20.6. Sea G un grupo arbitrario y sean f
1
: H G, f
2
: K G dos ho-
momorsmos tales que h H, k K, f
1
(h) f
2
(k) = f
2
(k) f
1
(h). Entonces existe un
nico homomorsmo f : H K G tal que f i
j
= f
j
, j =1, 2.
Demostracin. 1. Unicidad. Si f existe, verica:
f (h, k) = f (h, 1) f (1, k) = f i
1
(h) f i
2
(k) = f
1
(h) f
2
(k)
luego en caso de existir es nico.
41
2. Denimos una aplicacin f : H K G as: f (h, k) = f
1
(h) f
2
(k). Se com-
prueba de inmediato que f es un homomorsmo (para lo cual hace falta la
condicin impuesta) y que verica la conmutatividad del diagrama:
H
i
1
-
H K

i
2
K
G
f
?
.
.
.
.
.
.
.
.
.
.
.
.
.
.

f
2
f
1
-
Esta segunda propiedad universal tambin determina de manera nica al pro-
ducto directo:
Teorema 20.7. Sea L un grupo y l
1
: H L, l
2
: K L dos homomorsmos tales que
h H y k K, l
1
(h)l
2
(k) =l
2
(k)l
1
(h) y que verican la propiedad: Para todo grupo
G y todo par de homomorsmos f
1
: H G, f
2
: K G tales que h H y k K,
f
1
(h) f
2
(k) = f
2
(k) f
1
(h) existe un nico homomorsmo f : L G tal que f l
1
= f
1
,
f l
2
= f
2
. Entonces L

=H K.
Demostracin. Idntica a la del teorema 20.5, invirtiendo el sentido de las echas.
Producto directo interno
Sea G un grupo y H, K subgrupos suyos. Siempre podemos denir una aplica-
cin
: H K G (h, k) =hk
pero esta aplicacin no tiene que ser homomorsmo ni biyectiva. Existen unas con-
diciones equivalentes entre s:
Teorema 20.8. Caracterizaciones del producto directo. Sea G un grupo, H, K <G.
Las cuatro condiciones siguientes son equivalentes:
1. La anterior aplicacin es un isomorsmo.
2. H, K G, HK =G y H K =1.
3. h H k K hk =kh, H K =G y H K =1.
4. h H k K hk =kh, y g G
1
h H
1
k K tales que g =hk.
Demostracin. La hacemos en ciclo:
1 2 es sobre, luego g G h H, k K tales que g =(h, k) =hk y G =HK.
Sea g H K. Entonces g =(g , 1) =(1, g ). Como es inyectiva, g =1.
H =Ke r (p
2

1
) G y K =Ke r (p
1

1
) G.
42
2 3 h K, k K [h, k] = hkh
1
k
1
= (hkh
1
)k
1
= h(kh
1
k
1
) H K = 1
ya que H, K G.
3 4 g G, x = h
1
k
1
h
n
k
n
. Como los elementos de H y K conmutan, g =
(h
1
h
n
)(k
1
k
n
) =hk.
Sea g = h
1
k
1
= h
2
k
2
. Entonces h
1
2
h
1
= k
2
k
1
1
H K = 1, luego h
1
= h
2
y
k
1
=k
2
.
4 1 es biyectiva porque cada g G se expresa de manera nica como g = hk.
Por otra parte, [(h
1
, k
1
)(h
2
, k
2
)] = (h
1
h
2
, k
1
k
2
) = h
1
h
2
k
1
k
2
= h
1
k
1
h
2
k
2
=
(h
1
, k
1
)(h
2
k
2
) y es un homomorsmo.
Denicin 20.9. Un grupo G vericando las condiciones del teorema anterior se
llama producto directo interno de los subgrupos H y K.
Lema 20.10. Sean H
1
<H, K
1
<K. Entonces:
1. H
1
K
1
<H K.
2. Existe un monomorsmo Aut (H) Aut (K) Aut (H K).
Demostracin. 1. El producto cartesiano H
1
K
1
es un subconjunto de HK. Es
inmediato comprobar que es cerrado para el producto, la unidad y el inverso.
2. Denimos una aplicacin : Aut (H) Aut (K) Aut (H K) por la regla
(, )(h, k) =((h), (k)). Se comprueba fcilmente que est bien deni-
da y que s un monomorsmo.
No todo subgrupo de H K es de la forma H
1
K
1
, ni el monomorsmo es
sobre. Pero existe un caso particular importante en el que s se verican estas dos
condiciones:
Teorema 20.11. Sean H, K dos grupos nitos tales que m.c.d(|H|, |K|) =1. Entonces:
1. L <H K
1
H
1
<H,
1
K
1
<K tales que L =H
1
K
1
.
2. Aut (H) Aut (K)

=Aut (H K).
Demostracin. 1. Sean H
1
=p
1
(L), K
1
=p
2
(L). Evidentemente, L <H
1
K
1
. Vea-
mos la inversa: h H
1
(h, k) L. Sean n = |H|, m = |K|. Por el teorema de
Bezout, r, s Z tales que mr +ns = 1. Entonces L - (h, k)
mr
= (h
mr
, k
mr
) =
(h
1ns
, 1) = (h, 1). Similarmente k K, (1, k) L. Luego (h, k) H
1
K
1
,
(h, k) =(h, 1)(1, k) L, y por tanto H
1
K
1
<L.
2. Por el punto anterior, H
/
= I m(i
1
)

= H es el nico subgrupo de H K de
orden n. Luego Aut (H K), (H
/
) = H
/
que por tanto es caracterstico.
Igual propiedad verica K
/
= I m(i
2
)

= K. Tomamos ahora Aut (H K)
arbitrario y denimos:
43
Demostracin.
: H H, =p
1
i
1
: K K, =p
2
i
2
Es inmediato comprobar que y son automorsmos. Veamos que =(, ):
(h, k) HK, (h, k) =(h
/
, k
/
). La primera componente es h
/
=p
1
(h, k) =p
1
((h, 1)(1, k)) =
p
1
((i
1
(h))4(1, k)) =p
1
i
1
(h)p
1
(1, k). Ahora (1, k) =(1, k
//
) y p
1
(1, k) =1. Luego
h
/
=p
1
i
1
(h) =(h) por ser K
/
caracterstico. Anlogamente, k
/
=(k) y nalmente
=(, ).
La demostracin del segundo punto del teorema anterior se basa en que H
/
y K
/
son caractersticos. Lo que hemos demostrado es pues:
Corolario 20.12. Sean H, K subgrupos caractersticos de un grupo G tales que HK =
G y H K =1. Entonces Aut (G)

=Aut (H) Aut (K).

21. Producto directo de una familia arbitraria de gru-
pos
Producto directo de una familia arbitraria de grupos
En esta seccin generalizamos los resultados anteriores para mas de dos grupos.
Las demostraciones no las escribo.
Sea |G

| ] una familia arbitraria de grupos y sea G =

su produc-
to cartesiano. Denimos una operacin interna en G por componentes: g , h
G, (g h)

= g

.
Lema 21.1. G con la operacin recin denida tiene estructura de grupo.
Denicin 21.2. G =

con la estructura que acabamos de denir se llama

producto directo de la familia de grupos G

.
Si = |1, . . . , n] es nito, escribimos G = G
1
G
n
. Si todos los productos
G

son el mismo grupo H, escribimos G = H

(G = H
n
si es nito) y lo llamamos
potencia directa de H.
Homomorsmos cannicos
Para todo existen dos aplicaciones:
p

: G G

, p

(g ) = g

: G

G, i

x = g
donde g

=x si =, g

=1 en otro caso.
Estas aplicaciones son las proyecciones y las inyecciones respectivamente.
Lema 21.3. 1. , p

y i

son homomorsmos de grupos.

2. , p

=1
G
. Para ,=, p

es trivial.
44
3. , p

es sobre y i

es inyectiva.
4. G
/

=I m(i

=G

es normal enG.
Teorema 21.4. Propiedad universal del producto directo. Sea |G

| ] una fa-
milia de grupos y sea G =

su producto directo, con proyecciones p

: G G

.
Para cualquier familia de homomorsmos de grupos (con el mismo conjunto de n-
dices) |f

: H G

] existe un nico homomorsmo f : H G tal que , f

= p

f .
Adems, cualquier otro grupo que verique esta propiedad es isomorfo a G.
El teorema dice que existe un nico f que hace conmutativos todos los diagra-
mas:
H
G
f
?
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
p

-
G

-
Teorema 21.5. Sea |G

| ] una familia arbitraria de grupos, y para cada

sea H

<G

. Entonces

<

.
Teorema 21.6. Sea |G

| ] una familia arbitraria de grupos. Existe un mono-

morsmo

Aut (G

) Aut (

).
22. Producto directo de una familia nita de grupos
Producto directo de una familia nita de grupos
En esta seccin citamos algunas propiedades especcas para productos de un
nmero nito de grupos. Empezamos con una ley asociativa:
Teorema 22.1. 1. SeanG
1
,G
2
,G
3
tres grupos arbitrarios. Entonces
(G
1
G
2
) G
3

=G
1
G
2
G
3

=G
1
(G
2
G
3
)
2. SeanG
1
, . . . ,G
n
grupos. Para todo k =1, . . . , n 1 se verica:
(
k

1
G

) (
n

k+1
G

=
n

1
G

Orden de un producto directo nito

Veamos ahora cual es la relacin entre rdenes de grupos y el orden de su pro-
ducto:
Teorema 22.2. SeanG
1
, . . . ,G
n
grupos cualesquiera y sea G =G
1
G
n
.
1. |G| =|G
1
| |G
n
|. En particular, G es nito si y slo si todos los G

son nitos.
2. (g
1
, . . . , g
n
) G, o((g
1
, . . . , g
n
)) =m.c.m.(o(g
1
), . . . ,o(g
n
)
45
Producto directo interno
SeaG un grupo yG
1
, . . . ,G
n
subgrupos suyos. Siempre podemos denir una apli-
cacin
: G
1
. . . G
n
G
as: (g
1
, . . . , g
n
) = g
1
g
n
(el producto en G). En general, no es homomorsmo
ni sobre ni inyectiva. Pero como en el caso n =2, tenemos:
Teorema 22.3. Las siguientes condiciones son equivalentes:
1. La aplicacin es un isomorsmo
2. Para =1, . . . , n, G

G, G
1
G
n
=G y (G
1
G
i 1
) G
i
=1 para i =2, . . . , n.
3. Para ,= g

y g

, g

= g

; G =G
1
G
n
y (G
1
G
i 1
)G
i
=
1 para i =2, . . . , n.
4. Para ,= g

y g

, g

= g

; todo elemento g G se expresa de

manera nica como g = g
1
g
n
donde g

Teorema 22.4. Sea G

1
, . . . ,G
n
una familia nita de grupos nitos tales que sus rde-
nes son primos relativos dos a dos. Sea G =

n
1
G

. Entonces:
1. L <G
1
H

<G

tales que L =H
1
H
n
.
2. Aut (G
1
) Aut (G
n
)

=Aut (G).
Corolario22.5. SeaG ungrupo nito enel que todos sus subgrupos de SylowP
1
, . . . , P
n
son normales. Entonces Aut (P
1
) Aut (P
n
)

=Aut (G).
Ejemplo 22.6. Aut (Z
10
Z
2
)

=Z
4
S
3
46
23. Series de composicin
Denicin 23.1. Sea G un grupo. Llamamos factor de G a cualquier grupo cociente
H/H
/
donde G >H >H
/
.
Ntese que ni H ni H
/
tienen que ser normales enG.
Denicin 23.2. Dados dos factores H/H
/
, K/K
/
de un grupo G, el cociente
K
/
(H K)
K
/
(H
/
K)
se llama proyeccin de H/H
/
sobre K/K
/
(Comparar con el lema de Zassenhaus o de la mariposa).
Denicin 23.3. Llamamos serie del grupo G a una cadena nita de subgrupos
G =G
0
>G
1
> >G
r
=1 (23.1)
Al nmero natural r le llamamos longitud de la serie 23.1
Denicin 23.4. Dadas dos series para el mismo grupo G:
G =G
0
>G
1
> >G
r
=1
G =G
/
0
>G
/
1
> >G
/
s
=1
decimos que la primera es un renamiento de la segunda si todo grupo de la segun-
da aparece en la primera. Si adems en la primera hay grupos que no aparecen en la
segunda diremos que es un renamiento propio.
Denicin 23.5. Una serie 23.1 se llama normal si para todo i =1, 1, . . . , r se verica
que G
i
es un subgrupo normal de G
i 1
.
Una serie 23.1 se llama propia si todas las inclusiones son propias.
Para cada serie 23.1 normal los grupos cocientes G
i 1
/G
i
se llaman factores de la
serie
Dadas dos series normales
G =G
0
>G
1
> >G
r
=1
G =H
0
>H
1
> >H
s
=1
del mismo grupo G diremos que son isomorfas si r = s y existe una permutacin
S
r
tal que G
i 1
/G
i

=H
(i )1
/H
(i )
para todo i =1, 2, . . . r .
Denicin 23.6. Una serie normal propia sin renamientos normales propios se
llama serie de composicin del grupo G.
Para cada serie de composicin de G los factores de la serie se llaman factores
de composicin del grupo G. Los rdenes de los factores de composicin se llaman
ndices de composicin del grupo G.
47
Denicin 23.7. Un grupo G se llama simple si no es trivial y no admite subgrupos
normales propios.
Lema 23.8. Un grupo abeliano nito simple es cclico de orden primo
Demostracin. En un grupo abeliano G todos los subgrupos son normales. As que
G ser simple si y slo si no tiene subgrupos propios. Sea 1 ,=x G. El grupo cclico
< x > es un subgrupo no trivial de G, luego < x >=G es cclico. Si |G| = mn no es
primo, <x
m
> sera un subgrupo propio de G, contradiccin.
Lema 23.9. Los factores de composicin de un grupo G son simples.
Demostracin. Sea 23.1 una serie de composicin del grupoG. y sea H un subgrupo
normal propio de G
i 1
/G
i
. Sea p : G
i 1
G
i 1
/G
i
la proyeccin y sea H
/
= p
1
(H).
Entonces G
i 1
>H
/
>G
i
y las inclusiones son propias. La serie G =G
0
> >G
i 1
>
H
/
>G
i
> >1 es un renamiento propio de la dada, contradiccin.
No es cierto que todo grupo posea una serie de composicin. De hecho Z no la
tiene. Sin embargo tenemos:
Lema 23.10. Todo grupo nito G posee una serie de composicin.
Demostracin. Induccin sobre el orden de G. Para grupos de orden primo, G >
1 es una serie de composicin. Supongmoslo demostrado para todos los grupos
de orden menor que G. Sea G
1
un subgrupo normal propio maximal de G (existe
porque el conjunto de subgrupos de G es nito). Sea G
1
> > G
r
= 1 una serie
de composicin de G (existe porque el orden de G
1
es estrictamente menor que el
orden de G). Entonces G >G
1
> >G
r
=1 es una serie de composicin de G.
Teorema 23.11 (Teorema de renamiento de Schreier). Dos series normales arbitra-
rias de un grupo G tienen renamientos isomorfos.
Demostracin. Sean las series normales
G =G
0
>G
1
> >G
r
=1 (23.2)
G =H
0
>H
1
> >H
s
=1 (23.3)
Llamamos G
i j
=G
i
(H
j
G
i 1
), i = 1, . . . , r , j = 1, . . . s . Entonces G
i 1
=G
i 0
>G
i 1
>
G
i s
=G
i
es una cadena normal de G
i 1
a G
i
. Uniendo estas cadenas obtenemos
un renamiento de 23.2:
G =G
10
>G
11
> >G
1s
(=G
20
) >G
21
> >G
r 1,s
(=G
r 0
) > >G
r s
=1 (23.4)
48
Demostracin. Similarmente los grupos H
i j
= H
j
(G
i
H
j 1
), i = 1, . . . , r , j = 1, . . . s
forman un renamiento de 23.3:
G =H
01
>H
11
> >H
r 1
(=H
02
) >H
12
> >H
s 1,r
(=H
s 0
) > >H
s r
=1 (23.5)
Por el lema de Zassenhaus, G
i ,j 1
/G
i j

=H
j .i 1
/H
j i
, lo que demuestra que los rena-
mientos anteriores son isomorfos. Si omitimos todas las repeticiones en 23.4 y 23.5
(correspondientes a factores triviales), las series que quedan siguen siendo isomor-
fas.
Teorema 23.12 (Teorema de Jordan-Holder). Si un grupo admite una serie de com-
posicin, cualquier serie normal propia puede renarse a una serie de composicin.
Dos series de composicin de un grupo G son isomorfos.
Demostracin. Sea G un grupo que admite una serie de composicin. Cualquier re-
namiento de tal serie coincide con ella misma. Tomemos cualquier serie normal
de G y construimos los renamientos isomorfos de esta serie y la serie de composi-
cin dada que existen por el teorema de renamiento de Schreier. Deben ser series
de composicin isomorfas a la dada.
24. El programa de Holder
Sea G un grupo y N un subgrupo normal de G. El primer teorema de isomors-
mo nos dice que el grupo cociente G/N describe la estructura de G sobre N (es
decir, los retculos de subgrupo son isomorfos). Esto plantea el problema de hasta
que punto el conocimiento de N y G/N fuerza cmo tiene que ser G.
El teorema de Jordan-Holder nos dice que todo grupo nito tiene una serie de
composicin y aunque la serie en s no tiene que ser nica, su longitud y los tipos de
isomorsmo de los factores s son nicos. Adems est claro que grupos isomorfos
tienen los mismos factores de composicin, aunque grupos no isomorfos tambin
pueden tener los mismos factores (por ejemplo, Z
6
y S
3
).
Esta situacin motiva un programa de dos partes para clasicar todos los grupos
nitos salvo isomorsmo, expuesto por Holder en un artculo de 1893:
1. Clasicar todos los grupos nitos simples.
2. Hallar las tcnicas para construir grupos a partir de otros mas sencillos.
Estos dos problemas son una motivacin importante para gran parte del desa-
rrollo de la teora de grupos. Problemas anlogos se encuentran recurrentemente
a travs de toda la matemtica. Vamos a comentar un poco los dos problemas del
programa de Holder:
La clasicacin de los grupos simples nitos se complet en 1980. Los esfuerzos
de unos 100 matemticos repartidos entre 300 y 500 artculos que cubrenentre 5,000
y 10,000 pginas de revistas demostraron el siguiente teorema:
49
Teorema 24.1. Existe una lista consistente en 18 familias innitas de grupos simples
y 26 grupos simples no pertenecientes a estas familias (los grupos simples espordi-
cos) tal que todo grupo simple nito es isomorfo a uno de los grupos de esta lista.
Tres ejemplos de familias innitas: Z
p
para p primo, A
n
para n 5 y PSL
n
(F)
para n 2 excepto PSL
2
(Z
2
) y PSL
2
(Z
3
).
Una idea de la complejidad de la clasicacin de los grupos nitos simples la
proporciona uno de los teoremas claves de la clasicacin:
Teorema 24.2 (Feit-Thompson). Si G es un grupo simple de orden impar, entonces
G

=Z
p
para algn primo impar p.
La demostracin de este teorema (publicado en 1963) ocupa 255 pginas de ma-
temtica dura.
La segunda parte del programa de Holder se llama problema de la extensin.
Vamos a describirla con mas precisin: Dados dos grupos H y K, determinar (salvo
isomorsmo) todos los grupos G que contienen un subgrupo normal N tal que N

=
H y G/N

= K (se suele decir que G es una extensin de K por H). Por ejemplo si
H = K = Z
2
existen exactamente dos posibilidades: Z
4
y Z
2
Z
2
. El programa de
Holder busca cmo pueden construirse los dos grupos de orden 4 a partir de los de
orden 2 sin tener un conocimiento previo de la existencia de aquellos. Esta parte del
programa de Holder es extremadamente difcil an cuando los subgrupos envueltos
son de orden pequeo. Por ejemplos, si |G| = 2
n
todos los factores de composicin
tienen orden 2.
Sin embargo el nmero de grupos no isomorfos de orden 2
n
crece exponencial-
mente como funcin de n:
Orden: Nmero de Grupos:
2 1
4 2
8 5
16 14
32 51
64 267
128 2328
256 56092
512 10494213
1024 49487365422
As que el nmero de extensiones de un 2-grupo por otro 2-grupo puede ser muy
grande. An as existen unas cuantas tcnicas interesantes y poderosas para revelar
la estructura de amplias clases de grupos. Mas adelante expondremos un par de
maneras de construir (en el sentido anterior) grupos grandes a partir de otros mas
pequeos, y an con una tcnica muy limitada (el producto semidirecto) podremos
construir numerosos ejemplos nuevos de grupos y clasicar totalmente los grupos
de algn tipo particular.
No sera justo decir que la teora de grupos nitos trata solamente del programa
de Holder, pero s es justo decir que el programa de Holder sugiere un gran nmero
50
de problemas y motiva bastantes tcnicas algebraicas. Por ejemplo, el estudio de las
extensiones de K por H cuando H es abeliano nos lleva a clasicar las acciones (por
automorsmos) de K sobre H.
25. Grupos solubles
El teorema de Jordan-Holder nos dice que cada grupo determina unvocamente
a su serie de composicin (salvo isomorsmo). Nos permite por tanto denir clases
especiales de grupos mediante propiedades que satisfacen sus factores de composi-
cin. La mas evidente de tales clases es la de los grupos solubles, que adems tiene
un papel clave en la teora de Galois.
Denicin 25.1. Dado un grupo G, denimos la serie derivada de G como
G =G
0
>G
/
>G
//
> >G
(i
>
donde G
(i +1
=[G
(i
,G
(i
] (el grupo derivado).
En general esta serie no tiene porqu alcanzar el 1. De hecho tenemos:
Teorema 25.2. Sea G un grupo nito. Las siguientes propiedades son equivalentes:
1. Los factores de composicin de G son cclicos de orden primo.
2. G tiene una serie normal con factores cclicos.
3. G tiene una serie normal con factores abelianos.
4. Existe un i 1 tal que G
(i
=1.
Demostracin. Es inmediatoque 1 2 3. Veamos que 3 1: SeaG =H
0
> H
s
=
1 una serie normal con factores abelianos. Por el teorema de Jordan-Holder, esta
serie se puede renar a una serie de composicin, cuyos factores sern cocientes
de subgrupos de la serie dada y por tanto abelianos. Todo grupo simple abeliano es
cclico de orden primo.
Supongamos que la serie derivada alcanza el uno. Entonces es una serie con
factores abelianos y ese es el enunciado 3. A la inversa, supongamos que G tiene la
siguiente serie normal con factores abelianos:
G =G
0
>G
1
> >G
r
=1
Como G
0
/G
1
es abeliano, el grupo G
1
contiene al derivado de G
0
que es G
/
. Por
induccin supongamos que G
i
G
(i
. Como G
i
/G
i +1
es abeliano se verica que
G
i +1
G
/
i
(G
(i
)
/
=G
(i +1
. Al nal 1 =G
r
G
(r
y la serie derivada alcanza el 1.
Denicin 25.3. Un grupo nito G se llama soluble si verica las propiedades del
teorema 25.2
51
El nombre de grupo soluble proviene de una importante aplicacin a la resolu-
cin de ecuaciones por radicales que veremos mas adelante. La clase de los grupos
solubles se comporta bien respecto a subgrupos y cocientes:
Proposicin 25.4. 1. Todo subgrupo de un grupo soluble es soluble.
2. Todo grupo cociente de un grupo soluble es soluble.
3. Sea N unsubgrupo normal deG. Si N yG/N sonsolubles, tambinG es soluble.
Demostracin. Sea H <G. Por induccin se ve que para todo i 0 se verica H
(i
<
G
(i
. Si G es soluble existe un r tal que H
(r
< G
(r
= 1, luego H es soluble. Un argu-
mento similar se aplica a los cocientes.
Supongamos que N es un subgrupo normal de G y que N y G/N son grupos
solubles. Existe un s tal que (G/N)
(s
= 1, luego G
(s
< N. Existe ahora un r tal que
N
(r
=1. Luego G
(r +s
<N
(r
=1 y G es soluble.
Corolario 25.5. Todo producto nito de grupos solubles es soluble.
52
26. Grupos de operadores
Grupos de operadores
Histricamente la teora de grupos trataba al principio slo con grupos de trans-
formaciones. Posteriormente se introdujo el concepto de grupo abstracto para enfo-
car la atencin sobre aquellas propiedades de los grupos de transformaciones que
ataen slo a la composicin y no se reeren al conjunto sobre el que actan las
transformaciones.
Sin embargo en geometra el inters principal est en los grupos de transforma-
ciones y an en la teora abstracta de grupos se obtiene frecuentemente ventaja de
volver del punto de vista abstracto al concreto de grupos de transformaciones. Por
ejemplo, su uso provee unas tcnicas de contar que juegan un papel importante en
la teora de grupos nitos. Un ejemplo de esto es el teorema de Lagrange. Despus
veremos otros ejemplos.
Es til tener un medio de pasar del punto de vista abstracto al concreto de los
grupos de transformaciones. Este medio es el concepto de grupo actuando sobre un
conjunto que vamos a estudiar.
El concepto de accin es un tema recurrente como mtodo para estudiar un
objeto algebraico viendo cmo puede actuar sobre otras estructuras.
La estructura de G-conjunto es la mas sencilla de las que poseen ley de compo-
sicin externa y engloba a todas las otras en que el dominio de operadores posea
estructura.
Segn se aade mas estructura al objeto sobre el que acta el grupo (por ejem-
plo, grupos actuando sobre grupos o grupos actuando sobre espacios vectoriales) se
va obteniendo mas informacin sobre la estructura del grupo de operadores.
27. Acciones de grupo
Acciones de grupo
Denicin27.1. SeaG ungrupo y seaS unconjunto no vaco. Una accindeG sobre
S es una ley de composicin externa
G S S
(x, s ) x s
sujeta a dos condiciones:
1. x, y G, s S (xy )s =x(y s )
2. s S, 1s =s
Dada una accin de G sobre S, diremos que G opera sobre S y tambin se dice
que S es unG-conjunto. Al grupo G le llamamos dominio de operadores.
Designamos como P(S) al grupo de permutaciones del conjunto S con la com-
posicin de aplicaciones.
53
Teorema 27.2. Una estructura de G-conjunto sobre S (una accin de G sobre S) es
equivalente a un homomorsmo de grupos : G P(S).
Demostracin. Sea S un G-conjunto. Para cada x G jo consideramos la aplica-
cin
x
: S S dada por
x
(s ) = xs . Entonces para todo s S tenemos
x

y
(s ) =
x(y s ) = (xy )s =
xy
(s ), as que
x

y
=
xy
.; adems
1
(s ) = 1s = s luego
1
= 1
S
.
En particular
x

x
1 =
xx
1 =
1
=1
S
=
x
1
x
, luego
x
1 =
1
x
y
x
es una per-
mutacin de S. Denimos ahora : G P(S) por (x) =
x
. Ahora (xy ) =
xy
=

y
=(x)(y ). Luego es un homomorsmo de grupos.
A la inversa, sea : G P(S) un homomorsmo de grupos. Denimos una apli-
cacinGS S por (x, s ) xs = f (x)s . Entonces x(y s ) = f (x)( f (y )s ) =( f (x) f (y ))s =
f (xy )s =(xy )s ; 1s = f (1)s =1
S
(s ) =s y la aplicacin es una accin de G sobre S.
Denicin 27.3. El ncleo del homomorsmo del teorema 27.2 se llama ncleo
de la accin
Lema 27.4. El ncleo de la accin es el conjunto |x | s S xs = s ], es decir, el
conjunto de elementos de G que dejan jo a todo s S.
Denicin 27.5. La accin de G sobre S se llama el o efectiva si el morsmo f del
teorema 27.2 es inyectivo.
28. La categora de G-conjuntos
Denicin 28.1. Dados dos G-conjuntos S y T y una aplicacin f : S T, diremos
que f es un homomorsmo de G conjuntos si verica f (xs ) =x f (s ) para todo x G
y todo s S.
Lema 28.2. Sean f : S T y g : T U dos homomorsmos deG-conjuntos. Entonces
g f es un homomorsmo de G-conjuntos.
La aplicacin identidad 1
S
=S S es un homomorsmo de G-conjuntos
Los homomorsmos especiales recibe los nombres correspondientes: mono-
morsmo, epimorsmo, isomorsmo, automorsmo, etc.
29. Subconjuntos y cocientes
Denicin29.1. Dados dos G-conjuntos S y T, diremos queS es un sub-G-conjunto
de T si S es un subconjunto de T y la aplicacin de inclusin i : S T es un homo-
morsmo de G-conjuntos. Tambin diremos que S es estable para la accin de G
sobre T.
La denicin 29.1 equivale a decir que para todo x G y todo s S se verica
xs S, donde la operacin xs es la accin de G sobre T, y que la accin de G sobre
S se dene por restriccin.
Denicin 29.2. 1. Para cada s S llamamos rbita de S al conjunto Gs = |xs |
x G]
54
2. Para cada s S llamamos estabilizador o grupo de isotropa de S al conjunto
G
s
=|x G | xs =s ]
Lema 29.3. El estabilizador de S es un subgrupo de G.
Si S consta de una sola rbita (es decir, si para cualesquiera s , t S existe un
x G tal que s =xt ), diremos que G acta transitivamente sobre S.
Dado un G-conjunto S podemos denir una relacin binaria en S as: s t si y
slo si existe x G tal que s =xt .
Lema 29.4. 1. La relacin recin denida es una relacin de equivalencia.
2. Las clases de equivalencia bajo son las rbitas.
3. El conjunto de rbitas es una particin de G.
Lema 29.5. Para la relacin anterior, s t G
s
y G
t
son conjugados enG.
El inverso del lema anterior es falso.
Denicin 29.6. Dado un G-conjunto S y una relacin de equivalencia sobre S,
decimos que es compatible con la accin de G sobre S si para todo s , t S y para
todo x G se verica s t xs xt . Tambin diremos que es una congruencia
sobre S.
En una congruencia la clase de equivalencia de un s S se llama clsicamente
bloque de imprimitividad.
Sea S un G-conjunto y una congruencia sobre S. Podemos denir una estruc-
tura natural de G-conjunto sobre T =S/ como x s =xs . La proyeccin p : S T
pasa a ser un homomorsmo de G-conjuntos.
En todo grupo las relacin trivial y la total son congruencias. Estas son las con-
gruencias impropias. Cualquier otra congruencia es propia.
Denicin 29.7. La accin de G sobre S se llama primitiva si no existen congruen-
cias propias. En otro caso se llama imprimitiva
En una accin transitiva, para cualquier congruencia todas las clases de equiva-
lencia tienen el mismo cardinal.
Toda accin primitiva es transitiva, pero en general no a la inversa. Sin embargo
si |G| =p es primo, la accin es primitiva si y slo si es transitiva.
30. Ejemplos
Ejemplo 30.1. Sea X un conjunto arbitrario no vaco, n > 0 un natural y sea S =
X
n
=X X. Sea G =S
n
el grupo de permutaciones de n elementos. Denimos
G S S as: (x
1
, . . . , x
n
) =(x

1
(1)
, . . . , x

1
(n)
). Es inmediato comprobar que S es
unG-conjunto.
55
Ejemplo 30.2. Sea S =E
3
el espacio eucldeo tridimensional, G el grupo de las rota-
ciones alrededor de un punto jo. La accin de G sobre E
3
es la natural. Las rbitas
son las esferas con centro O y el estabilizador de un puntoQ ,=O es el subgrupo de
las rotaciones de eje OQ. El estabilizador de O es el mismo G.
Ejemplo 30.3. Sea S un conjunto y sea P(S) =G; P(S) acta transitivamente sobre S.
Ejemplo 30.4. Sea S un conjunto no vaco arbitrario y G un grupo cualquiera. De-
nimos una accin de G sobre S por xs =s para todo x G y todo s S. Esta accin
se llama trivial de G sobre S. El estabilizador de cualquier s S es G y la rbita se
reduce al mismo s .
Ejemplo 30.5. Hacemos actuar al grupo D
4
sobre los cuatro vrtices del cuadrado.
Numeramos estos vrtices sucesivamente 1, 2, 3, 4. Sea r D
4
la rotacin de ngulo
/2 radianes, y sea s la reexin en la lnea diagonal que pasa por 1 y 3. Entonces las
permutaciones de los vrtices correspondientes son:
r =(1 2 3 4) s =(2 4)
Ya que la representacin por permutaciones es un homomorsmo, la permutacin
correspondiente a s r es = (1 4)(2 3). La accin de D
4
sobre los cuatro vrtices
del cuadrado es el ya que slo la identidad ja todos los vrtices. El estabilizador
de cualquier vrtice i es el subgrupo de orden 2 generado por la reexin sobre la
diagonal que pasa por i
Ejemplo 30.6. Sea ahora T = ||1, 3], |2, 4]] (conjunto cociente de |1, 2, 3, 4]). La re-
lacin de equivalencia correspondiente es una congruencia y D
4
acta sobre este
conjunto: r intercambia los pares 1 = |1, 3] y 2 = |2, 4] y la reexin s ja ambos
pares. As que las permutaciones correspondientes son
r (1 2) s (1)
Esta accin no es el, su ncleo es < r
2
, s >. Para cada i A el estabilizador es el
mismo ncleo.
Consideramos ahora el conjunto B = ||1, 2], |3, 4]]. El grupo D
4
no acta sobre
B ya que |1, 2] B pero r |1, 2] =|2, 3] / B.
Ejemplo 30.7. SeaS =G un grupo. G acta sobre s mismo de tres formas diferentes:
1. Por conjugacin: x s =xs x
1
2. Por traslacin por la izquierda: x s =xs (producto enG
3. Por traslacin por la derecha: x s =xs
1
Es inmediato comprobar que con cualquiera de ellas G es unG-conjunto.
En el primer caso el estabilizador de s G, G
s
=|x G | xs x
1
=x] es el centra-
lizador de s en G mientras que la rbita Gs = |xs x
1
| x G] es la clase conjugada
de s enG.
En el segundo caso el estabilizador de s G, G
s
= |x G | xs = s ] = 1 se reduce
al subgrupo trivial, mientras que la rbita Gs =|xs | x G] es el grupo total.
56
Igual ocurre en la traslacin por la derecha.
EnS
n
dos elementos son conjugados si y slo si al descomponerlo en ciclos dis-
juntos tienen el mismo tipo.
EnGL
n
(F) dos matrices son conjugadas si y slo si son semejantes.
El homomorsmo : G P(G) obtenido para la traslacin por la izquierda se
llama representacin regular por la izquierda de G y es inyectivo. Nos identica G
con un subgrupo de P(S) y permite enunciar el conocido:
Teorema 30.8 (Cayley). Todo grupo nito es isomorfo a un grupo de permutaciones.
Ejemplo 30.9. Las tres operaciones del ejemplo 30.7 pueden generalizarse al con-
junto S =(G) (Booleano de G o conjunto de las partes de G):
1. Sea T G; x T = xTx
1
. El estabilizador es el normalizador de T en G:
N
G
(T) = |x G | xTx
1
= T]. La rbita es la clase conjugada de T en G:
GT =|xTx
1
| x G].
2. Sea T G; x T =xT =|xt | t T]. Es particularmente interesante el caso en
que T es un subgrupo de G. Entonces el estabilizador de T es |x G | xT =
T] = T y la rbita es T = |xT | x G] = G/T, el conjunto de clases por la
izquierda de T enG.
A un conjunto de representantes de estas rbitas (es decir, un conjunto con
un y slo un elemento de cada rbita) le llamamos transversal de H enG.
Un anlisis anlogo podemos hacer en el tercer caso. El caso que acabamos
de ver es especialmente tpico, como veremos a continuacin.
31. Frmula de clases
Teorema 31.1. Sea S unG-conjunto, s S con estabilizador H =G
s
y rbita T =Gs .
1. T es unG-subconjunto de S.
2. Existe un isomorsmo de G-conjuntos f : T

=G/H
Corolario 31.2. Llamamos |Gs | al cardinal de la rbita Gs . Entonces
|Gs | =[G : G
s
]
Corolario 31.3. El nmero de conjugados de x enG es igual a
|G|/|N
G
(x)| =[G : N
G
(x)]
.
Teorema 31.4. Supongamos que la accin de G sobre S es transitiva y no trivial. La
accin es primitiva si y slo si para todo s S el grupo G
s
es maximal enG.
Llamemos ahora |S| al cardinal del conjunto S. Sea un conjunto de represen-
tantes de las rbitas. Obtenemos:
57
Teorema 31.5 (Frmula de descomposicin en rbitas).
|S| =

s
[G : G
s
]
Aplicando el anterior corolario al primero de los ejemplos 30.7, las rbitas con
un slo elemento sern los s G tales que xs x
1
= s para todo x G, lo cual se
verica si y slo si s Z(G). Separando estas rbitas tenemos:
Corolario 31.6 (Frmula de clases).
|G| =|Z(G)| +

s
/
[G : C
G
(s )]
donde la suma se toma sobre el conjunto
/
de representantes de clases que
tienen mas de un elemento.
La frmula de clases admite una generalizacin bastante til: Sea H G. Hace-
mos actuar a G sobre H por conjugacin: x h =xhx
1
.
El estabilizador de un elemento h H es G
h
=|x G | xhx
1
=0] =C
G
(h).
La frmula de descomposicin en rbitas nos da:
|H| =

h
[G : C
G
(h)]
donde es un conjunto de representantes de rbitas.
Una rbita tendr un slo elemento cuando G = C
G
(h) o sea cuando h Z =
Z(G).
As que el conjunto de rbitas con un elemento corresponden a los elementos
de H Z. Obtenemos
|H| =|H Z| +

h
/
[G : C
G
(h)]
donde
/
es un conjunto de representantes de rbitas con mas de un elemento. En
particular si H es nito, [G : C
G
(h)] es nito para todo h H, aunque G no lo sea.
32. Aplicaciones: p-grupos
Sea p un primo.
Teorema 32.1 (Cauchy). SeaG un grupo nito tal que p divide al orden de G. Enton-
ces G tiene un subgrupo de orden p.
Denicin 32.2. Un grupoG se llama p-grupo si el orden de todo elemento de G es
una potencia de p.
Lema 32.3. Un grupo nito es un p-grupo si y slo si |G| es una potencia de p.
Teorema 32.4. Sea G un p-grupo, H un subgrupo nito normal no trivial de G. En-
tonces Z(G) H ,=1.
58
Corolario 32.5 (Teorema de Burnside). Cualquier p-grupo nito G tiene centro no
trivial.
Corolario 32.6. SeaG un p-grupo, H un subgrupo normal suyo de orden p. Entonces
H Z(G).
Teorema 32.7. Sea |G| =p
n
. Entonces |Z(G)| ,=p
n1
.
Corolario 32.8. Todo grupo de orden p
2
es abeliano
Como consecuencia de los teoremas de Sylow demostraremos los siguientes re-
sultados, que enunciamos aqu por completitud:
Teorema 32.9. Sea G un p-grupo nito y H _ G un subgrupo suyo. Entonces H _
N
G
(H).
Teorema 32.10. Sea |G| =p
n
. Para todo i =1, . . . , n 1 existe un subgrupo H de G de
orden p
i
.
Teorema 32.11. Sea |G| =p
n
. Todo subgrupo maximal H de G es de orden p
n1
y es
normal.
33. El teorema de Polya-Burnside
Vamos a obtener unresultado muy til enla matemtica combinatoria: SeaG un
grupo y S un G-conjunto, ambos nitos. Para cada x G llamamos c(x) al cardinal
del conjunto |s S | xs =s ] y llamamos S/G al conjunto cociente deS por la relacin
s t x G tal que s =xt . Entonces
Teorema 33.1 (Polya-Burnside).
|G| |S/G| =

xG
c(x)
Demostracin. Consideramos el conjunto X =|(x, s ) G S | x s =s ]. Calculamos
su cardinal de dos maneras:
Sumando primero en g G obtenemos
|X| =

xG
||s S | x s =s ]| =

xG
c(x)
Al sumar primero en s S obtenemos
|X| =

s S
||x G | x s =s ]| =

s S
|St ab
G
(s )|
59
Demostracin. Pero los estabilizadores de elementos de la misma rbita son conju-
gados, por tanto isomorfos y tienen el mismo orden. Adems, elorden de la rbita de
todo s S es [G : St ab(s )]. Agrupamos en la ltima suma los elementos de la misma
rbita y obtenemos:
|X| =

s S/G

t s
|St ab(s )| =

s S/G
[G : St ab(s )] |St ab(s )| =

s S/G
|G| =|S/G| |G|
Corolario 33.2. El nmero de clases conjugadas en un grupo nito G es

xG
1
[G : C
G
(x)]
Demostracin. Aplicar el teorema 33.1 al primero de los ejemplos 30.7. Entonces
c(x) =||g G | g x =x g ]| =|C
G
(x)|. As que el nmero de clases de conjugacin es
|S/G| =
1
|G|

xG
|C
G
(x)| =

xG
|C
G
(x)|
|G|
=

xG
1
[G : C
G
(x)]
Polya enunci su teorema para determinar el nmero de ismeros de un com-
puesto qumico. Una ilustracin sencilla sera la siguiente:
Ejemplo 33.3. Vamos a determinar el nmero de maneras distintas de colocar cua-
tro bolas blancas y otras cuatro negras en los vrtices de un cubo.
En este caso el conjuntoS es el nmero total de elecciones de cuatro vrtices (las
bolas blancas) del conjunto de los ocho vrtices del cubo, as que |S| =
_
8
4
_
=70.
El grupo G es el grupo de rotaciones del cubo. Este grupo es isomorfo a S
4
, as
que |G| =24. Los elementos del grupo G son:
La identidad, para la cual c(g ) =|S| =70.
Ocho rotaciones de ngulo 2/3 alrededor de las diagonales del cubo. Cada
una de ellas descompone el conjunto de vrtices en cuatro rbitas, dos de
cardinal uno y dos de cardinal tres. Como los elementos de cada rbita deben
ser del mismo color para que s sea jo bajo est rotaciones, obtenemos que
c(g ) =4 para cada una de ellas.
Seis rotaciones de ngulo 2/4 alrededor de los ejes que unen los puntos me-
dios de las caras. Para cada una de ellas c(g ) =2.
Tres rotaciones de ngulo alrededor de los mismos ejes del apartado ante-
rior. Para estas rotaciones c(g ) =
_
4
2
_
=6
60
Seis rotaciones de ngulo alrededor de los ejes que unen los puntos medios
de aristas opuestas. Tambin para estas rotaciones se verica que c(g ) =
_
4
2
_
=
6
Sumandolo todo obtenemos

g G
c(g ) =70+8 4+6 2+3 6+6 6 =168
Aplicando el teorema de Polya existen |S/G| =168/24 =7 rbitas (que son las con-
guraciones no equivalentes).
61
34. Teoremas de Sylow
34.1. Primer teorema
Sea G un grupo nito de orden |G| = n, y sea p un primo.
Teorema 34.1. (Primer Teorema de Sylow): Para toda potencia p
i
| n existe un sub-
grupo H <G de orden |H| = p
i
.
Demostracin. Induccin sobre i . Si i =0 tomamos H =1. Sea ahora i >0 y supon-
gamos el teorema cierto para toda potencia p
j
con j <i . Ahora hacemos induccin
sobre |G|. Si |G| =p
i
tomamos H =G. Sea |G| >p
i
y supongamos cierto el teorema
para todo grupo de orden menor. Distinguimos dos casos:
K <G tal que p | [G : K]. Por la hiptesis de induccin, H < K <G tal que
|H| =p
i
.
K <G, p | [G : K]. Consideramos la frmula de clases, y despejamos el pri-
mer trmino:
|Z(G)| =|G|

[G : N
G
(x)]
Demostracin. Todos los trminos del segundo miembro son divisibles por p, as
que el primer miembro tambin es divisible por p.
Por el teorema de Cauchy, K <Z(G) (y por tanto normal en G) tal que |K| = p.
Consideramos el grupo cociente G/K.
|G/K| =|G|/|K| =|G|/p es divisible por p
i 1
y por tanto existe un subgrupo suyo
L de orden p
i 1
.
Por la correspondencia entre los subgrupos de un cociente y los del grupo origi-
nal, H <G tal queH >K y L =H/K.
Pero por el teorema de Lagrange, su orden ser:
|H| =|H/K||K| =p
i 1
p =p
i
Denicin 34.2. Sea p
k
la mxima potencia de p que divide al orden de G. Todo
subgrupo H de G tal que |H| =p
k
se llama p-subgrupo de Sylow de G.
Corolario 34.3. (Primer teorema de Sylow sensu stricto) Para todo grupo nito
G y todo primo p existe un p-subgrupo de Sylow de G.
34.2. Segundo teorema
Lema 34.4. Sea P un p-subgrupo de Sylow de G y sea H un p-subgrupo del normali-
zador N
G
(P). Entonces H P
62
Demostracin. Por el segundo teorema de isomorfa,
HP
P

=
H
H P
y por tanto [HP : P] =[H : HP] es un divisor comn de [G : P] y |P| que son primos
relativos. Luego [HP : P] =1, HP =P, lo que implica H P.
Segundo teorema de Sylow
Teorema 34.5. Sea |G| = n = p
k
m con (p, m) = 1. Llamamos n
p
al nmero de p-
subgrupos de Sylow del grupo G.
1. Todo p-subgrupo de G est contenido en un p-subgrupo de Sylow
2. Todos los p-subgrupos de Sylow son conjugados entre s.
3. n
p
| m y n
p
1 (m od p)
Demostracin. Sea S = Sy l
p
(G) = |P|P es un p-subgrupo de Sylow de G], y sea H
un p-subgrupo arbitrario de G. Hacemos actuar a G sobre S por conjugacin. Sea
P
1
un p-subgrupo de Sylow cualquiera y sea T =o(P
1
) su rbita bajo la accin de G.
Sabemos que |T| =[G : N
G
(P
1
)] | [G : P
1
] =m y por tanto es primo relativo con p.
Consideramos ahora la restriccin a H de la accin anterior. Por la frmula de
descomposicin en rbitas,
|T| =

[H : St ab
H
(P)]
St ab
H
(P) =N
G
(P)H <N
G
(P) y es unp-grupo. Por el lema anterior, N
G
(P)H <
P y por tanto St ab
H
(P) =N
G
(P) H =P H. Nos queda |T| =

[H : P H].
Demostracin. Todos los sumandos del segundo miembro sondivisores de |H| y por
tanto son potencias de p. Como el primer miembro no es divisible por p, existe un
P T tal que [H : P H] = 1. As que H = H P. luego H P con lo que hemos de-
mostrado el primer punto. Observese que el grupo P que contiene a H es conjugado
a P
1
que es arbitrario.
Demostracin. Sean ahora P
1
y P
2
dos p-subgrupos de Sylow arbitrarios. En
la demostracin anterior tomamos H = P
2
y obtenemos que P
2
P que es
conjugado a P
1
. Contando rdenes, P
2
= P. con lo que obtenemos el punto 2.
Obsrvese que esto implica que S =T.
n
p
=|S| =|T| =[G : N
G
(P)] | [G : P] =m. Para demostrar la segunda condicin,
tomamos H =P
1
en la accin arriba descrita. Entonces P
1
P P
1
=P y por
tanto hay una nica rbita con un elemento y todas las dems tienen cardinal
divisible por p, as que n
p
1 (m od p).
Corolario 34.6. Sea P un p-subgrupo de Sylow de G. Entonces son equivalentes:
63
1. P es el nico p-subgrupo de Sylow de G.
2. P es un subgrupo caracterstico de G.
3. P es un subgrupo normal de G.
Demostracin. Si (1) vale, entonces para todo automorsmo f de G, f (P) es un p-
subgrupo de Sylow de G y por tanto, f (P) =P. Todo subgrupo caracterstico es nor-
mal, as que (2) (3). Finalmente, si P es normal, es su nico conjugado. Por el
segundo teorema de Sylow, es el nico p-subgrupo de Sylow de G.
35. Ejemplos
Ejemplo 35.1. Si p no divide al orden de G, el nico p-subgrupo de Sylow de G es
el grupo trivial (y todas las partes del segundo teorema de Sylow son triviales). Si
|G| =p
k
, entonces el mismo G es su nico p-subgrupo de Sylow.
Ejemplo 35.2. Un grupo abeliano nito tiene un nico p-subgrupo de Sylow para
cada primo p. Este subgrupo est formado por todos los elementos cuyo orden es
una potencia de p y se llama la componente p-primaria del grupo abeliano.
Ejemplo 35.3. S
3
tiene tres 2-subgrupos de Sylow: <(12) >, <(13) >y <(23) >. Tiene
un nico (por tanto normal) 3-subgrupo de Sylow: <(123) > = A
3
. Ntese que 3 1
(m od 2).
Ejemplo 35.4. A
4
tiene un nico 2-subgrupo de Sylow: < (12)(34), (13)(24) > = V.
Tiene cuatro 3-subgrupos de Sylow: < (123) >, < (124) >, < (134) > y < (234) >.
Ntese que 4 1 (m od 3).
Ejemplo 35.5. S
4
tiene n
2
= 3 y n
3
= 4. Ya que S
4
contiene un subgrupo isomorfo a
D
4
, todo 2-subgrupo de Sylow de S
4
es isomorfo a D
4
.
Ejemplo 35.6. Sea p un primo. Todo p-subgrupo de S
p
tiene orden p, es cclico y
contiene p1 ciclos de longitudp, todos ellos generadores. El nmero total de ciclos
de longitud p en S
p
es (p 1)!, as que en este caso n
p
=(p 2)!. Este es tambin el
ndice [S
p
: N
Sp
(P)] siendo P un p-subgrupo de Sylow. Por el teorema de Lagrange,
|N
Sp
(P)| =p(p 1).
Calculamos ahora el centralizador (luego nos har falta): C
Sp
(P) si y slo
si C
Sp
((i
1
. . . i
p
)) para cualquier ciclo no trivial de P. Como todos los ciclos de
longitud p son conjugados enS
p
, [S
p
: C
Sp
(P)] =(p 1)!, luego |C
Sp
(P)| =p y como P
es abeliano, P =C
Sp
(P) es un subgrupo propio de N
Sp
(P).
Ejemplo 35.7. Sea p un primo y G =GL
2
(Z
p
).
Calculemos |G|: Una matriz es invertible si y slo si las las son vectores lineal-
mente independientes. La primera la puede ser cualquiera de los p
2
1 vectores
no nulos de Z
2
p
. La segunda la es uno de los p
2
p vectores que no estn en la recta
vectorial generada por la primera, as que en total tenemos |G| = (p
2
1)(p
2
p) =
p(p 1)
2
(p +1).
La mxima potencia de p que divide a |G| es exactamente p, as que todo p-
subgrupo de Sylow de G tiene orden p y es cclico.
64
H = |
_
1 a
0 1
_
| a Z
p
] y K = |
_
1 0
a 1
_
| a Z
p
] son dos subgrupos distintos de G de
orden p, luego n
p
p +1.
D = |
_
a 0
0 b
_
| a, b Z

p
] normaliza a H, |D| = (p 1)
2
y D H = 1, luego DH es
un subgrupo de N
G
(H) y |N
G
(H)| |DH| = p(p 1)
2
. De donde n
p
= [G : N
G
(H)] =
|G|
|NG (H)|
p +1. En resumen, n
p
=p +1, N
G
(H) =DH.
36. Grupos solubles
Grupos solubles
Para la clase de los grupos solubles es posible generalizar los teoremas de Sylow.
Nos limitamos a dar el siguiente enunciado
Teorema 36.1 (Hall). Sea G un grupo soluble de orden mk con m, k naturales tales
que m. c. d.(m, k) =1. Entonces:
1. G posee al menos un subgrupo de orden m.
2. Dos subgrupos cualesquiera de orden m son conjugados.
3. Cualquier subgrupo cuyo orden m
/
divida a m est contenido en un subgrupo
de orden m.
4. El nmero n
m
de subgrupos de orden m puede expresarse como un producto de
factores cada uno de los cuales es congruente con 1 mdulo algn factor primo
de m y es una potencia de un primo y divide a alguno de los factores principales
de G.
La primera propiedad anterior caracteriza a los grupos solubles:
Teorema 36.2. Un grupo nito G es soluble si y slo si para toda descomposicin
|G| =mk con m. c. d.(m, k) =1 existe un subgrupo H <G de orden m.
37. Aplicaciones
Aplicaciones
Muchas de las aplicaciones de los teoremas de Sylow consisten en demostrar
que un grupo de un orden dado no es simple, es decir que tiene subgrupos norma-
les propios. Para grupos de ordenpequeo, confrecuencia es suciente la condicin
de congruencia del segundo teorema de Sylow para forzar la existencia de un sub-
grupo normal, pero a veces se requiere un anlisis de la interaccin de los diversos
primos que dividen al orden del grupo, anlisis del que se deduce la existencia de
un subgrupo normal.
El primer paso en cualquier aplicacin numrica de los teoremas de Sylow es
hallar la descomposicin en factores primos del orden del grupo. Los divisores pri-
mos mayores tienden a dar el menor valor a n
p
(por ejemplo la congruencia sobre
n
2
no restringe nada), lo cual limita la estructura posible del grupo G.
65
37.1. Grupos de orden pq, con p y q primos, p <q
Grupos de orden pq, con p y q primos, p <q
Sea |G| =pq. Sea P Sy l
p
(G) y sea Q Sy l
q
(G). Las condiciones n
q
| p y n
q
1
(m od q) fuerzan n
q
=1, as queQ G.
Como n
p
| q, las nicas posibilidades son n
p
= 1 y n
p
=q, y sta ltima slo se
puede dar si p|(q 1).
Los grupos P y Q tienen orden primo y por tanto son cclicos. Sean P =< y >,
Q =< x >. Si n
p
= 1, P G, PQ = G, x e y conmutan y tenemos G =< x, y | x
q
=
1, y
p
= 1, xy = y x > que es un grupo cclico de orden pq. En particular, si p no
divide a q 1, existe un nico grupo de orden pq. esto ocurre por ejemplo para
|G| =15.
Si p | (q 1), veremos mas adelante que existe un nico grupo no abeliano de
orden pq. Ahora slo podemos demostrar la existencia: Sea Q un q-subgrupo de
Sylow de S
q
. Por el penltimo ejemplo de la seccin anterior, |N
Sq
(Q)| = q(q 1).
Por el teorema de Cauchy, P < N
Sq
(Q) tal que |P| = p. Por el segundo teorema de
isomorfa, PQ < N
Sq
(Q) y |PQ| = pq. Como C
Sq
(Q) = Q ,= PQ, PQ es un grupo no
abeliano.
37.2. Grupos de orden 30
Grupos de orden 30
Sea G un grupo de orden 30, sean P Sy l
3
(G) y Q Sy l
5
(G). Supongamos que
ninguno de ellos es normal. Entonces n
3
= 10, n
5
= 6. Cada elemento de orden 5
est en un 5-subgrupo de Sylowde G, cada 5-subgrupo de Sylowde G contiene cua-
tro elementos de orden 5 y la interseccin de dos 5-subgrupos de Sylow distintos es
trivial. As que G contiene 4 6 = 24 elementos de orden 5. Anlogamente G contie-
ne 2 10 = 20 elementos de orden 3. Luego G contiene por lo menos 24 + 20 = 44
elementos distintos. PeroG slo tiene 30 elementos, contradiccin. As que o n
3
=1
o n
5
= 1. Pero entonces P G o Q G. En cualquier caso, PQ < G, |PQ| = 15 por
el segundo teorema de isomorfa, y es normal por ser [G : PQ] = 2. Pero entonces
ambos P y Q son subgrupos caractersticos de PQ y por tanto ambos son normales
en G. Ms adelante (cuando estudiemos el producto semidirecto) veremos que hay
exactamente cuatro grupos de orden 30 salvo isomorsmo.
37.3. Grupos de orden pqr , p <q <r primos distintos
Grupos de orden pqr , p <q <r primos distintos
Sea |G| = pqr . En primer lugar veamos que G tiene un subgrupo de Sylow nor-
mal: Si no fuera as, tendramos n
r
= pq, n
p
q, n
q
r . Contamos elementos de
orden primo:
nmero de elementos de orden 1 = 1
nmero de elementos de orden r = pq(r 1)
nmero de elementos de orden p q(p 1)
nmero de elementos de orden q r (q 1)
nmero de elementos de G pqr +(r 1)(q 1) > pqr
66
Lo cual es imposible. Ahora podemos demostrar: Para todo grupo de orden pqr
con p <q <r primos distintos, n
r
=1. Para verlo, sabemos que uno de los subgrupos
de Sylow es normal. Si n
p
=1, sea P el p-subgrupo de Sylow. |G/P| =qr luego

K
G/P tal que |

K| = r ;

K = K/P con K G y |K| = pr . R < K nico tal que |R| = r .
R es caracterstico en K que por su parte es normal en G. Luego R G. El mismo
razonamiento se aplica si n
q
=1. Luego en cualquier caso, n
r
=1.
Esta tcnica de contar elementos de distintos rdenes se usa con mucha fre-
cuencia, y funciona particularmente bien cuando los p-subgrupos de Sylow tie-
nen orden p (como en este ejemplo), ya que entonces la interseccin de dos p-
subgrupos distintos es la identidad. Si el orden de los p-subgrupos de Sylow es p
i
con i > 1, es necesario mayor cuidado al contar, ya que p-subgrupos de Sylow dis-
tintos pueden tener interseccin no trivial.
37.4. Grupos de orden 12
Grupos de orden 12
Sea G un grupo de orden 12. Vamos a ver que o bien G tiene un 3-subgrupo de
Sylow normal o bienG

=A
4
(en cuyo casoG tiene un 2-subgrupo de Sylow normal).
Mas adelante usaremos esta informacin para clasicar los grupos de orden 12.
Supongamos n
3
,= 1 (por tanto n
3
= 4), y sea P Sy l
3
(G). Consideramos la ac-
cin de G sobre G/P por traslacin por la izquierda. Obtenemos un homomorsmo
: G S
4
cuyo ncleo est contenido en P. Como P no es normal en G y tiene or-
den tres, el ncleo de es trivial y es inyectivo. Su imagen ser un subgrupo de S
4
de orden 12, necesariamente A
4
. Obsrvese que para ste grupo tenemos n
2
=1.
Este resultado puede obtenerse tambin mediante la accin por conjugacin:
Hacemos actuar aG sobreSy l
3
(G) por conjugacin. Obtenemos un homomorsmo
: G S
4
cuyo ncleo es la interseccin de todos los normalizadores de subgrupos
de orden 3. Para cada uno de stos tenemos N
G
(P) = P (ya que [G : N
G
(P)] = 4), y
como los P son distintos y de orden 3, el ncleo de es trivial.
37.5. Grupos de orden 24
Grupos de orden 24
El razonamiento del prrafo anterior puede generalizarse para obtener el si-
guiente resultado: Sea G un grupo de orden 24. Entonces n
3
=1 n
2
=1 G

=S
4
.
Supongamos n
3
,= 1 (por tanto n
3
= 4), y sea P Sy l
3
(G). Tomamos la accin
de G sobre Sy l
3
(G) por conjugacin. Obtenemos un homomorsmo : G S
4
cuya imagen es un subgrupo transitivo de S
4
y por tanto 4 | |I m()|. Por el primer
teorema de isomorfa, |Ke r ()| | 6. Si |Ke r ()| = 3 6, G tendra un 3-subgrupo de
Sylow normal en contra de la hiptesis.
As que quedan dos posibilidades:
|Ke r ()| =2. Entonces |I m()| =12, I m() =A
4
que tiene unnico subgrupo
de orden 4 (que es normal). Su imagen inversa bajo es un subgrupo normal
de G de orden 8, as que n
2
=1.
|Ke r ()| =1. Entonces I m() =S
4
, y G

=S
4
.
67
37.6. Grupos de orden p
2
q, p y q primos distintos
Grupos de orden p
2
q, p y q primos distintos
Sea G un grupo de orden p
2
q. Demostraremos que G tiene un subgrupo de Sy-
low normal. Sea P Sy l
p
(G) y seaQ Sy l
q
(G).
Sea p >q. Ya que n
p
| q y n
p
=1+kp, debe ser n
p
=1. As que P G.
Sea ahora p < q. Si n
q
= 1, Q es normal en G. Supongamos n
q
> 1. Como
q >p, tiene que ser n
q
=p
2
. Adems, q | (p
2
1) y como q es primo, q | (p 1)
o bien q | (p +1). Lo primero es imposible as que q | (p +1) y como q > p,
q = p +1. Esto fuerza p = 2, q = 3 y |G| = 12. Pero este caso ya lo hemos
tratado antes. En particular todo grupo con |G| =20 tiene n
5
=1.
Finalmente si q | (p
2
1) y p | (q 1), entonces n
q
= n
p
= 1, el p-subgrupo
de Sylow y el q-subgrupo de Sylow de G son abelianos y conmutan elemen-
to a elemento, luego G es abeliano. Para un tal n slo hay dos grupos salvo
isomorsmo. Esto ocurre, p.e., para |G| =45.
37.7. Grupos de orden 36
Grupos de orden 36
En los ejemplos considerados hasta ahora hemos deducido la existencia de un
subgrupo de Sylow normal. Vamos a ver que a veces, como en este caso, podemos
deducir la existencia de un subgrupo normal propio, aunque no necesariamente de
Sylow: Si G es un grupo de orden 36, entonces n
3
= 1 H G tal que |H| = 3. Para
verlo, supongamos n
3
= 4 (el nico valor posible distinto de 1, segn el segundo
teorema de Sylow). La accin por conjugacin de G sobre S = Sy l
3
(G) nos da un
homomorsmo no trivial : G S
4
. Considerando el posible orden de la imagen y
usando el primer teorema de isomorfa, obtenemos |Ke r ()| = 3 9. En el ltimo
caso n
3
=1 contra la hiptesis, as que |Ke r ()| = 3, y H =Ke r () es normal enG.
Si n
3
=4, el homomorsmo nos permite estudiar con mas detalle la estructura
de G: Obsrvese que I m()

=A
4
y que A
4
contiene un nico subgrupo normal V de
orden 4, isomorfo a Z
2
Z
2
. K =
1
(V) es un subgrupo normal de G de orden 12.
Adems K contiene un subgrupo normal H de orden 3 y todos los 2-subgrupos de
Sylowde G, que son isomorfos a V. Esto nos deja como nicas posibilidades K

=D
6
K

=Z
6
Z
2
.
Pero en el primer caso D
6
(y por tanto K) contiene un subgrupo caracterstico
de orden 6, que ser normal en G (ya que K es normal en G), y su imagen bajo
ser un subgrupo normal de A
4
de orden 2. Pero A
4
no tiene subgrupos normales de
orden 2, contradiccin. Luego K es abeliano y tiene un nico subgrupo de orden 4
que es el nico 2-subgrupo de Sylow de G. En resumen: Para todo grupo G de orden
36, n
3
=1 n
2
=1.
37.8. Grupos de orden p
2
q
2
, p y q primos con p <q
Grupos de orden p
2
q
2
, p y q primos con p <q
68
Vamos a demostrar:Todo grupo de orden p
2
q
2
tiene un subgrupo de Sylow nor-
mal. Si n
q
= 1 ya est. En otro caso, n
q
| p
2
y n
q
1 (m od q). Luego q | (p 1)
q | (p +1). Lo primero es imposible porque (p 1) < p <q y lo segundo slo es po-
sible si q = p +1. Como p y q son primos, es forzoso que p = 2 y q = 3. Pero este
caso ya lo hemos tratado. Obsrvese que como en casos anteriores, si p | (q
2
1) y
q | (p
2
1), G es abeliano. Para este ltimo caso existen exactamente cuatro grupos
salvo isomorsmos con orden p
2
q
2
.
37.9. Grupos de orden 60
Grupos de orden 60
Vamos a ver cmo podemos utilizar los teoremas de Sylow para investigar la es-
tructura de los grupos de un orden dado aunque para ese orden existan grupos sim-
ples. Obsrvense dos tcnicas: Iremos cambiando de un primo a otro y usaremos
inductivamente los resultados que hemos obtenido para grupos de orden menor
que 60.
Teorema 37.1. Si |G| = 60 y G tiene mas de un 5-subgrupo de Sylow, entonces G es
simple
Demostracin. Supongamos que |G| =60 y G tiene mas de un 5-subgrupo de Sylow,
pero que existe H G no trivial. Por el segundo teorema de Sylow, n
5
= 6. Sea P
Sy l
5
(G). Entonces |P| =5 y |N
G
(P)| =10.
Si 5 | |H| entonces H contiene un 5-subgrupo de Sylow y como es normal, los
contiene a todos. En particular |H| 1 +6 4 =25 y la nica posibilidad es |H| =30.
Pero antes hemos visto que cualquier grupo de orden 30 tiene un nico 5-subgrupo
de Sylow. Luego 5 | |H| para todo subgrupo normal propio de G.
Demostracin. Si |H| = 6 12, H tiene un subgrupo de Sylow normal (por tanto
caracterstico) que es tambin normal en G. Reemplazando H por este grupo nos
hemos reducido al caso |H| = 2, 3 4. Sea

G = G/H, as que |

G| = 30, 20 15. En
todos los casos,

G tiene un subgrupo normal

P de orden 5 por los resultados previos.
Llamemos K a la preimagen de

P en G, de forma que K G, K ,= G y 5 | |K|. Esto
contradice el prrafo precedente.
Corolario 37.2. A
5
es simple
Demostracin. Los subgrupos < (1 2 3 4 5 ) > y < (1 3 2 4 5) > son 5-subgrupos de
Sylow distintos de A
5
.
Teorema 37.3. Si G es un grupo simple de orden 60, entonces G

=A
5
Demostracin. SeaG un grupo simple de orden 60, sea P Sy l
2
(G) y sea N =N
G
(P),
as que [G : N] =n
2
= 3, 5 15.
En primer lugar, G no tiene ningn subgrupo propio H de ndice menor que 5:
Si H fuera un subgrupo de ndice 4, 3 2, considerando la accin por la izquierda
de G sobre G/H obtendramos un homomorsmo no trivial de G enS
n
, n = 4, 3 2,
con ncleo K normal enG y distinto de G, as que K = 1. Pero 60 (= |G|) no divide a
4!. En particular, este argumento muestra que n
2
,=3.
69
Demostracin. Si n
2
=5, entonces N tiene ndice 5 enG, y la accin de G mediante
multiplicacin por la izquierda sobre G/N nos da un homomorsmoG S
5
. Como
G es simple, el ncleo es 1 y G es isomorfo a un subgrupo de S
5
. Identicamos G
con ste subgrupo. Si G , A
5
, entonces GA
5
=S
5
y por el segundo teorema de iso-
morsmo, [G : G A
5
] = 2 en contradiccin con el prrafo anterior. Luego G A
5
y
contando rdenes, G =A
5
como queremos.
Demostracin. Finalmente sea n
2
= 15. Si para todo par P,Q Sy l
2
(G), P Q = 1,
entonces el nmero de elementos no identidad en todos ellos sera (4 1) 15 =45.
Pero n
5
= 6 y el nmero de elementos de G de orden 5 es (5 1) 6 = 24 y en total
|G| 24 +45 = 69. Esta contradiccin prueba que P,Q Sy l
2
(G) con |P Q| = 2.
Sea M = N
G
(P Q). Ya que P y Q son abelianos (tienen orden 4), P Q es normal
en ambos y ambos son subgrupos de M. Por lo tanto 4 | |M|. Aplicando el segundo
teorema de Sylow a M, n
2
(M) es impar, es estrictamente mayor que 1 y divide a |M|.
La nica posibilidad es |M| =12, [G : M] =5 y el argumento del prrafo anterior con
M en lugar de N nos da G

=A
5
. Esto nos lleva a una contradiccin ya que n
2
(A
5
) =
5.
38. Simplicidad de A
n
Simplicidad de A
n
Teorema 38.1. (Teorema de Abel). A
n
es simple para todo n 5.
Demostracin. Por induccin sobre n. Si n =5, es el corolario demostrado en el l-
timo ejemplo de la seccinanterior. Sea ahora n >5 y supongamos el teorema cierto
para n 1. Para i =1, . . . , n sea G
i
=|A
n
| (i ) =i ]. Todos los G
i
son conjugados
entre s e isomorfos a A
n1
, luego son simples. Sea H un subgrupo normal de A
n
y consideramos H G
i
G
i
. Luego H G
i
= 1 H G
i
= G
i
. En este ltimo caso,
j , A
n
tal que H = H
1
G
i

1
=G
j
, y H G
1
G
n
= A
n
. As que si
H ,=A
n
ha de ser i , H G
i
=1.
Demostracin. Supongamos que H ,= 1, y sea H, ,= 1. Descomponemos en
ciclos disjuntos:
=(i
1
i
2
. . . )(. . . ) . . .
Supongamos que algn ciclo (p.e. el primero) tiene una longitud mayor que dos,
es decir que (i
2
) =i
3
,=i
1
.
Como n > 5, sean i
4
, i
5
,= i
1
, i
2
, i
3
y sea = (i
3
i
4
i
5
) A
n
. Entonces
1
H
y
1
(i
1
) = i
2
= (i
1
),
1
(i
2
) = i
4
,= i
3
= (i
2
) luego 1 ,=
1

1
H,
H G
i 1
,=1, contradiccin.
As que en la descomposicin anterior todos los ciclos tienen longitud 2, son
disjuntos y mueven todo i . Como n > 5 ser = (i
1
i
2
)(i
3
i
4
)(i
5
i
6
) . . . . Sea ahora
=(i
1
i
2
)(i
3
i
5
). Entonces
1

1
,=1,
1

1
(i
1
) =i
1
, otra vez contradiccin.
Luego H =1 y A
n
es simple.
70
39. Resumen de tcnicas.
Resumen de tcnicas.
Como ya dijimos antes, la aplicacin principal de los teoremas de Sylow es de-
mostrar que para unn dado, todo grupo de ordenn posee unsubgrupo normal. Para
los n pequeos muchas veces son sucientes las condiciones sobre n
p
dadas por el
segundo teorema de Sylow. Pero a veces es necesario un estudio mas no. En esta
seccin resumimos algunas de las tcnicas mas sencillas para mostrar la existencia
de subgrupos normales de un grupo de orden dado.
39.1. Contar elementos
Contar elementos
Sea G un grupo de orden n, sea p un primo divisor de n y sea P Sy l
p
(G). Si
|P| =p, todo elemento no identidad de P tiene orden p y todo elemento de orden p
est en algn conjugado de P. Por el teorema de Lagrange, conjugados distintos de
P intersecan en la identidad, luego el nmero de elementos de orden p es n
p
(p 1).
Si los p-subgrupos de Sylow de G para diferentes primos p tienen orden primo
y suponemos que ninguno de ellos es normal, puede ocurrir que el nmero total
de elementos de orden primo sea mayor que |G|. Esta contradiccin muestra que al
menos uno de los n
p
debe ser 1. Este es el argumento que hemos usado para mostrar
que no hay grupos simples de orden 30.
A veces la cuenta de elementos de orden primo no produce demasiados elemen-
tos, pero quedan tan pocos elementos restantes que debe existir un subgrupo nor-
mal formado por ellos. As se puede demostrar que enungrupo de orden12, n
2
=1
n
3
= 1. Esta tcnica funciona especialmente bien cuando G tiene un p-subgrupo
de Sylow P de orden p tal que n
p
=
|G|
p
, por ejemplo |G| = 56 80.
39.2. Considerar subgrupos de ndice pequeo.
Considerar subgrupos de ndice pequeo.
Recurdese que si G tiene un subgrupo H de ndice k, la accin por traslacin
sobre las clases por la izquierdaG/H origina unhomomorsmoG S
k
cuyo ncleo
est contenido en H. Si k > 1, este ncleo es un subgrupo normal de G distinto
de G, y si G es simple debe ser la identidad. Entonces por el primer teorema de
isomorsmo, G

= L <S
k
y en particular, |G| | k!. Este argumento muestra que si k
es el mnimo entero tal que |G| | k! y G es un grupo nito simple, entonces G no
contiene subgrupos de ndice menor que k. En los ejemplos ese k es usualmente
muy fcil de calcular: El mayor primo p que divide a |G| aparece con exponente 1
2, y k =p 2p respectivamente. Hemos usado esta tcnica en el segundo prrafo de
la demostracin del teorema 4 (G era un grupo simple de orden 60).
39.3. Representacin por permutaciones.
Representacin por permutaciones.
71
Este mtodo es un renamiento del anterior. Si G contiene un subgrupo H de
orden k, obtenemos un homomorsmo : G S
k
cuya imagen es un subgrupo
transitivo y de las propiedades de I m() deducimos propiedades de los elementos
y los subgrupos de G. Por ejemplo, si G es simple y contiene un elemento o sub-
grupo de un orden particular, tambin debe contenerlo S
k
. O bien: Si P Sy l
p
(G)
y P es tambin un p-subgrupo de Sylow de S
k
, entonces |N
G
(P)| divide s |N
Sk
(P)|.
Esta condicin es muy til cuando p es un primo y k = p p +1. Nosotros hemos
utilizado este mtodo en el estudio de los grupos de orden 60.
Una variante consiste en tomar un primo p tal que n
p
,=1 y considerar la accin
por conjugacin sobre S =Sy l
p
(G). Obtenemos ahora un homomorsmo : G
S
np
y estudiamos la existencia de un subgrupo normal (Ke r ()) y las propiedades
de I m(). Hemos utilizado esta tcnica conlos grupos de orden12, 24 y 36. Tambin
es aplicable a las grupos de orden 48, 72 y 96.
A veces se puede mejorar un poquito este mtodo trabajando en A
k
en lugar de
S
k
.
39.4. Considerar p-subgrupos para primos p distintos.
Considerar p-subgrupos para primos p distintos.
Sean p y q dos primos distintos tales que todo grupo de orden pq es cclico. Esto
es equivalente a p <q y p | (q 1). Si G tiene un q-subgrupo de SylowQ de orden q
y p | |N
G
(Q)|, por el teorema de Cauchy obtenemos P <N
G
(Q), |P| =p (ntese que P
no tiene que ser un p-subgrupo de Sylowde G). As PQ es un subgrupo, es abeliano,
est contenido en N
G
(P) y por tanto q | |N
G
(P)|. Esta informacin numrica puede
ser suciente para mostrar que N
G
(P) = G, es decir, P G, o al menos para forzar
que [G : N
G
(P)] sea menor que el ndice mnimo permitido por la representacin
por permutaciones.
Se puede renar este mtodo no requiriendo que P y Q sean de orden primo: Si
p y q son primos distintos que dividen a |G| y tales que Q Sy l
q
(G) y p | |N
G
(Q)|,
sea P Sy l
p
(N
G
(Q)). Podemos aplicar los teoremas de Sylow en N
G
(Q) para ver que
P N
G
(Q) y forzar que N
G
(P) tenga ndice pequeo. Si adems P es un p-subgrupo
de Sylow de G, podemos usar el segundo teorema de Sylow para restringir mas los
posibles valores de |N
G
(P)|. Por otra parte, si P no es un p-subgrupo de Sylow de G,
P < P
1
Sy l
p
(G) y en este caso, P _ N
P1
(P). Luego N
G
(P) (que contiene a N
P1
(P)
tiene orden divisible por una potencia de p estrictamente mayor que |P|, y adems
es divisible por |Q|.
39.5. Normalizadores de intersecciones de p-subgrupos de Sylow.
Normalizadores de intersecciones de p-subgrupos de Sylow.
Si P Sy l
p
(G) y |P| =p
i
, i 2, entonces los conjugados distintos de P puede que
intersecten en subgrupos no triviales y no podemos usar el argumento de contar
elementos. Sea R Sy l
p
(G) con R ,=P y P
0
=PR ,=1. Entonces P
0
_P, P
0
_R luego
P
0
_ N
P
(P
0
) y P
0
_ N
R
(P
0
). Se puede usar esto para demostrar que el normalizador
de P
0
enG es sucientemente grande.
72
Este mtodo funciona especialmente bien cuando |P| =p
a
y |P
0
| =p
a1
. En este
caso P
0
P, P
0
R, luego P, R < N
G
(P
0
) = N, y N tiene dos p-subgrupos de Sylow
distintos. Por el segundo teorema de Sylow, |N| = p
a
k donde k > p + 1. Hemos
usado esta forma de encontrar subgrupos en el ltimo prrafo de la demostracin
del teorema 4 (en los grupos de orden 60).
Recapitulando: Si P, R Sy l
p
(G) P R = 1, aplicamos el argumento de con-
tar elementos de orden potencia de p. En otro caso, existe una interseccin de p-
subgrupos de Sylow cuyo normalizador es grande. Para algunos ordenes de grupo
no podemos decidir cual de las dos situaciones se produce, pero podemos dividir el
argumento en dos casos y deducir la existencia de un subgrupo normal en cada uno
de ellos.
Vamos a establecer ahora una condicin suciente para tener una interseccin
grande:
Lema 39.1. Sea G un grupo nito y p un primo tales que n
p
,1 (m od p
2
). Entonces
existen P, R Sy l
p
(G) tales que [P : P R] =p, y por tanto P R P.
Demostracin. El argumentoes unrenamientode la demostracinde la congruen-
cia en el segundo teorema de Sylow: Hagamos actuar a P sobreS =Sy l
p
(G) por con-
jugacin. Consideramos la frmula de descomposicin en rbitas:
|S| =

[P : St ab
P
(Q)] =

[P : P Q]
Como en la demostracin del segundo teorema de Sylow,
[P : St ab
P
(Q)] =[P : P Q] =1 P =Q
y todos los dems ndices son potencias positivas de p. Si todos ellos fuesen divi-
sibles por p
2
, sera n
p
= |S| 1 (m od p
2
), en contradiccin con la hiptesis. Luego
existe un R tal que [P : P R] =p =[R : P R] lo que implica P R P y P R R.
73
Referencias
[1] A. Clark, Elementos de lgebra abstracta, Alhambra (1970)
[2] D. S. Dummit & R. M. Foote, Abstract Algebra, Wiley (2004)
[3] J. B. Fraleigh, lgebra abstracta, Addison-Wesley Iberoamericana (1987)
[4] J. A. Gallian, Contemporary Abstract Algebra 6th ed., Houghton-Mifin (2006)
[5] A.C.Hibbard, K.M. Levasseur, Exploring Abstract Algebra with Mathematica,
Springer (1999)
[6] N. Jacobson, Basic Algebra (2 vol.) Freeman (1985)
[7] A. Jones, S. Morris &K. P, Abstract Algebra and Famous Impossibilities, Springer-
Verlag New York (1994)
[8] A.I. Kostrikin, Introduccin al lgebra McGraw-Hill (1992)
[9] S. Lang, Algebra, 3rd edition, Addison-Wesley (1997)
[10] W. Paulsen Abstract Algebra, An interactive Approach, CRC Press (2009)
[11] J. J. Rotman, Advanced Modern Algebra, Prentice Hall (2002)
[12] J. J. Rotman, Galois Theory, Universitext, Springer-Verlag New York (1990)
[13] I. Stewart, Galois theory, Chapman Hall (1973)
[14] J. Swallow, Exploratory Galois Theory, Cambridge U. P. (2004)
74