Resolução Exercicios PDF

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

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;
- 2-
ISSN 2177-5095 n2 - 2010
REMat

* 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.
- 3-
ISSN 2177-5095 n2 - 2010
REMat

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
- 4-
ISSN 2177-5095 n2 - 2010
REMat

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),
- 5-
ISSN 2177-5095 n2 - 2010
REMat

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.
- 6-
ISSN 2177-5095 n2 - 2010

Se
REMat

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
- 7-
ISSN 2177-5095 n2 - 2010 Teorema 11.

m divide subgrupo de ordem m.
Se
REMat

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
ISSN 2177-5095 n2 - 2010
REMat

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

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.
- 10-
ISSN 2177-5095 n2 - 2010
REMat

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
- 11-
ISSN 2177-5095 n2 - 2010

Seja
REMat

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
ISSN 2177-5095 n2 - 2010
REMat

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.
- 13-

Resolução Exercicios PDF

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Resolução Exercicios PDF

Transféré par

Droits d'auteur :

Formats disponibles

ISSN 2177-5095 n2 - 2010

REVISTA ELETRNICA DE MATEMTICA

Estruturas de grupos finitos

Esdras Teixeira Costa

Finite groups structures

munido de uma operao binria

Vejamos quais seriam as condies necessrias sobre

que exista soluo para uma equao do tipo

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

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

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:

2. Um outro elemento mento neutro

o que se traduz em termos matemticos por:

necessrio agora que a operao matemtica, a operao

a escolha sobre quais elementos devem ser operados primeiro.

deve satisfazer, para quaisquer

trs condies so imprecindveis:

Existncia de elemento neutro para a operao

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

ISSN 2177-5095 n2 - 2010

REVISTA ELETRNICA DE MATEMTICA

Tabela 1: Um grupo com um nico elemento

com relao operao

para cada elemento

de tal forma que sejam satisfeitas as trs condies acima.

munido de uma operao

que satisfaz as trs

a operao deste grupo. Dizemos que

para quaisquer elementos

temos a validade da igualdade abaixo:

2 Tbua de grupos com ordem menor ou igual a seis

como sendo o elemento neutro.

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.

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

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

REVISTA ELETRNICA DE MATEMTICA

Tabela 2: Um grupo com apenas dois elementos

Tabela 3: Um grupo com exatamente trs elementos

tem trs resultados possveis:

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

fcil ver que se elementos

o que absurdo pois nosso grupo tem trs

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

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

Estruturas de grupos nitos

ISSN 2177-5095 n2 - 2010

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 grupo

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

plo, o fato de que palavra alem

Este grupo chamado de grupo-4 de Klein, ou

Estruturas de grupos nitos

Estruturas de grupos nitos

Estruturas de grupos nitos

Estruturas de grupos nitos

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

Estruturas de grupos nitos

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.

Estruturas de grupos nitos

a ordem de um grupo abeliano nito

livre de quadrados , temos para todo ndice

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 G

Existe um nico isomorsmo

Estruturas de grupos nitos

Teorema 15. (Segundo Teorema de Isomorsmo ) Seja H

Teorema 16. (Terceiro Teorema de Isomorsmo )