TEOREMAS DE SYLOW

I Para los grupos cclicos finitos es valido el recproco del

Teorema de Lagrange, i.e. si G es un grupo cclico finito de
orden n y m divide a n entonces G contiene exactamente un
subgrupo de orden m.
Ahora vamos a mostrar que esto es cierto para grupos finitos
arbitrarios, pero con m = p n .
? La unicidad es salvo conjugacion.
I Los Teoremas de Sylow son un primer paso para entender la
estructura de un grupo finito arbitrario.
Lema
Si un grupo H de orden p n (p primo) actua sobre un conjunto
finito S y si
S0 = {x S : hx = x h H},
entonces |S| |S0 | (mod p).
Demostracion Una orbita x contienen exactamente un elemento sii
x S0 . En efecto

x S0 hx = x h H
x es el unico elemento que pertenece a
x = {gx : g H}.
 . la que contiene un solo elemento.
S =S0 x1 x2 xn , union disjunta,
- las que contienen mas de un elemento.

con |xi | > 1 i .

|S| = |S0 | + |x1 | + + |xn |.

Ahora, p | |xi | para cada i ya que |xi | > 1 y |xi | = [G : Hxi ] divide
a |H| = p n ,
|S| |S0 |(mod p).
Teorema de Cauchy
Si G es un grupo finito cuyo orden es divisible por un primo p,
entonces G contiene un elemento de orden p.
Demostracion Sea S el conjunto de las p-tuplas.

{(a1 , . . . , ap ) | ai G y a1 ap = e}.

Ya que ap esta unvocamente determinado por

ap = (a1 ap1 )1 , se sigue que |S| = np1 , donde |G | = n.

Como p | n, |S| 0(mod p).

Considere el grupo Zp actuando sobre S por una permutacion

cclica, i.e. para k Zp , k(a1 , . . . , ap ) = (ak+1 , . . . , ap , a1 , . . . , ak ).
Hay que verificar que la accion de Zp sobre S esta bien definida.
1. Verifique que (ak+1 , ak+2 , . . . , ak ) S
Sabemos que
(a1 ak )(ak+1 ap ) = e ak+1 ap a1 ak = e.
2. Verifique que
I 0x = x
I Para k, k 0 Zp y x S, (k + k 0 )x = k(k 0 x).
Por tanto, la accion de Zp sobre S esta bien definida.
Recordemos que
S0 = {x S : hx = x}
Ahora (a1 , . . . , ap ) S0 sii a1 = a2 = = ap , en efecto,
 (a1 , , ap ) S0 k(a1 , , ap ) = (a1 , ap ) k Zp
a1 = a2 = = ap .

Claramente (e, e, , e) S0 y |S0 | =

6 0.

Por el lema previo 0 |S| |S0 | (mod p).

Ya que |S0 | =
6 0 debe haber al menos p elementos en S0 , i.e. existe
un a 6= e tal que (a, a, , a) S0 ,

ap = e. Ya que p es primo |a| = p.

I Un grupo en el cual todo elemento tiene orden una potencia
de un primo p es llamado un p-grupo.
I Si H es un subgrupo de un grupo G y H es un p-grupo,
decimos que H es un p-subgrupo de G.
I En particular hei es un p-subgrupo de G para cada primo p,
ya que |hei| = 1 = p 0 .
Corolario
Un grupo finito G es un p-grupo sii |G | es una potencia de p.

Demostracion () Si G es un p-grupo y q es un primo que divide

a |G |, entonces G contiene un elemento de orden q [T. Cauchy].

Ya que cada elemento de G tiene orden una potencia de p

p = q |G | = p k .

() T. Lagrange.
Corolario
El centro C (G ) de un p-grupo finito no-trivial G contiene mas de
un elemento.
Demostracion Consideremos la ecuacion de clases
X
|G | = |C (G )| + [G : CG (xi )].
| {z }
c/u >1 y divide a |G |=p n

p divide a cada [G : CG (xi )] y a |G |

p divide a [C (G )] y ya que |C (G )| 1, entonces C (G ) tiene al

menos p elementos.
Lema
Si H es un p-subgrupo de un grupo finito G , entonces

[NG (H) : H] [G : H](mod p).

Demostracion. Sea S el conjunto de clases a izquierda modulo H y

consideremos H actuando sobre S (traslacion a izquierda)

def
Entonces |S| = [G : H]. Ademas,
 xH S0 hxH = xH hH
1
x hxH = H hH
1
x hx H hH
1
x Hx = H
xHx 1 = H
x NG (H) normalizador de H en G .
= {g G : gHg 1 = H}.

|S0 | es el numero de clases laterales xH con x NG (H),

i.e. |S0 | = [NG (H) : H].
lemma def
Entonces [NG (H) : H] |S0 | |S| = [G : H] (mod p).
Corolario
Si H es un p-subgrupo de un grupo finito G tal que p divide a
[G : H], entonces NG (H) 6= H.
Demostracion.

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

0 (mod p) pq p | [G : H] por hip.

Como [NG (H) : H] 1 [NG (H) : H] > 1, luego NG (H) 6= H.

Primer Teorema de Sylow
Sea G un grupo de orden p n m, con n 1, p primo, (p, m) = 1.
Entonces, G contiene un subgrupo de orden p i para cada
1 i n y cada subgrupo de G de orden p i (i < n) es normal en
algun subgrupo de orden p i+1 .

Demostracion. Ya que p | |G |, G contiene un elemento a tal que

hai es de orden p (T. Cauchy).

Procediendo por induccion asuma que H es un subgrupo de G de

orden p i (1 i < n). Entonces p | [G : H] y por el Lema y un
corolario, H es normal en NG (H) (pero son distintos).

H 6= NG (H) y

def
1 < |NG (H)/H| = [NG (H) : H] [G : H] 0 (mod p).
 p | |NG (H)/H| y NG (H)/H contiene un subgrupo de orden p
(T. Cauchy).
Por el T. Correspondencia este grupo es de la forma H1 /H donde
H1 es un subgrupo de NG (H) que contiene a H. Ya que H es
normal en NG (H), entonces H es normal en H1 .

NG (H)
|
H1
| normal
H

Ademas:
|H1 | = |H| |H1 /H| = p i p = p i+1 .
Un subgrupo P de un grupo G se dice un p-subgrupo de Sylow si
P es un p-subgrupo maximal de G (i.e. P < H < G con H un
p-subgrupo implica P = H).
? p-subgrupos de Sylow siempre existen (Lema de Zorn).
? Un grupo finito G tiene p-subgrupos de Sylow no-triviales para
cada primo p que divide a |G |. Existencia de p-subgrupos de
Sylow

Corolario
Sea G un grupo de orden p n m con p primo, n 1 y (m, p) = 1.
Sea H un p-subgrupo de G .
(i) H es un p-subgrupo de Sylow de G sii |H| = p n .
(ii) Todo conjugado de un p-subgrupo de Sylow es un p-subgrupo
de Sylow.
(iii) Si solo hay un p-grupo de Sylow P, entonces P es normal en
G.
Demostracion
(i) Por el 1er T. Sylow, G contiene una cadena de subgrupos de
orden p i , 1 i n, tales que |Hi | = p i

H1 C H2 C CHn

es maximal |H| = p n .

(ii) Si H G , entonces aHa1 es subgrupo de G para cada a G

y

H= a H a1

si este es de Sylow a H a1 es de Sylow.

(iii) Si solo existe un p-subgrupo de Sylow P, entonces el

conjugado de P es el mismo, i.e. a P a1 = P a G i.e.
P E G.
Como recproco de la parte (ii) tenemos:
Segundo Teorema de Sylow
Si H es un p-subgrupo de un grupo finito G , y P es un p-subgrupo
de Sylow de G , entonces existe x G tal que H < x P x 1 . En
particular, dos p-subgrupos de Sylow de G son conjugados.
Demostracion Sea S el conjunto de clases modulo P y
consideremos a H actuando por traslacion a izquierda sobre S.

S0 = {x S : hx = x h H},
= {xP : h x P = xP h H}.

lema 5.1 def de S

Entonces |S0 | |S| [G : P] (mod p)
Pero p - [G : P] en efecto: |G | = p n m, algun n y si P es p-grupo
de Sylow, |P| = p n y ademas, como |G | = [G : P]|P|, entonces
p - [G : P].
 |S0 | =
6 0 luego existe x P S0

x P S0 h x P = xP h H
1
x hx P = P h H
x 1 H x < P
H < x P x 1 .

Si H es un p-subgrupo de Sylow |H| = |P| = |x P x 1 | y

H = x P x 1 .
Tercer Teorema de Sylow
Si G es un grupo finito y p un primo, entonces el numero de
p-subgrupos de Sylow de G divide a |G | y es de la forma k p + 1
para algun k 0.
Cuenta cuantos p-subgrupos de Sylow hay.
Demostracion Por el 2 T. Sylow el numero de p-subgrupos de
Sylow es el numero de conjugados de uno de ellos, digamos P.

Pero este numero es [G : NG (P)], un divisor de |G |.

Sea S el conjunto de todos los p-subgrupos de Sylow de G y sea P

actuando sobre S por conjugacion.

Entonces Q S0 sii x Q x 1 = Q x P (todo elemento de

P esta en el normalizador)

La ultima condicion se tiene sii P < NG (Q).

Ambos P y Q son p-subgrupos de Sylow de G y de NG (Q),
y son conjugados en NG (Q).

Pero ya que Q es normal en NG (Q), esto puede ocurrir solamente

si Q = P (solo hay uno normal).

S0 = {P} y por el lema |S| |S0 | 1 (mod p)

|S| = kp + 1.
Teorema
Si P es un p-subgrupo de Sylow de un grupo finito G , entonces
NG (NG (P)) = NG (P).
Demostracion Cada conjugado de P es un p-subgrupo de Sylow de
G , que lo contiene.
Ya que P es normal en N = NG (P), P es el unico p-subgrupo de
Sylow de N.
NG (NG (P))
z }| {
x NG (N) x N x 1 = N x P x 1 < N
x P x 1 = P x N.

NG (NG (P)) < N.

Ejemplo de p-subgrupos en un grupo no abeliano
(GLn (R), ) matrices reales n n
invertibles.

1 a b
En GL3 (Zp ) definimos U T3 (Zp ) := 0 1 c | a, b, c Zp .
0 0 1

I U T3 (Zp ) GL3 (Zp )

I U T3 (Zp ) 6=
1
1 a b 1 a ac b
I 0 1 c = 0 1 c
0 0 1 0 0 1
I U T3 (Zp ) es cerrado bajo multiplicacion.
I |U T3 (Zp )| = p 3 .
I U T3 (Zp ) es un p-subgrupo de G L3 (Zp ).
I U T3 (Zp ) no es abeliano:

1 1 1 1 0 1 1 0 1 1 1 1
0 1 0 0 1 1 6= 0 1 1 0 1 0 .
0 0 1 0 0 1 0 0 1 0 0 1
Ejemplos

1. (Zpn , +, 0) con n 1, es un p-grupo finito.

2. Subgrupos de Sylow de Z72 72 = 23 32
2-subgrupos: Z1 , Z2 , Z4 , Z8 .
2-subgrupo de Sylow Z8 .
3-subgrupos: Z1 , Z3 , Z9
3-subgrupo de Sylow Z9 .