Você está na página 1de 11

Sumrio

1 Ao de Grupos 3
2 Teoremas de Sylow 5
2.1 Aula 02/09/2011 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 SUMRIO
Captulo
1
Ao de Grupos
Seja G um grupo e S um G-conjunto. No estudo de a ao de grupos, destacamos os
seguintes conjuntos
(1) rbitas: Se a S, temos [a] := {g a : g G}.
Que tipo de elemento tem rbita unitria, ou seja, |[a]| = 1?
Observe que [a] = {a} g a = a para todo g G. Ou seja, S
0
a
unio dos elementos de S que tem rbita de tamnho 1.
Que tipo de ao causa [a] = S?:
Que tipo de ao causa #[a] = 1 para todo a S?:
Para cada a S, temos o estabilizador G
a
que subgrupo de G. Sabemos que
#[a] = [G : G
a
]. No caso nito, temos que o tamanho de cada rbita divisor
de |G|.
Que tipo de ao garante que as rbitas tm todas o mesmo tamanho?
Em geral, G
a
no subgrupo normal de G. Que tipo de ao garante G
a
G
para todo a S?
O que podemos dizer sobre

aS
G
a
?
Se [a] = [b], ento G
a
e G
b
so conjugados.
(2) Estabilizadores:
O que signica G
a
= e?
3
4 CAPTULO 1. AO DE GRUPOS
O que signica G
a
ser maximal em G?, Incluindo G
a
= G? Tem a ver com
acao transitiva e G primitivo
Que tipo de ao garante G
a
G
b
= G
c
? E G
a
G
b
= {e}?
(3) Pontos Fixos: S
0
= {a S : g a = a para todo g G}
O que signica S
0
= ? e S
0
= S?
Observe que S
0
=

|[a]|=1
{a}.
Logo S
0
= , sse no existe rbita de tamanho unitario; e S
0
= S sse toda
rbita tem tamanho unitario
(3) Fix(g) = {a S : ga = a}:
O que signica Fix(g) = S? Claro que g = e uma possibilidade.
Observe que S
0
=

gG
Fix(g).
O que signica Fix(g) = ?
Captulo
2
Teoremas de Sylow
2.1 Aula 02/09/2011
Teorema 2.1. Se p um primo e G um grupo tal que |G| = p
r
m e p m, ento G tem
um subgrupos H
i
de ordem p
i
, para todo i {0, ..., r}.
Demonstrao: (por induo em n = |G|)
O caso n = 1 trivial. Suponha n > 1 e que o resultado seja vlido para todo grupo
de ordem n 1. Considere n = |G| = p
r
m.
Se r = 0, temos o resultado pois i {0} e H
0
:= {e} tem ordem 1 = p
0
.
Se r 1, temos duas possibilidades:
(1) p

|Z(G)|;
(2) p |Z(G)|
No caso (1), sabemos que existe a Z(G) (Lema ??) tal que (a) = p. Logo
H :=< a > subgrupo normal de G de ordem p. Assim, o grupo G/H tem ordem p
r1
m.
Mas pela hiptese de induo, temos que G/H tem subgrupos K
i
/H
1
tais que

K
i
H

= p
i
m, i {0, ..., r 1}.
Assim,
|K
i
| = |H|p
i
= p
i+1
, i {0, ..., r 1}.
1
Pelo teorema da correspondncia, K
i
so subgrupos de G contendo H
5
6 CAPTULO 2. TEOREMAS DE SYLOW
Denindo H
0
= {e} e H
i
= K
i1
, para i {1, ..., r}, temos o resultado.
No caso (2), olhando para a equao de classe
|G| = |Z(G)| +

aZ(G)
[G : C(a)], (2.1.1)
temos que existe a / Z(G) tal que p [G : C(a)] (tente negar esse fato!). Mas
|G| = [G : C(a)]|C(a)|,
implica p
r

|C(a)| e, como |C(a)| < |G|, pela hiptese de induo, C(a) tem subgrupos
H
i
de ordem p
i
, para todo i {0, ..., r}. Logo, como H
i
subgrupo de G, o resultado
segue.
Denio 1. Considere |G| = p
r
m, p m e r 1. Se H subgrupo de G e |H| = p
r
,
chamamos G de p-subgrupo de Sylow (ou, simplesmente, p-Sylow).
Teorema 2.2. Suponha |G| = p
r
m, p m e r 1. Se H e K so p-subgrupos de Sylow,
ento H e K so conjugados, isto , H = gKg
1
para algum g G.
Demonstrao:
Usaremos o seguinte roteiro:
Tomamos dois p-subgrupos de Sylow de G, digamos, K e H.
Usamos um deles para construir um conjuntos S, e deixamos o outro subgrupo agir
em S.
Consideramos o subconjunto S
0
S dos pontos xos da ao, e mostramos que S
0
no vazio.
A existncia de um elemento em S
0
induzir a existncia de um elemento em x G,
tal que H = xKx
1
.
Plano em "ao":
Sejam H e K p-Sylows, ou seja, |H| = |K| = p
r
. Considerando S = {xH : x G}, o
2.1. AULA 02/09/2011 7
conjunto das classes laterais a esquerda de H, fcil ver que
K S S
(k, xH) (kx)H.
. (2.1.2)
dene uma ao de K em S.
Seja
S
0
= {xH S : (kx)H = xH para todo k K},
o conjunto dos pontos xos da ao. Sabemos que
|S
0
| |S| mod p
ou seja,
|S
0
| [G : H] mod p
Mas como [G : H] = m e p m, temos que S
0
= .
Ento, existe xH S
0
tal que kxH = xH, para todo k K. Ou seja,
x
1
kxH = H, para todo k K,
isto ,
x
1
kx H, para todo k K.
Portanto, x
1
Kx H. Como subgrupos conjugados so isomorfos, temos
|x
1
Kx| = |K| = p
r
= |H|.
Mas ento, x
1
Kx = H, o que conclui a demonstrao.
Corolrio 2.2.1. Se G possui um nico p-Sylow H, ento H G.
Demonstrao: Pelo Teorema 2.2, o conjunto dos p-subgrupos de Sylow de G
dado por {gHg
1
: g G}. Mas se H o nico elemento de tal conjunto, temos que
H = gHg
1
para todo g G, ou seja, H G.
8 CAPTULO 2. TEOREMAS DE SYLOW
Lema 1. Seja G um grupo nito e P um p-subgrupo de Sylow de G. Se a ordem de a G
uma potncia de p e aPa
1
= P, ento a P.
Demonstrao: Temos que aPa
1
= P = a N(P). Suponha a / P e considere
aP como elemento de N(P)/P. Temos que (aP) divide (a) = p
s
. Logo, como a / P,
temos que (aP) = p
t
, para algum t 1, e portanto H :=< aP > um p-subgrupo de
N(P)/P. Assim, pelo teorema da correspondncia, existe K, subgrupo de N(P) contendo
P, tal que K/P = H. Mas isso implica |K| = |P| |H|, ou seja, K um p-grupo com
ordem maior que |P|. Contradio, pois P um p-Sylow.
Teorema 2.3. Seja |G| = p
r
m e n
p
o nmero de p-subgrupos de Sylow. Ento,
(1) n
p
1 mod p,
(2) n
p
|m.
Demonstrao:
Sejam S := {conjunto dos p-Sylows} e n
p
= |S|.
(1) Seja P S e considere ao de P em S dada por
P S S
(g, Q) gQg
1
.
. (2.1.3)
Analisemos as rbitas de Q S:
Q = P = [P] = {gPg
1
: g P} = {P};
Q = P = [Q] = {gQg
1
: g P} = {Q} (pelo Lema 1).
Disso conclumos que |[Q]| > 1 para todo Q = P. Mas sendo P
Q
o estabilizador de Q,
sabemos que
|[Q]| = [P : P
Q
], ou seja, |[Q]| divisor (> 1) de |P| = p
r
. Segue ento que, com
exceo da rbita [P], que tem tamanho 1, todas as demais rbitas tm tamanho p
s
para
algum s 1. Logo, como S unio de tais rbitas, temos que
|S| = 1 + kp,
2.1. AULA 02/09/2011 9
para algum k 0. Portanto n
p
1 mod p.
(2) Deixemos G agir em S por conjugao (permitido pelo Teorema 2.2). Como ao
transitiva
2
, temos que |S| divide |G|, ou seja, n
p
= 1 + kp divide p
r
m. Mas como
gcd(1 + kp, p
r
) = 1, segue que n
p
|m.
Exemplo 1. Se |G| = 45, ento G tem subgrupo normal de ordem 9.
De fato, como 45 = 3
2
5, pelo ltimo teorema temos que o nmero de 3-Sylows dado
por n
p
= n
3
= 1 + 3k, onde (1 + 3k)|5. Portanto, a nica possibilidade k = 0 , ou seja,
n
p
= 1.
2
um exerccio fcil mostrar que (no caso nito) se G age transitivamente em S, ento |S| divide |G|.
10 CAPTULO 2. TEOREMAS DE SYLOW
Referncias Bibliogrcas
[1] GARCIA, A., LEQUAIN, Y. Elementos de lgebra. 5.ed. Rio de Janeiro: IMPA,
2010.
[2] HERSTEIN, I. N. Topics in algebra. 2.ed. Nova York: Wiley, 1975.
11