Teoremas de P.

Hall
Caruso, Matas I.
Cochella, Agustn E.
Estructuras Algebraicas
Trabajo Final

Indice
1. Preliminares
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Anillos y cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Un
2.1.
2.2.
2.3.

1
1
4
5

poquito de teora de Galois

Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Grupo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7
7
7
12

3. El Teorema de Jordan-H
older
3.1. Zassenhaus y Schreier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Teorema de Jordan-Holder . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16
16
18

4. Grupos solubles
4.1. Otra definicion de solubilidad . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Una u
ltima definicion de solubilidad . . . . . . . . . . . . . . . . . . . . . . .

19
20
21

5. Teoremas de P. Hall
5.1. Primer teorema de Hall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Recproca del teorema de Hall . . . . . . . . . . . . . . . . . . . . . . . . . .

24
25
27

6. Ap
endice: El grupo alternado
6.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Simplicidad del grupo alternado . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
30

1.1. Grupos

1. Preliminares

Introducci
on
A lo largo de las siguientes paginas desarrollaremos la teora de grupos necesaria para
probar dos teoremas que funcionan a modo de una generalizacion de los teoremas de Sylow, conocidos como teoremas de Hall. Estos teoremas fueron demostrados en 1928 y 1937,
respectivamente, por el matematico ingles Philip Hall (1904-1958).

1.

Preliminares

La primera seccion esta destinada a resultados ya vistos, que tomaremos como base para
el resto del trabajo.

1.1.

Grupos

Definici
on 1.1.1. Un grupo (G, ) es un conjunto G equipado de una operacion binaria
que satisface:
1. (a b) c = a (b c) a, b, c G
2. Existe e G tal que e a = a e = a a G. Se dice que e G es el neutro del grupo.
3. Para todo a G existe un elemento a0 G tal que a a0 = a0 a = e. Se dice que a0 G
es el inverso de a, y como se puede probar que es u
nico, se lo suele anotar a1 .
Si a b = b a a, b G, decimos que G es abeliano.
Definici
on 1.1.2. Sean (G, ) y (H, +) dos grupos. Una funcion f : G H es un morfismo
de grupos si
f (a b) = f (a) + f (b) a, b G
Definici
on 1.1.3. Un subconjunto S de un grupo G es un subgrupo (de G) si s, t S
s1 S y st S. Suele usarse la notacion S G.
Un subgrupo S de G se dice propio si S 6= G y S 6= 1
Proposici
on 1.1.4. Sea I un conjunto de ndices y sea Hi G para cada i I. Entonces,
T
H

G.
i
iI
Definici
on 1.1.5. Sea S G. Entonces, hSi denota la interseccion de todos los subgrupos
de G que contienen a S. El subgrupo hSi es llamado subgrupo generado por S. Si S = {a},
anotamos G = hai.
Definici
on 1.1.6. Sea S G. Definimos el ndice de S en G, notado [G : S], como el
n
umero de coclases a derecha de S en G.
Definici
on 1.1.7. Sea G un grupo finito. Definimos su orden, notado |G|, como el n
umero
de elementos de G.
Si G es un grupo y a G, definimos el orden de a, notado |hai|, como el n
umero de
elementos de hai.
1

1.1. Grupos

1. Preliminares

Teorema 1.1.8 (Lagrange). Si G es un grupo finito y S G, entonces |S| divide a |G| y

[G : S] = |G|/|S|.
Definici
on 1.1.9. Un grupo G se dice cclico si G = hai.
Observaci
on 1.1.10. Dos grupos cclicos de orden n son isomorfos.
Definici
on 1.1.11. Sea S G y sea t G. Definimos una coclase a derecha de S en G
como el subconjunto
St = {st : s S}
Analogamente, una coclase a izquierda es un subconjunto tS = {ts : s S}. A t se lo suele
llamar representante de St (y de tS).
Definici
on 1.1.12. Un subgrupo K G es un subgrupo normal, notado K C G, si gKg 1 =
K para todo g G.
Definici
on 1.1.13. Dos elementos a y b de un grupo G se dicen conjugados si a = xbx1
para alg
un x G.
Esto define una relacion de equivalencia en G, cuyas clases de equivalencia son llamadas
clases de conjugacion.
Observaci
on 1.1.14. La normalidad no es transitiva.
Definici
on 1.1.15. Dado un subgrupo H de un grupo G, definimos la clausura normal de
H, notada H G , como la interseccion de todos los subgrupos normales de G que contienen a
H.
Definici
on 1.1.16. Un subgrupo H de un grupo G se dice contranormal en G si H G = G.
Definici
on 1.1.17. Un grupo G se dice simple si no tiene subgrupos normales no triviales.
Proposici
on 1.1.18. Si G es un grupo finito abeliano simple, entonces G es cclico de orden
primo.
Proposici
on 1.1.19. Sea f : G H un morfismo de grupos. Entonces, ker f C G.
Teorema 1.1.20 (Primer teorema del isomorfismo). Sea f : G H un morfismo de
grupos con ker f = K. Entonces, G/K
= Im(f ).
Teorema 1.1.21 (Segundo teorema del isomorfismo). Sean H y N subgrupos de G con
N C G. Entonces, H N C H y H/(H N )
= HN/N .
Teorema 1.1.22 (Tercer teorema del isomorfismo). Sean K H G donde H y K son
subgrupos normales de G. Entonces, H/K es un subgrupo normal de G/K y
G/K
= G/H
H/K

1.1. Grupos

1. Preliminares

Teorema 1.1.23 (Teorema de correspondencia). Sea K C G y sea v : G G/K el mapeo

natural. Entonces, S 7 v(S) = S/K es una biyeccion entre la familia de todos los subgrupos
S de G que contienen a K y la familia de todos los subgrupos de G/K. Mas aun, si notamos
S/K como S , entonces:
1. T S sii T S , y entonces [S : T ] = [S : T ].
2. T C S sii T C S , y entonces S/T
= S /T .
Teorema 1.1.24 (Cauchy, 1845). Si G es un grupo finito cuyo orden es divisible por un
primo p, entonces G contiene un elemento de orden p.
Definici
on 1.1.25. Si H y K son grupos, definimos su producto directo, notado H K, es
el grupo cuyos elementos son los pares ordenados (h, k), donde h H y k K, junto con la
operacion
(h, k)(h0 , k 0 ) = (hh0 , kk 0 )
Teorema 1.1.26. Sea G un grupo con subgrupos normales H y K. Si HK = G y H K = 1,
entonces G
= H K.
Teorema 1.1.27. Si A C H y B C K, entonces A B C H K y
H K H K

=
AB
A
B
Corolario 1.1.28. Si G = H K, entonces G/(H 1)
= K.
Definici
on 1.1.29. Sea G un grupo y sea X un conjunto. Una accion de G en X es una
funcion : G X X, notada : (g, x) 7 gx, tal que
1. 1x = x x X
2. g(hx) = (gh)x g, h G x X.
Decimos que G act
ua transitivamente en X si x, y X existe g G tal que gx = y.
Definici
on 1.1.30. Si a, b G, el conmutador de a y b, notado [a, b], es [a, b] = aba1 b1
El subgrupo conmutador (o derivado) de G, notado G0 , es el subgrupo generado por todos
los conmutadores.
Teorema 1.1.31. El subgrupo conmutador G0 es un subgrupo normal de G. Mas a
un, si
0
H C G, entonces G/H es abeliano sii G H.
Definici
on 1.1.32. Si H G y g G, entonces el subgrupo conjugado gHg 1 es {ghg 1 :
h H}.
Definici
on 1.1.33.
1. Si p es primo, un grupo finito G es un p-grupo si |G| = pn para alg
un n 1.
2. H es un p-subgrupo de un grupo G si H G y H es un p-grupo.
3

1.2. Anillos y cuerpos

1. Preliminares

Definici
on 1.1.34. Si p es un primo, un p-subgrupo de Sylow de un grupo G es un p-subgrupo
maximal.
Teorema 1.1.35 (Sylow, 1872).
1. Si P es un p-subgrupo de Sylow de un grupo finito G, entonces todos los p-subgrupos
de Sylow de G son conjugados a P .
2. Si hay r p-subgrupos de Sylow, entonces r es un divisor de |G| y r 1 modulo p.
Definici
on 1.1.36. El centro de un grupo G, notado Z(G), es el conjunto de todos los a G
que conmutan con todos los elementos de G.
Observaci
on 1.1.37. El centro Z(G) es un subgrupo normal abeliano de G. En efecto, si
tomamos z Z(G) y a G, entonces aza1 = aa1 z = z Z(G). As, aZ(G)a1 Z(G), y
por lo tanto es normal. La conmutatividad es trivial, porque Z(G) = {a G : ab = ba b
G}.
Teorema 1.1.38. Si G 6= 1 es un p-grupo finito, entonces su centro Z(G) 6= 1.
Definici
on 1.1.39. Si p es primo, entonces un p-grupo es elementalmente abeliano si un
grupo finito G isomorfo a Zp . . . Zp .

1.2.

Anillos y cuerpos

Definici
on 1.2.1. Un anillo es un conjunto R dotado de dos operaciones binarias + y
tales que:
1. (R, +) es un grupo abeliano.
2. a (b + c) = (a b) + (a c) y (a + b) c = (a c) + (b c) a, b, c R.
3. a (b c) = (a b) c a, b, c R.
Si a b = b a a, b R, decimos que (R, +, ) es un anillo conmutativo. Decimos que R es
un anillo con identidad si R 6= {0} y tiene una identidad para la multiplicacion, i.e., existe
1 R tal que 1a = a1 = a para todo a R.
Definici
on 1.2.2. Si a, b 6= 0 son elementos de un anillo R tales que ab = 0, entonces a y b
son llamados divisores de cero del anillo R.
Si R tiene identidad, un elemento a R es una unidad si tiene un inverso multiplicativo,
i.e., si existe b R tal que ab = 1 = ba. Notaremos R al conjunto de unidades de R. R es
un grupo, llamado grupo de unidades de R.
Definici
on 1.2.3.
1. Un anillo R es un dominio de integridad si es un anillo conmutativo con identidad tal
que R no tiene divisores de cero.

1.3. Polinomios

1. Preliminares

2. Un anillo R con identidad es un anillo de division si R = R \ {0}, i.e., todo elemento

no nulo tiene inverso multiplicativo.
3. Un cuerpo es un anillo conmutativo de division.
Definici
on 1.2.4. Sean R, S anillos. Una funcion f : R S es un morfismo de anillos si
para todos a, b R se cumplen:
f (a + b) = f (a) + f (b) ; f (ab) = f (a)f (b)
Definici
on 1.2.5. Sea R un anillo y sea I R. Decimos que I es un ideal de R sii
1. I es un subgrupo aditivo de R.
2. rI I para todo r R.
3. Ir I para todo r R.
Definici
on 1.2.6. Si X R es un subconjunto, entonces el subanillo generado por X es el
menor subanillo de R que contiene a X, y el ideal generado por X es el menor ideal de R
que contiene a X. Usaremos (X) para anotar el ideal generado por X.
Lema 1.2.7. Sea X R un subconjunto no vaco de un anillo R.
1. El subanillo de R generado por X es la suma o diferencia de todos los productos finitos
de elementos de X.
2. Si R es un anillo con identidad, entonces el ideal de R generado por X es el conjunto
( n
)
X
RXR =
ri xi si : ri , si R, xi X, n 1
i=1

3. Si R es un anillo conmutativo con identidad, entonces el ideal de R generado por X es

el conjunto
( n
)
X
RX =
ri xi : ri R, xi X, n 1
i=1

1.3.

Polinomios

Definici
on 1.3.1. Dado un anillo R con identidad, llamamos R[x] al conjunto de todas las
funciones Z+ R tales que f (n) = 0 para todos los n naturales salvo finitos. Definimos
una estructura de anillos en R[x] mediante
(f + g)(n) = f (n) + g(n)
n
X
(f g)(n) =
f (m)g(n m)
m=0

As, R[x] es llamado anillo de polinomios en la indeterminada x con coeficientes en R.

5

2.1. Introduccion

2. Un poquito de teora de Galois

Observaci
on 1.3.2. Definimos x como una funcion sobre Z+ mediante
(
1 si n = 1
x(n) =
0 si n 6= 1
As, la funcion xn satisface
(
1 si m = n
xn (m) =
0 si m 6= n
Por lo tanto, cualquier f R[x] puede ser escrita de forma u
nica como
f=

f (n)xn

n=0

donde la sumatoria es en realidad finita, porque solamente hay finitos f (n) 6= 0.

P
m
Definici
on 1.3.3. Dado f (x) =
m=0 am x 6= 0 R[x], definimos el grado de f (x), notado
gr(f ) o deg(f ), como deg(f ) = max{m : am 6= 0}. Definimos deg(0) = .
El coeficiente an se llama coeficiente principal de f (x) y a0 se llama termino constante.
Decimos que un polinomio es monico si su coeficiente principal es 1.
Lema 1.3.4. Sea R un anillo conmutativo y sean f, g R[x]. Entonces,
1. deg(f + g) max{deg f, deg g}
2. deg(f g) deg f + deg g
3. La igualdad en 2 vale cuando el coeficiente principal de f o g no es un divisor de cero.
En particular, vale cuando R es un dominio de integridad.
Teorema 1.3.5 (Algoritmo de division). Sea R un anillo conmutativo, sea f (x) R[x], y
sea g(x) R[x] un polinomio monico. Entonces, existen u
nicos polinomios q(x) y r(x) en
R[x] con deg r(x) < deg g(x) tales que
f (x) = g(x)q(x) + r(x)
Corolario 1.3.6 (Teorema del resto). Sea R un anillo conmutativo y sea a R. Entonces,
para cualquier f (x) R[x],
f (x) = (x a)q(x) + f (a)
para alg
un q(x) R[x].
Corolario 1.3.7. Sean R un anillo conmutativo, f (x) R[x] y a R. Entonces, f (a) = 0
sii x a divide a f (x).

2.2. Grupo de Galois

2.
2.1.

2. Un poquito de teora de Galois

Un poquito de teora de Galois

Introducci
on

Discutamos los elementos de la Teora de Galois, la cuna de la teora de grupos. Asumiremos en esta exposicion que todo cuerpo F es un subcuerpo de un cuerpo algebraicamente
cerrado C. En la practica, esto significa: Si f (x) F [x], el anillo de todos los polinomios con
coeficientes en F , y si f (x) tiene grado n 1, entonces existen (no necesariamente distintos)
elementos 1 , . . . , n C (las races de f (x)) y un elemento no nulo a F tales que
f (x) = a(x 1 ) . . . (x n )
en C[x]. La interseccion de cualquier familia de subcuerpos de un cuerpo es en s misma un
subcuerpo. Definimos el menor subcuerpo de C que contiene a un subconjunto X dado como
la interseccion de todos los subcuerpos de C que contienen a X. Por ejemplo, si C, el
menor subcuerpo de C que contiene a X = F {} es
F () = {f ()/g() : f (x), g(x) F [x], g() 6= 0}

(2.1)

Definici
on 2.1.1. F () se dice que es el subcuerpo obtenido a partir de F adjuntandole
. De forma similar, uno puede definir F (1 , . . . , n ), el subcuerpo obtenido a partir de
adjuntarle 1 , . . . , n a F .
Definici
on 2.1.2. Si f (x) F [x] y f (x) = (x1 ) . . . (xn ) C[x], entonces F (1 , . . . , n )
se dice que es el cuerpo de descomposicion de f (x) sobre F .
Observaci
on 2.1.3. Notar que el cuerpo de descomposicion de f (x) depende de F . Por
ejemplo, si f (x) = x2 + 1 Q[x], entonces su cuerpo de descomposicion sobre Q es Q(i).
Por otro lado, si consideramos f (x) R[x], su cuerpo de descomposicion sobre R es C. Y es
claro que Q(i) 6= C.

2.2.

Grupo de Galois

Definici
on 2.2.1. Sea f (x) F [x] con cuerpo de descomposicion E sobre F . Decimos que
f (x) es soluble por radicales si existe una cadena de subcuerpos
F = K0 K1 . . . Kt
donde E Kt y cada Ki+1 se obtiene de Ki adjuntandole una raz de un elemento de Ki ,
i.e., Ki+1 = Ki (i+1 ), donde i+1 Ki+1 y alguna potencia de i+1 esta en Ki .
Definici
on 2.2.2. Sean E y E 0 cuerpos. Decimos que una funcion : E E 0 es un
homomorfismo si , E,
1. (1) = 1
2. ( + ) = () + ()
3. () = ()().
7

2.2. Grupo de Galois

2. Un poquito de teora de Galois

Si es biyectiva, decimos que es un isomorfismo. Un isomorfismo : E E se dice que

es un automorfismo.
Lema 2.2.3. Sea f (x) F [x], sea E su cuerpo de descomposicion sobre F y sea : E E
un automorfismo que fija F (i.e., (a) = a a F ). Si E es una raz de f (x), entonces
() tambien es una raz de f (x).
P
Demostracion. Sea f (x) = ai xi .
0 = f () = (f ()) pues es morfismo
 X
X
(ai )()i
=
ai i =
X
=
ai ()i pues fija a F

Por lo tanto, () es raz de f (x).

Lema 2.2.4. Sean F un subcuerpo de K, {1 , . . . , n } K y E = F (1 , . . . , n ). Si K 0 es

un cuerpo que contiene a F como subcuerpo y : E K 0 es un homomorfismo que fija a
F con (i ) = i i, entonces es la identidad.
Demostracion. Lo probamos por induccion en n 1. Si n = 1, entonces E = F (1 ) y usando
(2.1) tenemos que los elementos de E son de la forma f (1 )/g(1 ) con f (x), g(x) F [x] y
g(1 ) 6= 0. Como es homomorfismo y (i ) = i i, es claro que fija a cada uno de esos
elementos.
Asumamos que vale el enunciado para n = h y veamos que entonces vale para n = h + 1.
Haciendo F = F (1 , . . . , h ), tenemos que F (1 , . . . , h+1 ) = F (h+1 ). Usando nuevamente (2.1), todo elemento de F (h+1 ) es de la forma f (h+1 )/g(h+1 ) con f (x), g(x) F [x]
y g(h+1 ) 6= 0. Por hipotesis inductiva, fija a F y (h+1 ) = h+1 . Usando el mismo
razonamiento que en el caso n = 1, tenemos el resultado.

Observaci
on 2.2.5. Si F es un subcuerpo de un cuerpo E, entonces el conjunto de todos
los autmorfismos de E que fijan a F forman un grupo bajo composicion.
Sea G = { : E E : es un ismorfismo y fija a F }. La composicion de funciones
es asociativa, as que solamente deberamos ver que hay un neutro y un inverso. Sea e G
dado por e(x) = x x E y sea G. Entonces,
( e)(x) = (e(x)) = (x) = e((x)) = (e )(x) x E
Luego, e es el neutro de G. Tomemos ahora G y consideremos 1 G como su inverso
(que existe porque es un isomorfismo). As,
( 1 (x)) = x = e(x) = x = 1 ((x)) x E
Por lo tanto, G forma un grupo con la composicion.
Definici
on 2.2.6. Si F es un subcuerpo de E, definimos el grupo de Galois, notado Gal(E/F ),
como el grupo bajo composicion de todos los automorfismos de E que fijan a F .
Si f (x) F [x] y E = F (1 , . . . , n ) es el cuerpo de descomposicion de f (x) sobre F ,
entonces el grupo de Galois de f (x) es Gal(E/F ).
8

2.2. Grupo de Galois

2. Un poquito de teora de Galois

Teorema 2.2.7. Sea f (x) F [x] y sea X = {1 , . . . , n } el conjunto de sus distintas

races (en su cuerpo de descomposicion E = F (1 , . . . , n ) sobre F ). Entonces, la funci
on

: Gal(E/F ) SX = Sn dada por () = |X es un morfismo de grupos inyectivo.

Demostracion. Sea Gal(E/F ). Por el Lema 2.2.3, tenemos que (X) X; |X es una
biyeccion porque es inyectiva ( es automorfismo) y X es finito. As, esta bien definido.
Veamos que es un morfismo de grupos. Sean , Gal(E/F ) y sea X. Entonces,
( )() =
=
(() ())() =
=
=

( )|X () = (()) pues X

() = () X pues (X) X
(|X |X )()
|X (())
() pues X

Por lo tanto, ( ) = () () y es un morfismo de grupos.

Veamos que ker() = {IdE }. Sea Gal(E/F ) tal que () = IdSX . Entonces, fija a
F (pues Gal(E/F )) y (i ) = i i (pues () = |X ). As, por el Lema 2.2.4 tenemos
que = IdE . Por lo tanto, es inyectiva.

Definici
on 2.2.8. Si F es un subcuerpo del cuerpo E, entonces E es un espacio vectorial
sobre F (si a F y E, definimos la multiplicacion por un escalar como el producto a
de dos elementos de E). El grado de E sobre F , notado [E : F ], es la dimension de E.
Proposici
on 2.2.9. Sea p(x) F [x] un polinomio irreducible de grado n. Si es una raz
de p(x) (en un cuerpo de descomposicion), entonces {1, , 2 , . . . , n1 } es una base de F ()
(visto como espacio vectorial sobre F ).
Demostracion. Veamos primero el siguiente isomorfismo de anillos F [x]/(p(x))
= F () via
la funcion : g(x) + (p(x)) 7 g(). En efecto, es un morfismo de anillos: Sean g(x) +
(p(x)), h(x) + (p(x)) F [x]/(p(x)). Entonces,
(g(x) + (p(x)) + h(x) + (p(x))) = (g(x) + h(x) + (p(x))) = g() + h()
= (g(x) + (p(x))) + (h(x) + (p(x)))
Ademas,
((g(x) + (p(x)))(h(x) + (p(x)))) = (g(x)h(x) + (p(x))) = g()h()
= (g(x) + (p(x)))(h(x) + (p(x)))
A partir de ahora usaremos la notacion g(x) + (p(x)) = g(x).
es inyectiva, porque si (g(x)) = (h(x)), entonces
(0) = 0 = (g(x)) (h(x)) = (g(x) h(x)) = (g(x) h(x))
ltimo, es suryectiva. Si tomamos f () F (),
Luego, g(x) h(x) = 0, y g(x) = h(x). Por u
entonces f () = (f (x) + (p(x)), donde f (x) F [x].
9

2.2. Grupo de Galois

2. Un poquito de teora de Galois

Sea p(x) = xn + an1 xn1 + . . . + a1 x + a0 . Como p(x) = 0 en F [x]/(p(x)), podemos

escribir
xn = an1 xn1 . . . a0

(2.2)

Veamos que B = {1, x, . . . , xn1 } genera a F [x]/(p(x)). En efecto, si q(x) es un polinomio

de grado n, podemos escribir a los xj con j n usando (2.2), de forma que el polinomio
quede escrito como una combinacion lineal de los elementos de B. As, como son isomorfos,
{1, , 2 , . . . , n1 } generan F (). Veamos que son linealmente independientes:
Si no lo fueran, existira una combinacion lineal
a0 0 + a1 + . . . + an1 n1 = 0
Pero eso significa que hay un polinomio de grado menor que n que anula a , y eso es
absurdo, porque p(x) es irreducible.

Lema 2.2.10. Sea p(x) F [x] irreducible, y sean , races de p(x) en un cuerpo de
descomposicion de p(x) sobre F . Entonces, existe un isomorfismo : F () F () que
fija a F y tal que () = .
Demostracion. Por la proposicion anterior, todo elemento de F () tiene una u
nica expresion
de la forma a0 + a1 + . . . + an1 n1 . Definimos como
(a0 + a1 + . . . + an1 n1 ) = a0 + a1 + . . . + an1 n1
Veamos que es un homomorfismo de cuerpos. Es claro que (1) = 1, pues 1 F .
Sean a0 + a1 + . . . + an1 n1 y b0 + b1 + . . . + bn1 n1 elementos de F (). Entonces,
(a0 + a1 + . . . + an1 n1 + b0 + b1 + . . . + bn1 n1 ) =
= a0 + a1 + . . . + an1 n1 + b0 + b1 + . . . + bn1 n1
= (a0 + a1 + . . . + an1 n1 ) + (b0 + b1 + . . . + bn1 n1 )
Por otro lado,

n
X
i=0

!
ai i

n
X

!!
bj j

j=0

2n
X

k
X

k=0

m=0

2n
X

k
X

k=0

m=0
n
X

am bkm

!
k

!
am bkm

n
X

ai i

i=0

!
bj j

j=0

As, es un homomorfismo de cuerpos. Es un isomorfismo, pues podemos construir la

inversa de la misma manera. Por u
ltimo, () = (0 + ) = 0 + = .

10

2.2. Grupo de Galois

2. Un poquito de teora de Galois

Observaci
on 2.2.11. Existe una generalizacion de este lema con la misma demostracion.
Sea : F F 0 un isomorfismo de cuerpos, sea p(x) = a0 + a1 x + . . . + an xn F [x] un
polinomio irreducible y sea p0 (x) = (a0 ) + (a1 )x + . . . + (an )xn F 0 [x]. Finalmente, sea
una raz de p(x) y una raz de p0 (x) (en cuerpos de descomposicion adecuados). Entonces,
existe un isomorfismo : F () F 0 () con () = y |F = .
Proposici
on 2.2.12. Sean F E K cuerpos, donde [K : E] y [E : F ] son finitos.
Entonces, [K : F ] = [K : E][E : F ].
Demostracion. Sea A = {1 , . . . , n } base de E sobre F y sea B = {1 , . . . , m } base de K
sobre E. Veamos que {i j : 1 i n, 1 j m} es una base de K sobre F .
Son linealmente independientes. En efecto, si k = nm, sean 1 , . . . , k F tales que
1 1 1 + . . . + k n m = 0
Sacando factor com
un los j ,
(1 1 + . . . + n n )1 + . . . + (kn 1 + . . . + k n )m = 0
Pero i i E para 1 i n, por lo que tenemos una combinacion lineal de los elementos
de la base de K sobre E. As,
1 1 + . . . + n n = . . . = kn 1 + . . . + k n = 0
Como A es base de E sobre F ,
1 = . . . = k = 0
Por lo tanto, son linealmente independientes.
Veamos que generan a K. Sea K. Como B es base de K sobre E, existen a1 , . . . , am
E tales que
= b1 1 + . . . + bm m
Pero como A es base de E sobre F , para cada 1 i m, bi = ai1 1 + . . . + ain n , para
elementos ai1 , . . . , ain F . Entonces,
m
= (a11 1 + . . . + a1n n )1 + . . . + (am
1 1 + . . . + an n )m

Distribuyendo, tenemos una combinacion lineal de k elementos de la forma i j , con coeficientes en F . Por lo tanto, {i j : 1 i n, 1 j m} es una base de K sobre F y
[K : F ] = [K : E][E : F ].

Lema 2.2.13. Sea f (x) F [x], y sea E su cuerpo de descomposicion sobre F . Si K es un

cuerpo intermedio, i.e., F K E y : K K es un automorfismo que fija a F ,
entonces existe un automorfismo : E E con |K = .
Demostracion. Lo hacemos por induccion en d = [E : F ]. Si d = 1, entonces E = K y toda
raz 1 , . . . , n de f (x) esta en K, y podemos tomar = .
Si d > 1, entonces E 6= K y hay alguna raz de f (x) que no esta en K. As, es raz
de alg
un factor irreducible (en K) p(x) de f (x). Como 6 K, el gr p(x) = k > 1. Por la
11

2.3. Teorema de Galois

2. Un poquito de teora de Galois

version generalizada del Lema 2.2.10, hay un E y un isomorfismo 1 : K() K()

que extiende a y que 1 () = . Por la Proposicion 2.2.12, [E : K()][K() : F ] = d.
Veamos que [K() : F ] 6= 1. Si lo fuese, entonces usando de nuevo la Proposicion 2.2.12,
1 = [K() : K][K : F ]. Como son dimensiones de espacios vectoriales y son finitas, eso
implicara que [K() : K] = 1. Pero por la Proposicion 2.2.9, [K() : K] = k y habamos
visto que k > 1. As, [K() : F ] 6= 1 y [E : K()] < d.
Entonces, E es el cuerpo de descomposicion de f (x) sobre K(), pues se obtiene adjuntandole todas las races de f (x). Por hipotesis inductiva, 1 puede extenderse a un automorfismo de E y por lo tanto tambien puede .

Observaci
on 2.2.14. Al igual que el lema anterior, existe una version mas general con la
misma prueba: Si f (x) F [x], entonces cualesquiera dos cuerpos de descomposicion de f (x)
sobre F son isomorfos.

2.3.

Teorema de Galois

Teorema 2.3.1. Sea p primo, sea F un cuerpo conteniendo una raz primitiva de la unidad
de orden p, digamos , y sea f (x) = xp a F [x].
1. Si es una raz de f (x) (en alg
un cuerpo de descomposicion), entonces f (x) es irreducible sii 6 F .
2. El cuerpo de descomposicion E de f (x) sobre F es F ().
3. Si f (x) es irreducible, entonces Gal(E/F )
= Zp .
Demostracion.
1. Si F , entonces f (x) no es irreducible, porque x divide a f (x). Rec`procamente,
asumamos que f (x) = g(x)h(x), donde gr g(x) = k < p. Como las races de f (x) son
, , 2 , . . . , p1 (por ser raz primitiva de la unidad de orden p), toda raz de g(x) es
de la forma i para alg
un i. Si el termino constante de g(x) es c, entonces c = r k para
alg
un r (por ser c el producto de las races). Como c y estan en F , tenemos que k F .
Pero (k, p) = 1, porque p es primo, y entonces 1 = ks + tp, para algunos t, s Z. As,
= ks+tp = (k )s (p )t F
2. Es inmediato a partir de la observacion de que las races de f (x) son de la forma i .
3. Si Gal(E/F ), entonces () = i para alg
un i, por el Lema 2.2.3. Sea :
Gal(E/F ) Zp dada por () = [i], la clase de equivalencia de i modulo p. Veamos que
es un morfismo de grupos: Sean , Gal(E/F ), con () = i y () = j . Entonces,
() = i j = i+j . Por otro lado, Id() = 0 . As,
( ) = [i + j] = [i] + [j] = () + ()
(Id) = [0]
Por lo tanto, es un morfismo de grupos. Si () = [0], entonces fija a , y como por
estar en Gal(E/F ) ya fija a F , concluimos que es inyectiva (por Lema 2.2.4). Como f (x)
es irreducible por hipotesis, el Lema 2.2.10 muestra que Gal(E/F ) 6= 1. Entonces, es
suryectiva, porque Zp no tiene subgrupos propios.

12

2.3. Teorema de Galois

2. Un poquito de teora de Galois

Teorema 2.3.2. Sea f (x) F [x], sea E el cuerpo de descomposicion de f (x) sobre F , y
asumamos que f (x) no tiene races repetidas en E (i.e., f (x) no tiene factores de la forma
(x )2 en E[x]). Entonces, f (x) es irreducible sii Gal(E/F ) act
ua transitivamente en el
conjunto X de todas las races de f (x).
Demostracion. Notemos primero que el Lema 2.2.3 muestra que Gal(E/F ) act
ua en X. En
efecto, si x X y , Gal(E/F ), x X (por el lema); Idx = x; (x) = ( )x.
Si f (x) es irreducible, el Lema 2.2.10 nos dice que Gal(E/F ) act
ua transitivamente en X.
Recprocamente,
supongamosQque existe una factorizacion f (x) = g(x)h(x) en F [x]. En E[x],
Q
g(x) = (x i ) y h(x) = (x j ). Como f (x) no tiene races repetidas, i 6= j i, j.
Pero Gal(E/F ) act
ua transitivamente en las races de f (x), entonces existe Gal(E/F )
con (1 ) = 1 , y esto contradice el Lema 2.2.3.

Proposici
on 2.3.3. Sea E un cuerpo de descomposicion sobre F de alg
un f (x) F [x],
y sea K un cuerpo de descomposicion sobre E de alg
un g(x) E[x]. Si Gal(K/F ),
entonces |E Gal(E/F ).
Demostracion. Sea Gal(K/F ). Entonces, fija a F , por lo que solo habra que ver que
es un automorfismo de E. Si 1 , . . . , n son las races de f (x), entonces


p(1 , . . . , n )
: p, q F [x1 , . . . , xn ] q(1 , . . . , n ) 6= 0
E = F (1 , . . . , n ) =
q(1 , . . . , n )
As, si tomamos e E, entonces e = p(1 , . . . , n )/q(1 , . . . , n ). Pero por el Lema 2.2.3,
manda races en races (de hecho si X es el conjunto de las races, |X : X X es una
biyeccion, porque es inyectiva). Por lo tanto, (e) = e0 = p0 (1 , . . . , n )/q 0 (1 , . . . , n ) E.
Luego, (E) E. Por otro lado, el mismo argumento muestra que |E es suryectiva. Por
u
ltimo, |E es inyectiva, por ser la restriccion de un isomorfismo.

Teorema 2.3.4. Sean F K E cuerpos, donde K y E son cuerpos de descomposici

on
de polinomios sobre F . Entonces, Gal(E/K) C Gal(E/F ) y
Gal(E/F )/Gal(E/K)
= Gal(K/F )
Demostracion. La funcion : Gal(E/F ) Gal(K/F ), dada por () = |K , esta bien
definida (por la proposicion anterior). Veamos que es un morfismo de grupos:
(Id) = Id|K = Id Gal(K/F )
Sean , Gal(E/F ).
( ) = ( )|K = |K |K
Un elemento de Gal(E/F ) esta en el kernel de si restringido a K es la identidad, por lo
que debe ser un automorfismo que fije a K. As, ker = Gal(E/K), que es un subgrupo
normal (por ser ker).
Veamos que es suryectiva. Si tomamos Gal(K/F ), entonces es un automorfismo
de K que fija a F , y por el Lema 2.2.13 puede ser extendido a un automorfismo de E.
As, Gal(E/F ) y ( ) = |K = . El primer teorema del isomorfismo completa la
demostracion.

13

2.3. Teorema de Galois

2. Un poquito de teora de Galois

Proposici
on 2.3.5. Sea f (x) = xn a F [x], sea E el cuerpo de descomposicion de f (x)
sobre F , y sea E una raz n-esima de a. Entonces, existen subcuerpos
F = K0 K1 . . . Kt = F ()
p(i)

con Ki+1 = Ki (i+1 ), i+1 Ki y p(i) es primo para todo i.

Demostracion. Si n es primo, tomamos F = K0 y K1 = K0 (). Entonces, n K0 , n es
primo y F () = K1 .
Si n no es primo, podemos escribir n = rt y (r )t , r, t Z. Por el Teorema fundamental
de la aritmetica, n = p1 . . . ph = r0 t, donde r0 = p1 . . . ph1 y t = ph . As, (r0 )t = n = a
F = K0 . Definamos K1 := F (r0 ) y llamemos r1 = p1 . . . ph2 . As, (r1 )ph1 = r0 K1 .
Luego, K2 := K1 (r1 ) = K0 (r0 , r1 ).
Siguiendo con la misma idea, definimos Kh+1 := Kh (rh ) = F (r0 , . . . , rh ), y entonces
ltimo es Kt = Kt1 () = F (p1 ...ph1 , . . . , p1 , ). Entonces,
(p1 )p2 = rh1 Kh1 . El u
p1
Kt1 .
Como F () es un cuerpo y F (), toda potencia de esta en F (). As, tenemos
que F () = Kt .

Teorema 2.3.6 (Galois, 1831). Sea f (x) F [x] un polinomio de grado n, sea F un cuerpo
que contiene a todas las races p-esimas de la unidad para todo primo p que divide a n!, y sea
E el cuerpo de descomposicion de f (x) sobre F . Si f (x) es soluble por radicales, entonces
existen subgrupos Gi G = Gal(E/F ) tales que
1. G = G0 G1 . . . Gt = 1
2. Gi+1 C Gi i
3. Gi /Gi+1 es cclico de orden primo para todo i.
Demostracion. Como f (x) es soluble por radicales, existe subcuerpos F = K0 K1 . . .
Kt con E Kt y Ki+1 = Ki (i+1 ), donde i+1 Ki+1 y alguna potencia de i+1 esta en Ki .
Por la proposicion anterior, podemos asumir que alguna potencia prima de i+1 esta en Ki+1 .
Definamos Hi = Gal(Kt /Ki ) y Gi = Hi G. As, Gt = 1 y G0 = H0 G = Gal(Kt /F ) G =
G. Ya tenemos 1.
Como F contiene races de la unidad, el Teorema 2.3.1 muestra que Ki+1 es un cuerpo de
descomposicion sobre Ki . El Teorema 2.3.4 muestra, para todo i, que Hi+1 = Gal(Kt /Ki+1 )C
Gal(Kt /Ki ) = Hi y Hi+1 /Hi
ltimo grupo es isomorfo a Zp , por el
= Gal(Ki+1 /Ki ). Este u
Teorema 2.3.1.

Observaci
on 2.3.7. La hipotesis de que F contiene varias races de la unidad puede ser
eliminada, como se ve en el siguiente ejemplo.
Ejemplo 2.3.8. Sea f (x) = x6 x3 +1 Q[x], que es soluble (como veremos a continuacion)
y tiene grado 6. Escribiendo f (x) = (x3 )2 (x3 ) + 1, aplicamos Bhaskara y obtenemos

1 14
1 3i
3
x =
=
2
s 2
3i
3 1
= x =
2
14

2.3. Teorema de Galois

2. Un poquito de teora de Galois

Llamemos 1 = 3i y consideremos g(x) = x2 + 3, que es irreducible en Q y tiene a 1

como raz. Entonces, Q Q(1 ), con [Q(1 ) : Q] = 2, 12 Q y Gal(Q(1 )/Q) = Z2 (por el
Teorema 2.3.1). Ahora consideremos h(x) = x3 (1 + 1 )/2 Q(1 ). As, llamando 2 a una
raz de h(x), tenemos que Q(1 ) Q(1 , 2 ), donde [Q(1 , 2 ) : Q(1 )] = 3, 23 Q(1 )
y Gal(Q(1 , 2 )/Q(1 )) = Z3 . Sin embargo, en ning
un momento usamos a todas las races
p-esimas para todos los primos p que dividen a 6!.
Definici
on 2.3.9. Una serie normal de un grupo G es una sucesion de subgrupos
G = G0 G1 . . . Gn = 1
donde Gi+1 C Gi para todo i. Los grupos factores de esta serie normal son los grupos Gi /Gi+1
para i = 0, 1, . . . , n 1; la longitud de la serie normal es el n
umero de inclusiones estrictas,
i.e., la longitud es el n
umero de grupos factores no triviales.
Observaci
on 2.3.10. Notar que los grupos factores son los u
nicos grupos cocientes que
siempre se pueden formar a partir de una serie normal, puesto que la normalidad no es
transitiva.
Definici
on 2.3.11. Un grupo finito G se dice soluble si tiene una serie normal cuyos grupos
factores son cclicos de orden primo.
Con esta terminologa, el Teorema 2.3.6 y su recproca dicen que un polinomio es soluble
por radicales si y solo si su grupo de Galois es un grupo soluble.

15

3.1. Zassenhaus y Schreier

3.

3. El Teorema de Jordan-Holder

El Teorema de Jordan-H
older

La teora de Galois no solo enriquece el estudio de polinomios y cuerpos, sino que tambien
aporta una nueva idea (las series normales) al estudio de los grupos. Las series normales nos
daran resultados al permitirnos examinar una familia de subgrupos con ordenes diferentes.

3.1.

Zassenhaus y Schreier

Definici
on 3.1.1. Una serie normal
G = H0 H1 . . . Hm = 1
es un refinamiento de una serie normal
G = G0 G1 . . . Gn = 1
si G0 , G1 , . . . , Gn es una subsucesion de H0 , H1 , . . . , Hm .
As, un refinamiento es una serie normal que contiene a cada uno de los terminos de la
serie original.
Definici
on 3.1.2. Una serie de composicion es una serie normal
G = G0 G1 . . . Gn = 1
donde para todo i, Gi+1 es un subgrupo maximal normal de Gi o Gi+1 = Gi .
Todo refinamiento de una serie de composicion es tambien una serie de composicion, pues
solo puede repetir algunos de los terminos originales.
Proposici
on 3.1.3. Si G es unQ
grupo finito que tiene una serie normal con grupos factores
H0 , H1 , . . . , Hn , entonces |G| = |Hi |
Demostracion. Sea G = G0 G1 . . . Gn+1 = 1. Entonces, Hi = Gi /Gi+1 . Como G es
finito, por el teorema de Lagrange,
|Hi | =

|Gi |
|Gi+1 |

As,
n
Y
i=0

|Hi | =

n
Y
|Gi |
|G0 | |G1 |
|Gn |
=

...
= |G|
|G
|
|G
|
|G
|
|G
|
i+1
1
2
n+1
i=0

pues |Gn+1 | = |1| = 1.

La proposicion anterior nos muestra que cierta informacion sobre G puede divisarse a
partir de una serie normal.
Consideremos dos series de composicion de G = hxi
= Z30 (la normalidad es automatica
porque G es abeliano):
G hx5 i hx10 i 1
16

3.1. Zassenhaus y Schreier

3. El Teorema de Jordan-Holder
G hx2 i hx6 i 1

Los grupos factores de la primer serie normal son G/hx5 i

= Z5 , hx5 i/hx10 i
= Z2 , y hx10 i/1
=
hx10 i
= Z3 . Los grupos factores de la segunda serie normal son G/hx2 i
= Z2 , hx2 i/hx6 i
= Z3 ,
y hx6 i
= Z5 . En este caso, las dos series de composicion tienen la misma longitud y los grupos
factores pueden agruparse de a pares de forma isomorfa luego de reacomodarlas. Le damos
un nombre a este fenomeno:
Definici
on 3.1.4. Dos series normales de un grupo G son equivalentes si existe una biyeccion
entre sus grupos factores tal que dos grupos relacionados son isomorfos.
Por supuesto, series normales equivalentes tienen la misma longitud. Las dos series de
composicion de arriba para Z30 son equivalentes. Lo genial de esto es que es cierto para todo
grupo (posiblemente infinito) que tenga una serie de composicion. El siguiente resultado
tecnico, una generalizacion del segundo teorema del isomorfismo, sera usado para probar
este hecho.
Lema 3.1.5 (Lema de Zassenhaus, 1934). Sean A C A y B C B cuatro subgrupos de un
grupo G. Entonces,
A(A B) C A(A B )
B(B A) C B(B A )
y existe un isomorfismo

A(A B ) B(B A )
=
A(A B)
B(B A)

Demostracion. Veamos que (A B ) C (A B ): Si c (A B ) y x (A B ), entonces

xcx1 (A B ). En efecto, como c A, x A y A C A , xcx1 A; y como c, x B ,
xcx1 B . Analogamente, (A B) C (A B ). As, si definimos D = (A B )(A B),
tenemos que D C (A B ) (por estar generado por dos subgrupos normales).
Sea f : A(A B ) (A B )/D dada por f (ax) = xD, donde a A y x (A B ).
Veamos que esta bien definida: Si ax = a0 x0 , donde a0 A y x0 (A B ), entonces
xx01 = a1 a0 . Como xx01 B A y a1 a0 A, xx01 = a1 a0 (B A ) A =
A B D. Por otro lado, D es normal, por lo que xD = Dx. Sea d D, entonces
dx = d(xx01 )(x0 x1 )x = (dxx01 )x0 . Pero como xx01 D (por lo anterior), tenemos que
dx Dx0 . Por lo tanto, Dx Dx0 . Recprocamente, dx0 = dx0 x1 xx01 x0 = (dx0 x1 )x Dx.
As, tenemos que xD = Dx = Dx0 = x0 D y f (ax) = f (a0 x0 ).
Veamos que es un morfismo de grupos. Sean ax, a0 x0 A(A B ). Entonces, axa0 x0 =
00
a xx0 , donde a00 = a(xa0 x1 ) A (pues A C A ). As, f (axa0 x0 ) = f (a00 xx0 ) = xx0 D =
f (ax)f (a0 x0 ).
Veamos que f es suryectivo y que ker f = A(A B). Dado xD (A B )/D, x
(A B ) y entonces xD = f (ax), para cualquier a A y ax A(A B ). Sea ax ker f .
Entonces f (ax) = xD = D. As, x D = (A B )(A B), por lo que x = a0 x0 , donde
a0 (A B ) A y x0 (A B). Por lo tanto, ax = aa0 x0 = A(A B). Por otro
lado, la otra inclusion es trivial: Si ax A(A B), entonces f (ax) = xD = D, porque
x (A B) D. As, como el n
ucleo de un morfismo es normal en el dominio, tenemos que

17

3.2. Teorema de Jordan-Holder

3. El Teorema de Jordan-Holder

ker f = A(A B) C A(A B ). Por u

ltimo, aplicando el Primer teorema del isomorfismo
tenemos:
A(A B ) B A
=
A(A B)
D
Intercambiando los smbolos A y B tenemos otro isomorfismo entre el correspondiente grupo
cociente y (B A )/D.

Teorema 3.1.6 (Teorema del refinamiento de Schreier, 1928). Cualesquiera dos series normales de un grupo arbitrario G tienen refinamientos equivalentes.
Demostracion. Sean
G = G0 G1 . . . Gn = 1
y
G = H0 H1 . . . Hm = 1
series normales. Insertemos una copia de la segunda serie entre cada Gi y Gi+1 . Mas
precisamente, definamos Gi,j = Gi+1 (Gi Hj ) 0 j m. As,
Gi,j = Gi+1 (Gi Hj ) Gi+1 (Gi Hj+1 ) = Gi,j+1
Notemos que Gi,0 = Gi+1 (Gi H0 ) = Gi+1 (Gi G) = Gi+1 Gi = Gi y que Gi,m = Gi+1 (Gi
1) = Gi+1 . Mas a
un, tomando A = Gi+1 , A = Gi , B = Hj+1 y B = Hj , el Lema de
Zassenhaus muestra que Gi,j+1 C Gi,j . As, la serie
G0,0 G0,1 . . . G0,m G1,0 . . . Gn1,0 . . . Gn1,m = 1
es un refinamiento de la primer serie normal (con nm terminos). Analogamente, si Hi,j es
definido como Hi,j = Hj+1 (Hj Gi ), entonces Hi,j Hi+1,j y
H0,0 H1,0 . . . Hn,0 H0,1 . . . H0,m1 . . . Hn,m1 = 1
es un refinamiento de la segunda serie normal (con nm terminos). Finalmente, la funcion
Gi,j /Gi,j+1 7 Hi,j /Hi+1,j es biyectiva, y por el Lema de Zassenhaus (con A = Gi+1 , A = Gi ,
B = Hj+1 y B = Hj ) tenemos que los grupos factores correspondientes son isomorfos. As,
ambos refinamientos son equivalentes.

3.2.

Teorema de Jordan-H
older

Teorema 3.2.1 (Jordan-Holder). Cualesquiera dos series de composicion de un grupo G

son equivalentes.
Demostracion. Si tomamos dos series de composicion de un grupo G, tenemos que son series
normales, y por el teorema de Schreier tienen refinamientos equivalentes. Pero una serie
de composicion es una serie normal de longitud maxima, pues un refinamiento de ella es
simplemente repetir algunos de sus terminos y eso implica que los nuevos grupos factores
tienen orden 1. Por lo tanto, dos series de composicion de G son equivalentes.

18

4.1. Otra definicion de solubilidad

4. Grupos solubles

Definici
on 3.2.2. Si G tiene una serie de composicion, entonces los grupos factores de esta
serie son llamados factores de composicion de G.
Observaci
on 3.2.3. C. Jordan (1868) probo que los ordenes de los factores de composicion de un grupo finito dependen solo de G. O. Holder (1889) probo que los factores de
composicion, salvo isomorfismos, dependen solo de G.
Corolario 3.2.4 (Teorema fundamental de la aritmetica). Los primos y sus multiplicadades
en la factorizacion de un entero n 2 son determinados por n.
Demostracion. Sea n = p1 p2 . . . pt , donde los pi son primos (no necesariamente distintos). Si
G = hxi es cclico de orden n, entonces
G = hxi hxp1 i hxp1 p2 i . . . hxp1 p2 ...pt1 i 1
es una serie normal. Pero los grupos factores tienen ordenes primos p1 , p2 , . . . , pt , respectivamente, por lo que es una serie de composicion. En efecto, si tomamos hxp1 i y hxp1 p2 i
(tomamos estos para simplificar la notacion), entonces
 p 
 hx 1 i 


 hxp1 p2 i  = p2
Si existiese un subgrupo H de hxp1 i tal que hxp1 p2 i H, por Lagrange, el orden de H dividira
al orden de hxp1 i, por lo que |hxp1 p2 i| |H| |hxp1 i|, i.e., n/(p1 p2 ) |H| n/p1 . Pero
entonces la desigualdad no podra ser estricta, por lo que hxp1 p2 i es un subgrupo maximal
de hxp1 i.
Entonces, por el teorema de Jordan-Holder, los primos p1 , p2 , . . . , pt dependen solo de
n.

Recordemos que un grupo finito G es soluble si tiene una serie normal cuyos grupos
factores son cclicos de orden primo. Entonces, para verificar que un grupo no es soluble
uno revisa si toda serie de composicion tiene todos sus grupos factores cclicos. Pero por
Jordan-Holder, es suficiente con revisar una sola serie de composicion de G.
Teorema 3.2.5. Si n 5, entonces Sn no es soluble.
Demostracion. Como An es un grupo simple para n 5 (ver Apendice),la serie normal
Sn An 1 es una serie de composicion, cuyos factores de composicion son Z2 y An . Pero
|An | = |Sn |/2, y por lo tanto no es primo. As, Sn no es soluble.

4.

Grupos solubles

Aunque los grupos solubles aparecen en el contexto de la Teora de Galois, forman una
clase de grupos de interes tambien para la teora de grupos. Empecemos por dar otra definicion de solubilidad que nos es mas conveniente para trabajar.

19

4.1. Otra definicion de solubilidad

4.1.

4. Grupos solubles

Otra definici
on de solubilidad

Definici
on 4.1.1. Una serie soluble de un grupo G es una serie normal cuyos grupos factores
son abelianos. Un grupo G es soluble si tiene una serie soluble.
Observaci
on 4.1.2. Veamos que ambas definiciones de grupo soluble finito son equivalentes.
Sea G un grupo finito y supongamos que existe una serie normal cuyos grupos factores son
cclicos de orden primo. Pero todo grupo cclico de orden primo p es isomorfo a Zp , y por lo
tanto es abeliano.
Recprocamente, la serie de composicion de un grupo finito tiene longitud finita, y todo
grupo abeliano simple finito es cclico de orden primo. En efecto, si n = |G|, entonces existe
un primo p que lo divide. Por el Teorema 1.1.24, existe un elemento a de orden p. Pero como
G es simple, G = hai. Por lo tanto, G es cclico de orden primo.
Ahora construiremos grupos solubles. Mas adelante, daremos otra caracterizacion de
solubilidad que nos proporcionara nuevas demostraciones de estos resultados.
Teorema 4.1.3. Todo subgrupo H de un grupo soluble G es soluble.
Demostracion. Si G = G0 G1 . . . Gn = 1 es una serie soluble (de G), consideremos
la serie H = H0 (H G1 ) . . . (H Gn ) = 1. Esta es una serie normal de H, pues el
Segundo Teorema del Isomorfismo nos dice que H Gi+1 = (H Gi ) Gi+1 C H Gi i.
Ahora, (H Gi )/(H Gi+1 )
= Gi+1 (H Gi )/Gi+1 Gi /Gi+1 . Como Gi /Gi+1 es abeliano
(pues es un grupo factor de una serie soluble), todos sus subgrupos son abelianos. As, H
tiene una serie soluble.

Teorema 4.1.4. Todo cociente G/N , N C G, de un grupo soluble G es un grupo soluble.

Demostracion. Sea G = G0 G1 . . . Gt = 1 una sucesion de subgrupos como en la
definicion de grupo soluble. Como N C G, tenemos que N Gi G i. As, existe una sucesion
de subgrupos
G = G0 N G1 N . . . Gt N = N 1
Veamos que es una serie normal. Con una notacion obvia:
(gi n)Gi+1 N (gi n)1 gi Gi+1 N gi1 = gi Gi+1 gi1 N Gi+1 N
La primera desigualdad se debe a que n(Gi+1 N )n1 N Gi+1 N (Gi+1 N )(Gi+1 N ) =
Gi+1 N (pues Gi+1 N es un subgrupo de G); la igualdad se debe a que N gi1 = gi1 N (pues
N C G y las coclases a derecha y a izquierda coincidan); la u
ltima desigualdad se debe a que
Gi+1 C Gi . Por el Segundo Teorema del Isomorfismo,
Gi (Gi+1 N )
Gi N
Gi

=
=
Gi (Gi+1 N )
Gi+1 N
Gi+1 N
donde la igualdad es porque Gi Gi+1 = Gi . Ahora buscamos aplicar el Tercer Teorema del Isomorfismo. Veamos que Gi+1 N CGi : sean g Gi y gi+1 n Gi+1 N . Entonces, ggi+1 g 1 gng 1
Gi+1 N , pues Gi+1 C Gi y N C G. As, Gi Gi+1 N C Gi y como Gi+1 Gi Gi+1 N y
Gi+1 C Gi , podemos aplicar el Tercer Teorema del Isomorfismo para obtener una suryeccion Gi /Gi+1 Gi /(Gi Gi+1 N ). Componiendo con lo de arriba, tenemos una suryeccion
Gi /Gi+1 Gi N/Gi+1 N . Como Gi /Gi+1 es cclico de orden primo, su imagen es cclica de
orden primo o es el subgrupo trivial. As, G/N es un grupo soluble.

20

4.2. Una u
ltima definicion de solubilidad

4. Grupos solubles

Teorema 4.1.5. Si H C G y tanto H como G/H son solubles, entonces G es soluble.

Demostracion. Sea
G/H K1 K2 . . . Kn = 1
una serie soluble. Por el teorema de correspondencia, podemos construir una sucesion parecida al comienzo de una serie soluble de G a H, i.e., hay subgrupos Ki (con H Ki y
Ki /H
= Ki ) tales que
G K1 K2 . . . Kn = H

) es abeliano. Como H es soluble, tiene una serie

donde Ki+1 C Ki y Ki /Ki+1 (
= Ki /Ki+1
soluble; si unimos estas dos series junto a H, obtenemos una serie soluble para G.

Corolario 4.1.6. Si H y K son grupos solubles, entonces H K es soluble.

Demostracion. Si G = H K, entonces H C G y G/H
= K.

Teorema 4.1.7. Todo p-grupo finito G es soluble.

Demostracion. La prueba es por induccion en |G|. Si |G| = 1, G = p0 = 1 y es soluble.
Supongamos que |G| = ph+1 . Por Teorema 1.1.38, |Z(G)| =
6 1. Entonces, G/Z(G) es un
p-grupo (por el Teorema de Lagrange) de orden < |G|. Por lo tanto, por hipotesis inductiva,
es soluble. Como todo grupo abeliano es soluble, Z(G) es soluble. As, G es soluble, por el
teorema anterior.

4.2.

Una u
ltima definici
on de solubilidad

Otra aproximacion a solubilidad es mediante subgrupos conmutadores.

Definici
on 4.2.1. Los subgrupos conmutadores de orden superior de G se definen inductivamente:
G(0) = G G(i+1) = (G(i) )0
Es decir, G(i+1) es el subgrupo conmutador de G(i) . La serie
G = G(0) G(1) G(2) . . .
es llamada serie derivada de G.
Para ver que los subgrupos conmutadores de orden superor son subgrupos normales de
G, es conveniente introducir un nuevo tipo de subgrupo.
Definici
on 4.2.2. Un automorfismo de un grupo G es un isomorfismo : G G. Un
subgrupo H de G es llamado caracterstico en G, notado H car G, si (H) = H para todo
automorfismo de G.
Si (H) H para todo automorfismo , entonces H car G. En efecto, tanto como 1
son automorfismos de G, por lo que (H) H y 1 (H) H. Esto u
ltimo nos da la otra
1
inclusion: Como es inyectiva, H = (H) (H). As, (H) = H.

21

4.2. Una u
ltima definicion de solubilidad

4. Grupos solubles

Para cada a G, la conjugacion por a (i.e., x 7 axa1 ) es un automorfismo de G. En

efecto, sea : G G dada por (x) = axa1 . Dados x, y G,
(e) = aea1 = aa1 = e
(xy) = axya1 = axa1 aya1 = (x)(y)
As, es un morfismo de grupos. Veamos que es un isomorfismo. Es inyectivo, pues si
(x) = (y), entonces axa1 = aya1 . Pero multiplicando a derecha por a y a izquierda por
a1 , tenemos que x = y. Por u
ltimo, veamos que es suryectiva. Dado z G, z = a(a1 za)a1 .
Por lo tanto, es un automorfismo de G.
De lo anterior se deduce que si H car G, (H) = aHa1 = H. Por lo que H C G.
Lema 4.2.3. Sea H, K G.
1. Si H car K y K car G, entonces H car G.
2. Si H car K y K C G, entonces H C G.
Demostracion. Veamos 1. Si es un automorfismo de G, entonces (K) = K, y la restriccion
|K : K K es un automorfismo de K. Como H car K, tenemos que (H) = (|K )(H) =
H. Por lo tanto, H car G.
2. Sea a G y sea : G G la conjugacion por a. Como KCG, |K es un automorfismo
de K, y como H car K, (|K )(H) H. Esto dice que si h H, entonces aha1 = (h) H.
Por lo tanto, H C G.

Teorema 4.2.4. Para todo grupo G, los subgrupos conmutadores de orden superior son
caractersticos, y por lo tanto normales.
Demostracion. Lo hacemos por induccion en i 1. Recoremos que el subgrupo conmutador
G0 = G(1) es generado por todos los conmutadores, i.e., por todos los elementos de la forma
aba1 b1 . Si es un automorfismo de G, entonces (aba1 b1 ) = (a)(b)(a)1 (b)1
tambien es un conmutador. As, (G0 ) G0 y G0 car G. Para el paso inductivo, acabamos
de mostrar que G(i+1) car G(i) , y como G(i) car G (por hipotesis inductiva), usando el tem
1 del lema anterior vemos que G(i+1) car G.

Todo esto nos dice que una serie derivada de un grupo G es una serie normal si termina
en 1. El resultado siguiente muestra que si G es soluble, entonces la serie derivada desciende
mas rapido que cualquier otra serie soluble.
Lema 4.2.5. Si G = G0 G1 . . . Gn = 1 es una serie soluble, entonces Gi G(i) para
todo i.
Demostracion. Como no poda ser de otra manera, la prueba es por induccion en i 0.
Si i = 0, entonces G0 = G = G(0) . Para el paso inductivo, el Teorema 1.1.31 nos dice que
Gi+1 G0i , puesto que Gi /Gi+1 es abeliano (pues la serie es soluble). La hipotesis inductiva
nos dice que Gi G(i) , entonces G0i (G(i) )0 = G(i+1) . Por lo tanto, Gi+1 G(i+1) , como
queramos.

Ahora s, una tercer y u

ltima definicion de grupo soluble.
22

4.2. Una u
ltima definicion de solubilidad

4. Grupos solubles

Teorema 4.2.6. Un grupo G es soluble sii G(n) = 1 para alg

un n.
Demostracion. Sea G = G0 G1 . . . Gn = 1 una serie soluble. Por el lema anterior,
Gi G(i) para todo i. En particular, 1 = Gn G(n) . Por lo tanto G(n) = 1.
Recprocamente, si G(n) = 1, entonces la serie derivada es una serie normal. Como
(G(i) )0 = G(i+1) y G(i+1) C G(i) , por el Teorema 1.1.31, los grupos factores son abelianos.
Por lo tanto, es una serie soluble para G.

As, vemos que una serie derivada de G es una serie normal sii G es un grupo soluble.
Proposici
on 4.2.7. Un p-grupo elemental abeliano G es un espacio vectorial sobre Zp y
todo morfismo : G G es una transformacion lineal.
Demostracion. Sea G = Zp . . .Zp . Definiendo la suma coordenada a coordenada, tenemos
que cumple conmutativdad, asociatividad, existencia de neutro (el (0, . . . , 0)) y de opuesto
((u1 , . . . , un ) + (u1 , . . . , un ) = 0). Definimos el producto por un escalar k Zp como
kv = (kv0 , . . . , kvn ). As, si a, b Zp , entonces
(ab)v = (abv0 , . . . , abvn ) = a(bv0 , . . . , bvn ) = a(bv)
(a + b)v = ((a + b)v0 , . . . , (a + b)vn ) = (av0 + bv0 , . . . , avn + bvn ) = av + bv
Veamos lo de las transformaciones lineales. Sea : G G un morfismo de grupos y sean
u, v G, a Zp . Entonces,
(u + v) = (u) + (v) por ser morfismo
(av) = (v + . . . + v) = (v) + . . . + (v) = a(v)

Definici
on 4.2.8. Un subgrupo normal H de un grupo G es un subgrupo normal minimal
si H 6= 1 y no hay subgrupos normales K de G tales que 1 < K < H.
Teorema 4.2.9. Si G es un grupo finito soluble, entonces todo subgrupo normal minimal es
elemental abeliano.
Demostracion. Sea V un subgrupo normal minimal. El Lema 4.2.3 muestra que si H car V ,
entonces H C G. Como V es minimal, H = 1 o H = V . En particular, V 0 car V , por lo que
V 0 = 1 o V 0 = V . Como G es soluble, tambien lo es V (Teorema 4.1.3). Por el Teorema 4.2.6,
V 0 = V no puede pasar. As, V 0 = 1 y por lo tanto V es abeliano (Teorema 1.1.31). Veamos
que |V | es divisible por un u
nico primo. Sea p||V |. Entonces, V tiene un p-subgrupo de Sylow
S. Como V es normal en G y S car V (como V es abeliano, S es el u
nico p-subgrupo de
Sylow, y |S| = |(S)| para cualquier automorfismo de V ), por el Lema 4.2.3, S C G. Pero
entonces, V = S, y |V | = pn para alg
un n. As, V es un p-grupo abeliano.
p
Consideremos A = {x V : x = 1} y sea un automorfismo de V . Si tomamos y A,
entonces (y)p = (y p ) = (1) = 1. Por lo tanto, A car V .

Corolario 4.2.10. Si V es un subgrupo normal minimal de un grupo soluble finito G, entonces G act
ua en V como un grupo de transformaciones lineales.
23

5.1. Primer teorema de Hall

5. Teoremas de P. Hall

Demostracion. Por el teorema anterior, V es un p-grupo elemental. Por la Proposicion 4.2.7,

V es un espacio vectorial sobre Zp , y todo morfismo de V es una transformacion lineal.
Definamos un morfismo G GL(V ) como a 7 a , donde a (v) = ava1 v V (la normalidad de V muestra a (v) V ). Mas a
un, cada a es una inyeccion, pues es la restriccion
de un automorfismo (conjugacion). Y toda inyeccion en un espacio vectorial de dimension
finita es una suryeccion. Por lo tanto, a es no singular.
Y eso que tiene que ver? Que entonces nuestro morfismo esta bien definido. Por u
ltimo,
si a, b G y v V , entonces
ab (v) = abvb1 a1 = a (b (v))

Por lo tanto, G act

ua sobre V .

Definici
on 4.2.11. Un grupo G cuyos u
nicos subgrupos caractersticos son G y 1 es llamados
caractersticamente simple.
Teorema 4.2.12. Un grupo finito G caractersticamente simple es simple o es producto
directo de grupos simples isomorfos.
Demostracion. Tomemos un subgrupo normal minimal H de G cuyo orden es minimal entre
todos los subgrupos normales no triviales. Sea H = H1 , y consideremos todos los subgrupos
de G de la forma H1 H2 . . . Hn , donde n 1, Hi C G y Hi
= H. Sea M un subgrupo
de esa forma del mayor orden posible.
Veamos que M = G, mostrando que M car G. Veamos que (Hi ) M para todo i y
para todo automorfismo de G. Por supuesto, como es inyectiva, (Hi )
= H = H1 .
= Hi
Veamos que (Hi ) C G. Si a G, entonces a = (b) para alg
un b G, y a(Hi )a1 =
(b)(Hi )(b)1 = (bHi b1 ) (Hi ), pues Hi C G. Por otro lado, (Hi ) M . En efecto,
si no fuera as, i.e., si (Hi ) 6 M , entonces (Hi )M 6 (Hi ) y |(Hi )M | < |(Hi )| = |H|.
Pero (Hi ) M C G, entonces la minimalidad de |H| muestra que (Hi ) M = 1. Pero
entonces el subgrupo M (Hi ) es un subgrupo de la misma forma que M pero de mayor
orden, y eso es absurdo porque contradice la definicion de M . Por lo tanto, M car G, y como
por hipotesis G es caractersticamente simple, M = G.
Por u
ltimo, H = H1 debe ser simple: Si N es un subgrupo normal no trivial de H,
entonces N es un subgrupo normal de M = H1 H2 . . . Hn = G, y esto contradice la
eleccion minimal de H.

Corolario 4.2.13. Un subgrupo normal minimal H de un grupo finito G es simple o es un

producto directo de subgrupos simples isomorfos.
Demostracion. Si N car H, entonces N C G (por el Lema 4.2.3). Entonces, N = 1 o N = H
(porque H es normal minimal). Entonces, H no tiene subgrupos caractersticos propios, y el
teorema anterior nos da el resultado.

5.

Teoremas de P. Hall

Hemos llegado al punto de mayor interes de este trabajo. En conjunto, ambos teoremas
nos dan una caracterizacion de solubilidad para grupos finitos.
24

5.1. Primer teorema de Hall

5.1.

5. Teoremas de P. Hall

Primer teorema de Hall

Los principales resultados de esta seccion son generalizaciones de los teoremas de Sylow
(que lo mira por TV) que valen para grupos solubles finitos. Necesitaremos el siguiente
resultado tecnico.
Definici
on 5.1.1. Si H G, el normalizador de H en G, notado NG (H), es NG (H) = {a
1
G : aHa = H}.
Proposici
on 5.1.2. NG (aHa1 ) = aNG (H)a1
Demostracion. Sea aba1 aNG (H)a1 . Entonces,
(aba1 )aHa1 (ab1 a1 ) = abHb1 a1
= aHa1 pues bHb1 = H
Por lo tanto, aba1 NG (aHa1 ) y aNG (H)a1 NG (aHa1 ).
Recprocamente, sea n NG (aHa1 ). Entonces,
(a1 na)H(a1 n1 a) = a1 (naHa1 n1 )a
= a1 aHa1 a pues naHa1 n1 = aHa1
Por lo tanto, NG (aHa1 ) aNG (H)a1 .

Teorema 5.1.3 (Argumento de Frattini). Sea G un grupo finito y sea K C G. Si P es un

p-subgrupo de Sylow de K (para alg
un primo p), entonces
G = KNG (P )
Demostracion. Si g G, entonces gP g 1 gKg 1 = K, porque K C G. Entonces, gP g 1
es un p-subgrupo de Sylow de K, y por lo tanto existe k K con kP k 1 = gP g 1 . As,
P = (k 1 g)P (g 1 k) = (k 1 g)P (k 1 g)1 . Luego, k 1 g NG (P ). Por lo que la factorizacion
buscada es g = k(k 1 g).

Teorema 5.1.4 (P. Hall, 1928). Si G es un grupo soluble de orden ab, donde (a, b) = 1,
entonces G contiene un subgrupo de orden a. Mas a
un, cualesquiera dos subgrupos de orden
a son conjugados.
Demostracion. La prueba es por induccion en |G|. El caso inicial es trivial: si |G| = 1,
entonces a = b = 1 y G es el grupo trivial. Su u
nico subgrupo es el mismo, de orden a.
Caso 1: G contiene un subgrupo normal H de orden a0 b0 , donde a0 |a, b0 |b y b0 < b.
Existencia. En este caso, G/H es un grupo soluble de orden (a/a0 )(b/b0 ) (por Lagrange).
Entonces, (a/a0 )(b/b0 ) < ab. Ademas, (a/a0 ) y (b/b0 ) son coprimos, porque si no lo fueran
tampoco lo seran a y b. Por hipotesis inductiva, G/H tiene un subgrupo A/H de orden a/a0 .
Ahora, por Lagrange, A tiene orden (a/a0 )|H| = ab0 < ab. Como A es soluble (por Teorema
4.1.3), por hipotesis inductiva, tiene un subgrupo de orden a.
Conjugacion. Sean A y A0 subgrupos de G de orden a. Hagamos k = |AH|. Como
AH G, por el teorema de Lagrange, |AH| = , donde |a y |b. Como (a, b) = 1 y
25

5.1. Primer teorema de Hall

5. Teoremas de P. Hall

A AH, tenemos que a|, entonces a|. As, a = . Como H AH, tenemos que a0 b0 |,
por lo que b0 |. Por la formula del producto, |AH||aa0 b0 , pero entonces |b0 . Concluimos
que |AH| = k = ab0 . Analogamente, vemos que tambien |A0 H| = ab0 . Entonces, AH/H y
A0 H/H son subgrupos de G/H de orden a/a0 . Como |G/H| = (a/a0 )(b/b0 ), estos subgrupos
son conjugados (por hipotesis inductiva), por un xH G/H, i.e.,
xH

A0 H
AH 1
x H=
H
H

Notemos que
xH

AH 1
x H = {xHahHx1 H : x G, a A, h H}
H
= {xahx1 H : x G, a A, h H}

Veamos que xAHx1 = A0 H. Sea xahx1 xAHx1 . Como 1 H, existe a0 A y

Entonces, xAHx1 A0 H. Sea ahora a0 h A0 H. Entonces
H tales que xahx1 = a0 h.
h
yh
tales que a0 h = xahx
1 h
= xahx
1 hxx
1 = xahh
0 x1 = xahx
1 , donde
existen x, a, h
= h0 porque H C G, y hh
0=h
pues H es subgrupo. As, xAHx1 = A0 H. Entonces,
x1 hx
xAx1 y A0 son subgrupos de A0 H de orden a, y por lo tanto son conjugados, por hipotesis
inductiva. Eso completa el primer caso.
Si no estamos en el caso 1, tenemos que b no divide al orden de H. Por lo tanto, podemos
asumir que b||H| para todo subgrupo normal propio H. Sin embargo, si H es un subgrupo
normal minimal, entonces el Teorema 4.2.9 nos dice que H es un p-grupo elemental abeliano,
para alg
un primo p. As, podemos asumir que b = pm , por lo que H es un p-subgrupo de
Sylow de G. La normalidad de H fuerza que sea u
nico (pues todos los p-subgrupos de Sylow
son conjugados. El problema ahora se reduce al siguiente caso.
Caso 2: |G| = apm , donde p no divide a a, G tiene un p-subgrupo de Sylow normal
abeliano H, y H es el u
nico subgrupo normal minimal en G.
Existencia. El grupo G/H es un grupo soluble de orden a (pues H es un p-subgrupo de
Sylow). Si K/H es un subgrupo normal minimal de G/H, entonces |K/H| = q n , para alg
un
primo q 6= p, y por lo tanto |K| = pm q n . Si Q es un q-subgrupo de Sylow de K, entonces
K = HQ. En efecto, como H C K, HQ < K. Y por otro lado, H Q = 1, |HQ| = |H||Q| =
pm q n = |K|. Sea N = NG (Q) := {a G : aQa1 = Q} y sea N = N K = NK (Q).
Afirmamos que |N | = a.
Por el Argumento de Frattini, G = KN . Por el Teorema de Correspondencia, K C G, y
usando el Segundo Teorema del Isomorfismo, tenemos
KN N
N
G
=
=
=
K
K
N K
N
Entonces, |N | = |G||N |/|K|. Pero K = HQ y Q N K nos dice que K = HN . As,
|K| = |HN | = |H||N |/|H N |. Por lo tanto,
|N | =

|G||N |
|G||N ||H N |
=
|K|
|H||N |
|G|
=
|H N | = a|H N |
|H|
26

5.2. Recproca del teorema de Hall

5. Teoremas de P. Hall

Si probamos que H N = 1, tenemos que |N | = a. Veremos que H N = 1 en dos etapas:

H N Z(K) y Z(K) = 1.
1. Sea x HN . Entonces, todo k K = HQ es de la forma k = hs, para h H y s Q.
Como x conmuta con h, porque H es abeliano, es suficiente mostrar que x conmuta
con s. Pero (xsx1 )s1 Q, porque x normaliza a Q (x N ), y x(sx1 s1 ) H,
porque H es normal. Por lo tanto, xsx1 s1 Q H = 1. As, xs = sx, x Z(K) y
H N Z(K).
2. Como Z(K) C K, Z(K) car K, y por el Lema 4.2.3, Z(K) C G. Si Z(K) 6= 1, entonces
contiene un subgrupo minimal que debe ser un subgrupo minimal normal de G. Pero
en ese caso, H Z(K), pues H es el u
nico subgrupo minimal de G. Como K = HQ,
Q car K. Por Lema 4.2.3, Q C G. Entonces, H Q (por ser minimal), y eso es absurdo
(pues Q es un q-subgrupo de Sylow y H es un p-subgrupo de Sylow, con q 6= p). Por
lo tanto, Z(K) = 1, H N = 1 y |N | = a.
Conjugacion. Usaremos la notacion de la prueba de existencia. Recordemos que N =
NG (Q) tiene orden a. Sea A otro subgrupo de G de orden a. Como |AK| es divisible
por a y por |K| = pm q n , tenemos que |AK| = a = pm q n , para algunos , Z.
Entonces, pm divide a (pues p no divide a a), luego |AK| = apm = |G|. Por lo tanto,
AK = G,
AK
A
G
=
=
K
K
(A K)
y |A K| = q n Por el teorema de Sylow, A K es conjugado de Q. Por la Proposicion
5.1.2, N = NG (Q) y NG (A K) son conjugados, y entonces a = |N | = |NG (A K)|.
Como AKCA (por el segundo teorema del isomorfismo), tenemos que A NG (AK),
y as A = NG (A K) (pues ambos tienen orden a). Por lo tanto, A es conjugado a N .

5.2.

Recproca del teorema de Hall

La siguiente definicion esta hecha en tributo a este teorema.

Definici
on 5.2.1. Si G es un grupo finito, entonces un subgrupo H de G se dice que es un
subgrupo de Hall si su orden e ndice son primos relativos (i.e., (|H|, [G : H]) = 1).
Es conveniente, a veces, expresar los divisores primos del orden de un grupo. Si es
un conjunto de primos, entonces un -n
umero es un entero n tal que los primos de su
factorizacion estan en ; el complemento de se nota 0 , y un 0 -n
umero es un entero n tal
que ning
un primo de su factorizacion esta en .
Definici
on 5.2.2. Si es un conjunto de primos, entonces un grupo G es un -grupo si el
orden de cada uno de sus elementos es un -n
umero. Un grupo es un 0 -grupo si el orden de
cada uno de sus elementos es un 0 -n
umero.

27

5.2. Recproca del teorema de Hall

5. Teoremas de P. Hall

Por supuesto que si a es un -n

umero y b es un 0 -n
umero, entonces son primos relativos.
Si consiste de un solo primo p, entonces los -grupos son simplemente los p-grupos, mientras
que los p -grupos no tienen elementos de orden alguna potencia de p. As, por el teorema de
Sylow, todo p-subgrupo de Sylow en un grupo finito es un p-subgrupo de Hall. En efecto, si
P es un p-subgrupo de Sylow de un grupo finito G, |P | = pn , pn ||G| pero pn+1 no divide a
|G|. Entonces, [G : P ] no tiene a p en su factorizacion, por lo que (|P |, [G : P ]) = 1.
El teorema de Hall dice que en grupos finitos solubles siempre existen -subgrupos de
Hall. Sin embargo, a diferencia de los p-subgrupos de Sylow, los -subgrupos de Hall (con
|| 2) de un grupo G no tienen por que existir.
Definici
on 5.2.3. Si p es primo y G es un grupo finito de orden apn , donde a es un p0 n
umero, entonces un p-complemento de G es un subgrupo de orden a.
El teorema de Hall implica que un grupo finito soluble tiene un p-complemento para
todo primo p. Si G es un grupo de orden pm q n , entonces G tiene un p-complemento (un
q-subgrupo de Sylow) y tiene un q-complemento (un p-subgrupo de Sylow).
Lema 5.2.4. Si H y K son subgrupos de un grupo G tal que ([G : H], [G : K]) = 1, entonces
1. [G : H K] = [G : H][G : K]
2. G = HK
Demostracion. Llamemos g = |G|, m = [G : H], n = [G : K] y a = |H K|. Entonces,
existen enteros positivos h, k tales que |H| = ah y |K| = ak (pues H K es un subgrupo
de H y de K). As, g = ahm = akn, lo que implica que hm = kn. Como (m, n) = 1, n
divide a h y m divide a k, por lo que h = nr y k = mj, para algunos enteros j, r. Pero
eso significa que nrm = mjn, y entonces r = j. As, g = amnr. Por otro lado, g = |G|
|HK| = |H||K||H K|1 = amnr2 . Esto fuerza a que r = 1, y entonces |HK| = amn = g.
Luego, HK = G. Tambien, por Lagrange, [G : H K] = mn = [G : H][G : K].

El siguiente resultado (debido a Burnside) escapa a los alcances de este trabajo, por lo
que solamente lo enunciamos: Si p y q son primos, entonces todo grupo de orden pm q n es
soluble.
Teorema 5.2.5. Sea G un grupo finito. Si G tiene tres subgrupos solubles cuyos ndices son
dos a dos coprimos, entonces G es soluble.
Demostracion. Sean los subgrupos H1 , H2 , H3 . Si H1 = 1, entonces |G| = [G : H1 ], y como
([G : H1 ], [G : H2 ]) = 1, tenemos que [G : H2 ] = 1 y H2 = G es soluble. As, podemos
asumir que H1 6= 1. Sea M un subgrupo normal minimal de H1 . Como H1 es soluble, M
es un p-grupo elemental abeliano, para alg
un primo p. Ahora bien, p no puede dividir a los
ndices de H2 y H3 , por lo que asumamos que no divide a [G : H2 ]. Luego, p divide a |H2 |,
y H2 contiene un p-subgrupo de Sylow no trivial, digamos P , que tambien es un p-subgrupo
de Sylow de G. Sea P1 un p-subgrupo de Sylow de H1 . Entonces, P1 P x , para alg
un
x
x G. Podemos reemplazar H2 por H2 sin afectar la hipotesis. As, P1 P y M P , pues
M C H1 . Entonces, M H1 H2 . Por el Lema 5.2.4, G = H1 H2 , y cada x G es de la forma
x = x1 x2 , xi Hi . Luego, M x = M x2 H2 (pues M C H1 ). As, H2 contiene a la clausura
28

6.1. Preliminares

6. Apendice: El grupo alternado

normal de M en G. Como H2 es soluble, K es soluble. Por lo tanto, los subgrupos KHi /K

de G/K estan en las hipotesis del teorema. Por induccion, G/K es soluble, y entonces G es
soluble.

Teorema 5.2.6 (P. Hall, 1937). Si G es un grupo finito con un p-complemento para todo
primo p, entonces G es soluble.
Demostracion. Sea G = p1 1 . . . pnn , con pi 6= pj si i 6= j. Podemos suponer que n > 2, ya
que si n = 1, G es un p1 -grupo y as es soluble; y si n = 2, el Teorema de Burnside garantiza
que G es soluble. Sea Hi un pi -complemento de G, para 1 i n, que existe por hipotesis.
Como [G : Hi ] = pi i , basta mostrar que cada Hi es soluble. As, el resultado se desprende
del teorema anterior. La demostracion es por induccion en el orden de G. Por el Lema 5.2.4,
H1 Hj es un -subgrupo de Hall de G, con = (G) {p1 , pj }. Luego, H1 Hj es un pj
complemento de H1 , para 2 j n. Por hipotesis inductiva, H1 es soluble. De la misma
manera, se prueba que cada Hi es soluble, lo que demuestra el teorema.

6.

Ap
endice: El grupo alternado

En esta parte demostraremos un resultado que nombramos al pasar y que merece un poco
mas de detalle. Veremos que en la mayora de los casos (cuando n 5) el grupo alternado
An es simple.

6.1.

Preliminares

Definici
on 6.1.1. Si X es un conjunto, entonces el conjunto SX = {f : X X biyectivas}
es un grupo bajo la composicion de funciones, llamado grupo simetrico de X o grupo de
permutaciones de X.
Cuando X = {1, 2, . . . , n}, anotamos Sn en vez de SX .
Definici
on 6.1.2. Un elemento i X = {1, 2, . . . , n} es fijado por Sn si (i) = i.
Decimos que Sn es un r-ciclo si existen r enteros i1 , . . . , ir X tales que
(i1 ) = i2

(i2 ) = i3

...

(ir1 ) = ir

(ir ) = i1

y tal que fija a los demas i X. El r-ciclo es anotado (i1 , i2 , . . . , ir ). Un 2-ciclo es

llamado transposicion.
Dos ciclos = (i1 , . . . , ir ) y = (j1 , . . . , js ) son disjuntos si
{i1 , . . . , ir } {j1 , . . . , js } =
Lema 6.1.3. Ciclos disjuntos conmutan.
Teorema 6.1.4. Todo Sn , 6= e, puede ser escrito de forma u
nica (salvo el orden)
como producto de ciclos disjuntos de longitud 2.
Corolario 6.1.5. Todo Sn es producto de transposiciones.
29

6.2. Simplicidad del grupo alternado

6. Apendice: El grupo alternado

Proposici
on 6.1.6. El n
umero de transposiciones en una factorizacion de una permutaci
on
como producto de transposiciones es siempre par o siempre impar.
Definici
on 6.1.7. Una permutacion Sn es par si puede escribirse como producto
de un n
umero par de transposiciones. es impar si puede escribirse como producto de un
n
umero impar de transposiciones. Definimos el signo de , notado sgn(), como
(
1
si es par
sgn() =
1 si es impar
La proposicion anterior muestra que una permutacion no puede ser al mismo tiempo par
e impar, por lo que sgn : Sn {1, 1} esta bien definida. Mas a
un, es un morfismo de
grupos. El kernel de sgn, i.e., el conjunto de permutaciones pares, es un subgrupo normal de
Sn , llamado grupo alternado y notado An .
Definici
on 6.1.8. Decimos que dos permutaciones y tienen la misma estructura de
ciclos si sus factorizaciones en ciclos disjuntos tienen el mismo n
umero de r-ciclos para cada
r.
Proposici
on 6.1.9.
1. Si Sn y = (i1 , . . . , ir ) es un r-ciclo, entonces 1 es el r-ciclo ((i1 ), . . . , (ir )).
2. Cualesquiera dos r-ciclos en Sn son conjugados.
Corolario 6.1.10. Dos permutaciones , Sn son conjugadas sii tienen la misma estructura de ciclos.

6.2.

Simplicidad del grupo alternado

Proposici
on 6.2.1. Sea G un grupo y N G un subgrupo. Entonces, N es normal sii N
es union de clases de conjugacion.
Demostracion. Supongamos que N es normal. Si x N esta en una clase de conjugacion C,
entonces C N , porque todo conjugado de x esta en N (por ser N normal). As, N es la
union de las clases de conjugacion a donde pertenecen sus elementos.
Recprocamente, supongamos que N es union de clases de conjugacion y tomemos x N .
Entonces, x esta en alguna clase de conjugacion de las que forman a N . Pero entonces
cualquier conjugado de x esta en N .

Proposici
on 6.2.2. Si es un k-ciclo de Sk y conmuta con , entonces es una potencia
de .
Demostracion. Si = , entonces
(a1 , . . . , ak ) = = 1 = 1 = ( (a1 ), . . . , (ak ))
Pero entonces existe i, 0 i < k, tal que
( (a1 ), . . . , (ak )) = (a1 , . . . , ak ) = (ai+1 , . . . , ak , a1 , . . . , ai )
30

6.2. Simplicidad del grupo alternado

6. Apendice: El grupo alternado

Luego, (a1 ) = ai+1 y (ak ) = ai . Consideremos i :

i = (a1 , ai+1 , . . . , ak , ai , . . .)
As, i y deben ser el mismo k-ciclo.

Ahora analicemos que pasa con la conjugacion en el caso de A5 S5 . El problema que

se presenta es que dos elementos , 0 A5 pueden ser conjugados en S5 sin serlo en A5 . En
efecto, si 1 = 0 con S5 , nada nos garantiza que uno pueda elegir esa para que sea
una permutacion par. Si uno no puede, veremos que la clase de conjugacion en S5 se divide
en dos clases en A5 .
Los elementos de A5 (las permutaciones pares de S5 ) pueden clasificarse de la siguiente
forma:
1. La identidad.
2. El producto de dos ciclos disjuntos, con (1, 2)(3, 4) como ejemplo. Hay 15 permutaciones de este tipo, pues el n
umero que falta (el punto fijo) puede ser elegido de 5
maneras distintas, y el resto se puede dividir en pares de 3 maneras distintas. Estas
permutaciones son todas conjugadas en A5 .
Asumamos que es conjugado a (1, 2)(3, 4) en S5 , i.e., = (1, 2)(3, 4) 1 . Si
es par, todo piola. Si no, reemplazamos por (1, 2). Esto es par, y entonces
(1, 2)(1, 2)(3, 4)(1, 2) 1 = (1, 2)(3, 4) 1 =
As, pertenece a la clase de conjugacion de (1, 2)(3, 4) en A5 .


3. Los 3-ciclos, con (1, 2, 3) como ejemplo. Hay 20 elementos, puesto que hay 52 = 10
maneras de elegir los 3 elementos del ciclo, y cada una puede ser ordenada de dos
formas distintas. Estas permutaciones son todas conjugadas en A5 . Es analogo al caso
anterior, reemplazando por (4, 5).
4. Los 5-ciclos, con (1, 2, 3, 4, 5) como ejemplo. Hay 4! = 24 permutaciones de ese tipo,
pues podemos asumir que arrancamos siempre con un 1. Esta S5 -clase se divide en
dos A5 -clases, cada una con 12 elementos. En efecto, por la Proposicion 6.2.2, toda
permutacion que conmute con = (1, 2, 3, 4, 5) es una potencia de , y por lo tanto es
par. La clase de S5 se divide en dos subconjuntos:
P = {1 | par} I = {1 | impar}
Es claro que si uno toma dos elementos en uno de los dos conjuntos, entonces son
conjugados en A5 : Si tomamos 1 , 1 I, entonces
( 1 )1 ( 1 ) = 1
y 1 A5 . Por otro lado, no hay conjugacion cruzada entre ellos en A5 . En efecto,
si 1 = (1 )1 , con par y impar y par, entonces 1 1 es impar y
conmuta con , lo que es imposible por la Proposicion 6.2.2. Por lo tanto, P e I son
clases de conjugacion diferentes en A5 .
Ademas, los conjuntos P e I tienen el mismo n
umero de elementos, porque si es una
permutacion impar, entonces la conjugacion por manda a P en I, y viceversa.
31

6.2. Simplicidad del grupo alternado

6. Apendice: El grupo alternado

Teorema 6.2.3. A5 no es un grupo simple.

Demostracion. Supongamos que N A5 es un subgrupo normal. La idea es contar el posible
n
umero de elementos de N de dos maneras distintas (usando el teorema de Lagrange y usando
la Proposicion 6.2.1) y ver que no encajan.
Por Lagrange, el orden del supuesto subgrupo normal N debe dividir al orden de A5 .
Como |A5 | = 4 3 5 = 60, la lista de posibles ordenes es
2, 3, 4, 5, 6, 10, 12, 15, 20, 30
Por otro lado, la proposicion anterior nos dice que N es union de clases de conjugacion, y su
orden debe ser igual a la suma de los cardinales de las clases. Los ordenes de las cinco clases
de conjugacion de A5 los calculamos arriba:
1, 12, 12, 15, 20
Las pocas combinaciones de esos n
umeros cuya suma no es mayor a 30 son
1 1 + 12 + 12
1 + 12 1 + 12 + 15
1 + 15
1 + 20
El problema es que no hay ninguna coincidencia entre los posilbes ordenes de las dos listas.
Por lo tanto, no existe tal subgrupo normal N , y A5 es simple.

Para el caso general necesitamos dos lemas mas.

Lema 6.2.4. Si ning
un elemento no trivial de un subgrupo N An tiene un punto fijo,
entonces N tiene menos de n elementos.
Demostracion. Si N tuviese mas de n elementos, la aplicacion N In que manda 7 (1)
no sera inyectiva. Entonces, existiran dos diferentes permutaciones en N con (1) = 0 (1).
Pero entonces 1 0 fijara a 1, y = 0 , ya que no hay elementos no triviales en N con
puntos fijos.

Lema 6.2.5. Si n 5, entonces ninguna clase de conjugacion de An tiene menos que n

elementos.
Demostracion. Sea C una clase de conjugacion. Si C contiene un n-ciclo o un (n 1)-ciclo,
entonces tiene al menos 21 (n 2)! elementos, que es claramente mas grande que n cuando
n 5. Si no, los elementos de C son productos de ciclos disjuntos de longitud menor o igual
que n 2. Hacemos induccion y concluimos que C contiene al menos (n k)k elementos,
donde k 2.

Teorema 6.2.6. El grupo alternado An es simple si n 5.

32

6.2. Simplicidad del grupo alternado

6. Apendice: El grupo alternado

Demostracion. Aplicamos induccion en n. El caso base ya lo cubrimos en el teorema anterior.

Asumamos que N An es un subgrupo normal, no trivial y propio. Veremos que eso lleva
a una contradiccion. Como es usual, anotamos In = {1, 2, . . . , n}.
Para cualquier a In , el subgrupo Ga de An , que consiste de todas las permutaciones
que fijan a a, es isomorfo a An1 . Ademas, son todos conjugados: si fija a a, entonces
(c, d)(a, b) (a, b)(c, d) fija a b, donde (a, b) y (c, d) son disjuntos (parece irrelevante, pero
(c, d) tiene que estar para hacer que la permutacion por la que conjugamos sea par).
Como N C An , las intersecciones N Ga son normales en Ga , y por induccion o bien
son todos iguales a Ga , en cuyo caso N = An (pues por el Teorema 6.1.4, todo elemento
de An puede escribirse como producto de ciclos disjuntos, y cada ciclo esta en alg
un Ga y
Ga N a), o bien son todos triviales. En este u
ltimo caso, ninguna permutacion no trivial
en N tiene un punto fijo. Entonces, por el Lema 6.2.4, N tiene menos que n elementos.
Pero por el Lema 6.2.5, ninguna clase de conjugacion de An tiene menos que n elementos,
y esto contradice que N es la union de las clases de conjugacion de sus elementos (pues es
normal).

33

Referencias
[1] Adkins, W y Weintraub S. H. (1992), Algebra: An Approach via Module Theory,
Springer-Verlag, New York.
[2] Bezerra dos Santos, R. (2010), O Teorema de P. Hall, Universidade Federal de Minas
Gerais, Belo Horizonte.
[3] Cohn, P. M. (2003), Further Algebra and Applications, Springer-Verlag, London.
[4] Haugnss S. Z. y Lindstrm P. (2013), Most alternating groups are simple, Universitetet
i Oslo, Oslo.
[5] Rotman J. J. (1995), An Introduction to the Theory of Groups, Springer-Verlag, New
York.
[6] Rotman J. J. (2003), Advanced Modern Algebra, Prentice Hall.

34