Escolar Documentos
Profissional Documentos
Cultura Documentos
Monografia
Monografia
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 `a esquerda de H), Hx = h x : h H
(a classe lateral `a 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
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
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 `a 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
, 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
= 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
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
=
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
=
=
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
:= (13)(13)
1
H, pois H S
n
.
Como
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
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
.
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
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
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
[).
42 CAP
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
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
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
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 = 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
AO DE UM GRUPO EM UM CONJUNTO
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[.
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
ITULO 6. A A C
AO DE UM GRUPO EM UM CONJUNTO
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 `a esquerda de H em G por translacao `a 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 `a 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 `a 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
AO DE UM GRUPO EM UM CONJUNTO
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
AO DE UM GRUPO EM UM CONJUNTO
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
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
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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
(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
ITULO 8. CLASSIFICA C
AO DE GRUPOS FINITOS
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