Você está na página 1de 13

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

Estruturas de grupos finitos


Henrique Bernardes da Silva
Aluno do curso de Licenciatura em Matemtica do CAJ/UFG bernardes_henrique@yahoo.com.br

Esdras Teixeira Costa


Professor do Campus Jata da Univesidade Federal de Gois esdras.ufg@gmail.com

Resumo

Nosso ponto de partida para este trabalho foi uma anlise sobre as necessidades matemticas que levaram criao do conceito de grupo. A partir da denio de grupo e das implicaes desta denio sobre um dado conjunto munido de uma operao , nosso interesse foi estudar, a partir da tbua da operao quais as estruturas algbricas possveis para um dado conjunto com n elementos. Esta estratgia foi eciente para conjuntos nitos de ordem no superior a 6. Para conjuntos nitos de ordem maior, nossos esforos se concentraram em teoremas que, se no fornecem toda a estutura do grupo, fornecem a maior quantidade de informao possvel. Seguindo esta linha de raciocnio, este artigo de reviso aborda determinados tpicos da teoria de grupos, chegando at os teoremas de Sylow. Palavras-chave: Grupos nitos, estrutura, Sylow.

Finite groups structures


Abstract

We begin this work with an analysis of the mathematic motivations that have resulted in the creation of the concept of group. With the denition of group and the implications of this denition upon a given set with an operation , we were concerned with studing, through the table of the operation , which were the possible algebraic structures for a given set with n elements. This strategy was sucient for nite groups of order less than 6. For nite sets of greater order, we concentrate on theorems that, if doesn't bring the whole structure of the groups, at least bring out the most of information about them. We present here some topics of groups theory, up to Sylow theorems. Keywords: Finite groups, structure, Sylow.

1 Introduo
Suponha que sejam dados um conjunto elementos

munido de uma operao binria

e dois

a, b X .

Vejamos quais seriam as condies necessrias sobre

a, b, X

para

que exista soluo para uma equao do tipo

Silva, H.B. Costa, E.T.

- 1-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

ax=b
A soluo mais comum pede que existam dois elementos especiais dentro de 1. Um elemento

(1)

X:

eX

chamado de elemento neutro, que possui a capacidade de ser neu-

tro em relao operao

o que se traduz em termos matemticos por:

dado qualquer

y X, y e = e y = y 
com a propriedade de transformar

2. Um outro elemento mento neutro

ya

dependente de

no ele-

atravs da operao

,
a

o que se traduz em termos matemticos por:

ya = ya a = e

Uma vez que assumimos a existncia destes dois elementos e e ya e ainda, por comodidade, 1 1 denotemos ya por a , ao operarmos esquerda ambos os lados da equao 1 por a , temos:

ax = b (a x) = a1 b
seja exvel o suciente para permitir que faamos Novamente, em linguagem

necessrio agora que a operao matemtica, a operao

a escolha sobre quais elementos devem ser operados primeiro.

deve satisfazer, para quaisquer

, , X :

( ) = ( )
Esta propriedade, chamada de associativa, permite que cheguemos ento ao desfecho de nossa pequena investigao sobre a soluo de 1:

a1 (a x) (a1 a) x ex x a b X

= = = =

a 1 b a 1 b a 1 b a 1 b ax = b
na

razovel concluir ento que, se quisermos resolver uma operao do tipo qual e so elementos de um conjunto que tem uma operao binria

as seguintes

trs condies so imprecindveis:

Associatividade da operao

em

X;
em

Existncia de elemento neutro para a operao

X;
Estruturas de grupos nitos

Silva, H.B. Costa, E.T.

- 2-

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

* e

e e

Tabela 1: Um grupo com um nico elemento

Existncia de um inverso

a 1

com relao operao

para cada elemento

a X. X
munido

Detalhes sobre tais propriedades so exaustivamente considerados em (DOMINGUES-2003). Estamos ento a par da necessidade de se nomear de forma particular um conjunto de uma operao

de tal forma que sejam satisfeitas as trs condies acima.

Denio 1.

Um

grupo um conjunto X

munido de uma operao

que satisfaz as trs

condies acima. Consideraes adicionais sobre esta denio podem ser encontradas em (HERSTEIN-1975) e (MONTEIRO-1971). Existe uma outra propriedade que nem toda operao possui, mas que facilita muito o trabalho com grupos. A propriedade em questo se chama comutatividade; se a operao de um grupo possui esta propriedade, o grupo chamado abeliano, em honra ao matemtico noruegus Niels Henrik Abel (1802-1829).

Denio 2.

Seja

um grupo e

a operao deste grupo. Dizemos que

comutativa se

para quaisquer elementos

a, b G

temos a validade da igualdade abaixo:

ab=ba
importante frisar novamente que nem toda operao possui tal propriedade. Uma boa fonte de exemplos de operaes no comutativas (DOMINGUES-2003).

2 Tbua de grupos com ordem menor ou igual a seis


Apresentaremos agora os exemplos mais simples de grupos nitos. Para isto, operao destes grupos, consideraremos sempre o elemento consideraremos grupos com apenas 2, 3, 4, 5 ou 6 elementos. Na anlise que se segue das tbuas de

como sendo o elemento neutro.

Inicialmente, temos o caso bvio de um grupo com apenas um elemento, ou grupo de ordem um, como em (FRALEIGH-2000). Como este grupo deve ter um elemento neutro, evidente que este nico elemento deve ser justamente o neutro. A nica operao possvel tambm tem resultado trivial. Isto quer dizer que um grupo de um nico elemento s pode ter como tbua de sua operao esta dada a seguir:

Seja

G um grupo de ordem dois,

ou seja, com apenas dois elementos. Ento necessariamente

um deles deve ser o elemento neutro

e;

ao outro elemento, denotado por

a,

s resta a possi-

bilidade que ele seja seu prprio elemento inverso, do contrrio teramos dois inversos para

e,

o que absurdo. Podemos representar este grupo pela tbua a seguir.

Silva, H.B. Costa, E.T.

- 3-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

e a

e e a

a a e

Tabela 2: Um grupo com apenas dois elementos

e a b

e e a b

a a b e

b b e a

Tabela 3: Um grupo com exatamente trs elementos

A partir do que vimos acima, esta a nica estrutura possvel para tal grupo, no sentido de que qualquer outro grupo com dois elementos ter uma tbua idntica a esta. Temos representado na 3 um grupo de ordem trs. tem sempre resultado bvio. J o produto 1. 2. 3. A multiplicao pelo elemento neutro

ab

tem trs resultados possveis:

ab=e ab=a ab=b ab=a distintos a, b, c.


ento teramos

fcil ver que se elementos

b = e,

o que absurdo pois nosso grupo tem trs

Um argumento inteiramente anlogo nos permite concluir que sendo assim podemos armar que

a b = b igualmente absurdo;

a b = e.

Como visto em (FRALEIGH-2000), na rea das

respostas de uma tbua da operao de um grupo no podem haver repeties de elementos nem nas linhas e nem nas colunas; isto nos permite concluir a tabela abaixo, que, de acordo com o que vimos acima, a nica alternativa possvel para um grupo de apenas trs elementos.

Ao estudarmos o caso de um grupo de ordem quatro, notamos que desta vez existem duas possibilidades para a tbua da operao:

A primeira estrutura guarda similaridades com aquelas apresentadas anteriores; tal estrutura chamada de grupo cclico nito  detalhes em (FRALEIGH-2000)  e para o caso

Silva, H.B. Costa, E.T.

- 4-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

e a b c

e e a b c

a a b c e

b b c e a

c c e a b

Tabela 4: Grupo cclico com quatro elementos

e a b c

e e a b c

a a e c b

b b c e a

c c b a e

Tabela 5: Klein Viergruppe

dos grupos j apresentados, podemos agora denot-los respectivamente por grupo

Z2 , Z3

e o atual

Z4 .

J a segunda estrutura apresentada acima tem particularidades como, por exem-

plo, o fato de que palavra alem

a a = b b = c c = e.

Este grupo chamado de grupo-4 de Klein, ou

simplesmente grupo de Klein. A notao mais comum para esta estrutura

Viergruppe.

V,

por conta da

interessante notar que para o caso dos grupos de ordem quatro, existem outros grupos dentro destes; neste caso, estes grupos so cclicos e obviamente de ordem menor que quatro, como podemos observar nos diagramas abaixo:

ZO 4 < b >= {0, 2}


O

< a >= {e, aj }

j UUU ii4 V O U UUUU iiii i UUUU i i i i UUUU i iii UUUU i i i ii

{e}

UUUU UUUU UUUU UUUU

< b >= {e, b} O < e >= {e}

iii4 iiii i i i ii iiii

< c >= {e, c}

Tais grupos contidos em outros maiores so chamados subgrupos. atravs deles que estudamos os grupos de ordens superiores. Se para o caso de ordens pequenas como as que vimos at agora a anlise da estrutura fcil e praticamente imediata, para grupos de ordem um pouco maior a necessidade de ferramentas um pouco mais poderosas se faz presente. Para grupos de ordem 16, por exemplo, existem 14 tipos diferentes de estruturas sendo 5 abelianos (apenas um cclico) e 9 no abelianos. Para o caso dos grupos cclicos nitos, como visto em (GARCIA-2002) e (GONALVES-1999),

Silva, H.B. Costa, E.T.

- 5-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

possvel estabelecer uma estrutura geral devido simplicidade dos mesmos; assim, todo grupo cclico tem uma estrutura com as seguintes propriedades: 1. Comutatividade; ou seja, todo grupo cclico abeliano; 2. Todos os seus subgrupos so tambm cclicos. 3. Se a ordem de um grupo cclico {e, a, a2 , , an1 };

ento este grupo sempre da forma

G =

Vale ainda, o teorema a seguir, retirado de (FRALEIGH-2000):

Teorema 3. Se G = {e, a, a2 , , an1 } um grupo cclico com n elementos, ento qualquer


elemento b = as G gera um subgrupo cclico H de G contendo exatamente elementos.
n mdc(n, s)

Na seo seguinte veremos a estrutura dos grupos abelianos nitamente gerados.

3 Estrutura dos grupos abelianos nitamente gerados


Para entendermos a estrutura dos grupos abelianos nitamente gerados, precisamos revisar as seguintes denies e teoremas, vistos em (FRALEIGH-2000). Esta mesma fonte deve ser consultada caso haja dvidas quanto a grupos nitamente gerados.

Denio 4.

O produto cartesiano dos conjuntos

as n-uplas ordenadas

(a1 , a2 , a3 , . . . , an )

onde

S1 , S2 , S3 , . . . , Sn o ai Si i = 1, 2, 3, . . . , n.

conjunto de todas

O produto cartesiano denotado por

n S1 S2 S3 . . . Sn
ou por

Si
i=1
e

Teorema 5.
n
i=1

Seja

G1 , G2 , . . . , Gn ,

grupos. Para

(a1 a2 , a3 , . . . , an )

(b1 , b2 , b3 , . . . , bn )

em

Gi , dena (a1 a2 , a3 , . . . , an )(b1 , b2 , b3 , . . . , bn ) sendo o elemento (a1 b1 , a2 b2 , a3 b3 , . . . , a3 bn )

n Gi
i=1
um grupo, produto direto dos grupos

Ento

Gi ,

sobre esta operao binria.

Demonstrao.
Note que se

ai , bi Gi n
i=1

Gi

um grupo temos que

ai bi Gi .

Ento pela denio de

operao binria em

Gi ,

temos que este conjunto fechado em relao a esta operao.

Silva, H.B. Costa, E.T.

- 6-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010


Se

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

n Gi . i=1 Claramente notamos que a lei associativa vlida neste conjunto. Finalmente, o inverso de
o elemento identidade em ento, o elemento identidade em

ei

Gi ,

(e1 , e2, ..., en )

(a1 a2 , a3 , . . . , an )

1 1 1 1 a 1 , a2 , a3 , . . . , an

. Desta forma

Gi
i=1

um grupo.

As provas do teorema e do corolrio a seguir podem ser encontradas em (FRALEIGH-2000):

Teorema 6.
m
e

O grupo

Zm Zn n

cclico e tem a mesma estrutura de

so primos entre si, ou seja, O grupo

mdc (m, n) = 1.

Zmn

se, e somente se,

Corolrio 7.

Zmi

cclico tem a mesma estrutura de

Zm1 m2 m3 , ...mn se,

e s se,

i=1 quaisquer dos mi distintos,

i = 1, 2, 3, . . . , n

so relativamente primos

3.1 A estrutura dos grupos abelianos nitamente gerados


O teorema a seguir tem importncia evidente, uma vez que o mesmo fornece a estrutura de qualquer grupo abeliano nitamente gerado. Uma prova completa pode ser encontrada na seo 4.4 de (FRALEIGH-2000).

Teorema 8. (Teorema Fundamental dos grupos abelianos nitamente gerados ) Todo grupo
abeliando nitamente gerado tem a estrutura de um produto direto de grupos cclicos da forma

Z(p1 )r1 Z(p2 )r2 . . . Z(pn )rn Z Z . . . Z


onde

pi

so nmeros primos, no necessriamente distintos, e

ri

so inteiros positivos.

produto direto nico, exceto unicamente por uma possvel reorganizao de seus fatores, r isto , o nmero de seus fatores Z nico e as potncias de primos (pi ) i so nicas.

Denio 9.

Um grupo decomponvel se tem uma estrutura igual ao produto direto de

dois grupos prprios no triviais. Se isto no ocorre dizemos que tal grupo indecomponvel.

Teorema 10. Os grupos abelianos nitos indecomponveis so exatamente os grupos cclicos


em que a ordem a potncia de um nmero primo.

Demonstrao. Seja e G um

grupo abeliano nito indecomponvel.

Ento, pelo Teorema 8,

tem a

estrutura de um produto direto de grupos cclicos em que a ordem uma potncia de um nmero primo. J que

indecomponvel, este produto direto consiste apenas de um grupo

cclico em que a ordem uma potncia de um nmero primo. Considere agora um nmero primo fosse isomorfo a mximo igual a

Zpi Zpj , onde pmax(i, j ) < pr .

p qualquer. Ento Zpr indecomponvel pois, se Zpr i + j = r, ento todo elemento teria que possuir ordem no

Silva, H.B. Costa, E.T.

- 7-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010 Teorema 11.


m divide subgrupo de ordem m.
Se

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

a ordem de um grupo abeliano nito

G,

ento

possui um

Demonstrao.
Pelo Teorema 8, podemos escrever

Z(p1 )r1 Z(p2 )r2 . . . Z(pn )rn , em que os r r r primos pi no so necessariamente distintos. Se (p1 ) 1 (p2 ) 2 . . . (pn ) n a ordem de G, r s s s s ento m deve ser da forma (p1 ) 1 (p2 ) 2 . . . (pn ) n , onde 0 si ri . Pelo Teorema 3, (pi ) i i r r i gera um subgrupo cclico de Z(pi )ri de ordem igual ao quociente de (pi ) pelo mdc de (pi ) i e (pi )ri si . Como mdc((pi )ri , (pi )ri si ) = (pi )ri si , ento (pi )ri si gera um subgrupo cclico de r i) i Z(pi )ri , de ordem (p(ip = (pi )si . Temos ento que (p1 )r1 s1 (p2 )r2 s2 . . . (pn )rn sn )ri si
da forma o subgrupo de ordem

desejado.

Teorema 12.
Demonstrao.
Seja

Se

no divisivel por nenhum quadrado de algum nmero primo, ento

todo grupo abeliano de ordem

cclico.

um grupo abeliano de ordem

m,

nmero primo. Ento pelo Teorema 8, m = (p1 )r1 (p2 )r2 . . . (pn )rn . J que que

tal que

no divisvel pelo quadrado de nenhum

isomorfo a

Z(p1 )r1 Z(p2 )r2 . . . Z(pn )rn ,

onde

livre de quadrados , temos para todo ndice

ri = 1

e que todos ento

pi

so primos distintos. O corolrio 7 mostra-nos que

isomorfo a

Zp1 p2 , ...pn ,

cclico.

4 Teoremas de isomorsmo
O leitor atento certamente j observou a esta altura que utilizamos at aqui a expresso ter a mesma estrutura de como sinnimo de isomorsmo. Esta uma noo central em lgebra, uma vez que duas estruturas algbricas isomorfas so indistinguveis do ponto de vista da lgebra. De maneira informal, podemos dizer que um isomorsmo entre dois grupos Desuma bijeo que preserva completamente a operao entre os elementos destes grupos. mas tambm presentes em (LANG-1972).

creveremos abaixo os teoremas de isomorsmo mais comuns, retirados de (FRALEIGH-2000)

Proposio 13.
de

Seja

um grupo,

um subgrupo normal de

G/N

o grupo quociente

por

N.

Ento o homomorsmo cannico

f : G G/N

uma funo sobrejetora tal

que:

f (x, y ) = f (x)f (y ), x, y G b) N = {x G; f (x) = e}, onde e


a) ncleo

a identidade de

a identidade de

G/N .

Teorema 14. (Primeiro Teorema de Isomorsmo ) Seja f : G G


h : G G/K o homomorsmo cannico. g : G/K f (G) tal que f (x) = g (h(x)) para cada x G.
e seja Silva, H.B. Costa, E.T. - 8-

K,

um homomorsmo de

Existe um nico isomorsmo

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

Teorema 15. (Segundo Teorema de Isomorsmo ) Seja H


subgrupo normal de

G.

Ento

(HN )/N = H/(H N ).

um subgrupo de

e seja

um

Teorema 16. (Terceiro Teorema de Isomorsmo )


grupo

com

K H.

Ento

G/H = (G/K )(H/K ).

Seja

subgrupos normais de um

5 Classes de conjugao e Teoremas de Sylow


Quando a ordem de um grupo grande o suciente para tornar cansativo e enfadonho o trabalho de anlise de seus subgrupos um a um, so necessrias tcnicas mais avanadas para proceder com tal anlise. A melhor destas tcnicas tem sido a coleo de resultados Antes de introduzirmos os teoremas de conhecidos coletivamente por Teoremas de Sylow.

Sylow, veremos algumas preliminares que podem ser vistas tambm em (FRALEIGH-2000).

Denio 17.

Se

um grupo, deniremos uma relao em

como segue: (2)

x, y G, x y g G
Esta uma relao de equivalncia, pois: 1 i) x x, x G,pois, x = e xe, x G. ii) se

tal que

y = g 1 xg

x y ento y x. Basta observar que se x y existe g G tal que y = g 1 xg . Assim 1 1 se u = g temos x = u yu, ou seja y x. 1 iii) se x y e y z ento x z . De fato se y = g xg e z = h1 yh onde g, h G temos 1 z = u xu, onde u = gh, portanto temos que x z .

Denio 18.
g xg = x
a)

Se

x y

dizemos que

so elementos

conjugados.

Se denotarmos

, so vlidas as seguintes propriedades:

xe = x, x G g g 1 b) y = x x = y , x G g h (gh) c) (x ) = x , x, y, g G

Denio 19.
: GX X
1.

Seja

um conjunto e

um grupo.

Uma ao de

em

a aplicao

tal que:

ex = e para todo x X . 2. (g1 g2 )(x) = g1 (g2 x) para todo x X e todo g1 , g2 G. Nestas condies, X um G-conjunto ou G set. Sejam X um G-set, x X e g G. Quando gx = x denimos os conjuntos auxiliares
Silva, H.B. Costa, E.T. - 9Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

Xg = {x X/gx = x}
notemos que se

Gx = {g G/gx = x}
um subgrupo de

um

de subgrupo de isotropia

G set ento para cada x G, Gx de x. G set.

G chamado

Denio 20.
a

Seja

um

Cada clula na partio da relao de equivalncia

descrita na denio 17 chamada de

rbita de x.

rbita em X sobre G.
Gx.

Se

x X,

a clula contendo

Denotaremos esta clula por

Os teoremas a seguir tm suas demonstraes disponveis em (FRALEIGH-2000).

Teorema 21.
|Gx|

Seja

um divisor

X um G set de |G|.

x X.

Ento

|Gx| = (G : Gx ).

Se

|G|

nita, ento

Teorema 22.
|XG | (mod p).
chamada de

Seja

um grupo de ordem

pn e

seja

um

G set

nito.

Ento

|X |

Denio 23.

Cx = {y : x y } = {xg : g G} para a relao classe de conjugao em G, determinada pelo elemento x G.


A classe nito e existem

denida em 2

Se G um grupo x1 , x2 , . . . , xn , ento

classes de conjugao em

G,

com representantes

G = C x1 C x2 . . . C xn
de onde temos que grupo

G,

se e somente se

|G| = |Cx1 | + |Cx2 | + . . . + |Cxn | . Notemos que x Z (G), Cx = {x} e a equao de classes torna-se |G| = |Z (G)| +
xi / Z (G)

o centro do

|Cxi |

Teorema 24. (Teorema de Cauchy ) Seja p um primo divisor da ordem de um grupo nito
G.
Ento

a G

tal que a ordem de

igual a

p.
o teorema verdadeiro, pois, no

Demonstrao.
Utilizaremos induo sobre a ordem de existe primo dividindo

G.

Se

|G| = 1

|G| = 1.

Silva, H.B. Costa, E.T.

- 10-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

Suponhamos que o teorema seja vlido para todos os grupos

Caso 1

tais que

1 |L| |G|.

um grupo cclico.

Seja r

G = x e seja p um divisor primo de |G|. Neste caso sabemos que O (x) = r 1 p m onde r 1 e a = xp m tal que ap = e, a = e como queramos demonstrar. G
um grupo abeliano no cclico. Seja

Caso 2

|G|e seja x G, x = e. Se p divide | x |ento pelo O (a) = p e o terorema est provado para este caso. Suponhamos entao que p no divide |N |onde N = x . Pelo Teorema de Lagrange temos que p divide a ordem do grupo quociente L = G/N (observe que N G pois G abeliano). Como |L| < |G| temos pela hiptese de induo que / N, g p N . Agora g L tal que g = e e g p = e, ou seja, g p = e, ou ainda, g p n pn se |N | = ntemos ento que (g ) = g e, portanto, p divide | g | e novamente pelo caso 1 a g tal que O (a) = p e o teorema est provado para mais este p
um divisor primo de caso anterior

a x

tal que

caso.

Caso 3

Assim Z = Z (G) = G. Se p divide |N |segue xi / Z (G) tal que p no divide [G : CG (xi )]. Portanto p divide |H | onde H = CG (xi ) = G. Como |H | < |G| pela hiptese de induo temos que a H tal que O (a) = p e o teorema est provado.

um grupo no abeliano.

que

O teorema a seguir, mais uma vez, tem uma prova bastante detalhada em (FRALEIGH-2000).

(G : H ) (mod p).

Teorema 25. Seja H um subgrupo de ordem prima de um grupo nito G.

Ento

(N [H ] : H ) =

Finalmente, estamos agora em condies de apresentar os teoremas de Sylow, que so, como j dito anteriormente, as melhores ferramentas para se avaliar a estrutura de grupos de ordem alta. Os resultados so bem conhecidos e podem ser conferidos em (LANG-1972), (HERSTEIN-1975) ou ainda (FRALEIGH-2000).

Teorema 26. (Primeiro Teorema de Sylow)


com

n 1e p

no divide

m.

Seja

um grupo nito de ordem

|G| = mpn

Ento:

i)

contm um subgrupo de ordem

ii) Todo subgrupo i+1 p para 1 i n.

de

de

pi para cada i onde 1 i n i ordem p um sugrupo normal de m

subgrupo de ordem

Demonstrao.
i) Sabemos que

pelo Teorema de Cauchy. Utilizando i induo mostraremos a existncia de um subgrupo de ordem p para i < n, implicando na i+1 existncia de um subgrupo de ordem p .

contm um subgrupo de ordem

Silva, H.B. Costa, E.T.

- 11-

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010


Seja

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

um subgrupo de ordem

25 temos que formar

N [H ] /H , notando que p divide |N [H ] /H |. Pelo Teorema de Cauchy o grupo quociente N [H ] /H possui um subrupo K que de ordem p. Se : N [H ] N [H ] /H o 1 isomorsmo cannico, ento [K ] = {x N [H ] / (x) K } um subgrupo de N [H ]e i+1 consequentemente de G. Este subgrupo contm H e de ordem p . 1 ii) Repetindo a construo do item anterior notemos que H < [K ] N [H ] onde 1 i+1 | [K ] = p | . Como H normal em N [H ],
Um Sylow

divide

pi . (N [H ] : H ).

Se

i < n,

Como

temos que

divide

um subgrupo

(G : H ). Pelo normal de N [H ] ,

Teorema podemos

Denio 27.
Seja

p -subgrupo P

de

o mximo

p -subrupo

de

G,

isto , um

p-subgrupo que no est contido em nenhum p-subgrupo maior.

um grupor nito em que

que os Sylow

todo conjugado

p -subgrupos de G gP g 1 de P tambm um p -subgrupo.


so grupos conjugados de

no Teorema 26 . O teorem nos mostra n so exatamente aqueles de ordem p . Se um -subgrupo,

|G| = mpn como

Teorema 28. (Segunto Teorema de Sylow ) Sejam P1 e P2


nito

G. Ento P1 e P2

G.

Sylow

p -subgrupos

de um grupo

Demonstrao.
Luma coleo de classes laterais de P1 , e a ao de P2 em L dada por y (xP1 ) = (yx)P1 y P2 . Ento L um P2 -set. Pelo Teorema 22, LP2 |L| (mod p), e |L| = (G : P1 ) = 0. Seja xP1 LP2 . Ento yxP1 = xP1 para todo no divisvel por p, logo LP 2 1 y P2 , assim x yxP1 = P1 para todo y P2 . Desta forma x1 yx P1 para todo y P2 1 1 e x P2 x P1 . Como |P1 | = |P2 | , temos que P1 = x P2 x, portanto P1 e P2 so de fato
Seja para subgrupos conjugados.

Teorema 29. (Terceiro Teorema de Sylow ) Se G


nmero de Sylow

p -subgrupos congruente a 1 mdulo p


de

um grupo inito e e divide

divide

|G|,

ento o

|G|.

Demonstrao. Seja P um Sylow p -subgrupo a ao de P em S denida pela


Pelo Teorema 22,

G.

Seja

o conjunto de todos os Sylow

conjugao, tal que

|S| |SP | (mod p). Temos assim todo x P . Assim P N [T ] e T N [T ]. Como P e T so Sylow p -subgrupos de G, so tambm p -subgrupos de N [T ]. Mas ento eles so conjugados em N [T ] pelo Teorema 28. J que T um subgrupo normal de N [T ], este o nico conjugado em N [T ]. Logo T = P . Ento SP = {P }. Como |S| |SP | = 1(mod p), temos que o nmero de Sylow p -subgrupos
congruente a 1 modulo

x P e T S implica em xT x1 . SP . Se T SP , ento xT x1 = T para

p -subgrupo

p.

Agora consideremos a ao de

sobre

pela conjugao.

Sabendo que todo Sylow

subgrupos so conjugados, h somente uma rbita em

sobre de

(G : GP ) pelo Teorema 21. (GP de fato, o normalizador de|G| , logo o nmero de Sylow p -subgrupos divide |G|.
Silva, H.B. Costa, E.T. - 12-

P ). Mas

G.

p-

Se

P S , ento |S| = (G : GP ) um divisor

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REMat

REVISTA ELETRNICA DE MATEMTICA


www2.jatai.ufg.br/ojs/index.php/matematica contato: remat.ufg@gmail.com

Referncias
th [FRALEIGH-2000] FRALEIGH, John B. A First Course in Abstract Algebra. 6 Edition,
New York: Addison Wesley, 2000. [DOMINGUES-2003] DOMINGUES, H.H.; IEZZI, G. Editora - 2003. [GONALVES-1999] GONALVES, Adilson.

lgebra Moderna. 4 edio  Atual


5 edio. Rio de

Introduo lgebra.

Janeiro: Projeto Euclides/IMPA, 1999. [HERSTEIN-1975] HERSTEIN, I. N.

Tpicos de lgebra.

2 edio, New York: John

Wiley & Sons, Inc., 1975. [GARCIA-2002] GARCIA, A.; LEQUAIN, Y.

Elementos de lgebra. Rio de Janeiro:


Livros Tcni-

Projeto Euclides/ IMPA, 2002. [LANG-1972] LANG, Serge.

Estruturas Algbricas. Rio de Janeiro: Elementos de lgebra.

cos e Cienticos, 1972. [MONTEIRO-1971] MONTEIRO, L.H. Rio de Janeiro: Livro

Tcnicos Cienticos, 1971.

Silva, H.B. Costa, E.T.

- 13-

Estruturas de grupos nitos

Você também pode gostar