20 JANEIRO 2016
Estas sao notas de um curso de introduca o a` Teoria dos Grupos, visando o estudo da Teoria
algebricas. O objetivo aqui e complementar o assunto visto em sala de
de Galois de equacoes
simples e diretas dos varios resultados
aula. Fiz um esforco em apresentar demonstracoes
conhecidos.
sem prova (receba como um conEncontram-se em estagio rudimentar: ha afirmacoes
vite para pensar a respeito), nao ha muitos exerccios, o detalhamento nao esta balanceado.
Quanto a erros e equvocos, posso prometer duas coisas: existem; nao os cometi propositadamente dessa vez.
Mea culpa a parte, espero sinceramente que estas notas sejam uteis.
Comentarios sao
sempre bem-vindos: nos dao a breve satisfaca o de que houve interesse.
Nivaldo.
www.professores.uff.br/nmedeiros
Sumario
1
Conceitos basicos
Subgrupos
Classes laterais
Subgrupos normais
Fatorizaca o
O produto direto
Grupos cclicos
11
12
13
13
10 Automorfismos
15
11 Acoes
de grupos
15
17
13 Geradores e relacoes
18
14 O produto semi-direto
18
15 Os teoremas de Sylow
21
23
17 Grupos de permutacoes
23
26
19 O teorema de Jordan-Holder
28
20 Grupos soluveis
31
Conceitos basicos
para quaisquer a, b, c G;
(1.1)
Exemplo 1.1.
(a) Os numeros
inteiros Z com a operaca o de soma; ou ainda Q, R ou C tambem com a
operaca o de soma.
C C, denotadas por
(h) Se C e um conjunto qualquer, entao o conjunto das bijecoes
Perm C, formam, com a operaca o de composica o, um grupo, chamado o grupo das permutaco es de C. A notaca o para conjuntos finitos e especial: indicamos Perm{1, 2, . . . , n}
abreviadamente por Sn , que e chamado o grupo simetrico.
do plano em si mesmo que preservam distancias, com a operaca o
(i) O conjunto das bijecoes
de composica o, e o grupo das isometrias do plano. E um fato notavel que toda isometria
e reflexoes.
Subgrupos
h h0 H
para todo h, h0 H.
u, v Rn }
e um subgrupo de GLn (R). Como toda transformaca o ortogonal tambem preserva distancias,
On (R) e tambem um subgrupo do grupo das isometrias de Rn .
(e) Zn nao e um subgrupo aditivo de Z.
e as rotacoes
(em torno de um centro fixado) sao subgrupos das isome(f) As translacoes
nao: a composica o de duas reflexoes
com
trias do plano. Ja o conjunto das reflexoes
prerespeito a retas distintas nao e uma reflexao, ja que a composta de duas reflexoes
serva orientaca o.
Exerccio 2.2. Mostre que a interseca o de dois subgrupos de um grupo G e ainda um subgrupo de G. De modo geral, prove que a interseca o arbitraria de subgrupos e um subgrupo.
Dado um subconjunto S de um grupo G, definimos o subgrupo gerado por S, denotado
por hSi, como o menor subgrupo de G que contem S. Formalmente: hSi e , por definica o, a
interseca o de todos os subgrupos de G que contem S.
De maneira equivalente, o subgrupo gerado por S e o conjunto de todos os produtos
finitos de elementos de S ou seus inversos:
hSi = {s1 s2 sn | n N, si S S 1 }.
No caso particular em que S = {g} e um conjunto unitario, temos
h{g}i = {g n | n Z}
que denotamos simplesmente por hgi. A cardinalidade desse subgrupo e , por definica o, a
ordem de g:
o(g) := |hgi| .
Assim, o(g) N {}. Uma caracterizaca o importante e dada a seguir:
Proposica o 2.3. A ordem de g e menor inteiro positivo n tal que g n = 1 (ou caso tal inteiro nao
exista).
Exemplo 2.4.
(a) E claro que se G e um grupo finito, entao todo elemento de G tem ordem finita. A
recproca nao vale: todo elemento do grupo infinito
Z2 Z2 Z2
possui ordem 2 (veja seca o 6).
5
Classes laterais
A1 = {a1 | a A}.
e (AB)1 = B 1 A1 .
xH = H x H Hx = H
de equivalencia. A
Seja H um subgrupo de um grupo G. Associamos a H duas relacoes
primeira delas:
x e y se xH = yH,
para x, y G. Assim, x e y se e somente se x yH ou ainda se e somente se y 1 x H.
O conjuntos dos elementos que sao equivalentes a x e portanto xH, e e denominado a classe
lateral a` esquerda de x. A segunda relaca o de equivalencia e definida por
x d y
se Hx = Hy.
Analogamente, o conjunto dos elementos equivalentes a x sob esta relaca o e Hx, e e chamado
classe lateral a` direita de x.
Muitas vezes diremos apenas classe lateral, omitindo `a esquerda ou `a direita sempre que o contexto o permitir.
Em geral, as classes laterais a` esquerda e a` direita de um elemento g G nao coincidem.
Por exemplo, tome H como sendo o subgrupo gerado por uma reflexao qualquer em D3
e considere as classes laterais de uma rotaca o r 6= 1; entao rH 6= Hr. Se G e abeliano,
entao gH = Hg para todo subgrupo H e todo elemento x G (porem esta propriedade
nao caracteriza um grupo abeliano; veja o exemplo dos quaternios). Portanto, os conjuntos
quocientes
G/ e := {classes laterais a` esquerda de H em G}
e
G/ d := {classes laterais a` direita de H em G}
6
Subgrupos normais
Fatorizaca o
Sejam H, K, subgrupos de um grupo G. Sera que o produto
HK = {hk | h H, k K}
|H| |K|
.
|H K|
(5.1)
(HK)1 = K 1 H 1 = KH = HK
e da decorre HK e um subgrupo, mais uma vez pelo Exerccio 3.1.
Exerccio 5.3. Mostre que:
(a) Se H e normal em G, entao HK e um subgrupo de G;
(b) Se H e K sao normais em G, entao HK e um subgrupo normal de G.
O produto direto
H C G H,
G H = {1}
e GH = G H.
x, y G.
Note que o produto do lado direito e feito em G, enquanto o do lado esquerdo e realizado
em H. Decorre da definica o que
f (1G ) = 1H
f (x1 ) = f (x)1 .
e
9
O nucleo
de um homomorfismo e um subgrupo de G. Mais ainda, se n pertence a N = nuc f
e g G e arbitrario,
f (gng 1 ) = f (g)f (n)f (g 1 ) = f (gg 1 ) = 1H
Entao a aplicaca o
: G/N
xN
H
7 f (x)
(a) O nucleo
do homomorfismo R S 1 dado por t 7 e2it e exatamente o grupo dos
inteiros Z. Como esta aplicaca o e sobrejetora, segue do Teorema 7.1 que R/Z
= S 1 . Da
2
2
1
1
mesma forma, mostra-se que o quociente R /Z e isomorfo ao (toro) S S .
f (A)
(B)
sao inversas uma da outra. Estas bijeco es preservam inclusoes, ndices e subgrupos normais, interseco es e produtos. Mais precisamente, se A1 , A2 sao subgrupos de G que contem N e Bi = f (Ai )
(i = 1, 2), entao:
f
/ f (G)
G
(a) A1 A2 se e somente se B1 B2 .
(b) A1 C A2 se e somente se B1 C B2 .
A1
/ B1
A2
/ B2
/ {1}
f (f 1 (B)) = B
(a prova fica sob seus cuidados). Isso mostra que a aplicaca o e uma bijeca o. Da decorre
das outras afirmacoes
sao, nesta altura dos
imediatamente o item (a). As demonstracoes
acontecimentos, exerccios.
Grupos cclicos
existem unicos
q, r Z tais que
k = qd + r,
com 0 r < d.
(mod n).
12
9.1
9.1
Grupos de ordem 4
Seja G um grupo de ordem 4. Pelo Teorema de Lagrange, as possveis ordens de elementos de G sao 1, 2, 4. Se G possui um elemento de ordem 4, entao G e cclico e logo G
= Z4 .
2
Por outro lado, se g = 1 para todo g G, entao G e abeliano. Dados x, y G distintos,
entao G = {1, x, y, z}, onde z = xy. A aplicaca o G Z2 Z2 dada por
1 7 (0, 0), x 7 (0, 1)
0),
y 7 (1,
z
7 (1, 1)
e um homomorfismo bijetor (a verificaca o disto e deixada ao leitor), e portanto um isomorfismo. Em resumo, provamos o
Teorema 9.1. Seja G um grupo de ordem 4. Entao G
= Z4 ou G
= Z2 Z2 .
9.2
Grupos de ordem 6
Classificamos agora os grupos de ordem 6. Como veremos a seguir, existem apenas duas
de 3 elementos.
possibilidades: o grupo cclico de ordem 6 ou o grupo das permutacoes
Teorema 9.2. Seja G um grupo de ordem 6. Entao G
= Z6 ou G
= S3 .
Demonstraca o: As possveis ordens para elementos de G sao 1, 2, 3 ou 6. Mas podemos ser
mais precisos:
Afirmaca o: Existem elementos x e y em G tais que o(x) = 3 e o(y) = 2.
De fato, se g G e tal que o(g) = 6, entao o(g 2 ) = 3 e o(g 3 ) = 2. Logo podemos supor
que G nao possui elementos de ordem 6. Da, para demonstrar a afirmaca o, basta mostrar
que nenhuma das duas possibilidades abaixo ocorre:
Todo elemento de G \ {1} possui ordem 2: tome g, h G distintos. Entao gh 6
{1, g, h} e, como gh tem ordem 2, segue-se que gh = hg. Fica entao facil verificar que
{1, g, h, gh} e um subgrupo de G de 4 elementos, o que nao e possvel pelo Teorema de
Lagrange.
Todo elemento de G\{1} possui ordem 3: tome x, y, z G distintos entre si e de ordem
3. Entao:
hxi hyi = hxi hzi = hyi hzi = {1}.
Logo G possui pelo menos sete elementos distintos, a saber, 1, x, x2 , y, y 2 , z e z 2 , o que
nao e possvel.
A afirmaca o fica assim demonstrada. Agora, a classificaca o de G fica subordinada a`
analise de duas possibilidades:
Caso 1: xy = yx.
Aqui G e um grupo cclico. Com efeito, defina g := xy. Nao e la muito trabalhoso
verificar que g a 6= 1 para cada a = 1, . . . , 5. Logo os seis elementos
1, g, g 2 , g 3 , g 4 , g 5
13
9.2
sao distintos entre si, constituindo assim o grupo G. Conclumos assim que G = hgi e portanto, da Proposica o 8.2, segue-se que G
= Z6 .
Caso 2: xy 6= yx.
Nesse caso, temos que G = {1, x, x2 , y, xy, yx}, pois esses seis elementos sao necessariamente distintos entre si. Tambem,
yx = x2 y.
(9.1)
Com efeito, basta provar que yxy 1 6 {1, x, y, xy, yx} o que e facilmente verificado utili
zando o fato que y = y 1 . Logo todo elemento de G pode ser escrito (de maneira unica)
na
i
j
forma x y com i = 0, 1, 2 e j = 0, 1. Por outro lado, utilizando-se a equaca o (9.1) e induca o,
obtemos que
t
y s xt = x2 s y s
(s, t 0)
e logo um produto de dois elementos de G e da forma
a
xi y j xa y b = xi+2 j y j+b .
(9.2)
14
10
Automorfismos
(g, h G)
(10.1)
G
.
Z(G)
Como consequencia:
Proposica o 10.1. Todo grupo finito G de ordem 3 possui pelo menos um automorfismo nao-trivial.
Demonstraca o: Com efeito, temos tres casos. Se G e nao abeliano, entao G possui um automorfismo interno nao-trivial; se G e abeliano, entao x 7 x1 (x G) define um automorfismo, que e trivial se, e somente se, todo elemento de G \ {1} possui ordem 2; e, por fim,
se todo elemento de G \ {1} possui ordem 2, entao G
= Zk2 = Z2 Z2 para algum
k (tente prova-lo!). Como |G| 3, temos k 2; aqui, (x, y, . . . ) 7 (y, x, . . . ) define um
automorfismo nao trivial de G.
11
Acoes
de grupos
Nosso ponto de vista ate aqui tem sido estudar os grupos de maneira puramente abstrata:
a princpio, os elementos de grupo nao tem significado algum. Historicamente, a noca o de
grupo nao surgiu assim. De fato, percebeu-se, de maneira cada vez mais frequente, que
de funco es definidas em contextos muito distintos possuiam propriedades sicertas colecoes
(interpretando geometricamente, funcoes
analisar. Note que nestes exemplos a operaca o nos grupos e a composica o de funcoes.
Nesta seca o buscamos recuperar esse vies mais geometrico.
Um grupo G age em um conjunto S se existe uma aplicaca o : G S S tal que
(1, s) = s e (gh, s) = (g, (h, s))
para quaisquer g, h G, s S. Fica mais sugestivo escrever g (s) = (g, s) ou mesmo
gs = (g, s), quando a aca o estiver subentendida. Assim, nossas exigencias se traduzem
simplesmente em: 1s = s e (gh)s = g(hs).
sobre S. De fato, segue das
Se G age em S, entao G define um conjunto de funcoes
acima que cada elemento define uma bijeca o g : S S (cuja inversa e g 1 ). O que
definicoes
15
torna a coisa toda mais interessante e que pedimos que a multiplicaca o em G seja compatvel
induzidas. Dizendo de maneira equivalente, uma aca o de G
com a composica o das funcoes
em S e simplesmente um homomorfismo
G Perm S
de S. Tal homomorfismo tambem e chamado uma reprede G no grupo das permutacoes
sentaca o de G.
Dado s S, a o rbita de s e o conjunto de todas as possveis imagens de s por elementos
de G, isto e ,
Os := {gs | g G}
Duas orbitas
Os e Ot ou sao disjuntas ou coincidem: se x Os Ot , entao x = gs = ht e logo
a orbita
de um ponto p e o crculo centrado na origem e que passa por p.
O grupo H age sobre o conjunto das bases ordenadas ortonormais, como em (a). Note
que uma matriz de rotaca o preserva orientaca o. Portanto, esta aca o nao e transitiva.
(c) Na mesma notaca o de (b), o grupo H tambem age (transitivamente) no conjunto das
retas do plano que passam pela origem. Aqui, o estabilizador de uma reta e o subgrupo
{id, r }.
(d) Inspirados no exemplo (b), definimos uma aca o de G = (R, +) em R2 por (t, p) 7 rt (p).
Observe que rt+t0 = rt rt0 . Aqui, o estabilizador de um ponto p 6= (0, 0) e o subgrupo
2Z.
16
a orbita
da origem e a propria
origem e o estabilizador e todo o grupo G.
Seja G um grupo agindo em um conjunto S, s um elemento de S e Gs seu estabilizador.
Cada elemento de uma classe lateral gGs leva s no elemento gs. Por outro lado, se gs = hs,
entao h1 gs = s e logo as classes laterais gGs e hGs sao iguais. Em suma, para cada s S,
(11.1)
12
Em particular, o numero
de conjugados de x G e (G : CG (x)).
Um elemento x G pertence ao centro Z(G) de G se e somente se C`x = {x}. Desta
k
X
|C`gi |
(12.1)
i=1
temos que |C`g | e maior que 1 e divide a ordem de G (a cardinalidade de uma orbita
divide
a ordem do grupo), segue-se da equaca o de classes que a ordem de Z(G) e divisvel por p.
13
Geradores e relacoes
14
O produto semi-direto
Sejam N e H subgrupos de um grupo G. Se
H N =1 e
G = HN,
e tanto H como N sao normais em G, entao vimos que G e produto direto interno de H e
N . Em particular, G
= H N . Um aspecto vantajoso dessa situaca o e que recuperamos a
estrutura de G a partir de H e N : de fato, dados g1 , g2 G, escreva gi = hi ni com hi em H e
ni em N ; entao
g1 g2 = h1 n1 h2 n2 = (h1 h2 ) (n1 n2 ),
ou seja, o produto fica dado em termos de elementos de H e N .
Suponha agora que apenas um dos subgrupos seja normal em G, digamos
H < G,
N C G,
H N =1 e
G = HN.
(14.1)
(14.2)
Como no caso do produto direto, desejamos uma versao externa dessa construca o.
Como faze-la? Eis a pista: sendo N normal em G, cada h em H define um automorfismo h
de N , a conjugaca o por h. Como h1 h2 = h1 h2 , temos um homomorfismo H Aut N .
Temos em maos o necessario para a generalizaca o.
Sejam N e H dois grupos e suponha que tenhamos um homomorfismo : H Aut N ,
dado por h 7 h . Inspirados em (14.2), definimos no conjunto H N a operaca o
(h1 , n1 ) (h2 , n2 ) := (h1 h2 , h1 (n1 )n2 ).
2
Esta operaca o e associativa; o elemento neutro e (1H , 1N ); o inverso de (h, n) e (h1 , h (n1 )).
Assim, (H N, ) e realmente um grupo, que denotamos por H n N ou N o H, chamado
o produto semi-direto de H e N por .
Se G = H n N , entao
H
h 7
n 7
(h, 1N )
G
(1H , n)
sao mergulhos. Sejam H e N suas respectivas imagens. Como (h, 1N )(1H , n) = (h, n),
temos que G = H N . Por outro lado, de
(h, 1N )(1H , n)(h, 1N )1 = (1H , h (n))
segue-se que N e normal em G. Por fim, H N = 1 e logo G e o produto semi-direto
interno de H e N . Na maioria das vezes identificamos H com H e N com N e escrevemos
H n N no lugar de H n N .
Nada melhor que uma serie de exemplos para estressar a importancia dessa construca o.
Exemplo 14.1. Dados grupos H e N quaisquer, sempre e possvel encontrar um homomorfismo H Aut N : basta tomar h 7 idN para todo h H. O produto semi-direto da
resultante e simplesmente o produto direto H N usual.
Exemplo 14.2. Seja N um grupo com um automorfismo de ordem 2. (Por exemplo, se
N = Zn e cclico de ordem n, entao Aut N
= (Zn ) e, se n 3, 1 possui ordem 2). Ha
entao duas maneiras de definir um homomorfismo Z2 Aut N . A primeira, trivial, foi
G = quaternios. Como G possui um elemento de ordem 4, a saber, (0, 1), conclumos que G
e o grupo D4 .
A importancia do produto semi-direto reside na sua eficiencia em construir novos grupos
a partir de grupos conhecidos. Os grupos cclicos sao aqueles que melhor conhecemos e
interessantes ja a partir deles.
podemos realizar construcoes
Sejam m, n inteiros positivos. Procuramos pelos possveis produtos semi-diretos entre
Zm e Zn , ou seja, procuramos pelos possveis homomorfismos : Zm Aut Zn
= (Zn ) . A
condica o necessaria e suficiente e que, se (1) = s, entao sm 1 (mod n).
Teorema 14.5. Sejam m, n, s inteiros positivos tais que
sm 1
(mod n).
(14.3)
G = ha, bi = haihbi
an
bm
bab1
=1
=
(14.4)
e
as .
(14.5)
(14.6)
Sejam a = (
0,
1), b = (
1,
0). Entao hai e hbi sao as imagens dos mergulhos canonicos
de Zn e
Zm em G, e portanto as tres primeiras propriedades sao validas. Por fim, temos
bab1 = (
1,
0) (
0, 1) (1, 0)1 = (0, 1 (1)) = (0, s) = as
20
15
Os teoremas de Sylow
todas as orbitas
de X, e logo dividiria |X|, contradica o com o Lema 15.1). De (11.1), temos
|G| = |OB | |GB | e portanto pk divide |GB |. Em particular, |GB | pk . Por outro lado, se b B
e g GB , entao gb gB = B; alem disso, se g e h sao elementos distintos de GB , entao
gb e hb sao tambem elementos distintos de B, donde |GB | pk . Conclumos que GB e um
subgrupo de G de ordem pk .
Seja G um grupo finito. Fixado um primo p, sempre podemos escrever |G| = pk m com
k 0 e de forma que p - m. Pelo teorema que acabamos de provar, existe em G pelo menos
um subgrupo de ordem pk ; este e chamado um p-subgrupo de Sylow de G. Note que se p nao
np 1
(mod p).
(iii) Se H e um subgrupo de G cuja ordem e uma potencia de p, entao H esta contido em algum
p-subgrupo de Sylow de G.
ordem de P , sao divisveis pelo primo p. Como S e a uniao disjunta de suas orbitas,
segue
se que np = |S| e congruo
a 1 (mod p).
Sejam OP e GP a orbita
e o estabilizador de P pela aca o de G em S, respectivamente. Da
orbitas
triviais, donde p | np , contradica o com (ii).
Corolario 15.6. Um p-subgrupo de Sylow e normal em G se e somente se np = 1.
ordem 5 e n7 o numero
de subgrupos de G de ordem 7. Pelo Teorema de Sylow:
n5 | 7 e n5 1
(mod 5) = n5 = 1,
n7 | 5 e n7 1
(mod 7) = n7 = 1.
Sejam A, B subgrupos de G com |A| = 5 e |B| = 7. Entao, pelo Corolario 15.6, A e B sao
normais em G. Mais ainda, temos A B = {1} e AB = G. Segue da que G
= A B.
Agora, A = Z/5Z, B = Z/7Z e como mdc(5, 7) = 1, segue do Teorema Chines dos Restos
que G
= Z/35Z, ou seja, G e um grupo cclico.
22
Exerccio 15.8. Prove que se p e q sao primos gemeos e |G| = pq, entao G e cclico.
16
Seja p um numero
primo. Dizemos que um grupo e um p-grupo se a ordem de cada um
dos seus elementos e uma potencia de p. Sao exemplos de 2-grupos:
D4 ,
Q,
Z2 Z2 ,
Z2 Z2 .
Pelo Teorema de Cauchy 15.3, a ordem de um p-grupo finito e sempre uma potencia de p.
Proposica o 16.1. Sejam p um numero
17
Grupos de permutacoes
Demonstraca o: Se g, h G, entao
gh = g h
ou seja, e realmente um homomorfismo, que e injetor. Se G possui n elementos, entao (G)
e isomorfo a um subgrupo de Perm G
= Sn .
Seja uma permutaca o. Como descreve-la? Uma maneira simples, porem de escrita
longa, e arranjar o domnio e imagem em linhas, fazendo corresponder em uma mesma
coluna um elemento e sua imagem:
1
2
n
.
(1) (2) (n)
podem ser descritas de maneira mais eficiente.
Entretanto certos tipos de permutacoes
Sejam j1 , j2 , . . . , jr letras distintas. Denotamos por
(j1 j2 jr )
a permutaca o que leva ji em ji+1 para i < r, leva jr em j1 e fixa todo elemento diferente dos
ji s. Uma tal permutaca o e chamada um r-ciclo ou um ciclo de comprimento r. Por exemplo, o
4-ciclo (1 5 2 6) denota a permutaca o
1 2 3 4 5 6
.
5 6 3 4 2 1
Um mesmo r-ciclo pode ser denotado de varias formas diferentes. Assim, (5 2 6 1), (2 6 1 5)
para o 4-ciclo acima. Nem toda permutaca o e um
e (6 1 5 2) sao as outras possveis notacoes
ciclo.
Um r-ciclo possui ordem r, mas a recproca nao vale. Todavia, se p e primo, uma permutaca o
de ordem p em Sp e um p-ciclo.
Dois ciclos (j1 jr ) e (k1 ks ) sao ditos disjuntos se os conjuntos dos ji s e ki s sao
disjuntos. Ciclos disjuntos permutam entre si.
Toda permutaca o pode ser escrita como um produto de ciclos disjuntos. Tal escrita e
unica,
a menos da ordem na qual os ciclos aparecem. Em outras palavras, toda permutaca o
se fatora como um produto de ciclos; neste sentido, os ciclos desempenham o mesmo papel
que os numeros
primos na aritmetica dos inteiros.
O ciclo mais simples depois da identidade e um 2-ciclo e estes chamados de transposico es.
Y j i
i<j
24
ji
onde abreviamos (i) por i. Uma permutaca o e dita par se seu sinal e positivo e mpar caso
contrario. Por exemplo, a identidade e uma permutaca o par e a transposica o (1 2) e mpar.
Teorema 17.2. Seja n 2 um inteiro. A aplicaca o sinal : Sn {1, +1} e um homomorfismo
sobrejetor. Mais ainda, se = 1 2 k e um produto de transposico es, entao sinal() = (1)k .
quaisquer, entao
Demonstraca o: Se e sao duas permutacoes
sinal() =
Y j i
i<j
ji
Y j i Y j i
= sinal() sinal()
j i
ji
i<j
i<j
(ij) = (j1)(i1)(j1)
segue-se que toda transposica o tem sinal negativo, o que prova a ultima
afirmaca o do teorema.
O nucleo
An do homomorfismo sinal e portanto um subgrupo normal de ndice 2 de Sn
que se escrevem como o produto de um numero
de transposicoes.
O subgrupo An e chamado o grupo alternado de grau n.
Proposica o 17.3. Para todo n 3, An = h3-ciclosi.
(ab)(cd) = (acb)(acd)
(ab)(bc) = (abc)
25
3. Ha tres permutacoes
pares e 20. Conclua que todos os 3-ciclos sao
de conjugados a por permutacoes
conjugados entre si em A5 (use o item (a)).
4. Conclua o lema.
ou
= (1 2)(3 4)
= (1 2 3 4 5).
( 1 ) 1 = (3 5 4) H.
( 1 ) 1 = (1 3 4) H.
18
Nosso objetivo nesta seca o e provar o Teorema de Decomposica o Primaria para os grupos
abelianos finitos.
Lema 18.1. Sejam A um p-grupo abeliano finito e H = hhi, onde h A possui ordem maxima em
A. Se A 6= H, entao existe a A \ H de ordem p.
Demonstraca o: Com efeito, pelo Teorema de Cauchy existe y A tal que a ordem de y + H
em A/H e igual a p. Logo py = kh, para algum inteiro k > 0. Escrevendo k = pq + r, com
0 r < p, obtemos r = 0: de fato, temos que rh = p(y qh) e, por um lado, p(y qh)
pois H hai = {1}. Assim, (h) A possui ordem maxima e, pela hipotese
de induca o,
1 (K), temos que H K = {1} e,
A = H K, para
algum
subgrupo
K.
Tomando
K
=
como |K| = p K e |A| = p A, segue-se que |A| = |H| |K|, ou seja, A = H K.
Proposica o 18.3. Um p-grupo abeliano finito A se escreve de maneira unica
27
19
O teorema de Jordan-Holder
6=
(19.1)
e
Z30 B h2i B h6i B {0}
sao as possveis series de composica o de Z30 . A primeira delas tem como fatores quocientes os grupos Z5 , Z2 e Z3 , a segunda Z3 , Z2 e Z5 e a terceira Z2 , Z3 e Z5 , respectivamente.
28
Dizemos que duas series subnormais sao equivalentes se os fatores nao triviais de uma
serie estao em bijeca o com os fatores nao triviais da outra, de forma que fatores isomorfos
u(U V ) v(U V )
U V
.
=
=
u(U v)
v(u V )
(U v)(u V )
v(U V )
u(U V )
PPP
LLL
oo
rr
PPP
o
LLL
r
o
r
o
r
P
o
P
LLL
PPP
oo
rr
o
r
o
L
r
P
r
oo
U V
v(u V )
u(U v)
PPP
PPP
nnn
n
n
PPP
nn
PPP
nnn
n
PPP
n
PPP
nnn
PPP
nnn
n
n
PPP
nnn
PP
nnn
(U v)(u V )
Demonstraca o:
1. Sendo v C V , obtemos (U v) C (U V ) e como u C U , segue-se que u(U v) C u(U V ).
A outra asserca o e provada de maneira analoga.
2. Da Lei Modular de Dedekind (Lema 19.2), segue que
u(U v) (U V ) = (u V )(U v)
e portanto de AB/A
= B/(A B), aplicado quando A = u(U v) e B = U V , obtemos
u(U V )
U V
.
=
u(U v)
(U v)(u V )
trocarmos u por v nos lugares adequaO outro isomorfismo segue de maneira similar (apos
dos) e isto termina a prova do lema.
Teorema 19.4. (Schreier) Duas series subnormais quaisquer de um grupo G admitem refinamentos
equivalentes.
29
Demonstraca o: Sejam
G = G0 B G1 B G2 B B Gm = {1}
G = H0 B H1 B H2 B B Hn = {1}
duas series subnormais de G. A ideia e construir um refinamento da primeira, inserindo
n 1 termos entre cada passo, usando os termos da segunda serie. Assim, no passo de
ndice i, o refinamento e
Gi = Gi+1 (Gi H0 ) B Gi+1 (Gi H1 ) B B Gi+1 (Gi Hn ) = Gi+1
Mutatis mutandis, construmos um refinamento para a segunda serie. Cada uma das novas
series obtidas possui mn + 1 termos. Tipicamente, os termos desses refinamentos sao, respectivamente, da forma
B Gi+1 (Gi Hj ) B Gi+1 (Gi Hj+1 ) B
B Hj+1 (Gi Hj ) B Hj+1 (Gi+1 Hj ) B
O Lema 19.3 aplicado aos grupos Gi+1 C Gi e Hj+1 C Hj , nos diz que o quociente entre
os termos indicados na primeira das linhas acima e isomorfo ao quociente dos da segunda.
Conclumos que os refinamentos sao equivalentes.
30
20
Grupos soluveis
(20.1)
tal que fator quociente Gi1 /Gi e abeliano, para cada i = 1, 2, . . . , n. Nesse caso dizemos que
a serie e soluvel.
Exemplos:
onde V = {(1), (12)(34), (13)(24), (14)(23)} e o grupo de Klein, e uma serie soluvel.
entao H e soluvel;
entao G e soluvel;
xH = Hx, yH = Hy,
xyGi+1 = yxGi+1
(b) Suponhamos agora que H e normal em G e que tanto H como G/H sao soluveis.
Entao, existe uma serie subnormal
G/H = K0 /H B K1 /H B B Kn /H = 1
com fatores abelianos e onde os Ki s sao subgrupos de G contendo H e Ki C Ki1 (Teorema 7.3). Usando que Ki1 /Ki
= (Ki1 /H)/(Ki /H) e colando a serie G = K0 B K1 B
B Kn = H com uma serie subnormal de H com fatores abelianos, obtemos uma serie
Demonstraca o: Com efeito, podemos supor que H e N sao subgrupos de um grupo G, com
N normal em G, H N = {1} e G = HN . Entao, pelo teorema dos homomorfismos,
G/N = HN/N
= H/(H N )
=H
e logo o resultado segue da Proposica o 20.1.
Como vimos, os grupos simetricos apresentam comportamento bem distinto para n
soluvel.
32