Grupos

REMat
ISSN 2177-5095
n2 - 2010
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
X
Suponha que sejam dados um conjunto

elementos
a, b X .
munido de uma operao binria
a, b, X
Vejamos quais seriam as condies necessrias sobre
e dois
para
que exista soluo para uma equao do tipo
Silva, H.B.
Costa, E.T.
- 1-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

ax=b
(1)
X:
A soluo mais comum pede que existam dois elementos especiais dentro de
1. Um elemento
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
2. Um outro elemento
mento neutro
ya
dependente de
atravs da operao
,
a
y X, y e = e y = y
com a propriedade de transformar
no ele-
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
necessrio agora que a operao
seja exvel o suciente para permitir que faamos
a escolha sobre quais elementos devem ser operados primeiro.

matemtica, a operao
deve satisfazer, para quaisquer
Novamente, em linguagem
, , 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
=
=
=
=
a1 b
a1 b
a1 b
a1 b
razovel concluir ento que, se quisermos resolver uma operao do tipo

qual
so elementos de um conjunto
que tem uma operao binria
ax = b
na
as seguintes
trs condies so imprecindveis:
Associatividade da operao
Existncia de elemento neutro para a operao
Silva, H.B.
Costa, E.T.
em
X;
- 2-
em
X;
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

Tabela 1: Um grupo com um nico elemento
Existncia de um inverso
a1
com relao operao
para cada elemento
a X.
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
Denio 1.
Um
munido
de tal forma que sejam satisfeitas as trs condies acima.
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
para quaisquer elementos
a, b G
a operao deste grupo. Dizemos que
comutativa se
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,
considera-
remos grupos com apenas 2, 3, 4, 5 ou 6 elementos. Na anlise que se segue das tbuas de
operao destes grupos, consideraremos sempre o elemento
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
REMat
ISSN 2177-5095
n2 - 2010

Tabela 2: Um grupo com apenas dois elementos
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.
ab=e
2.
ab=a
3.
ab=b
ab=a
distintos a, b, c.
fcil ver que se

elementos
ento teramos
ab
A multiplicao pelo elemento neutro
tem trs resultados possveis:
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 = e.
a b = b igualmente absurdo;
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
REMat
ISSN 2177-5095
n2 - 2010

Tabela 4: Grupo cclico com quatro elementos
Tabela 5: Klein Viergruppe
dos grupos j apresentados, podemos agora denot-los respectivamente por

grupo
Z4 .
Z2 , Z3
e o atual
J a segunda estrutura apresentada acima tem particularidades como, por exem-
plo, o fato de que
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

palavra alem
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
ii4 VO Uj UUUUU
UUUU
iiii
i
i
i
UUUU
iii
i
UUUU
i
i
i
UU
iiii
< a >= {e, a}

j
{e}
< b >=O {e, b}
UUUU
UUUU
UUUU
UUUU
< c >= {e, c}
iii4
iiii
i
i
i
ii
iiii
< e >= {e}
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
REMat
ISSN 2177-5095
n2 - 2010
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.
S1 , S2 , S3 , . . . , Sn o
ai Si i = 1, 2, 3, . . . , n.
O produto cartesiano dos conjuntos
as n-uplas ordenadas
(a1 , a2 , a3 , . . . , an )
onde
conjunto de todas
O produto cartesiano denotado por
S1 S2 S3 . . . Sn
ou por
n
Q
Si
i=1
Teorema 5.
n
Q
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 )
i=1
Seja
Ento
n
Q
Gi
um grupo, produto direto dos grupos
Gi ,
sobre esta operao binria.
i=1
Demonstrao.
Note que se
ai , bi Gi
n
Q
operao binria em
Gi
Gi ,
um grupo temos que
ai bi Gi .
Ento pela denio de
temos que este conjunto fechado em relao a esta operao.
i=1
Silva, H.B.
Costa, E.T.
- 6-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010
o elemento identidade em
(a1 a2 , a3 , . . . , an )
Gi ,
(e1 , e2, ..., en )
n
Q
Gi .
i=1
Claramente notamos que a lei associativa vlida neste conjunto. Finalmente, o inverso de
Se
ei
ento,
1
1
1
a1
1 , a2 , a3 , . . . , an
o elemento identidade em
. Desta forma
n
Q
Gi
um grupo.
i=1
As provas do teorema e do corolrio a seguir podem ser encontradas em (FRALEIGH-2000):
Teorema 6.
m
O grupo
Zm Zn
cclico e tem a mesma estrutura de
so primos entre si, ou seja,
Corolrio 7.
O grupo
n
Q
Zmi
i=1
quaisquer dos mi distintos,
mdc (m, n) = 1.
cclico tem a mesma estrutura de
i = 1, 2, 3, . . . , n
Zmn
se, e somente se,
Zm1 m2 m3 , ...mn se,
so relativamente primos
e s se,
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.
p qualquer. Ento Zpr indecomponvel pois, se Zpr

i + j = r, ento todo elemento teria que possuir ordem no
Considere agora um nmero primo

fosse isomorfo a
mximo igual a
Silva, H.B.
Costa, E.T.
Zpi Zpj , onde

pmax(i, j) < pr .
- 7-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010
Teorema 11.
m divide
subgrupo de ordem m.
Se
a ordem de um grupo abeliano nito
Demonstrao.
G,
ento
possui um
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
si
r1 s1
Z(pi )ri , de ordem (p(p
i h(p2 )r2 s2 i . . . h(pn )rn sn i
r si = (pi ) . Temos ento que h(p1 )
i) i
Pelo Teorema 8, podemos escrever
o subgrupo de ordem
Teorema 12.
Se
da forma
desejado.
no divisivel por nenhum quadrado de algum nmero primo, ento
todo grupo abeliano de ordem
cclico.
Demonstrao.
Seja
um grupo abeliano de ordem
m,
nmero primo. Ento pelo Teorema 8,

m = (p1 )r1 (p2 )r2 . . . (pn )rn . J que
que
ri = 1
Zp1 p2 , ...pn ,
e que todos
ento
pi
tal que
no divisvel pelo quadrado de nenhum
isomorfo a
livre de quadrados , temos para todo ndice
Z(p1 )r1 Z(p2 )r2 . . . Z(pn )rn ,
so primos distintos. O corolrio 7 mostra-nos que
onde
isomorfo a
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
uma bijeo que preserva completamente a operao entre os elementos destes grupos.
Des-
creveremos abaixo os teoremas de isomorsmo mais comuns, retirados de (FRALEIGH-2000)

mas tambm presentes em (LANG-1972).
Proposio 13.
de
por
N.
Seja
um grupo,
um subgrupo normal de
Ento o homomorsmo cannico
f : G G/N
G/N
o grupo quociente
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)
a identidade de
a identidade de
Teorema 14. (Primeiro Teorema de Isomorsmo ) Seja f : G G0

K,
h : G G/K o homomorsmo cannico.

g : G/K f (G) tal que f (x) = g(h(x)) para cada x G.
ncleo
e seja
Silva, H.B.
Costa, E.T.
- 8-
G/N .
um homomorsmo de
Existe um nico isomorsmo
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

Teorema 15. (Segundo Teorema de Isomorsmo ) Seja H

subgrupo normal de
G.
Ento
(HN )/N
= H/(H N ).
Teorema 16. (Terceiro Teorema de Isomorsmo )

grupo
com
K H.
Ento
G/H
= (G/K)(H/K).
Seja
um subgrupo de
e seja
um
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
conhecidos coletivamente por Teoremas de Sylow.
Antes de introduzirmos os teoremas de
Sylow, veremos algumas preliminares que podem ser vistas tambm em (FRALEIGH-2000).
Denio 17.
Se
um grupo, deniremos uma relao em
x, y G, x y g G
tal que
como segue:
y = g 1 xg
(2)
Esta uma relao de equivalncia, pois:

1
i) x x, x G,pois, x = e xe, x G.
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 .
ii) se
Denio 18.
1
g xg = x
Se
x y
dizemos que
so elementos
conjugados.
Se denotarmos
, so vlidas as seguintes propriedades:
xe = x, x G
g
g1
b) y = x x = y
, x G
g h
(gh)
c) (x ) = x
, x, y, g G
a)
Denio 19.
: GX X
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
1.
Silva, H.B.
Costa, E.T.
- 9-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

Xg = {x X/gx = x}
X
notemos que se
Seja
G set ento para cada x G, Gx

de x.
um
G set.
descrita na denio 17 chamada de

a
rbita de x.
Gx = {g G/gx = x}
um
de subgrupo de isotropia
Denio 20.
um subgrupo de
G chamado
Cada clula na partio da relao de equivalncia
rbita em X sobre G.
Se
x X,
a clula contendo
Gx.
Denotaremos esta clula por
Os teoremas a seguir tm suas demonstraes disponveis em (FRALEIGH-2000).
Teorema 21.
|Gx|
um divisor
Teorema 22.
|XG | (mod p).
Denio 23.
chamada de
X um G set
de |G|.
Seja
Seja
x X.
um grupo de ordem
Ento
pn e
|Gx| = (G : Gx ).
seja
um
G set
Se
|G|
nito.
Cx = {y : x y} = {xg : g G} para a relao

classe de conjugao em G, determinada pelo elemento x G.
A classe
Se G um grupo
x1 , x2 , . . . , xn , ento
nito e existem
classes de conjugao em
G,
nita, ento
Ento
|X|
denida em 2
com representantes
G = C x1 C x2 . . . C xn
de onde temos que
grupo
G,
|G| = |Cx1 | + |Cx2 | + . . . + |Cxn | . Notemos que x Z(G),

Cx = {x} e a equao de classes torna-se
X
|G| = |Z(G)| +
|Cxi |
o centro do
se e somente se
xi Z(G)
/
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.
Demonstrao.
Utilizaremos induo sobre a ordem de
existe primo dividindo
Silva, H.B.
Costa, E.T.
G.
Se
|G| = 1
o teorema verdadeiro, pois, no
|G| = 1.
- 10-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

Suponhamos que o teorema seja vlido para todos os grupos
Caso 1
tais que
1 |L| |G|.
um grupo cclico.
G = hxi e seja p um divisor primo de |G|. Neste caso sabemos que O (x) =
r1
p m onde r 1 e a = xp m tal que ap = e, a 6= e como queramos demonstrar.
Seja
r
Caso 2
um grupo abeliano no cclico.
|G|e seja x G, x 6= e. Se p divide |hxi|ento pelo

O (a) = p e o terorema est provado para este
caso. Suponhamos entao que p no divide |N |onde N = hxi. Pelo Teorema de
Lagrange temos que p divide a ordem do grupo quociente L = G/N (observe que
N E G pois G abeliano). Como |L| < |G| temos pela hiptese de induo que
/ N, g p N . Agora
g L tal que g 6= 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 |hgi| e novamente
pelo caso 1 a hgi tal que O (a) = p e o teorema est provado para mais este
Seja
um divisor primo de
caso anterior
a hxi
tal que
caso.
Caso 3
Assim Z = Z(G) 6= 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 ) 6= 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).
Teorema 25. Seja H um subgrupo de ordem prima de um grupo nito G.
(G : H) (mod p).
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
i)
no divide
m.
Seja
um grupo nito de ordem
|G| = mpn
Ento:
pi para cada i onde 1 i n

i
ordem p um sugrupo normal de m
contm um subgrupo de ordem
ii) Todo subgrupo

i+1
p para 1 i n.
Demonstrao.
i) Sabemos que
de
de
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
.
Silva, H.B.
Costa, E.T.
contm um subgrupo de ordem
subgrupo de ordem
- 11-
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010
Seja

pi .
(N [H] : H).
um subgrupo de ordem
25 temos que
divide
Se
i < n,
Como
temos que
(G : H). Pelo
normal de N [H] ,
divide
um subgrupo
Teorema
podemos
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],
formar
Denio 27.
Um Sylow
p -subgrupo P
de
o mximo
p -subrupo
de
G,
isto , um
p-subgrupo que no est contido em nenhum p-subgrupo maior.

Seja
um grupor nito em que
que os Sylow
|G| = mpn como
no Teorema 26 . O teorem nos mostra

n
so exatamente aqueles de ordem p . Se
um -subgrupo,
p -subgrupos de G
gP g 1 de P tambm um p -subgrupo.
todo conjugado
Teorema 28. (Segunto Teorema de Sylow ) Sejam P1 e P2

nito
G. Ento P1 e P2
so grupos conjugados de
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 P
Pelo Teorema 22, LP2 |L| (mod p), e |L| = (G : P1 )
2 -set.
no divisvel por p, logo LP 6= 0. Seja xP1 LP . Ento yxP1 = xP1 para todo
2
2
y P2 , assim x1 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
um grupo inito e
p -subgrupos congruente a 1 mdulo p
Demonstrao.
Seja P um Sylow p -subgrupo
a ao de P em S denida pela
de
G.
Seja
e divide
divide
|G|,
ento o
|G|.
o conjunto de todos os Sylow
p -subgrupo
x P e T S implica em xT x1 .
SP . Se T SP , ento xT x1 = T para
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
Pelo Teorema 22,
congruente a 1 modulo
p.
Agora consideremos a ao de
sobre
pela conjugao.
subgrupos so conjugados, h somente uma rbita em
(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-
Sabendo que todo Sylow
sobre
de
G.
p-
P S , ento |S| =
(G : GP ) um divisor
Se
P ). Mas
Estruturas de
grupos nitos
REMat
ISSN 2177-5095
n2 - 2010

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.
lgebra Moderna. 4 edio Atual
Editora - 2003.
[GONALVES-1999] GONALVES, Adilson.
Introduo lgebra.
5 edio. Rio de
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:
Projeto Euclides/ IMPA, 2002.

[LANG-1972] LANG, Serge.
Estruturas Algbricas. Rio de Janeiro:
Livros Tcni-
cos e Cienticos, 1972.

[MONTEIRO-1971] MONTEIRO, L.H.
Elementos de lgebra.
Rio de Janeiro:
Livro
Tcnicos Cienticos, 1971.
Silva, H.B.
Costa, E.T.
- 13-
Estruturas de
grupos nitos

Grupos

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Grupos

Enviado por

Direitos autorais:

Formatos disponíveis

REMat

REVISTA ELETRNICA DE MATEMTICA

Estruturas de grupos finitos

Esdras Teixeira Costa

Finite groups structures

Suponha que sejam dados um conjunto

munido de uma operao binria

Vejamos quais seriam as condies necessrias sobre

que exista soluo para uma equao do tipo

REVISTA ELETRNICA DE MATEMTICA

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

tro em relao operao

o que se traduz em termos matemticos por:

o que se traduz em termos matemticos por:

necessrio agora que a operao

seja exvel o suciente para permitir que faamos

a escolha sobre quais elementos devem ser operados primeiro.

deve satisfazer, para quaisquer

razovel concluir ento que, se quisermos resolver uma operao do tipo

que tem uma operao binria

trs condies so imprecindveis:

Existncia de elemento neutro para a operao

REVISTA ELETRNICA DE MATEMTICA

Tabela 1: Um grupo com um nico elemento

com relao operao

para cada elemento

Detalhes sobre tais propriedades so exaustivamente considerados em (DOMINGUES-2003).

de tal forma que sejam satisfeitas as trs condies acima.

munido de uma operao

que satisfaz as trs

para quaisquer elementos

a operao deste grupo. Dizemos que

temos a validade da igualdade abaixo:

2 Tbua de grupos com ordem menor ou igual a seis

como sendo o elemento neutro.

Inicialmente, temos o caso bvio de um grupo com apenas um elemento, ou grupo de

G um grupo de ordem dois,

ou seja, com apenas dois elementos. Ento necessariamente

um deles deve ser o elemento neutro

ao outro elemento, denotado por

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

REVISTA ELETRNICA DE MATEMTICA

Tabela 2: Um grupo com apenas dois elementos

Tabela 3: Um grupo com exatamente trs elementos

fcil ver que se

A multiplicao pelo elemento neutro

tem trs resultados possveis:

o que absurdo pois nosso grupo tem trs

Um argumento inteiramente anlogo nos permite concluir que

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

respostas de uma tbua da operao de um grupo no podem haver repeties de elementos

REVISTA ELETRNICA DE MATEMTICA

Tabela 4: Grupo cclico com quatro elementos

Tabela 5: Klein Viergruppe

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

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

plo, o fato de que

Este grupo chamado de grupo-4 de Klein, ou

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

< a >= {e, a}

< b >=O {e, b}

< c >= {e, c}

< e >= {e}

seja exvel o suciente para permitir que faamos

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

3 Estrutura dos grupos abelianos nitamente gerados

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

Ento pela denio de

3.1 A estrutura dos grupos abelianos nitamente gerados

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

grupo abeliano nito indecomponvel.

a ordem de um grupo abeliano nito

livre de quadrados , temos para todo ndice

De maneira informal, podemos dizer que um isomorsmo entre dois grupos

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

Ento o homomorsmo cannico

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

h : G G/K o homomorsmo cannico.

Existe um nico isomorsmo

Teorema 15. (Segundo Teorema de Isomorsmo ) Seja H

Teorema 16. (Terceiro Teorema de Isomorsmo )

um grupo, deniremos uma relao em

descrita na denio 17 chamada de

Cada clula na partio da relao de equivalncia