Monografia

Universidade Federal de Sao Carlos - UFSCar
Centro de Ciencias Exatas e de Tecnologia

Departamento de Matematica
Trabalho de Conclusao de Curso B
Classicacao de Grupos Finitos
Aluna: Cynthia Cristina dos Santos
Sao Carlos
Dezembro de 2011
Autor: Cynthia Cristina dos Santos
Orientador: Adriana Ramos
Disciplina: Trabalho de Conclus ao do Curso B
Curso: Licenciatura em Matem atica
Professores Responsaveis: Tomas Edson Barros
Karina Schiabel-Silva
Vera L ucia Carbone
Instituicao: Universidade Federal de Sao Carlos
Centro de Ciencias Exatas e de Tecnologia
Departamento de Matem atica
S ao Carlos, 29 de novembro de 2011.
Cynthia Cristina dos Santos Adriana Ramos
Dedico esse trabalho ` a minha famlia e a todos que tornaram isso possvel.
Resumo
Este trabalho, sendo a segunda (e ultima) parte de minha monograa, visa a
continuacao do estudo de diversos t opicos de Teoria de Grupos. Usando resultados obtidos
na primeira parte (sobre Grupos Simetricos, Alternados, Diedrais e grupos dados por
geradores e rela coes), Teoria de A coes e os famosos tres Teoremas de Sylow, classicaremos
(a menos de isomorsmo) todos os grupos de ordem n 15.
Palavras-chave: Teoria de Grupos, Ac oes, Teoremas de Sylow, Classicac ao de
Grupos Finitos.
5
Sumario
1 Preliminares 11
2 Os Grupos Simetricos 15
3 O Grupo Alternado 23
4 Grupos Diedrais 35
5 Grupos Livres 39
6 A acao de um grupo em um conjunto 47
7 Teoremas de Sylow 57
8 Classicacao de Grupos Finitos 65
7
Introducao
O objetivo deste Trabalho de Conclusao de Curso e desenvolver um estudo sobre
alguns conceitos e resultados basicos da Teoria de Grupos. Julgamos que esse estudo
complementa, de forma signicativa, o conte udo normalmente trabalhado nas disciplinas
de

Algebra para a graduac ao.
Apresentaremos inicialmente um captulo de Preliminares, onde o leitor poder a rever
alguns conceitos basicos de Teoria de Grupos utilizados nesse trabalho sem demonstrac ao.
Nos quatro captulos seguintes, apresentamos topicos estudados na primeira parte deste
trabalho sobre os grupos simetricos S
n
, seus principais subgrupos (o grupo alternado A
n
e
o grupo diedral D
n
), e grupos livres. Procuramos abordar, com cuidado, t opicos classicos
(e n ao triviais), tais como:
i) a decomposicao de uma permutac ao em ciclos disjuntos;
ii) o sinal de uma permutac ao (permutac oes pares e permuta coes mpares);
iii) a simplicidade dos grupos A
n
para n 5;
iv) caracterizac ao dos grupos D
n
por geradores e rela coes.
Nos captulos seguintes, estudamos ac oes de grupos em conjuntos, em cujo contexto
introduzimos a equac ao de classe, uma nova demonstra cao ao Teorema de Cayley, e os
famosos tres Teoremas de Sylow. Com base nos conte udos estudados nos captulos que o
precedem, no ultimo captulo, abordamos, nalmente, o problema da classicacao, salvo
isomorsmo, dos grupos nitos de ordem n 15.
9
10 SUM
ARIO
Captulo 1
Preliminares
Na redac ao desta monograa, assumimos que o leitor tenha conhecimento previo de
topicos mais b asicos em teoria de grupos. Neste captulo, faremos uma breve descric ao
de alguns desses t opicos, enunciando denic oes e resultados essenciais para a compreensao
dos captulos que seguem. Aqui, n ao apresentaremos demonstracoes, sendo que todas elas
podem ser encontradas em livros de introducao ` a

Algebra.
Denicao 1.1 Seja A um conjunto nao vazio. Considere A A = (a, b) : a A,
b A. Uma operacao em A e uma funcao : A A A, (a, b) a b.
Propriedades:
1. (Associativa) a (b c) = (a b) c, a, b, c A;
2. (Elemento neutro) e A tal que a e = a = e a, a A;
3. (Elemento inverso) para cada a A, existe a
A tal que a a
= e = a
a.
Denicao 1.2 Uma estrutura algebrica e um conjunto nao-vazio munido de
operacoes. Mais precisamente e uma (n + 1)-upla ordenada (E,
1
, ...,
n
) onde E e um
conjunto nao-vazio e
1
, ...,
n
sao operacoes em E.
Nessas condicoes, dizemos que (E, ) e um grupo, se:
11
12 CAP
ITULO 1. PRELIMINARES
em E e associativa;
em E possui elemento neutro (denotaremos, de modo geral, por e);
cada elemento de E possui inverso (e inversvel) com respeito a (denotaremos, de
modo geral, o inverso de x por x
1
).
Denicao 1.3 Sejam (G, ) grupo e ,= H G. Dizemos que H e um subgrupo de G
(notacao: H < (G, )), se:
x, y H, x y H;
(H, ) e um grupo.
Teorema 1.1 Sejam (G, ) um grupo e , = H G. Entao:
H < (G, )
x, y H = x y H
e
G
H
x H =o inverso de x pertence a H.
Exemplo 1.1 (Z, +) e um grupo e para cada n xado, nZ = nk : k Z e um subgrupo
de (Z, +).
Observacao 1.1 Dizemos que um grupo G e abeliano se: x G, y G, tem-se que
x y = y x.
Denicao 1.4 Sejam (G, , e), (W, , i) grupos com elemento neutro e e i respecti-
vamente. Uma funcao f : G W e chamada homomorsmo de grupos se
f(a b) = f(a) f(b), a, b G.
Propriedades de homomorsmo:
1. f(e) = i;
2. a G, f(a
1
) = [f(a)]
1
;
13
3. se f possui inversa f
1
, ent ao f
1
tambem e homomorsmo;
4. se g : (W, , i) (U, , l) e homomorsmo, ent ao g f : G U tambem e
homomorsmo.
Em geral, denotaremos a operac ao de um grupo por e diremos, simplesmente, G e
grupo, no lugar de (G, ) e grupo.
Observacao 1.2 No caso em que f : G W e homomorsmo bijetor, dizemos que f
e isomorsmo, e que G e W sao grupos isomorfos (nesse caso denotamos G W).
Observacao 1.3 Denotaremos a cardinalidade de um conjunto X por [X[.
Teorema 1.2 (Lagrange) Sejam G um grupo nito e H < G. Para cada x G,
denotamos xH = x h : h H (a classe lateral à esquerda de H), Hx = h x : h H
(a classe lateral à direita de H). Assim, temos:
(i) Para cada x G, [H[ = [xH[ = [Hx[.
(ii) Os conjuntos xH : x G e Hx : x G sao particoes de G com a mesma
cardinalidade, a qual sera denotada por [G : H] e chamada de ndice de H em G.
(iii) Se G e nito, entao [G[ = [G : H] [H[.
Como consequencia imediata de (iii), temos que:
Se [G[ = n e [H[ = k, entao k [ n.
Corolario 1.3 Seja G um grupo nito. Se H < G e K < H, entao [G : K] = [G :
H][H : K].
Corolario 1.4 Se G e um grupo com p elementos, onde p e primo, entao G e isomorfo
a (Z
p
, +) (o grupo aditivo dos inteiros modulo p).
Alguns Resultados:
Seja f : (G, , e) (W, , i) homomorsmo.
Def.: N ucleo(f) = g G [ f(g) = i = f
1
i.
14 CAP
ITULO 1. PRELIMINARES
N(f) e subgrupo de G.
Im(f) = w W [ w = f(g) para algum g G e subgrupo de W.
f e injetora N(f) = e.
Denicao 1.5 Sejam (G, , e), (W, , i) grupos arbitrarios. Se f : G W for
um monomorsmo (i.e, um homomorsmo injetor), dizemos que f e um mergulho
algebrico ou que G mergulha em W.
Teorema 1.5 (Cayley) Seja (G, , e) grupo arbitrario. Entao G pode ser mergulhado
no grupo de bijecoes B(G) = f : G G funcao: f e bijetora (com a composi cao
usual de funcoes).
Denicao 1.6 Dizemos que H < G e normal em G, e denotamos H G se: g G,
h H, tem-se que ghg
1
H (equivalentemente: se, g G, gH = Hg).
Denicao 1.7 Se G e um grupo e H G, entao no conjunto
G
H
= gH : g G, a
operacao dada por (gH)(kH) = (gk)H esta bem denida e, com tal operacao,
G
H
e um
grupo (chamado o grupo quociente de G por H).
Teorema 1.6 (Isomorsmo) Sejam G, W grupos arbitrarios, e f : G W
homomorsmo. Entao, N(f) G e
G
N(f)
Im(f).
Captulo 2
Os Grupos Simetricos
O Teorema de Cayley nos garante que todo grupo pode ser mergulhado num grupo
de bijec oes (grupo simetrico). Assim, em certo sentido, o estudo de grupos pode ser feito
atraves de um estudo detalhado de Grupos Simetricos e seus subgrupos.
Devido a sua import ancia, iniciamos este captulo enunciando e provando o Teorema
de Cayley:
Teorema 2.1 (Cayley) Seja (G,*) grupo arbitrario. Entao G pode ser mergulhado em
um grupo de bijecoes B(X) = f : X X : f e bijecao (considerando em B(X) a
operacao de composicao usual).
Demonstracao:
Facamos X = G, considerando G o conjunto subjacente de (G, ).
Ent ao devemos construir um monomorsmo : G B(G).
Tome g G, e dena
g
: G G dada por
g
(x) = g x. Armamos que
g
e uma
bije cao.
De fato,
(i) (Sobrejetora): Tome y G. Ent ao
g
(g
1
y) = g (g
1
y) = y
15
16 CAP
ITULO 2. OS GRUPOS SIM
ETRICOS
(ii) (Injetora): Se
g
(x) =
g
(y) = g x = g y = x = y
Portanto,
g
B(G), e temos uma funcao : G B(G) bem denida dada por
(g) =
g
. Agora, veremos que e o mergulho procurado.
1) e homomorsmo.
Tome g, w G arbitr arios. Provemos que (g w) = (g) (w) =
g

w
.
Temos que x G,
gw
(x) = (g w) x e (
g

w
)(x) =
g
(
w
(x)) =
g
(w x) =
g(wx). Como G e grupo, segue que
gw
=
g
w
e, portanto, (gw) =
gw
=
g
w
. Logo, (g w) = (g) (w), como queramos demonstrar.
2) e injetora.
Provemos que Ker() = e, onde e e o elemento neutro de (G, ). Seja g Ker().
Ent ao (g) =
g
= Id
G
. Em particular
g
(e) = Id
G
(e) = g e = e = g = e.
Note que, no caso de um grupo nito (G, ) de ordem n, G = g
1
, ..., g
n
, a
demonstracao do Teorema de Cayley mostra que (G, ) e isomorfo a um subgrupo de
B(g
1
, ..., g
n
).
Tendo em maos este importante Teorema, nos dedicaremos neste captulo a um estudo
do grupo simetrico S
n
(tambem chamado grupo de permutac oes de n letras).
Por denic ao, para cada inteiro n 1, S
n
e o grupo de todas as bijecoes (permuta coes)
: I
n
I
n
, onde I
n
= 1, 2, ..., n, com a operac ao sendo a composic ao usual de func oes.
Note que se n 3, S
n
e grupo nao abeliano.
Denicao 2.1 Sejam i
1
, i
2
, ..., i
r
, (r n) elementos distintos de I
n
= 1, 2, 3, ..., n.
Entao (i
1
i
2
...i
r
) indica a permutacao i
1
i
2
, i
2
i
3
, ..., i
r1
i
r
, e i
r
i
1
e que associa qualquer elemento de I
n
i
1
, ..., i
r
a ele mesmo.
(i
1
i
2
...i
r
) e chamado ciclo de comprimento r, ou r-ciclo, e um 2-ciclo e chamado
17
transposicao.
Exemplo 2.1 A permutacao =
1 2 3 4 5 6
4 1 2 3 5 6
e um 4-ciclo em S
6
.
Todo 1-ciclo e a func ao identidade em S
n
.
Observe que a notacao de ciclo n ao e unica, pois, no caso acima, por exemplo, =
(1432) = (4321) = (3214) = (2143). Note tambem que um r-ciclo r 2 e um elemento
de ordem r em S
n
pois, para cada x I
n
com (x) ,= x temos = (x(x)
2
(x)...
r1
(x))
e
r
= Id.
Quando operamos dois ciclos, por exemplo e , nem sempre e verdade que = .
Por exemplo, em S
5
, no caso em que = (1432) e = (125) temos = (125)(1432) =
(1435) enquanto = (1432)(125) = (2543).
Denicao 2.2 Duas permutacoes e sao ditas disjuntas se para todo k I
n
tal que
(k) ,= k tem-se que (k) = k; isto e, e sao disjuntas se e somente se todo elemento
de I
n
que e

movimentado
por uma delas, e

fixado
pela outra.
Observacao 2.1 Dizemos que um conjunto
1
,
2
, ...,
r
de permutacoes em S
n
e um
conjunto de permutacoes disjuntas se para todo i e para todo j ,= i tem-se que
i
e
j
sao
disjuntas.
Proposicao 2.2 = sempre que e sao disjuntas.
Demonstracao:
Tome x I
n
arbitr ario. Temos os casos:
(i) (x) = x e (x) = x.
Nesse caso ((x)) = (x) = x = (x) = (x).
(ii) (Sem Perda de Generalidade) (x) = x e (x) = a ,= x.
Nesse caso ((x)) = (a) ,= x, pois e injetora, e ja temos (x) = x e x ,= a. Por
outro lado ((x)) = (x) = a, logo basta mostrar que (a) = a.
18 CAP
ETRICOS
De fato, suponha por absurdo que (a) ,= a. Entao, como e s ao disjuntas,
teramos que (a) = a. Mas e injetora, e, por hip otese, (x) = a, da teramos x = a,
contradizendo a hipotese de que a ,= x.
Vamos agora a um teorema cl assico, que garante que uma permutac ao pode ser
fatorada em ciclos disjuntos.
Teorema 2.3 Toda permutacao S
n
, ,= (1), pode ser escrita de forma unica (a
menos da ordem dos fatores) como produto de ciclos disjuntos de comprimento maior ou
igual a 2.
Demonstracao:
Como e diferente de (1), existe i
1
tal que (i
1
) ,= i
1
. Considere a sequencia i
1
,
(i
1
),
2
(i
1
), ...; claramente, existe r
1
Z
+
minimal com 2 r
1
n, tal que i
1
, (i
1
)...,
r
1
1
(i
1
) s ao todos distintos e
r
1
(i
1
) i
1
, (i
1
)...,
r
1
1
(i
1
). Assim
r
1
(i
1
) =
k
(i
1
)
para algum 0 k < r
1
. Como
k
(i
1
) ,=
l
(i
1
) l ,= k, com 0 l < r
1
segue que
r
1
k
(i
1
) = i
1
=
0
(i
1
) e 0 < r
1
k r
1
, e pela minimalidade de r
1
devemos ter k = 0 e
r
1
(i
1
) = i
1
. Portanto a restric ao de ao conjunto i
1
, (i
1
)...,
r
1
1
(i
1
) e tal que
[
{i
1
,(i
1
)...,
r
1
1
(i
1
)}
= (i
1
(i
1
)...
r
1
1
(i
1
)).
Denotaremos este r
1
-ciclo (i
1
(i
1
)...
r1
(i
1
)) por
1
.
Se a restric ao de ao complementar de i
1
, (i
1
)...,
r
1
1
(i
1
) e a identidade, acabou:
=
1
. Senao, tomamos um elemento i
2
I
n
i
1
, (i
1
)...,
r
2
1
(i
1
) tal que (i
2
) ,= i
2
;
de maneira similar ` a etapa precedente, vai existir um inteiro r
2
2 tal que
[
{i
2
,(i
2
)...,
r
2
1
(i
2
)}
= (i
2
(i
2
)...
r
2
1
(i
2
)).
Denotaremos este r
2
-ciclo (i
2
(i
2
)...
r
2
1
(i
2
)) por
2
. Observamos que
1
e
2
s ao
disjuntos. Se a restricao de ao complementar do conjunto i
1
, (i
1
),...,
r
1
1
(i
1
), i
2
,
(i
2
),...,
r
2
1
(i
2
) e a identidade, acabou: =
1
2
=
2
1
. Senao, tomamos i
3
I
n
i
1
,
(i
1
),...,
r
1
1
(i
1
), i
2
, (i
2
),...,
r
2
1
(i
2
) tal que (i
3
) ,= i
3
e continuamos o processo.
19
Claramente este processo vai ter que parar depois de um n umero nito de etapas, e vamos
obter que =
1
2
...
t
, onde
1
,
2
, ...,
t
s ao ciclos disjuntos de comprimentos 2.
Agora, para provar a unicidade, suponha que tenhamos tambem =
1
2
...
u
com
1
,
2
, ...,
u
ciclos disjuntos, cada um deles de comprimento 2. Como
1
...
u
(i
1
) =
(i
1
) ,= i
1
e como os
i
s s ao disjuntos, e claro que existe um unico 1 j u tal que
j
(i
1
) = (i
1
). Como os
i
s comutam entre si, podemos supor j = 1 e ent ao
1
(i
1
) = (i
1
).
Vamos mostrar que
1
=
1
. O ciclo
1
n ao pode deixar (i
1
) xo, isto e,
1
n ao pode
mandar (i
1
) sobre (i
1
), pois
1
j a manda i
1
sobre (i
1
); como os
i
s s ao ciclos disjuntos,
ent ao j 2,
j
deixa (i
1
) xo, portanto ((i
1
)) =
1
((i
1
)); assim
1
((i
1
)) =
2
(i
1
).
De maneira similar obtemos que
1
(
m1
(i
1
)) =
m
(i
1
), m 0, e portanto
1
=
1
.
Similarmente, trabalhando com i
2
no lugar de i
1
, vamos obter que
2
=
2
; continuando
assim, obteremos que u = t e que a menos da ordem
j
=
j
, para cada j = 1, ..., t.
Corolario 2.4 A ordem de uma permutacao S
n
, ,= (1), e o menor m ultiplo comum
das ordens dos ciclos disjuntos que aparecem em sua decomposicao.
Demonstracao:
Seja produto de ciclos disjuntos, ie, = (i
1
...i
r
)(j
1
...j
s
)...(l
1
...l
u
). Seja m =
mmc(r, s, ..., u). Denotando
1
= (i
1
...i
r
),
2
= (j
1
...j
s
), ...,
k
= (l
1
...l
u
), temos que
m
=
m
1

m
2
...
m
k
= (1), logo ord()[m.
Por outro lado, permuta i
1
, ..., i
r
de modo que a restricao de ao conjunto i
1
, ..., i
r
e
1
. Assim, se k = ord() entao
k
= (1) =
k
1
= (1) e portanto ord(
1
) = r [ k.
Analogamente, k e divisvel por s, ..., u e portanto k e divisvel por m = mmc(r, s, ..., u),
ie, m [ ord() = k. Logo ord() = m.
Corolario 2.5 Toda permutacao em S
n
pode ser escrita como produto de transposicoes
(nao necessariamente disjuntas).
Demonstracao: Pelo teorema acima e suciente provar que todo ciclo e um produto
de transposi coes.
20 CAP
ETRICOS
Para r = 1 temos (x
1
) = (x
1
x
2
)(x
1
x
2
), e nao e necess ario vericar o caso em que
r = 2, pois o pr oprio ciclo ja seria uma transposi cao. Assim, provemos por induc ao que
(x
1
x
2
...x
r
) = (x
1
x
r
)(x
1
x
r1
)...(x
1
x
3
)(x
1
x
2
) para qualquer r > 2.
De fato, para r = 3 temos (x
1
x
2
x
3
) = (x
1
x
3
)(x
1
x
2
). Suponha que para um certo
k IN (x
1
x
2
...x
k
) = (x
1
x
k
)(x
1
x
k1
)...(x
1
x
3
)(x
1
x
2
). Mostremos que (x
1
x
2
...x
k
x
k+1
) =
(x
1
x
k+1
)(x
1
x
k
)...(x
1
x
2
). Ora, (x
1
x
k+1
)(x
1
x
k
)...(x
1
x
3
)(x
1
x
2
) = (x
1
x
k+1
)(x
1
x
2
...x
k
) =
(x
1
x
2
...x
k
x
k+1
).
Assim, para r > 1 sempre podemos decompor (x
1
...x
r
) em r-1 transposi coes.
Note que tambem poderamos denotar (x
1
...x
r
) como produto de outras transposic oes
(por exemplo (x
1
...x
r
) = (x
1
x
2
)(x
2
x
3
)...(x
r1
x
r
)), ou seja, a decomposi cao de um ciclo em
transposicoes n ao e unica.
Alguns resultados:
1. a S
n
e gerado pelas (n 1) transposicoes (1 2), (1 3), (1 4),..., (1 n).
De fato, tome S
n
. Sabemos que pode ser escrita como
produto de transposicoes. Alem disso, para quaisquer i, j temos
(1i)(1j)(1i) = (ij). Assim = (a
1
...a
k
) = (a
1
a
k
)...(a
1
a
3
)(a
1
a
2
) =
(1a
1
)(1a
k
)(1a
1
)...(1a
1
)(1a
3
)(1a
1
)(1a
1
)(1a
2
)(1a
1
). Da, como (1a
1
) = (1a
1
)
1
segue que = (a
1
...a
k
) = (1a
1
)(1a
k
)(1a
k1
)...(1a
3
)(1a
2
)(1a
1
) com 1 k n.
Segue da arbitrariedade de que S
n
e gerado pelas (n 1) transposicoes (12),
(13),..., (1n).
b S
n
e gerado pelas (n 1) transposi coes (1 2), (2 3), (3 4),..., (n-1 n).
De fato, tome S
n
. Se = (1) temos = (12)(12) = (12)
2
. O caso em que
,= (1) sera demonstrado por induc ao.
Suponha que (a
1
...a
k
) = para algum k 2, onde e produto de transposicoes
da forma (i i + 1) para 1 i < k. Ent ao por (a) temos que (a
1
...a
k
a
k+1
) =
21
(a
1
a
k+1
)(a
1
...a
k
) = (a
1
a
k+1
) = (1a
1
)(1a
k+1
)(1a
1
). Portanto basta mostrar
que (1a
1
)(1 a
k+1
)(1 a
1
) se escreve como produto de transposic oes da forma
(i i +1) para 1 i < k+1. Basta notar que (1j) = (1 j 1)(j 1 j)(1 j 1)
para qualquer j e teremos o desejado.
2. Se = (i
1
i
2
...i
r
) S
n
e S
n
, ent ao
1
e o r-ciclo ((i
1
)(i
2
)...(i
r
)).
Para j 1, ..., r 1, temos
1
((i
j
)) = (i
j
) = (i
j+1
), e para j = r,
temos
1
((i
r
)) = (i
r
) = (i
1
). Alem disso, para b / (i
1
), ..., (i
r
), temos
1
(b) / i
1
, ..., i
r
, logo
1
(b) =
1
(b) e
1
(b) = b. Portanto, temos (i
1
,
..., i
r
)
1
= ((i
1
)...(i
r
)).
3. a S
n
e gerado por
1
= (12) e = (123...n).
Pelo resultado 1(b) S
n
e gerado por
i
, 1 i n 1, onde para cada
i,
i
= (i i + 1). Note que
1
= (12),
2
=
1
1
= ((1)(2)) = (23),
3
=
2
1
= ((2)(3)) = (34), . . . ,
n1
=
n2
1
= ((n2)(n1)) =
(n1 n). Como
j
=
j1
1
para 2 j n1 e
1
= (12), por recorrencia
podemos denir
j
=
j1
(j1)
, de modo que S
n
e gerado por
1
e .
b S
n
e gerado por (12) e (23...n).
De fato (23...n) = (12)(123...n) (12)(23...n) = (123...n). Assim, como S
n
e
gerado por (12) e (123...n) segue que S
n
e gerado por (12) e (23...n).
22 CAP
ETRICOS
Captulo 3
O Grupo Alternado
Denicao 3.1 Uma permutacao S
n
e dita par (respectivamente mpar) se pode
ser escrita como produto de uma quantidade par (respectivamente mpar) de transposicoes.
Teorema 3.1 Nao existe permutacao em S
n
(n 2) que seja simultaneamente par e
mpar.
Demonstracao:
A prova desse fato ser a baseada na seguinte f ormula:
(ab)(ac
1
...c
h
bd
1
...d
k
) = (bd
1
...d
k
)(ac
1
...c
h
) (3.1)
Observacao 3.1 Aqui podemos ter h = 0 ou k = 0, signicando que nao existem tais
cs ou tais ds. Note que tal formula e valida para qualquer ciclo, e a informacao que ela
nos traz e a seguinte: Como (ab) = (ab)
1
, multiplicando ambos lados de 3.1 à esquerda
por (ab) temos: (ab)(bd
1
...d
k
)(ac
1
...c
h
) = (ac
1
...c
h
bd
1
...d
k
), ie, qualquer ciclo pode ser
fatorado em tres ciclos (sendo um deles uma transposicao) de modo que dois deles sao
disjuntos e representam a

quebra
do ciclo inicial em duas partes, e o terceiro devera

ser a transposicao do primeiro elemento de cada um desses ciclos.
Observacao 3.2 Note que apesar de (ac
1
...c
h
) = (c
h
ac
1
...c
h1
) e (bd
1
...d
k
) =
(d
k
bd
1
...d
k1
) nao podemos tomar para a transposicao c
h
e d
k
ou quaisquer outros dois
23
24 CAP
ITULO 3. O GRUPO ALTERNADO

primeiros elementos obtidos por outras representacoes dos ciclos (ac
1
...c
h
) e (bd
1
...d
k
).
Assim, a ordem em que os elementos aparecem no ciclo inicial deve ser preservada para a
escolha da transposicao, ie, deve-se fazer a transposicao sempre entre o primeiro elemento
do ciclo dado e o primeiro elemento do ciclo que aparecer logo apos a

quebra
, que pode
ser escolhida aleatoriamente.
Observacao 3.3 Note tambem que a ordem dos fatores nessa decomposicao de
(ac
1
...c
h
bd
1
...d
k
) e importante, devendo sempre aparecer primeiro a transposicao.
Considere a func ao N: S
n
Z denida do seguinte modo: N((1)) = 0 e se S
n
e ,= (1), considere =
1
...
j
a decomposicao de em ciclos disjuntos (cada um
com comprimento maior ou igual a 2). Denimos N() = (comprimento de
1
-1) +
(comprimento de
2
-1) + ... + (comprimento de
j
-1).
Seja S
n
. Vericaremos que para cada transposic ao = (ab), N() = N() 1.
De fato: considere a decomposic ao de em ciclos disjuntos.
(1
o
caso): Se a e b n ao aparecerem em tais ciclos. Obs: Id esta nesse caso.
Ent ao (ab) sera um ciclo disjunto dos demais ciclos de . Logo pela deni cao de N,
N((ab)) = 1 + N().
(2
o
caso): (Sem Perda de Generalidade) Se a aparece em um ciclo da decomposic ao
de e b n ao aparece.
Neste caso, considere = (ac
1
...c
h
)(l
1
...l
k
)...(j
1
...j
s
), temos (ab) =
(ab)(ac
1
...c
h
)(l
1
...l
k
)...(j
1
...j
s
), da por 3.1 temos (ab)(ac
1
...c
h
)(l
1
...l
k
)...(j
1
...j
s
) =
(ac
1
...c
h
b)(l
1
...l
k
)...(j
1
...j
s
) e portanto N((ab)) = 1 + N().
(3
o
caso): Se a e b aparecem no mesmo ciclo na decomposic ao de .
Tomando = (al
1
...l
j
bk
1
...k
m
)(g
1
...g
s
)...(p
1
...p
t
) a decomposic ao de em ciclos
disjuntos, temos que N() = (j +m+1)+(s1)+... +(t1), e por 3.1 temos N((ab)) =
N((ab)(al
1
...l
j
bk
1
...k
m
)(g
1
...g
s
)...(p
1
...p
t
)) = N((bk
1
...k
m
)(al
1
...l
j
)(g
1
...g
s
)...(p
1
...p
t
)) =
25
m + j + (s 1) + ... + (t 1) = m + j + 1 + (s 1) + ... + (t 1) 1 = N() 1, ie,
N((ab)) = N() 1.
(4
o
caso): Se a e b aparecem em ciclos diferentes na decomposicao de .
Neste caso, tomando = (al
1
...l
f
)(bd
1
...dr)(q
1
...q
u
)...(v
1
...v
w
)) a decomposic ao de
em ciclos disjuntos, temos que N() = f +r +(u1) +... +(w1) e por 3.1 N((ab)) =
N((ab)(al
1
...l
f
)(bd
1
...dr)(q
1
...q
u
)...(v
1
...v
w
)) = N((al
1
...l
f
bd
1
...dr)(q
1
...q
u
)...(v
1
...v
w
)) =
f + r + 1 + (u 1) + ...(w 1) = f + r + (u 1) + ... + (w 1) + 1 = N() + 1,
ie, N((ab)) = N() + 1.
Assim, tome S
n
arbitr ario e suponha que e produto de m transposi coes,
digamos =
1
...
m
, ent ao
m
m1
...
2
1
= (1), ie, N(
m
m1
...
2
1
) = 0, e segue
que N(
m1
...
2
1
) +
m
= 0, N(
m2
...
2
1
) +
m1
+
m
= 0, ...,
N() +
m
i=1
i
= 0 (3.2)
onde cada
i
e igual a 1 ou -1 conforme os casos expostos anteriormente.
De 3.2 segue que N() =
m
i=1
i
=
m
i=1
i
, e em Z
2
(grupo dos inteiros
m odulo 2) temos N() =
m
i=1
i
= m. Logo se pode ser escrito como produto
de m transposicoes, m par (ou mpar), entao qualquer outra decomposic ao de em
transposicoes dever a ter um n umero par (respectivamente mpar) de transposicoes.
Como nenhuma permutac ao e simultaneamente par e mpar podemos denir a funcao
sg : S
n
1, 1
tal que sg() = 1 se for par e sg() = 1 se for mpar.
Note que sg((1)) = 1 e se = (ab)...(kl), = (pq)...(uv), = (ab)...(kl)(pq)...(uv),
ent ao:
(I) sg() = 1 sg() = sg() e
(II) sg() = 1 sg() = sg()
26 CAP

Assim sg() = sg().sg(), logo sg dene um isomorsmo entre S
n
e o grupo
1, 1 (aqui consideramos grupo o conjunto 1, 1 com a operac ao de multiplicac ao).
Observacao 3.4 Sejam , S
n
. Se e par (mpar), entao tambem
1
e par
(mpar).
De fato, como sg() = sg(
1
), temos sg(
1
) = sg().sg().sg(
1
) =
sg
2
().sg() = sg().
Teorema 3.2 As permutacoes pares em S
n
formam um subgrupo de ordem
n!
2
chamado
grupo alternado A
n
de ordem n. Alem disso, A
n
e subgrupo normal de S
n
.
Demonstracao:
Basta observar que A
n
= Ker(sg). Logo, temos que A
n
e subgrupo normal de S
n
.
Alem disso, pelo Teorema de Lagrange e Teorema do Isomorsmo, temos:
S
n
A
n
= 1, 1
e
|S
n
|
|A
n
|
= 2.
Dedicaremos o restante deste captulo a um importante teorema sobre os subgrupos
normais de A
n
.
Denicao 3.2 Um grupo G e dito simples se G nao possui subgrupo normal proprio,
ie, H G e subgrupo normal de G H = e ou H=G.
Proposicao 3.3 O unico grupo simples abeliano (a menos de isomorsmos) e Z
p
com
p primo.
Demonstracao:
De fato, tome G grupo abeliano qualquer. Se ord(G) = m, ent ao, por Lagrange todo
subgrupo de G possui cardinalidade que divide m. Por se tratar de um grupo abeliano,
vale a recproca de Lagrange, isto e, se m possuir divisores n ao triviais, entao sempre
haver a subgrupos de G com cardinalidade igual a cada um desses divisores.
27
Como G e abeliano, todo subgrupo de G e normal em G. Assim, se m nao e primo,
ent ao G n ao e grupo simples.
Por outro lado, se m e primo temos G

= Z
m
. Assim, conclui-se que o unico grupo
simples abeliano (a menos de isomorsmo) e Z
p
com p primo.
Teorema 3.4 O grupo alternado A
n
e simples se e somente se n ,= 4.
Para provar este teorema usaremos os dois seguintes lemas:
Lema 3.5 A
n
(n 3) e gerado pelo conjunto de todos os 3-ciclos de S
n
. Mais
especialmente, se tomarmos r, s elementos distintos de 1, 2, ..., n, temos que A
n
(n 3)
e gerado pelo conjunto de ciclos (rsk) / 1 k n, k ,= r, s .
Demonstracao:
No caso em que n = 3 temos A
3
= (1), (123), (132), portanto n ao h a o que provar.
Assim, tome n > 3 e A
n
. Note que, por estar em A
n
, pode ser escrito como
produto de uma quantidade par de transposic oes. Tome duas transposic oes que

aparecem
juntas
na decomposic ao de ; elas serao da forma (ab)(cd) ou (ab)(ac), onde a, b, c, d

s ao elementos distintos de 1, 2, ..., n.
Como (ab)(cd) = (acb)(acd) e (ab)(ac) = (acb), A
n
e gerado pelo conjunto de todos
os 3-ciclos.
Por outro lado, todo 3-ciclo e da forma (rsa), (ras), (rab), (sab) ou (abc), onde
a, b, c s ao distintos e a, b, c ,= r, s. Como (ras) = (rsa)
2
, (rab) = (rsb)(rsa)
2
,
(sab) = (rsb)
2
(rsa), e (abc) = (rsa)
2
(rsc)(rsb)
2
(rsa), segue que A
n
e gerado por (rsk) /
1 k n, k ,= r, s.
Lema 3.6 Se N e subgrupo normal de A
n
(n 3) e N contem um 3-ciclo, entao N = A
n
.
Demonstracao:
28 CAP

Se (rsc) N, entao para qualquer k ,= r, s, c (rsk) = (rs)(ck)(rsc)
2
(ck)(rs) =
[(rs)(ck)](rsc)
2
[(rs)(ck)]
1
N (pois N e normal em A
n
, (rsc)
2
N e (rs)(ck) A
n
).
Assim, pelo lema 3.5, N = A
n
.
Demonstracao (Teorema)
De fato, temos:
A
2
= (1) e grupo simples;
A
3
= (1), (123), (132) e grupo de ordem 3, entao, por Lagrange, so possui os
subgrupos triviais, logo A
3
e grupo simples;
H = (1), (12)(34), (13)(24), (14)(23) e subgrupo normal de A
4
(denominado
Grupo de Klein)
De fato, pela tabela abaixo, H e subgrupo de A
4
.
x (1) (12)(34) (13)(24) (14)(23)
(1) (1) (12)(34) (13)(24) (14)(23)
(12)(34) (12)(34) (1) (14)(23) (13)(24)
(13)(24) (13)(24) (14)(23) (1) (12)(34)
(14)(23) (14)(23) (13)(24) (12)(34) (1)
Tabela 3.1: Multiplicac ao em H
Mostremos que tal subgrupo e normal em S
4
e portanto, em particular, e subgrupo
normal de A
4
.
Ora, todo elemento de S
4
pode ser escrito como produto de transposic oes do tipo
(12), (13), (14), (23), (24) e (34). Assim, basta vericar que para toda transposicao
de S
4
e todo elemento de H tem-se que
1
= e um elemento de H.
29
Note que uma transposi cao (ab) de S
4
deve necessariamente ser de um dos tipos
acima, logo para cada elemento (cd)(ef) H (c,d,e,f elementos distintos tais
que 1 c, d, e, f 4), temos que (ab) = (cd) ou (ab) = (ce), ie, a = c e
b = d, ou a = c e b = e. Assim se (ab) = (cd) temos (ab)(cd)(ef)(ab) =
(ab)(ab)(ef)(ab) = (ef)(ab) = (ef)(cd) = (cd)(ef) H, e se (ab) = (ce) segue
que (ab)(cd)(ef)(ab) = (ab)(ad)(bf)(ab) = (bd)(af) = (ed)(cf) H. Logo H e
normal em S
4
, e particularmente em A
4
.
Se n 5 e N e subgrupo normal de A
n
, N ,= e, devemos mostrar que N = A
n
considerando os seguintes casos:
CASO 1: N contem um 3-ciclo.
Nesse caso, pelo lema 3.6, N = A
n
.
CASO 2: N em cuja decomposic ao em ciclos disjuntos aparece pelo menos um
de comprimento r 4.
Seja = (a
1
a
2
...a
r
) (disjuntos), e seja = (a
1
a
2
a
3
) A
n
. Ent ao
1
(
1
) N
pela normalidade. Mas
1
(
1
) =
1
(a
1
a
r
a
r1
...a
3
a
2
)(a
1
a
2
a
3
)(a
1
...a
r
)(a
1
a
3
a
2
) =
(a
1
a
3
a
r
) N. Logo, pelo lema 3.6, N = A
n
.
CASO 3: N em cuja decomposic ao em ciclos disjuntos aparece pelo menos
dois de comprimento 3.
Seja = (a
1
a
2
a
3
)(a
4
a
5
a
6
) (disjuntos). Seja = (a
1
a
2
a
4
) A
n
. Entao, como feito
acima, N contem
1
(
1
) =
1
(a
4
a
6
a
5
)(a
1
a
3
a
2
)(a
1
a
2
a
4
)(a
1
a
2
a
3
)(a
4
a
5
a
6
)(a
1
a
4
a
2
) =
(a
1
a
4
a
2
a
6
a
3
). Logo, pelo caso 2, N = A
n
.
CASO 4: N em cuja decomposicao em ciclos disjuntos aparece um 3-ciclo e
alguns 2-ciclos.
Seja = (a
1
a
2
a
3
) (disjuntos), com sendo produto de 2-ciclos disjuntos. Ent ao
30 CAP
2
N e
2
= (a
1
a
2
a
3
)(a
1
a
2
a
3
) = (a
1
a
2
a
3
)
2
2
= (a
1
a
2
a
3
)
2
= (a
1
a
3
a
2
), logo, pelo
lema 3.6 N = A
n
.
CASO 5: N e produto de uma quantidade par de 2-ciclos (pois N A
n
)
disjuntos.
Seja = (a
1
a
2
)(a
3
a
4
) (disjuntos), e seja = (a
1
a
2
a
3
) A
n
. Ent ao
1
(
1
) N
como acima. Agora,
1
(
1
) =
1
(a
3
a
4
)(a
1
a
2
)(a
1
a
2
a
3
)(a
1
a
2
)(a
3
a
4
)(a
1
a
3
a
2
) =
(a
1
a
3
)(a
2
a
4
).
Como n 5, existe um elemento b 1, 2, .., n distinto de a
1
, a
2
, a
3
, a
4
. Da, como
= (a
1
a
3
b) A
n
(Lema 3.5) e = (a
1
a
3
)(a
2
a
4
) N, segue da normalidade que N
contem (
1
) = (a
1
a
3
)(a
2
a
4
)(a
1
a
3
b)(a
1
a
3
)(a
2
a
4
)(a
1
ba
3
) = (a
1
a
3
b). Assim, pelo
Lema 3.6 segue que N = A
n
.
Como os casos acima listados cobrem todas as possibilidades, conclui-se que
se n ,= 4, ent ao A
n
n ao possui subgrupo normal proprio, i.e., A
n
e grupo simples.
Proposicao 3.7 Seja K := id, (12)(34), (13)(24), (14)(23) o grupo de Klein. Entao
id, K, A
4
sao os unicos subgrupos normais de A
4
.
Demonstracao:
Escrevendo os elementos de S
4
como produtos de ciclos disjuntos, vemos que A
4
=
3 ciclos K. Sendo o unico subgrupo normal de ordem 4 de A
4
, K e normal em A
4
.
Agora, seja id ,= H um subgrupo normal de A
4
. Se este subgrupo normal em H
contem um 3-ciclo, digamos (123), entao ele tambem possui seu inverso (132) e portanto
tambem (124), pois (124) = (324)(132)(324)
1
. Logo, H (123), (124)) = A
4
, pelo
Lema 3.5, e, portanto, H = A
4
.
Se H n ao contem nenhum 3-ciclo, ent ao ele contem um elemento de K diferente
da identidade, digamos (12)(34). Entao, ele contem tambem (13)(24), pois (13)(24) =
(234)(12)(34)(234)
1
, e tambem (14)(23), pois (14)(23) = (12)(34)(13)(24). Portanto,
31
H = K.
Lema 3.8 Seja n 2. Para uma permutacao S
n
, seja = (a
11
...a
1r
1
)...(a
t
1
...a
tr
t
) a
sua decomposicao em ciclos disjuntos.
a) Se S
n
, entao a permutacao
1
tem a seguinte decomposicao em ciclos
disjuntos
1
= ((a
11
)...(a
1r
1
))...((a
t1
)...(a
tr
t
)).
b) Reciprocamente, se ,
S
n
tem o mesmo tipo de decomposicao, entao existe
S
n
tal que
=
1
.
c) Se as permutacoes ,
S
n
tem o mesmo tipo de decomposicao e se a permutacao
deixa pelo menos duas letras xas (e a permutacao
tambem deixa), entao existe A

n
tal que
=
1
.
Demonstracao:
a) Seja := (a
1
...a
r
) um r-ciclo qualquer. Sabemos do resultado 2 demonstrado na
p agina 21 que
1
= ((a
1
)...(a
r
)).
Agora, se e igual a um produto de ciclos (a
11
...a
1r
1
)...(a
t1
...a
tr
t
), temos
1
=
(a
11
...a
1r
1
)
1
(a
21
...a
2r
2
)
1
...(a
t1
...a
tr
t
)
1
= ((a
11
)...(a
1r
1
))((a
21
)...(a
2r
2
))...((a
t1
)...(a
tr
t
)).
Mais ainda, para todo par i, j 1, ..., t, i ,= j, e claro que a intersec ao
(a
i1
), ..., (a
ir
i
) (a
j1
), ..., (a
jr
i
) e vazia, pois a interse cao a
i1
, ..., a
ir
i

a
j1
, ..., a
jr
i
e vazia. Portanto, os ciclos obtidos acima para
1
s ao disjuntos.
b) Seja
= (b
11
...b
1r
1
)...(b
t1
...b
tr
t
) a decomposic ao em ciclos disjuntos da permutac ao
. Sejam
c
1
, ..., c
u
= 1, ..., n
t
i=1
a
i1
, ..., a
ir
i
e
d
1
, ..., d
u
= 1, ..., n
t
i=1
b
i1
, ..., b
ir
i
.
Considere a permuta cao S
n
abaixo:
32 CAP

:=
a
11
... a
1r
1
a
21
... a
2r
2
... a
t1
... a
tr
t
c
1
... c
u
b
11
... b
1r
1
b
21
... b
2r
2
... b
t1
... b
tr
t
d
1
... d
u
.
Aplicando a parte a), e imediato vericar que
1
=
. Note que para cada

ordenacao do conjunto c
1
, ..., c
u
, obtemos uma permuta cao que funciona.
c) Pela parte b), existe S
n
tal que
=
1
. Com as notacoes usadas na prova
da parte b), a hipotese de que a permuta cao deixa pelo menos duas letras xas signica
que u 2. Tome ent ao
:=
, se A
n
(c
1
c
2
), se / A
n
Corolario 3.9 O grupo alternaldo A

n
e o unico subgrupo de S
n
de ndice 2.
Demonstracao:
Vamos dividir a demonstrac ao em duas situac oes:
a) n = 3 ou n > 5:
Seja H um subgrupo normal de S
n
e considere o homomorsmo de grupos
: H 1, +1,
denido por () = 1, se e par, e () = 1, se e mpar.
Naturalmente, Ker () = H A
n
e [H : Ker ()] = [(H)[ = 1 ou 2. Logo,
[H : H A
n
] = 1 ou 2.
(1
o
Caso) [H : H A
n
] = 1, i.e., H A
n
. Como H S
n
, segue que H A
n
. Segue
do Teorema 3.4 que H = id ou H = A
n
.
(2
o
Caso) [H : H A
n
] = 2. Como H S
n
, ent ao H A
n
= id, ent ao H contem
uma permutacao mpar de ordem 2. Tal permuta cao e necessariamente um produto
de transposi coes disjuntas, digamos = (12)
2
...
s
. Ent ao,
33
:= (13)(13)
1
H, pois H S
n
.
Como
(2) = [(13)(13)](2) = [(13)](2) = [(13)](1) = 3

e como (2) = 1, obtemos que ,=
e, portanto, que [H[ 3. Assim, a suposi cao

[H[ = 2, leva a um absurdo e obtemos que H = S
n
.
b) Agora, seja H um subgrupo normal de S
4
. Se H A
4
, entao H e normal em A
4
;
logo H = id ou H = K ou H = A
4
, onde K e o grupo de Klein da Proposicao 3.7.
Se H A
4
, entao H contem uma permutac ao mpar. Ora, as permutac oes mpares
consistem exatamente das seis transposicoes e dois seis 4-ciclos. Se H contem uma
transposicao, ent ao, pelo Lema 3.8, H contem todas as seis transposicoes, logo H = S
4
pelo Corolario 2.5. Se H contem um 4-ciclo, ent ao pelo Lema 3.8, H contem todos os seis
4-ciclos; o subgrupo H vai tambem conter a identidade e os quadrados dos 4-ciclos, que
s ao os elemento de K; logo [H[ 10 e H A
4
e um subgrupo normal de A
4
de ordem
5 pois, como observado anteriormente, o ndice [H : H A
4
] e 1 ou 2. Portanto, pela
Proposi cao 3.7, HA
4
= A
4
e, como H contem uma permutac aompar, temos H = S
4
.
34 CAP

Captulo 4
Grupos Diedrais
Para cada n N, n 3, podemos construir um polgono regular de n lados, e a
partir dele e de suas simetrias construimos um grupo (com a operacao de composi c ao)
n ao-comutativo. Tal grupo e chamado Diedral.
Exemplo 4.1 Quando n = 3 temos um triangulo equilatero. Operando r (rotacao de
2
3
em torno do centro) e s (reexao em relacao a um eixo de simetria) obtemos suas seis
simetrias, as quais sao:
e, r, r
2
, s, rs e r
2
s. (4.1)
Note que r
2
= e = s
2
.
Tais elementos 4.1 formam o grupo diedral denotado por D
3
.
Segue abaixo a tabela de multiplica cao de D
3
:
Observe que a construc ao dessa tabela pode ser feita de forma geometrica ou algebrica,
utilizando-se repetidamente a associatividade e o fato de que r
3
= e, s
2
= e e sr = r
2
s.
Exemplo 4.2 sr
2
= s(rr) = (sr)r = (r
2
s)r = r
2
(sr) = r
2
(r
2
s) = r
4
s = r
3
(rs) = e(rs) =
rs.
(r
2
s)(rs) = r
2
(s(rs)) = r
2
(sr)s = r
2
(r
2
s)s = r
2
(r
2
s
2
) = r
2
(r
2
e) = r
2
r
2
= r
4
= r
3
r =
er = r.
De modo mais geral, temos:
35
36 CAP
ITULO 4. GRUPOS DIEDRAIS

x e r r
2
s rs r
2
s
e e r r
2
s rs r
2
s
r r r
2
e rs r
2
s s
r
2
r
2
e r r
2
s s rs
s s r
2
s rs e r
2
r
rs rs s r
2
s r e r
2
r
2
s r
2
s rs s r
2
r e
Tabela 4.1: Multiplicac ao em D
3
Denicao 4.1 O grupo diedral D
n
e o grupo de simetrias de um polgono regular de
n lados. Tal grupo e gerado por r (rotacao de
2
n
em torno do centro do polgono) e s
(reexao em relacao a um eixo de simetria 1C no plano do polgono) satisfazendo:
(i) r
n
= e, s
2
= e, r
k
,= e se 0 < k < n; e
(ii) sr = r
n1
s = r
1
s.
Proposicao 4.1 Seja G um grupo qualquer que seja gerado por elementos a, b G
satisfazendo (i) a
n
= e, b
2
= e, a
k
,= e se 0 < k < n, e (ii) ba = a
n1
b = a
1
b, para algum
n 3. Entao todo elemento de G se escreve de modo unico como a
i
b
j
com 0 i < n e
j = 0, 1. Em particular no caso em que G = D
n
, seus elementos se escrevem de modo
unico como r
i
s
j
com 0 i < n e j = 0, 1.
Demonstracao:
De fato, se a
i
b
j
= a
l
b
k
ent ao a
il
= b
kj
. Temos:
CASO 1: k j par
Nesse caso a
il
= e e portanto i l e m ultiplo de n = ord(a).
CASO 2: k j mpar
Nesse caso a
il
= b, e por (ii) temos que ba = a
1
b. Assim a
il
a = a
1
a
il
a
il+1
= a
il1
a
2
= e, contrariando a hipotese de n 3.
37
Logo a
i
b
j
= a
l
b
k
k j e par e i l e m ultiplo de n. Como n < i l < n e
1 k j 1 segue que k j = 0 e i l = 0, ie, k = j e i = l.
Corolario 4.2 G (analogamente D
n
) possui 2n elementos distintos.
Teorema 4.3 Qualquer grupo G que seja gerado por elementos a, b G satisfazendo:
(i) a
n
= e; b
2
= e; a
k
,= e se 0 < k < n e
(ii) ba = a
n1
b = a
1
b, para algum n 3
e isomorfo a D
n
.
Demonstracao:
Dena a funcao f: D
n
G tal que f(r
i
s
j
) = a
i
b
j
. Pelo Corolario 4.2 basta
provarmos que f e um monomorsmo.
Tome r
i
s
j
, r
k
s
l
D
n
. Sabemos que r
n
= e = s
2
; r
m
,= e sempre que 0 < m < n e
sr = r
1
s. Assim, temos:
CASO 1: j = 0 (mod2)
f(r
i
(r
k
s
l
)) = f(r
i+k
s
l
) = a
i+k
b
l
= a
i
(a
k
b
l
) = f(r
i
)f(r
k
s
l
).
CASO 2: j = 1 (mod2)
f(r
i
sr
k
s
l
) = f(r
i
srr
k1
s
l
) = f(r
i
r
1
sr
k1
s
l
) = f(r
i
r
1
srr
k2
s
l
) = ... = f(r
i
r
k
ss
l
) = f(r
ik
s
l+1
).
(4.2)
Da, se l = 0 temos (4.2) = f(r
ik
s) = a
ik
b = a
i
a
k
b = a
i
a
k+1
a
1
b = a
i
a
k+1
ba =
a
i
a
k+2
a
1
ba = ... = a
i
ba
k
= f(r
i
s)f(r
k
); e se l = 1 (4.2) = f(r
ik
s
2
) = f(r
ik
) = a
ik
=
a
i
a
k
= a
i
a
k
bb = a
i
a
k+1
a
1
bb = a
i
a
k+1
bab = ... = a
i
ba
k
b = f(r
i
s)f(r
k
s).
Logo f e homomorsmo.
Armamos que f e injetora.
De fato tome r
i
s
j
D
n
com 0 i < n e j 0, 1, tal que r
i
s
j
Ker(f), ie,
f(r
i
s
j
) = a
i
b
j
= e. Se j = 1 temos que a
i
= b
1
= b e por (ii) ba = a
1
b a
i+1
= a
i1
,
38 CAP
ITULO 4. GRUPOS DIEDRAIS

o que implica a
2
= e, contrariando a hip otese de n 3. Logo j = 0 e a
i
= e. Como
0 i < n, segue de (i) que i = 0 e, portanto, Ker(f) = e f injetora.
Exemplo 4.3 Considere o subgrupo de S
n
gerado por
a = (123...n) e b =
1 2 3 4 5 ... i ... n 1 n
1 n n 1 n 2 n 3 ... n + 2 i ... 3 2
2i<n+2i
(i n + 2 i).
Tal subgrupo satisfaz (i) e (ii), logo ele e isomorfo a D
n
.
Captulo 5
Grupos Livres
Muitas vezes pode ser util descrever um grupo em termos de um conjunto de
geradores e um conjunto de

relac oes
. Por exemplo, o grupo diedral D

n
e determinado por
dois geradores r e s sujeitos às relac oes r
n
= e, s
2
= e e sr = r
1
s, ou equivalentemente,
r
n
= s
2
= (rs)
2
= e. Assim, todos os elementos do grupo podem ser escritos como
combina cao de potencias de r e s, e a t abua de multiplicac ao e completamente determinada
por essas relac oes. Grupos descritos dessa forma podem ser vistos como grupos quociente
de Grupos Livres.
Mostraremos que grupos livres existem na categoria (concreta) de grupos, e usaremos
isso para desenvolver um metodo para descrever grupos em termos de

geradores e
relac oes
.
Dado um conjunto X construiremos um grupo F que seja livre no conjunto X. Se
X = , F e o grupo trivial e). Se X ,= , seja X
1
um conjunto disjunto de X tal
que [X[ = [X
1
[. Tome uma bijecao X X
1
e denote a imagem de x X por
x
1
. Finalmente escolha um conjunto disjunto de X X
1
que possua exatamente um
elemento; denote este elemento por 1.
Denicao 5.1 Uma palavra em X e uma sequencia (a
1
, a
2
, ...) com a
i
X X
1
1
tal que para algum n N
, a
k
= 1 k n, ie, existe uma quantidade nita de termos
diferentes de 1. A sequencia constante (1, 1, ...) e chamada palavra vazia e e denotada
por 1.
39
40 CAP
ITULO 5. GRUPOS LIVRES

Denicao 5.2 Diremos que uma palavra (a
1
, a
2
...) em X e reduzida se:
(i) x X, x e x
1
nunca sao adjacentes (isto e, a
i
= x a
i+1
,= x
1
e a
i
= x
1
a
i+1
,= x, i N
, x X) e
(ii) a
k
= 1 implica que a
i
= 1 i k.
Em particular, a palavra vazia 1 e reduzida.
Toda palavra n ao-vazia reduzida e da forma (x
1
1
, x
2
2
, ..., x
n
n
, 1, 1, ...), onde n N
,
x
i
X e
i
= 1 (e por convenc ao x
1
denota x para todo x X). Assim, denotaremos
essa palavra por x
1
1
x
2
2
...x
n
n
.
Observe que a denic ao de igualdade de sequencias mostra que duas palavras
reduzidas x
1
1
x
2
2
...x
m
m
e y
1
1
y
2
2
...y
n
n
(x
i
, y
j
X;
i
,
j
= 1) sao iguais se e somente
se ambas sao 1 ou m = n, x
i
= y
i
e
i
=
i
para cada i = 1, 2, ..., n. Consequentemente a
funcao de X no conjunto F(X) de todas as palavras reduzidas em X dada por x x
1
= x
e injetora. Identicaremos X com sua imagem e consideraremos X como subconjunto de
F(X).
Deniremos a seguir uma operacao binaria no conjunto F = F(X) de todas as
palavras reduzidas em X. A palavra vazia 1 agir a como elemento neutro (w1 = 1w = w,
w F). Informalmente, gostaramos de ter o produto de duas palavras nao-vazias dado
pela justaposi cao, ie,
(x
1
1
x
2
2
...x
m
m
)(y
1
1
y
2
2
...y
n
n
) = x
1
1
x
2
2
...x
m
m
y
1
1
y
2
2
...y
n
n
.
Infelizmente, a palavra do 2
o
membro da equac ao pode n ao ser reduzida (por
exemplo, se x
m
m
= y
1
1
). Assim, denimos um produto dado por justaposic ao e (se
necess ario) cancelamento de termos adjacentes da forma xx
1
ou x
1
x; por exemplo
(x
1
1
x
1
2
x
1
3
)(x
1
3
x
1
2
x
1
4
) = x
1
1
x
1
4
. Mais precisamente, se x
1
1
x
2
2
...x
m
m
e y
1
1
y
2
2
...y
n
n
s ao palavras
n ao-vazias reduzidas em X com m n, seja k o maior inteiro (0 k m) tal que
x
mj
mj
= y
j+1
j+1
para j = 0, 1, ..., k 1. Denimos:
41
(x
1
1
...x
m
m
)(y
1
1
...y
n
n
)
1
1
...x
mk
mk
y
k+1
k+1
...y
n
n
se k < m;
y
m+1
m+1
...y
n
n
se k = m < n;
1 se k = m = n.
Se m > n, o produto e denido analogamente, e a denicao garante que o produto
de palavras reduzidas e uma palavra reduzida.
Teorema 5.1 Seja X conjunto nao-vazio, e F = F(X) o conjunto de todas as palavras
reduzidas em X, entao F e grupo com a operacao denida acima e F = X).
O grupo F = F(X) e chamado grupo livre no conjunto X.
Demonstracao:
1 e identidade e toda palavra x
1
1
...x
k
k
tem inverso x
k
k
...x
1
1
, portanto s o falta a
associatividade.
Tome x X arbitr ario e = 1, seja [x
[ a func ao F F dada por 1 x
e
x
1
1
...x
n
n

1
1
...x
n
n
se x
,= x
1
1
x
2
2
...x
n
n
se x
= x
1
1
(= 1 se n = 1)
Observe que [x[[x
1
[ = 1
F
= [x
1
[[x[.
De fato, tome y F(X) arbitr ario (y = y
1
1
...y
n
n
). Calculemos [x[[x
1
[(y).
Se x
1
= y
1
1
ent ao [x
1
[(y) = y
2
2
...y
n
n
, e da como x
1
= y
1
e o inverso e unico,
segue que x = y
1
1
e da [x[[x
1
[(y) = [x[(y
2
2
...y
n
n
) = xy
2
2
...y
n
n
= y
1
1
y
2
2
...y
n
n
= 1
F
.
Se, por outro lado, tivermos x
1
,= y
1
ent ao como [x
1
[(y) = x
1
y
1
1
...y
n
n

[x[[x
1
[(y) = [x[(x
1
y
1
1
...y
n
n
) = y
1
1
...y
n
n
= 1
F
.
Assim, [x[[x
1
[ = 1
F
, e de modo an alogo demonstra-se que [x
1
[[x[ = 1
F
.
Alem disso, como = 1, segue que toda [x
[ e uma bijec ao de F (com inverso [x
[).
42 CAP

Seja B(F) o grupo de todas bijec oes de F e F
0
o subgrupo gerado por [x[ / x
X. A fun cao : F F
0
dada por 1 1
F
0
e x
1
1
...x
n
n
[x
1
1
[...[x
n
n
[ e
claramente uma sobrejec ao tal que (w
1
w
2
) = (w
1
)(w
2
) w
i
F. Alem disso tal
funcao e injetora; para provar isto basta tomar duas palavras x
1
1
...x
n
n
e y
1
1
...y
k
k
tais
que (x
1
1
...x
n
n
) = (y
1
1
...y
k
k
) e tem-se que [x
1
1
[...[x
n
n
[ = [y
1
1
[...[y
k
k
[, em particular
[x
1
1
[...[x
n
n
[(1) = [y
1
1
[...[y
k
k
[(1) logo x
1
1
...x
n
n
= y
1
1
...y
k
k
.
O fato de F
0
ser um grupo implica que a associatividade vale em F(X) e que e um
isomorsmo de grupos.
Alem disso, da denic ao de F(X), e do fato de que F(X) e grupo, segue que
F(X) = X).
Vale destacar algumas propriedades basicas de grupos livres:
Se [X[ 2 ent ao o grupo livre em X e n ao-abeliano.
De fato, tome x X. Como [X[ 2, y X tal que y ,= x. Ent ao x
1
y
1
xy e
uma palavra reduzida e x
1
y
1
xy ,= 1 xy ,= yx.
Todo elemento (exceto 1) num grupo livre gerado por X com [X[ 2 tem ordem
innita.
Se X = a, ent ao F(X) e o grupo cclico innito a).
Teorema 5.2 Seja F(X) o grupo livre do conjunto X e : X F(X) a fun cao
inclusao. Se G e um grupo e f : X G funcao de conjuntos, entao existe um unico
homomorsmo de grupos f : F(X) G tal que f = f.
Demonstracao:
Dena f(1) = e e se x
1
1
...x
n
n
e uma palavra reduzida n ao-vazia em X, dena
f(x
1
1
...x
n
n
) = f(x
1
)
1
...f(x
n
)
n
.
Como x
i
X f(x
i
) G, G e grupo e
i
= 1 f(x
i
)
i
G f(x
1
)
1
...f(x
n
)
n
e um elemento bem denido de G.
43
Armamos que f e homomorsmo tal que f = f.
De fato, tome x
1
1
...x
n
n
e a
1
1
...a
k
k
palavras de F(X). Ent ao f(x
1
1
...x
n
n
a
1
1
...a
k
k
) =
f(x
1
)
1
...f(x
n
)
n
f(a
1
)
1
...f(a
k
)
k
= f(x
1
1
...x
n
n
)f(a
1
1
...a
k
k
) portanto f e homomorsmo.
Alem disso, x X, f(x) = f(x) = f(x).
Suponha que exista g : F(X) G homomorsmo tal que g = f.
Ent ao g(x
1
1
...x
n
n
) = g(x
1
1
)...g(x
n
n
) = g(x
1
)
1
...g(x
n
)
n
= g(x
1
)
1
...g(x
n
)
n
=
f(x
1
)
1
...f(x
n
)
n
= f(x
1
1
...x
n
n
). Logo f e unica.
Corolario 5.3 Todo grupo G e a imagem por homomorsmo de um grupo livre.
Demonstracao:
Seja X um conjunto de geradores de G, e seja F(X) o grupo livre em X. Pelo Teorema
5.2, a fun cao inclus ao X G induz um homomorsmo f : F(X) G tal que
x x G.
Como G = X) f e epimorsmo.
Corolario 5.4 Todo grupo G e isomorfo a um grupo quociente
F
N
, onde G = X), F e o
grupo livre em X e N e o n ucleo do epimorsmo F G do corolario 5.3.
Assim, para descrever G a menos de isomorsmo precisamos apenas especicar X,
F e N. Mas F e determinado a menos de isomorsmo por X, e N e determinado por um
subconjunto que o gere como subgrupo de F. Agora se w = x
1
1
...x
n
n
F e um gerador
de N, entao pelo epimorsmo F G, w x
1
1
...x
n
n
= e G. A equac ao x
1
1
...x
n
n
= e
em G e chamada uma relacao nos geradores x
i
. Claramente um grupo G dado deve ser
completamente descrito especicando um conjunto X de geradores de G e um conjunto R
de relac oes nesses geradores. Essa descric ao n ao e unica uma vez que ha muitas escolhas
possveis de X e R para um grupo G dado.
Reciprocamente, dados um conjunto X e um conjunto Y de palavras (reduzidas) em
X, sempre existe um grupo G tal que G seja gerado por X e todas as relac oes w = e
44 CAP

(w Y ) s ao v alidas (onde w = x
1
1
...x
n
n
agora denota um produto em G). Isto e verdade
pois os elementos de X podem n ao ser todos distintos, assim, se a, b X e ab
1
e uma
palavra (reduzida) em Y, ent ao o grupo contendo a, b que satisfaz ab
1
= e deve ter
a = b.
Dado um conjunto X de

geradores
e um conjunto Y de palavras (reduzidas) em X,

construmos um grupo da seguinte maneira: Seja F o grupo livre em X e N o subgrupo
normal de F gerado por Y. Seja G o grupo quociente
F
N
e identique X com sua imagem em
F
N
pela fun cao X F
F
N
. Entao G e um grupo gerado por X (sujeito às identica coes)
e a constru cao de rela coes w = e (w Y ) s ao todas satisfeitas (w = x
1
1
...x
n
n
Y
x
1
1
...x
n
n
N x
1
1
...x
n
n
= e em G =
F
N
).
Denicao 5.3 Seja X um conjunto e Y o conjunto de palavras (reduzidas) em X. Um
grupo G e dito ser grupo denido por geradores x X e relacoes w = e (w Y ),
uma vez que G

=
F
N
, onde F e o grupo livre em X e N o subgrupo normal de F gerado por
Y. Diz-se que (X[Y ) e uma descricao de G.
A discuss ao acima mostra que o grupo denido por geradores e relac oes dadas sempre
existe. Alem disso, este e o maior grupo possvel no seguinte sentido:
Teorema 5.5 (Van Dyck) Seja X um conjunto, Y conjunto de palavras (reduzidas) em
X e G o grupo denido pelos geradores x X e relacoes w = e (w Y ). Se H e um
grupo qualquer tal que H = X) e H satisfaz todas as relacoes w = e (w Y ), entao
existe um epimorsmo G H.
Demonstracao:
Se F e o grupo livre em X ent ao a func ao inclusao X H induz um epimorsmo
: F H pelo Corol ario 5.3. Como H satisfaz as rela coes w = e (w Y ), Y Ker().
Consequentemente, o subgrupo normal N gerado por Y em F esta contido em Ker().
Segue que induz um epimorsmo
F
N

H
0
. Logo G

=
F
N

H
0
= H e um epimorsmo.
45
Os exemplos abaixo de grupos denidos por geradores e relac oes ilustra argumentos
que muitas vezes sao a unica maneira de investigar uma descric ao dada.
Exemplo 5.1 Seja G um grupo denido por geradores a, b e relacoes a
4
= e, a
2
b
2
= e
e abab
1
= e. Como Q
8
, o grupo quaternio de ordem 8, e gerado por elementos a, b
satisfazendo essas relacoes, existe um epimorsmo : G Q
8
pelo teorema 5.5. Assim
[G[ [Q
8
[ = 8. Seja F o grupo livre em a, b e N o subgrupo normal gerado por a
4
,
a
2
b
2
, abab
1
. Nao e difcil mostrar que todo elemento de
F
N
e da forma a
i
b
j
N com
0 i 3 e j = 0, 1, logo [G[ = [
F
N
[ 8. Assim, [G[ = 8 e e um isomorsmo. Logo o
grupo denido pelos geradores e relacoes dados e (isomorfo a) Q
8
.
Exemplo 5.2 O grupo denido pelos geradores a, b e relacoes a
n
= b
2
= abab = e
(3 n N
) e o Grupo Diedral D
n
.
Exemplo 5.3 O grupo denido por um unico gerador b e relacao b
n
= e (m N
) e Z
m
.
Exemplo 5.4 O grupo livre F em um conjunto X e o grupo denido pelos geradores
x X e nenhuma relacao (lembre-se que ) = e)). A terminologia

livre
vem do fato
de que F esta livre de relacoes.
46 CAP

Captulo 6
A acao de um grupo em um conjunto
Denicao 6.1 Uma acao de um grupo G (com elemento neutro e) sobre um conjunto
S ,= e uma funcao : GS S tal que x S e g
1
, g
2
G:
(i) (e, x) = x, e
(ii) (g
1
, (g
2
, x)) = (g
1
g
2
, x)
Quando tal ac ao e dada, dizemos que G age sobre o conjunto S. Em geral,
denotaremos (g, x) por gx. Desse modo, temos x S e g
1
, g
2
G:
(i) ex = x, e
(ii) g
1
(g
2
x) = (g
1
g
2
)x
Exemplo 6.1 Uma acao de um grupo de bijecoes B(X) sobre o conjunto X e dada por
(f, x) f(x).
Exemplo 6.2 Sejam G um grupo e H um subgrupo de G. Uma acao do grupo H no
conjunto subjacente G e dada por (h, x) hx, onde hx denota o produto em G. A acao
de h H em G e chamada uma translacao (à esquerda). Se K e outro subgrupo de G
e S e o conjunto de todas as classes laterais à esquerda de K em G, entao H age sobre S
pela translacao:
(h, xK) hxK
47
48 CAP
ITULO 6. A A C
AO DE UM GRUPO EM UM CONJUNTO
Exemplo 6.3 Seja H um subgrupo de um grupo G. Uma acao de H sobre o conjunto
subjacente G e dada por (h, x) hxh
1
; para evitar confusao com o produto em G, esta
acao de h H e sempre denotada por hxh
1
(e nao hx). Esta acao de h H em G e
chamada conjugacao por h e o elemento hxh
1
e chamado um conjugado de x.
Proposicao 6.1 Se K e subgrupo qualquer de G e h um elemento xo de H < G, entao
hKh
1
= hkh
1
: k K e um subgrupo de G isomorfo a K.
Demonstracao:
De fato:
(i) e K = e = heh
1
hKh
1
;
(ii) Se w
1
= hx
1
h
1
e w
2
= hx
2
h
1
s ao elementos de hKh
1
(x
1
, x
2
K), ent ao
w
1
w
2
= (hx
1
h
1
)(hx
2
h
1
) = hx
1
(h
1
h)x
2
h
1
= hx
1
x
2
h
1
. Como K e subgrupo, x
1
x
2

K, logo w
1
w
2
hKh
1
;
(iii) Para cada w = hxh
1
com x K, w
1
= hx
1
h
1
hKh
1
.
Isso mostra que hKh
1
e subgrupo de G.
Mostremos agora que hKh
1
e isomorfo a K.
Denimos : K hKh
1
tal que x hxh
1
. Armamos que e isomorsmo.
De fato:
(i) hx
1
h
1
= hx
2
h
1
= x
1
= x
2
, pois G e grupo. Logo e injetora.
(ii) w hKh
1
= x K tal que w = hxh
1
, logo e sobrejetora.
(iii) (x
1
x
2
) = hx
1
x
2
h
1
= hx
1
h
1
hx
2
h
1
= (x
1
) (x
2
), logo e homomorsmo.
De (i), (ii) e (iii) conclui-se que, de fato, e isomorsmo.
Assim, H age sobre o conjunto S de todos subgrupos de G pela conjugacao: (h, k)
hKh
1
. O subgrupo hKh
1
e dito um conjugado de K.
Teorema 6.2 Seja G um grupo (com elemento neutro 1) que age sobre um conjunto S.
(i) A relacao em S denida por
49
x x
gx = x
para algum g G
e uma rela cao de equivalencia.
(ii) Para cada x S, G
x
= g G : gx = x e um subgrupo de G.
Demonstracao:
Usaremos as propriedades (i) e (ii) da Denicao 6.1 para demonstrar as duas partes
do teorema.
(i) De fato, e uma relac ao de equivalencia, pois satisfaz:
a) (Reexiva) 1x = x, logo x x.
b) (Simetrica) x x
=g G tal que gx = x
=g
1
(gx) = g
1
x
=(g
1
g)x =
g
1
x
= g
1
x
= 1x = g
1
x
= x = x
x.
c) (Transitiva) Se x y e y z = g, g
G tais que gx = y e g
y = z. Assim,
(g
g)x = g
(gx) = g
y = z, (g
g G) logo x z.
(ii) Seja x S xado e considere G
x
= g G : gx = x.
a) 1 G
x
, 1 G e 1x = x.
b) Tome g, g
G
x
(ou seja, gx = x e g
x = x). Ent ao (gg
)x = g(g
x) = gx = x
gg
G
x
.
c) Tome g G
x
. Ent ao gx = x = g
1
(gx) = g
1
x = (g
1
g)x = g
1
x =
1x = g
1
x = x = g
1
x = g
1
G
x
.
As classes de equivalencia da rela cao do Teorema 6.2 s ao chamadas orbitas de
G em S; a orbita de cada x S e denotada x. O subgrupo G
x
muitas vezes e chamado
subgrupo que xa x, grupo isotropico de x ou, como o chamaremos nesse trabalho,
estabilizador de x.
Exemplo 6.4 Se um grupo G age sobre ele mesmo por conjugacao, entao a orbita gxg
1
/ g G de x G e chamada classe de conjuga cao de x. Se um subgrupo H age sobre
G por conjugacao, o grupo estabilizador H
x
= h H / hxh
1
= x = h H /
50 CAP
ITULO 6. A A C
hx = xh e chamado centralizador de x em H e e denotado C
H
(x). Se H = G,
C
G
(x) e chamado simplesmente de centralizador de x. Se H age sobre o conjunto S de
todos subgrupos de G, entao o subgrupo de H que xa K S, h H / hKh
1
= K,
e chamado o normalizador de K em H e denotado N
H
(K). Observe que K e normal
em G N
G
(K) = G.
Teorema 6.3 Se um grupo G age sobre um conjunto S, entao a cardinalidade da orbita
de cada x S xado e igual ao ndice [G : G
x
].
Demonstracao:
Sejam g, h G. Como gx = hx (g
1
h)x = x g
1
h G
x
hG
x
= gG
x
,
segue que a func ao dada por gG
x
gx e uma bijec ao bem denida do conjunto das
classes laterais ` a esquerda de G
x
em G na orbita x = gx : g G. Assim, [G : G
x
] = [x[.
Corolario 6.4 Sejam G um grupo nito e K um subgrupo de G.

(i) O n umero de elementos na classe de conjugacao de x G e [G : C
G
(x)], o qual
divide [G[;
(ii) Se x
1
, ..., x
n
(x
i
G) sao as classes de conjugacao distintas de G, entao [G[ =
n
i=1
[G : C
G
(x
i
)];
(iii) o n umero de subgrupos de G conjugados de K e [G : N
G
(K)], o qual divide [G[.
Demonstracao:
(i) e (iii) seguem imediatamente do Teorema anterior e do Teorema de Lagrange.
Como conjugac ao e uma relacao de equivalencia em G (Teorema 6.2), G e a uniao disjunta
das classes de conjugac ao x
1
, ..., x
n
; assim, (ii) segue de (i).
A equac ao [G[ =
n
i=1
[G : C
G
(x
i
)], como no corolario 6.4(ii), e chamada equac ao
de classe do grupo nito G.
51
Teorema 6.5 Se um grupo G age sobre um conjunto S, entao essa acao induz um
homomorsmo G A(S), onde A(S) e o grupo de todas as permutacoes de S.
Demonstracao:
Para cada g G, dena
g
: S S por x gx. Como x = g(g
1
x)
para todo x S,
g
e sobrejetora. Analogamente, gx = gy (x, y S) implica que
x = g
1
(gx) = g
1
(gy) = y, assim
g
e injetora e, portanto, uma bijecao (permutac ao de
S). Como
gg
=
g
g
: S S, para quaisquer g, g
G, a func ao : G A(S) dada

por g
g
e um homomorsmo.
A seguir daremos outra demonstracao para o Teorema de Cayley, no contexto de
ac ao.
Corolario 6.6 (Cayley) Se G e um grupo, entao existe um monomorsmo G A(G).
Assim todo grupo e isomorfo a um grupo de permutacoes. Em particular, todo grupo nito
e isomorfo a um subgrupo de S
n
com n = [G[.
Demonstracao:
Seja G grupo (com elemento neutro e) que age sobre seu conjunto subjacente
G pela translacao à esquerda e aplique o Teorema 6.5 para obter um homomorsmo
: G A(G). Se (g) =
g
= 1
G
, ent ao gx =
g
(x) = x para todo x G. Em
particular, ge = e, ent ao g = e e e um monomorsmo, pois ker() = e. Para provar
a ultima parte, note que: se [G[ = n, ent ao A(G)

= S
n
.
Lembramos que se G e um grupo, ent ao o conjunto Aut(G) de todos automorsmos
de G e um grupo com a composi cao de funcoes como operac ao bin aria.
Corolario 6.7 Seja G um grupo.
(i) Para cada g G, a conjugacao por g induz um automorsmo de G.
(ii) Existe um homomorsmo G Aut(G) cujo n ucleo e Z(G) = g G / gx = xg
para todo x G.
52 CAP
ITULO 6. A A C
Demonstracao:
(i) Se G age sobre ele mesmo por conjugac ao, entao para cada g G, a func ao
g
: G G dada por
g
(x) = gxg
1
e uma bije cao pela prova do Teorema 6.5.

E facil
ver que
g
tambem e homomorsmo e assim um automorsmo.
(ii) Suponha que G aja sobre ele mesmo por conjugac ao. Por (i) a imagem do
homomorsmo : G Aut(G) do Teorema 6.5 esta contida em Aut(G). Certamente
g ker()
g
= 1
G
gxg
1
=
g
(x) = x, x G. Mas, gxg
1
= x gx = xg;
assim, ker() = Z(G).
O automorsmo
g
do Corol ario 6.7(i) e chamado automorsmo interno induzido
por g. O subgrupo normal Z(G) = ker() e chamado centro de G. Um elemento g G
est a em Z(G) se, e somente se, a classe de conjugac ao de g s o possui g. Assim, se G e
nito e x Z(G), entao [G : C
G
(x)] = 1 (Corolario 6.4). Consequentemente, a equacao
de classe de G (Corol ario 6.4(ii)) pode ser escrita como
[G[ = [Z(G)[ +
m
i=1
[G : C
G
(x
i
)],
onde x
1
, ..., x
m
(x
i
G Z(G)) s ao classes de conjugac ao distintas de G com cada
[G : C
G
(x
i
)] > 1.
Proposicao 6.8 Seja H um subgrupo de G e G grupo que age sobre o conjunto S de todas
as classes laterais à esquerda de H em G por translacao à esquerda. Entao o n ucleo do
homomorsmo induzido G A(S) esta contido em H.
Demonstracao: O homomorsmo induzido G A(S) e dado por g
g
onde
g
: S S e
g
(xH) = gxH. Se g esta no n ucleo, entao
g
= 1
S
e gxH = xH para todo
x G; em particular para x = e, geH = eH = H, o que implica que g H.
Corolario 6.9 Se H e um subgrupo de ndice n em um grupo G e nenhum subgrupo
normal nao-trivial de G esta contido em H, entao G e isomorfo a um subgrupo de S
n
.
53
Demonstracao:
Aplique a Proposicao 6.8 a H; o n ucleo de G A(S) e um subgrupo normal
de G contido em H e, portanto, deve ser e) por hip otese. Assim, G A(S) e um
monomorsmo. Sendo assim, G e isomorfo a um subgrupo do grupo de todas permutac oes
das n classes laterais à esquerda de H, e este ultimo grupo e claramente isomorfo a S
n
.
Note que se existe H < G com [G : H] nito satisfazendo as hip oteses do Corolario
6.9, ent ao G necessariamente e nito.
Corolario 6.10 Seja G um grupo nito. Se H e um subgrupo de G com ndice p, onde p
e o menor primo que divide [G[, entao H e normal em G.
Demonstracao:
Seja S o conjunto de todas as classes laterais à esquerda de H em G. Ent ao A(S)

= S
p
pois [G : H] = p. Se K e o n ucleo do homomorsmo G A(S) da Proposic ao 6.8, entao
K e normal em G e esta contido em H. Alem disso, o grupo quociente
G
K
e isomorfo
a um subgrupo de S
p
. Assim [
G
K
[ divide [S
p
[ = p! pelo Teorema de Lagrange. Mas
todo divisor de [
G
K
[ = [G : K] deve dividir [G[ = [K[[G : K]. Como nenhum n umero
menor que p (exceto 1) pode dividir [G[, devemos ter [
G
K
[ = p ou 1. Por outro lado,
[
G
K
[ = [G : K] = [G : H].[H : K] = p[H : K] p. Assim, [
G
K
[ = p e [H : K] = 1; logo,
H = K. Mas K e normal em G, e, portanto, H e normal em G.
A seguir, demonstraremos alguns resultados usando o que desenvolvemos sobre
acoes.
1. Sejam G um grupo (com elemento neutro e) e A um subgrupo normal abeliano de
G. Ent ao
G
A
age sobre A por conjuga cao e existe um homomorsmo
G
A
Aut(A).
Dem.:
Dena :
G
A
A A tal que (gA, a) = gag
1
.
54 CAP
ITULO 6. A A C
Observe que tal funcao esta bem denida, pois como A e abeliano, para cada a A
e g, h G com gA = hA ( g
1
h A), temos que ag
1
= a(g
1
h)h
1
=
(g
1
h)ah
1
= g
1
(hah
1
); logo, gag
1
= hah
1
.
Mostremos que tal funcao e uma acao de
G
A
em A.
(eA, a) = eae
1
= a
((gh)A, a) = gha(gh)
1
= ghah
1
g
1
= (gA, (hA, a))
Assim,
G
A
age sobre A por conjugacao.
Para exibir um homomorsmo
G
A
Aut(A), dena :
G
A
Aut(A) de modo
que (gA) =
g
, sendo
g
: A A dada por
g
(a) = gag
1
.
De fato,
g
e automorsmo, pois
g
e bijecao (Teorema 6.5) tal que
g
(ab) =
gabg
1
= gag
1
gbg
1
=
g
(a)
g
(b), ie,
g
e isomorsmo de A A.
Para mostrar que a funcao esta bem denida resta mostrar que: gA = hA =
g
=
h
.
Ora, gA = hA = g
1
h A, e
g
=
h
a A,
g
(a) =
h
(a) gag
1
=
hah
1
, a A a = (g
1
h)a(g
1
h)
1
, a A, o que e verdadeiro pois g
1
h A
e A e abeliano. Logo esta bem denida.
Mostremos agora que e homomorsmo.
(gAg
A) = (gg
A) =
gg
. Mostremos que
gg
=
g
g
. Para isso, tome x A
arbitrario. Temos que
gg
(x) = gg
x(gg
)
1
= g(g
xg
1
)g
1
=
g
g
(x).
2. Se H, K sao subgrupos de G tal que H K, ent ao K < N
G
(H).
Dem.: Por hipotese H K, logo N
K
(H) = K.
Por denicao N
G
(H) = g G [ gHg
1
= H, e N
K
(H) = g K [ gHg
1
= H.
Como N
K
(H) < N
G
(H), e claro que K = N
K
(H) < N
G
(H).
55
3. Se um grupo G contem um elemento x G que possui exatamente dois conjugados,
ent ao G possui um subgrupo normal pr oprio N ,= e).
Dem.: Pelo Teorema 6.3, sabemos que [orbita(x)[ = [G : G
x
], assim, [G : G
x
] = 2
= G
x
e subgrupo normal de G.
Observe que G
x
,= G, pois [G : G
x
] > 1, e se G
x
= e, teramos 2 = [G : e] = [G[
= G abeliano = [orbita(x)[ = 1, x G ().
4. Seja H um subgrupo de G. Centralizador de H e o conjunto C
G
(H) = g G [
hg = gh para todo h H. Tal conjunto C
G
(H) e um subgrupo de N
G
(H).
Dem.: Por denicao C
G
(H) = g G [ ghg
1
= h, h H e N
G
(H) = g G
[ gHg
1
= H = g G [ ghg
1
H, h H, logo C
G
(H) N
G
(H). Como
ambos sao subgrupos de G, segue que C
G
(H) < N
G
(H).
5. Seja G um grupo agindo sobre um conjunto S que contem pelo menos dois elementos.
Se G e transitivo, i.e., dados x, y S quaisquer, g G tal que gx = y, ent ao:
Para cada x S, a orbita x de x e S;
Dem.: Por denicao, x = y S : y = gx para algum g G, e por hipotese, para
cada y S sempre existe g G tal que gx = y, logo x = S.
Todos os estabilizadores G
x
(de x S) s ao conjugados entre si.
Dem.: Sejam x, y S quaisquer. Por hipotese, existe g G tal que y = gx.
Mostremos que G
y
= gG
x
g
1
.
() Tome h G
y
. Assim hy = y = gx = h(gx) = gx = (hg)x = gx =
(g
1
hg)x = x =g
1
hg G
x
; entao, como h = g(g
1
hg)g
1
segue que h gG
x
g
1
.
() Tome h gG
x
g
1
. Entao, h = gkg
1
com k G
x
(kx = x). Assim,
hy = (gkg
1
)(gx) = g(kx) = gx = y, logo h G
y
.
56 CAP
ITULO 6. A A C
Captulo 7
Teoremas de Sylow
Neste captulo, uesaremos teoria de ac oes para demonstrar os famosos tres teoremas de
Sylow.
Lema 7.1 Se um grupo H de ordem p
n
(p primo) age sobre um conjunto nito S e se
S
0
= x S : hx = x h H, entao [S[ [S
0
[ (mod p).
Demonstracao:
Note que: uma orbita x contem exatamente um elemento se, e somente se, x S
0
.
Ent ao, S pode ser escrito como uma uniao disjunta S = S
0
x
1
x
2
... x
n
, com [x
i
[ > 1
i. Assim, [S[ = [S
0
[ + [x
1
[ + ... + [x
n
[. Agora, p divide [x
i
[ para cada i, pois [x
i
[ > 1 e
[x
i
[ = [H : H
x
i
] divide [H[ = p
n
. Logo [S[ [S
0
[ (mod p).
Observacao 7.1 O lema acima (e a notacao S
0
) serao usados com frequencia nas
demonstracoes a seguir.
Teorema 7.2 (Cauchy) Se G e um grupo nito cuja ordem n e divisvel por um primo
p, entao G contem um elemento de ordem p.
Demonstracao:
Considere Z
p
= 1, ..., p o grupo aditivo dos inteiros modulo p. Seja S = f :
Z
p
G; f(1)...f(p) = e.
57
58 CAP
ITULO 7. TEOREMAS DE SYLOW

Note que existe uma bijec ao entre S e o conjunto G
p1
= (x
1
, ..., x
p1
) : x
i
G.
Para isso, denimos:
: G
p1
S
(x
1
, ..., x
p1
) f : Z
p
G
onde
f(i) =
x
i
, se 1 i p 1
(x
1
...x
p1
)
1
, se i = p
e
: S G
p1
f (f(1), ..., f(p 1))
Verica-se facilmente que = Id
S
e = Id
G
p1. Assim, [S[ = [G
p1
[ = n
p1
.
Como p [ n, por hip otese, segue que [S[ 0 (mod p).
Considere a func ao : Z
p
S S tal que
(k, f) g : Z
p
G
g(i) = f(k + i)
Observe que f(1), ..., f(p) = g(1), ..., g(p), assim, g S; ou seja, est a bem
denida.
Mostremos que e uma ac ao:
(i) f S, (p, f)(i) = f(p + i) = f(i), i Z
p
; logo (p, f) = f.
(ii) Sejam t, k Z
p
e f S. Considere (t + k, f) = g e (t, (k, f)) = g
. Temos:
g : Z
p
G
i f(k + t + i)
e
g
: Z
p
G
i (k, f)(t + i) = f(k + t + i).
Logo, g = g
.
59
Assim, de fato, e uma acao de Z
p
em S. Agora, f S
0
(k, f) = f, k Z
p
f(i) = f(k + i), k Z
p
f(1) = f(2) = ... = f(p). Obviamente a func ao
h : Z
p
G tal que h(x) = e, x Z
p
pertence a S
0
e ent ao [S
0
[ , = 0.
Pelo que observamos inicialmente e pelo Lema 7.1, 0 [S[ [S
0
[ (mod p). Da, como
[S
0
[ , = 0 deve haver pelo menos p elementos em S
0
, i.e., f S
0
com f(1) ,= e e, da,
f(1)...f(p) = f
p
(1) = [f(1)]
p
= e. Como p e primo, [f(1)[ = p. Da, f(1) e um elemento
de G com ordem p.
Denicao 7.1 Um grupo no qual todo elemento tem como ordem uma potencia ( 0) de
algum primo xado p e chamado um p-grupo. Se H e um subgrupo de um grupo G e H
e um p-grupo, H e chamado p-subgrupo de G. Em particular, e) e um p-subgrupo de G
para qualquer primo p, pois [e)[ = 1 = p
0
.
Corolario 7.3 Um grupo nito G e um p-grupo [G[ e uma potencia de p.
Demonstracao:
Se G e um p-grupo e q um primo que divide [G[, ent ao G contem um elemento de
ordem q pelo Teorema de Cauchy. Como todo elemento de G tem como ordem uma
potencia de p, q = p. Ent ao [G[ e uma potencia de p.
A recproca e uma consequencia imediata do Teorema de Lagrange.
Corolario 7.4 O Centro Z(G) de um p-grupo G nito nao-trivial contem pelo menos p
elementos.
Demonstracao:
Considere a equa cao de classe de G:
[G[ = [Z(G)[ +
[G : C
G
(x
i
)]
Como cada [G : C
G
(x
i
)] > 1 e divide [G[ = p
n
(n 1), p divide cada [G : C
G
(x
i
)]
e [G[, e, portanto, p tambem divide [Z(G)[. Como [Z(G)[ 1, Z(G) tem pelo menos p
60 CAP

elementos.
Lema 7.5 Se H e um p-subgrupo de um grupo nito G, entao [N
G
(H) : H] [G : H]
(mod p).
Demonstracao:
Seja S o conjunto de todas classes laterais ` a esquerda de H em G (assim, [S[ =
[G : H]) e considere a ac ao de H em S por translac ao (` a esquerda). Assim, xH S
0
hxH = xH h H x
1
hxH = H h H x
1
hx H, h H
x
1
Hx = H xHx
1
= H x N
G
(H).
Logo, [S
0
[ e o n umero de classes laterais xH com x N
G
(H), i.e., [S
0
[ = [N
G
(H) : H].
Pelo Lema 7.1 [N
G
(H) : H] = [S
0
[ [S[ = [G : H] (mod p).
Corolario 7.6 Se H e um p-subgrupo de um grupo nito G tal que p divide [G : H], entao
H N
G
(H).
Demonstracao:
0 [G : H] [N
G
(H) : H] (mod p). Como [N
G
(H) : H] 1 sempre, ent ao devemos
ter [N
G
(H) : H] > 1. Assim, N
G
(H) ,= H.
Neste ponto, cabe lembrar alguns resultados de teoria b asica de Grupos:
(I) H < K < G e H G = H K
(II) Sendo H G, considere o grupo quociente
G
H
. Ent ao, todo subgrupo de
G
H
e da
forma
K
H
para algum subgrupo K de G.
Teorema 7.7 (Primeiro Teorema de Sylow) Seja G um grupo de ordem p
n
m, com
n 1, p primo, e p m. Entao G contem um subgrupo de ordem p
i
para cada 1 i n
e todo subgrupo de G de ordem p
i
(i < n) e normal em algum subgrupo de ordem p
i+1
.
61
Demonstracao:
Como p divide [G[, G contem um elemento a de ordem p, e, portanto, um subgrupo
a) de ordem p pelo Teorema de Cauchy. Procedendo por indu cao assuma H subgrupo de
G de ordem p
i
(1 i < n). Entao p divide [G : H] e, pelos lema 7.5 e Corol ario 7.6, H e
normal em N
G
(H), H ,= N
G
(H) e 1 < [
N
G
(H)
H
[ = [N
G
(H) : H] [G : H] 0 (mod p).
Logo, p divide [
N
G
(H)
H
[ e
N
G
(H)
H
contem um subgrupo de ordem p (por Cauchy).
Esse grupo e da forma
H
1
H
onde H
1
e um subgrupo de N
G
(H) contendo H (H H
1
).
Finalmente [H
1
[ = [H[.[
H
1
H
[ = p
i
.p = p
i+1
.
Um subgrupo P de um grupo G e dito ser um p-subgrupo de Sylow (p primo) se
P e um p-subgrupo maximal de G (i.e., P < H < G com H p-grupo = P = H). Os
p-subgrupos de Sylow sempre existem, podendo ` as vezes ser triviais, e todo p-subgrupo
est a contido em um p-subgrupo de Sylow (o Lema de Zorn e necess ario para provar isso
para grupos innitos). O Teorema 7.7 mostra que um grupo nito G possui um p-subgrupo
de Sylow nao trivial para todo primo p que divide [G[.
Corolario 7.8 Seja G um grupo de ordem p
n
m com p primo, n 1 e p m. Seja H um
p-subgrupo de G. Entao:
(i) H e um p-subgrupo de Sylow de G [H[ = p
n
;
(ii) Todo conjugado de um p-subgrupo de Sylow e um p-subgrupo de Sylow;
(iii) Se G so possui um p-subgrupo de Sylow P, entao P e normal em G.
Demonstracao:
(i) Segue do Teorema de Lagrange, Corolario 7.3 e Teorema 7.7.
(ii) Segue da Proposicao 6.1 e de (i) que p
n
= [K[ = [xKx
1
[, x G; logo xKx
1
e
p-subgrupo de Sylow, x G.
(iii) Segue de (ii).
Como recprova ao Corolario 7.8(ii), temos:
62 CAP

Teorema 7.9 (Segundo Teorema de Sylow) Se H e um p-subgrupo de um grupo
nito G, e P e qualquer p-subgrupo de Sylow de G, entao x G, tal que H < xPx
1
.
Em particular, quaisquer dois p-subgrupos de Sylow de G sao conjugados.
Demonstracao:
Seja S o conjunto das classes laterais à esquerda de P em G e considere a ac ao de
H em S por translac ao ` a esquerda. Assim, [S
0
[ [S[ = [G : P] (mod p) pelo lema 7.1.
Mas (por Lagrange) p [G : P], logo, [S
0
[ ,= 0, e ent ao existe x G com xP S
0
. Ou
seja, hxP = xP, h H; logo, x
1
hx P, h H. Assim, h H = x
1
hx = p, para
algum p P =h = xpx
1
, para algum p P =h xPx
1
. Portanto, H < xPx
1
.
Teorema 7.10 (Terceiro Teorema de Sylow) Se G e um grupo nito e p um primo
que divide [G[, entao o n umero n
p
de p-subgrupos de Sylow de G divide [G[ e n
p
= kp +1
para algum k 0.
Demonstracao:
Pelo Segundo Teorema de Sylow, o n umero n
p
de p-subgrupos de Sylow e igual ao
n umero de conjugados de qualquer um deles, digamos P. Mas esse n umero e [G : N
G
(P)],
um divisor de [G[, pelo Corol ario 6.4. Seja S o conjunto de todos p-subgrupos de Sylow
de G e considere a a cao de P sobre S por conjuga cao. Ent ao Q S
0
se, e somente se,
xQx
1
= Q, x P. A ultima condi cao vale se, e somente se, P < N
G
(Q). Obviamente
Q < N
G
(Q). Assim, P e Q s ao ambos p-subgrupos de Sylow de N
G
(Q), e, portanto, P e
Q s ao conjugados em N
G
(Q). Ou seja, existe x N
G
(Q) tal que P = xQx
1
. Lembrando
que Q N
G
(Q), conclumos que Q S
0
se, e somente se, Q = P. Assim, S
0
= P e
pelo Lema 7.1, [S[ [S
0
[ = 1 (mod p). Logo, n
p
= [S[ = kp + 1.
Teorema 7.11 Se P e um p-subgrupo de Sylow de um grupo nito G, entao
N
G
(N
G
(P)) = N
G
(P).
Demonstracao: Todo conjugado de P e um p-subgrupo de Sylow de G e de qualquer
subgrupo de G que o contenha. Como P e normal em N = N
G
(P), P e o unico p-subgrupo
63
de Sylow de N (pelo Segundo Teorema de Sylow). Assim, x N
G
(N) = xNx
1
= N,
P < N = x N
G
(N), xPx
1
< xNx
1
= N = xPx
1
= P = x N. Logo,
N
G
(N
G
(P)) < N; a outra inclusao e obvia.
64 CAP

Captulo 8
Finalmente, usando resultados obtidos nos captulos anteriores, classicaremos (para
certos naturais n), salvo isomorsmo, todos os grupos de ordem n. Em particular,
listaremos todas as classes de isomorsmo dos grupos de ordem n 15.
Inicialmente, apresentamos dois lemas tecnicos que nos ser ao muito uteis.
Lema 8.1 Sejam H e K subgrupos de um grupo nito G. Entao [HK[ =
[H[[K[
[H K[
(onde
HK = hk : h H e k K)
Demonstracao:
Considere a seguinte funcao:
: H K HK
(h, k) hk
Claramente a funcao e sobrejetora e [H K[ = [H[[K[. Vamos provar que
1
(x)
tem exatamente [HK[ elementos, x HK. Provado este fato, e claro que temos entao
a igualdade desejada.
Seja x = hk HK. Vamos mostrar que
1
(hk) = (h
1
, k); H K,
o que nos dara claramente que [
1
(x)[ = [H K[.
65
66 CAP
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
A inclus ao e clara. Para ver a inclusao inversa, sejam h
1
H e k
1
K tais que
(h
1
, k
1
)
1
(hk). Temos h
1
k
1
= hk, logo k
1
k
1
= h
1
1
h; tomando = k
1
k
1
= h
1
1
h,
temos H K e (h
1
, k
1
) = (h
1
, k).
Lema 8.2 Sejam G um grupo e H, K subgrupos normais de G. Se H K = e e
HK = G, entao G H K.
Demonstracao:
Considere a func ao : H K G dada por (h, k) hk.
e injetora, pois: se (h, k) = (
h,
k), ent ao hk =
k =
h
1
h =
kk
1
KH =
e. Da
h
1
h = e =
h = h, e
kk
1
= e =
k = k; logo, (h, k) = (
h,
k).
e sobrejetora, pois como G = HK, entao x G, x = hk para algum h H,
k K, de onde (h, k) = x.
e homomorsmo, pois ((h, k).(
h,
k)) = (h
h, k
k) = h
hk
k. Mas, pela
normalidade de K temos

hk
h
1
K, e pela normalidade de H temos k
h
1
k
1
H,
logo

hk
h
1
k
1
H K = e. Assim,

hk
h
1
k
1
= e =

hk = k
h. Logo,
((h, k).(
h,
k)) = h
hk
k = hk
k = (h, k).(
h,
k).
Teorema 8.3 Sejam p, q primos tais que 2 q < p. Se q (p 1), entao G Z
pq
.
Para essa demonstrac ao, precisaremos primeiramente introduzir o
Demonstracao do Teorema:
Pelo Teorema de Cauchy, existem a, b G, tais que [a[ = p e [b[ = q.
Armacao 1: G = a, b)
Observe que [a) b)[ divide p e [a) b)[ divide q, de onde [a) b)[ = 1, logo
a) b) = e.
[a)b)[ =
|a|.|b|
|ab|
= p.q = [G[. Assim, G a, b) a).b) = G. Logo,
G = a, b) = a).b)
67
Pelo Terceiro Teorema de Sylow, n
q
[ [G : b)] = p, onde n
q
e o n umero de q-subgrupos
de Sylow de G. Como p e primo, segue que n
q
= 1 ou n
q
= p.
Tambem do Terceiro Teorema de Sylow, sabemos que n
q
= kq +1 para algum k 0.
Suponha n
q
= p; ent ao teramos p = kq + 1 = p 1 = kq = q [ (p 1) ().
Logo, como q n ao divide (p 1), devemos ter necessariamente n
q
= 1. Assim, pelo
Corol ario 7.8(iii), conclumos que b) G.
Armacao 2: b) G G Z
pq
. (Em particular, b) G G e abeliano)
De fato, da prova da Armac ao 1, sabemos que a) b) = e, G = a, b) = a).b),
e do Corol ario 6.10 a) G.
Segue da prova do Lema 8.2 que G a) b) Z
p
Z
q
Z
pq
.
Corolario 8.4 Se p e um primo mpar, entao todo grupo de ordem 2p e isomorfo ao
grupo cclico Z
2p
ou ao grupo diedral D
p
.
Demonstracao:
Sejam a, b G tais que [a[ = p e [b[ = 2.
Se G e abeliano, ent ao b) G = G Z
2p
.
Assumimos ent ao G n ao abeliano.
Pelo Corolario 6.10, a) G, logo, bab
1
a), i.e., bab = bab
1
= a
r
. Uma vez que
G n ao e abeliano, podemos assumir r 2 (o caso r = 0 nos leva a a = e ()).
Note que p (r 1), pois do contr ario teramos a
r
= a. Assim, temos bab = a
r
=
bbabb = ba
r
b = a = ba
r
b = ba...ab = bab
bab
b...b bab
= a
r
...a
r
= (a
r
)
r
= a
r
2
. Assim,
a = a
r
2
= a
r
2
1
= e. Logo, como [a[ = p, p [ (r
2
1) = p [ (r +1)(r 1). Da, como p
e primo e ja observamos que p n ao divide (r 1), obtemos que p [ (r +1). Logo, a
r+1
= e
= a
r
= a
1
. Portanto, temos G = a, b) com [a[ = p, [b[ = 2 e bab = a
r
= a
1
=
ba = a
1
b. Segue do Teorema 4.3 que G D
p
.
68 CAP
Teorema 8.5 Se [G[ = p
2
, p primo, entao G e abeliano.
Demonstracao: Devemos mostrar que Z(G) = G.
Como G e um p grupo, temos do Corol ario 7.4 que Z(G) ,= e e um subgrupo de
G, de modo que (por Lagrange) [Z(G)[ = p ou [Z(G)[ = p
2
.
Se [Z(G)[ = p
2
, n ao ha nada a mostrar.
Suponha [Z(G)[ = p e tome a G tal que a / Z(G). Assim, C
G
(a) e um subgrupo
de G tal que Z(G) C
G
(a), a C
G
(a), de modo que [C
G
(a)[ > p. Mas ent ao segue do
Teorema de Lagrange que [C
G
(a)[ = p
2
o que implica a Z(G), contradizendo a hip otese.
Logo, [Z(G)[ = p
2
, como queramos demonstrar.
Antes de enunciarmos os dois teoremas a seguir, vale observar que:
Observacao 8.1 Se p e primo, entao Z
p
2 nao e isomorfo a Z
p
Z
p
, pois os elementos
de Z
p
0 tem ordem p, logo, (a, b) Z
p
Z
p
(0, 0), [(a, b)[ = p, enquanto que em
Z
p
2 sempre existe um elemento de ordem p
2
([1[ = p
2
).
Teorema 8.6 Se [G[ = 4 = G Z
4
ou G Z
2
Z
2
.
Demonstracao:
Pelo Teorema 8.5, G e abeliano.
Neste caso, temos G = e, a, b, c, e por Lagrange, s o existem dois casos possveis:
(1
o
caso) Existe ao menos um elemento de ordem 4 = G Z
4
.
(2
o
caso) Caso n ao ocorra o primeiro, ent ao necessariamente todo elemento de Ge
tem ordem 2.
Considere a, b G, com a ,= b. Entao a) b) = e = [a, b)[ =
|ab|
|ab|
= [a[[b[ =
4. Logo G = a, b) = a)b) e como G e abeliano, a) G, b) G e pelo Lema 8.2,
segue que G a) b) Z
2
Z
2
.
Teorema 8.7 Se [G[ = 9 = G Z
9
ou G Z
3
Z
3
.
69
Demonstracao:
Pelo Teorema 8.5, G e abeliano.
Como na demonstra cao do teorema anterior, existem apenas dois casos possveis:
(1
o
caso) Existe ao menos um elemento de ordem 9 = G Z
9
.
(2
o
caso) Caso n ao ocorra o primeiro caso, ent ao necessariamente todo elemento de
G e tem ordem 3. Tome a G e qualquer. Ent ao a) = e, a, a
2
.
Armacao: Existe elemento b / a) tal que a) b) = e.
Suponha por absurdo, que n ao exista tal elemento, i.e., (b) a)) e , = , b
G a).
Ent ao, b G a), tem-se que:
b
2
= a = a
2
= (b
2
)
2
= b = b a) ()
b
2
= a
2
= e = a
2
a = b
2
a = b
2
a = e = a = b ()
Logo, a armacao e verdadeira e como G e abeliano, estamos nas condic oes do Lema
8.2. Logo, G a) b) Z
3
Z
3
.
Proposicao 8.8 Salvo isomorsmo, existem exatamente dois grupos nao-abelianos
distintos de ordem 8: o grupo quaternio Q
8
e o grupo diedral D
4
.
Demonstracao: Primeiramente, note nas tabelas 8.1 e 8.2 a seguir que em D
4
h a
cinco elementos de ordem 2, enquanto que em Q
8
h a apenas um. Logo Q
8
n ao e isomorfo
a D
4
.
Como [G[ = 8 e G n ao-abeliano, G n ao possui elemento de ordem 8. Por Lagrange,
as ordens possveis que ainda restam sao 2 e 4.
70 CAP
e a a
2
a
3
b ab ba a
2
b
e e a a
2
a
3
b ab ba a
2
b
a a a
2
a
3
e ab a
2
b b ba
a
2
a
2
a
3
e a a
2
b ba ab b
a
3
a
3
e a a
2
ba b a
2
b ab
b b ba a
2
b ab e a
3
a a
2
ab ab b ba a
2
b a e a
2
a
3
ba ba a
2
b ab b a
3
a
2
e a
a
2
b a
2
b ab b ba a
2
a a
3
e
Tabela 8.1: Multiplicac ao em D
4
Se todo elemento de G tivesse ordem 2, teramos: a, b G = ab G = abab = e
= bab = a
1
= bab = a = ab = b
1
a = ab = ba. Logo, pela arbitrariedade de a e
b, teramos G abeliano, contradizendo a hipotese.
Assim, G dever a ter pelo menos um elemento a de ordem 4. O subgrupo a) tem
ndice 2, logo, pelo Corolario 6.10 ele e normal em G.
Tome b / a). Ent ao b
2
a), pois [
G
a
[ = 2. Mostremos que as unicas possibilidades
s ao b
2
= a
2
ou b
2
= e.
Ora, [b[ = 2 ou [b[ = 4, assim:
Caso b
2
= e = [b[ = 2 e n ao h a o que provar;
Caso b
2
= a:
[b[ = 2 = a = e()
[b[ = 4 = e = (b
2
)
2
= a
2
()
Caso b
2
= a
2
, n ao ha o que dizer;
71
e a a
2
a
3
b a
2
b ab ba
e e a a
2
a
3
b a
2
b ab ba
a a a
2
a
3
e ab ba a
2
b b
a
2
a
2
a
3
e a a
2
b b ba ab
a
3
a
3
e a a
2
ba ab b a
2
b
b b ba a
2
b ab a
2
e a a
3
a
2
b a
2
b ab b ba e a
2
a
3
a
ab ab b ba a
2
b a
3
a a
2
e
ba ba a
2
b ab b a a
3
e a
2
Tabela 8.2: Multiplicac ao em Q
8
Caso b
2
= a
3
:
[b[ = 2 = a
3
= e()
[b[ = 4 = e = (b
2
)
2
= (a
3
)
2
= a
6
= a
2
()
Assim, de fato, s o existem essas duas possibilidades (b
2
= e e b
2
= a
2
). Note que:
b
2
= e = [b[ = 2, e b
2
= a
2
= b
2
,= e e b
4
= e = [b[ = 4.
Armacao: G = a, b)
Como [G : a)] = 2, G e a uni ao disjunta G = a) b) = e, a, a
2
, a
3
, b, ab, ba,
a
2
b a, b) G.
Como a) e normal em G, segue que bab
1
a).
bab
1
= e = ba = b = a = e ()
bab
1
= a = ba = ab = G abeliano, pois G = a, b) ()
72 CAP
bab
1
= a
2
= ba = a
2
b. Nesse caso:
b
2
= a
2
= ba = b
3
= b
2
a = e = a
3
= e ()
b
2
= e = a
2
= bab = e = (a
2
)
2
= (bab)(bab) = ba
2
b e, por outro lado,
tambem ba = a
2
b = a = ba
2
b. Assim, a = e ()
Logo, so podemos ter bab
1
= a
3
= a
1
.
Desse modo, mostramos que G = a, b), onde os geradores satisfazem:
(I) [a[ = 4, [b[ = 2, ba = a
1
b = G D
4
.
ou
(II) [a[ = 4, [b[ = 4, b
2
= a
2
, ba = a
1
b = G Q
8
.
Teorema 8.9 Se [G[ = 8, G abeliano, entao existem apenas tres possibilidades: G
Z
2
Z
2
Z
2
, ou G Z
2
Z
4
ou G Z
8
.
Demonstracao:
(1
o
caso) Se a G tal que [a[ = 8, ent ao G = a) Z
8
.
(2
o
caso) Caso em que n ao existe elemento de ordem 8.
Neste caso, por Lagrange, para cada g G e, [g[ = 2 ou [g[ = 4.
Suponha que todo elemento de G e tenha ordem 2.
Considere a, b G, com a ,= b. Ent ao [a, b)[ = [a)b)[ = [a[[b[ = 4. Tome c / a, b)
= c) a, b) = e. Assim, [a, b)c)[ =
|a,b||c|
|ca,b|
= 8. Segue que G a, b) c)
(Z
2
Z
2
) Z
2
Z
2
Z
2
Z
2
.
Suponha que exista a G com [a[ = 4.
Tome b / a). Note que, por Lagrange, [b[ = 2 ou [b[ = 4, e em ambos os casos tem-se
b
4
= e.
Se [b[ = 2, ent ao a) b) = e e [a, b)[ = [a)b)[ = 8 e segue do Lema 8.2 que
G a) b) Z
4
Z
2
.
Se [b[ = 4, ent ao, como [G : a)] = 2, segue que b
2
a). Da:
73
b
2
= a = e = b
4
= a
2
()
b
2
= a
3
= e = b
4
= a
6
= a
2
()
b
2
= e = [b[ = 2 ()
Assim, devemos ter b
2
= a
2
.
Considere c = ab. Note que c / a), mas c
2
a).
Mostremos que existe h G com h / a) e [h[ = 2.
Ora, c
2
= (ab)
2
= a
2
b
2
= a
4
= e = [c[ = 2, e basta tomar h = c.
Logo, h) a) = e, G = h)a) = G h) a) Z
2
Z
4
.
Observacao 8.2 Existe um subgrupo T nao-abeliano de S
3
Z
4
de ordem 12, gerado por
a, b tais que: [a[ = 6, b
2
= a
3
e ba = a
1
b.
De fato, considere os seguintes elementos de S
3
Z
4
:
a = ((123), 2) e b = ((13), 1)
Note que a) = ((1), 0), ((123), 2), ((132), 0), ((1), 2), ((123), 0), ((132), 2) e b) =
((1), 0), ((13), 1), ((1), 2), ((13), 3). E ainda:
[a[ = 6;
a
3
= (e, 2) = b
2
;
ba =
1 2 3
2 1 3
, 3
= a
1
b
Considere a, b) = T.
Observe que a) b) = e, ((1), 2); assim, [a)b)[ =
[a)[[b)[
[a) b)[
=
24
2
= 12.
Finalmente, a relacao ba = a
1
b implica que a)b) = a, b).
Teorema 8.10 A menos de isomorsmo, existem exatamente tres grupos nao abelianos
distintos de ordem 12; o diedral D
6
, o alternado A
4
, e o grupo T mencionado acima.
74 CAP
Demonstracao:
Observe primeiramente, que T, D
6
e A
4
n ao s ao abelianos. Alem disso, cada um deles
est a em uma classe de isomorsmo distinta, pois:
D
6
possui sete elementos de ordem 2, dois elementos de ordem 3, e dois elementos
de ordem 6;
A
4
possui tres elementos de ordem 2, e oito elementos de ordem 3;
T tem elemento b de ordem 4.
Se G e um grupo nao-abeliano de ordem 12, seja P um 3-subgrupo de Sylow de G.
Ent ao [P[ = 3 e [G : P] = 4. Pela Proposi cao 6.8, existe um homomorsmo f : G
S
4
cujo kernel K est a contido em P, logo K = P ou K = e). Se K = e), f e um
monomorsmo e G e isomorfo a um subgrupo de S
4
de ordem 12, o qual deve ser A
4
pelo
Corol ario 3.9. Por outro lado, se K = P, ent ao P e normal em G. Logo, G contem apenas
dois elementos de ordem 3. Se c e um deles, entao [G : C
G
(c)] = 1 ou 2, pois [G : C
G
(c)]
e o n umero de conjugados de c (Corol ario 6.4) e todo conjugado de c tem ordem 3. Logo,
C
G
(c) e um grupo de ordem 12 ou 6. Em cada um desses casos, existe d C
G
(c) de ordem
2, pelo Teorema de Cauchy. Note que [cd[ = 6.
Seja a = cd; ent ao a) G, pois [G : a)] = 2. Logo, existe um elemento b G tal
que b n ao pertence a a), b ,= e, b
2
a) e pela normalidade de a), e claro que bab
1
a).
bab
1
= e = ba = b = a = e ();
bab
1
= a = ba = ab = G abeliano ();
bab
1
= a
2
= e = a
6
= (bab
1
)
3
= ba
3
b
1
= ba
3
= b = a
3
= e ();
bab
1
= a
3
= (e = a
6
= (bab
1
)
2
= ba
2
b
1
= ba
2
= b = a
2
= e ();
bab
1
= a
4
= e = (a
4
)
3
= (bab
1
)
3
= ba
3
b
1
= ba
3
= b = a
3
= e ().
Logo, bab
1
= a
5
= a
1
e a unica possibilidade, i.e., ba = a
1
b.
Observe que, a princpio, [b[ = 2 ou [b[ = 3 ou [b[ = 4 ou [b[ = 6.
75
Para b
2
a), temos que:
Caso b
2
= a:
[b[ = 3 = e = (b
2
)
3
= a
3
= a
3
= e ()
[b[ = 4 = e = (b
2
)
2
= a
2
= a
2
= e ()
[b[ = 6 = e = (b
2
)
3
= a
3
= a
3
= e ()
Caso b
2
= a
2
:
[b[ = 3 = e = (b
2
)b = a
2
b = a
2
b = e = b = a
2
< a > ()
[b[ = 4 = e = (b
2
)
2
= a
4
= a
4
= e ()
[b[ = 6 = e = b
6
= b
3
ba
2
e como ba = a
1
b segue que b
3
a
2
b = a
2
b = b
3
=
a
2
= b
2
= a
4
= b
2
()
Caso b
2
= a
4
:
[b[ = 3 = e = b
2
b = a
4
b = a
4
b = e = b = a
4
< a > ()
[b[ = 4 = e = b
4
= a
8
= a
2
()
[b[ = 6 De ba = a
1
b = aba = b = ab = ba
1
. Assim, b
2
= a
4
= b
2
a = a
5
=
b
2
ab = a
5
b = a
1
b = ba = b
3
a
5
= b
2
ba
5
= b
2
ba
1
= b
2
ab = ba = b
3
a
4
= b = b
2
a
4
= e. Mas b
2
a
4
= b
2
b
2
= b
4
()
b
2
= a
5
= a
1
= b
3
= a
1
b, e como ba = a
1
b, segue que b
3
= ba = b
2
= a.
Assim, teramos a = a
1
= a
2
= e ()
Portanto, se b
2
,= e, ent ao devemos ter b
2
= a
3
. Assim, as unicas possibilidades s ao:
(i) [a[ = 6; b
2
= e; ba = a
1
b o que implica G

= D
6
pelo Teorema 4.3;
76 CAP
(ii) [a[ = 6; b
2
= a
3
; ba = a
1
b o que implica G T.
Teorema 8.11 Se [G[ = 12, G abeliano, entao G Z
2
Z
6
ou G Z
12
.
Demonstracao:
(1
o
caso) Se a G tal que [a[ = 12, ent ao G = a) Z
12
.
(2
o
caso) Caso em que n ao existe elemento de ordem 12.
Pelo Teorema de Cauchy, existem a, b G tais que [a[ = 2 e [b[ = 3. Assim, [ab[ = 6
(pois [ab[ = mmc(2, 3) = 6, (mdc(2, 3) = 1)).
Seja d = ab. Considere d). Como G e abeliano, segue que d) G e como [G[ =
[G : d)][d[, segue que [
G
d)
[ = 2.
Tome c / d). Como [G : d)] = 2, segue que c
2
d).
Mostremos que existe h / d) tal que [h[ = 2.
Como c
2
d) = e, d, d
2
, d
3
, d
4
, d
5
, temos os seguintes casos:
[c
2
[ = 1 (caso c
2
= e)
[c
2
[ = 2 (caso c
2
= d
3
)
[c
2
[ = 3 (casos c
2
= d
2
e c
2
= d
4
)
[c
2
[ = 6 (casos c
2
= d e c
2
= d
5
)
Descartamos o caso [c
2
[ = 6, pois teramos [c[ = 12.
Se [c
2
[ = 1, basta tomar h = c.
Se [c
2
[ = 2, ent ao [c[ = 4. Considere c) e b) e note que mdc ([c[, [b[) = 1, da
c)b) = e, e segue que [c)b)[ =
[c)[[b)[
[c) b)[
= 12. Logo, G c)b) Z
4
Z
3
Z
12
,
pois mdc(4, 3) = 1; e, assim, estaramos no 1
o
caso.
Se [c
2
[ = 3, ent ao [c[ = 6. Tome h = cd ou h = cd
2
, caso c
2
= d
4
ou c
2
= d
2
respectivamente. Note que no primeiro caso, cd / d) e [cd[ = 2 (pois, (cd)
2
= d
4
d
2
= e),
e no segundo caso tambem cd
2
/ d) e [cd
2
[ = 2 (pois, (cd
2
)
2
= d
2
d
4
= e).
Portanto, existe h / d) com [h[ = 2, como queramos.
77
Assim, d) h) = e. Logo, [d)h)[ =
[d)[[h)[
[d) h)[
= 12 o que implica d)h) = G.
Como d) G e h) G (pois G e abeliano), segue do Lema 8.2 que G d) h)
Z
6
Z
2
Z
6
Z
2
.
Combinando resultados j a demonstrados construiremos, a seguir, a lista (salvo
isomorsmo) de todos os grupos distintos de ordem n 15.
Ordem Grupos Distintos Referencia
1 e) Denic ao de grupo
2 Z
2
Corol ario 1.4
3 Z
3
Corol ario 1.4
4 Z
2
Z
2
, Z
4
Teorema 8.6
5 Z
5
Corol ario 1.4
6 Z
6
, D
3
Corol ario 8.4
7 Z
7
Corol ario 1.4
8 Z
2
Z
2
Z
2
, Z
2
Z
4
, Z
8
, Q
8
, D
4
Prop. 8.8 e Teo. 8.9
9 Z
3
Z
3
, Z
9
Teorema 8.7
10 Z
10
, D
5
Corol ario 8.4
11 Z
11
Corol ario 1.4
12 Z
2
Z
6
, Z
12
, A
4
, D
6
, T Teo. 8.10 e Teo. 8.11
13 Z
13
Corol ario 1.4
14 Z
14
, D
7
Corol ario 8.4
15 Z
15
Teorema 8.3
Tabela 8.3: Classicac ao de grupos de ordem n 15
78 CAP
Referencias Bibliogracas
[1] ARMSTRONG, M A. Groups and Symmetry. Springer-Verlag. 1980.
[2] ASCHBACHER, M. Finite Group Theory. Cambridge University Press, 1986.
[3] GARCIA, A & LEQUAIN, Y. Elementos de

Algebra. 4ed. Rio de Janeiro: IMPA,
2006.
[4] HUNGERFORD, T W. Algebra. Springer, 2000.
[5] JACOBSON, N. Basic Algebra I. Second Edition. W. H. Freeman and Company.
New York, 1910.
[6] TSUZUKU, T. Finite Groups and nite geometries. Translated by A. SEVENSTER
and T OKUYAMA. Cambridge University Press, 1982.
79

Monografia

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Monografia

Uploaded by

Copyright:

Available Formats

Universidade Federal de Sao Carlos - UFSCar

Centro de Ciencias Exatas e de Tecnologia

ITULO 2. OS GRUPOS SIM

por uma delas, e

ITULO 2. OS GRUPOS SIM

ITULO 2. OS GRUPOS SIM

ITULO 2. OS GRUPOS SIM

do ciclo inicial em duas partes, e o terceiro devera

ITULO 3. O GRUPO ALTERNADO

ITULO 3. O GRUPO ALTERNADO

na decomposic ao de ; elas serao da forma (ab)(cd) ou (ab)(ac), onde a, b, c, d

ITULO 3. O GRUPO ALTERNADO

ITULO 3. O GRUPO ALTERNADO

tambem deixa), entao existe A

ITULO 3. O GRUPO ALTERNADO

. Note que para cada

Corolario 3.9 O grupo alternaldo A

(2) = [(13)(13)](2) = [(13)](2) = [(13)](1) = 3

e, portanto, que [H[ 3. Assim, a suposi cao

ITULO 3. O GRUPO ALTERNADO

ITULO 4. GRUPOS DIEDRAIS

ITULO 4. GRUPOS DIEDRAIS

. Por exemplo, o grupo diedral D

ITULO 5. GRUPOS LIVRES

[ a func ao F F dada por 1 x

[ e uma bijec ao de F (com inverso [x

ITULO 5. GRUPOS LIVRES

ITULO 5. GRUPOS LIVRES

e um conjunto Y de palavras (reduzidas) em X,

ITULO 5. GRUPOS LIVRES

x = x). Ent ao (gg

Corolario 6.4 Sejam G um grupo nito e K um subgrupo de G.

G, a func ao : G A(S) dada

ITULO 7. TEOREMAS DE SYLOW

ITULO 7. TEOREMAS DE SYLOW

ITULO 7. TEOREMAS DE SYLOW

ITULO 7. TEOREMAS DE SYLOW

You might also like