Você está na página 1de 2

1 Algebra Avan cada - MAT/ICEx/UFMG - 2012 Ana Cristina Vieira - Teoremas de Sylow Estes teoremas foram demonstrados por

r Ludvig Sylow, em 1876 e garantem a exist encia de p-subgrupos em grupos nitos, al em de outras informa c oes sobre estes subgrupos. Em cada um deles, temos G um grupo nito de ordem p m, onde p e um primo e mdc(p, m) = 1. Um subgrupo de G de ordem p (que existir a de acordo com o Teorema 1) e dito p-subgrupo de Sylow de G e o conjunto de todos os tais subgrupos e denotado por Sylp (G). Teorema 1 Para cada , 0 existe um subgrupo de G de ordem p . Demonstra c ao: Indu ca o sobre |G|. Se |G| = 1, acabou. Suponha que |G| > 1 e que o teorema seja v alido para qualquer grupo de ordem < |G|. Sabemos que se p divide |Z (G)| ent ao existe g Z (G) tal que o(g ) = p. Portanto, = G/ g tem ordem < |G| e pela hip tem o grupo quciente G otese de indu ca o, G 1 um subgrupo K de ordem p . Agora basta usar o Teorema da Correspond encia e ver que existe K G tal que K = K/ g e assim, |K | = p . Agora, suponhamos que p n ao divide |Z (G)| e consideremos a seguinte a c ao de G sobre o conjunto X = G Z (G): : G Sim(X ) g g : X X x xg Como G = Z (G) X (uni ao disjunta), temos que p n ao divide |X |. Mas |X | = |OrbG (x)| e ent ao temos que p n ao divide |OrbG (x)|, para algum x X . Por
x X

outro lado, |OrbG (x)| = [G : StabG (x)] e com isso, p divide |StabG (x)|. Como x / Z (G), temos |StabG (x)| < |G|. Usamos a hip otese de indu ca o e conclu mos que existe H StabG (x) tal que |H | = p . Lema: Se S Sylp (G) e x G e um elemento de ordem pot encia de p em NG (S ) ent ao x S . claro que S Demonstra c ao: E e normal em N = NG (S ) ent ao se x / S consideramos H = x e teremos [N H : S ] = [H : H S ] = 1, o que e um absurdo desde que p n ao divide [N H : S ]. Corol ario: Se S Sylp (G) e P e um p-subgrupo de G ent ao NG (S ) P = S P .

2 Teorema 2: Todo p-subgrupo de G est a contido em algum p-subgrupo de Sylow de G. Demonstra c ao: Vamos provar que se P e um p-subgrupo de G e S Sylp (G) ent ao P est a contido em algum conjugado de S em G. Para fazer isto, consideramos a seguinte a ca o de P sobre X = {S x | x G}, o conjunto dos conjugados de S em G: : P Sim(X ) g g : X X S x S gx
k

Temos que |X | =
i=1

|OrbP (Si )|, onde {S1 , , Sk } e o conjunto dos representantes


k

das o rbitas de X . Mas StabP (Si ) = NP (Si ) = NG (Si ) P . Como |OrbP (Si )| = [P : StabP (Si )] ent ao |X | =
i=1

[P : NG (Si ) P ]. Como |X | e o n umero de conjugados

que S em G temos que


k

()

[G : NG (S )] =
i=1

[P : NG (Si ) P ],

onde por um lado, p n ao divide [G : NG (S )] e por outro lado, cada parcela do lado direito e igual a 1 ou uma pot encia de p, Assim, existe i tal que [P : NG (Si ) P ] = 1, ou seja, P = NG (Si ) P .Como NG (Si ) P = Si P , temos que P = P Si , ou seja, P Si como desejado. Corol ario 2: Todos os p-subgrupos de Sylow de G s ao conjugados. Teorema 3: Se P Sylp (G) e np e o n umero de p-subgrupos de Sylow de G ent ao np = [G : NG (P )] e consequentemente np 1 (mod p) e np |m. Demonstra c ao: Pelo Corol ario 2, temos np = [G : NG (S )] e assim, np divide m. Agora, voltando em () e fazendo P = S , observamos que np = [G : NG (S )] =
k k

[S : NG (Si ) S ] e usando o Corol ario 1, concluiremos que np =


i=1 i=1

[S : Si S ],

ou seja, np 1(mod p), pois uma das parcelas anteriores e igual a 1 enquanto que a soma de todas as outras e um m ultiplo de p.

Você também pode gostar