Estruturas Algbricas

Mestrado Matemtica

2013-1

UFRJ

Parte I - Grupos

Aula inaugural:

teoria elementar das categorias.

Sumrio
1 Grupos, morsmos
1.1
1.2
1.3
1.4

Grupos, subgrupos, ordem . . . . . . . . . . . . .

Morsmos, subgrupos normais, grupos quocientes
Teoremas de isomorsmos . . . . . . . . . . . . .
Grupo de permutaes . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

1
3
4
4

2 Aes de grupos, subgrupos de Sylow

3 Grupo derivado - grupos solveis

2.1
2.2
2.3
3.1
3.2
3.3

Aes de grupos em conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Os teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Centro, grupo derivado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sries subnormais e de composio . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Grupos solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
8
8

9
10
11

1 Grupos, morsmos
1.1 Grupos, subgrupos, ordem
Um grupo G ou (G, ) um conjunto (no vazio) munido de uma operao associativa que admite
um elemento neutro ou identidade e pela qual todo elemento tem um simtrico ou inverso. Isso :
x, y, z G, x (y z) = (x y) z
e G, x e = e x = x
x G, x0 G, x x0 = x0 x = e
Se, alm disso a operao comutativa : x, y G, x y = y x, G dito

abeliano.

Em geral denotamos a operao como um produto ou uma soma quando comutativa. Se verica
facilmente que a identidade nica, denotada e, 1 em notao multiplicativa ou 0 em notao aditiva;
o simtrico de x tambm nico, denotado x1 em notao multiplicativa ou x em notao aditiva.
Um subgrupo H de G um subconjunto que ele prprio um grupo com a mesma operao de G,
denotamos H < G. Por exemplo, {e} e G so subgrupos de G, chamados subgrupos triviais.
Se H um subconjunto nito de um grupo G estvel pela operao, mostre que
H um subgrupo de G. D um contra-exemplo no caso innito.
Exerccio

1.1.1

Exerccio

1.1.2

Mostre que H < G se e s se (x, y H) : xy 1 H.

(Teorema de Lagrange)
Seja G um grupo, H um subgrupo. Por x G, xH designa o conjunto {xh : h H}, so as classes
laterais (a esquerda) de H em G.
Exerccio

1.1.3

(a) Mostre que a relao x y y xH uma relao de equivalncia.

(b) Mostre que as classes de equivalncia so do tipo xH e esto em bijeo com H. O conjunto
quociente, isso o conjunto das classes de equivalncia denotado G/H. O seu cardinal chama-se
o ndice de H em G, denotado [G : H].
(c) Sob qual condio temos xH = H? Quais classes de equivalncia so subgrupos?
(d) Demostre o

teorema de Lagrange:

seja G nito, por H G ento |H| um divisor de |G|.

(e) Denimos igualmente as classes de equivalncia direita, do tipo Hx. Mostre que as classes
direita so em bijeo com H e que o conjunto quociente em bijeo com o conjunto das classes
esquerda.
Exerccio 1.1.4 Seja H um subgrupo de ndice nito de G, e K um subgrupo de G contendo H.
Mostre que ele de ndice nito em G e que

[G : H] = [G : K][K : H]
Seja G um grupo, S um subconjunto. Porque podemos falar do subgrupo gerado
por S ? Denotamos-o < S >.

Exerccio

1.1.5

Um grupo nitamente gerado quando G =< S > com S nito, ele dito monogneo se
gerado por um nico elemento G =< x >, chamado de gerador. Nesse caso, G abeliano e pode
ser innito {. . . , x1 , 1, x, x2 , x3 , . . . } como (Z, +) ou cclico quando nito {1, x, x2 , . . . , xn1 } como
(Z/nZ, +) ou (Un , ).
A ordema de um elemento x de um grupo G o cardinal do subgrupo gerado por x, denotado |x|.
Se carateriza como o menor inteiro n > 0 tal que xn = 1. Quando tal n no existe, dizemos que x
tem ordem innita.
a Igualmente,
Exerccio

ordem designa o cardinal de grupo nito.

1.1.6

Seja G um grupo cclico de ordem n.

(a) Determine todos os subgrupos de um grupo monogneo innito e logo de G (tem-se um subgrupo
cclico de ordem d para cada inteiro d divisor de n). Em particular, todo subgrupo de um grupo
cclico cclico.
(b) Mostre que os geradores de G =< x > so do tipo xk onde k primo com n. Detalhe o caso
n = 12 e quando n primo. Denotamos (n) o nmero de geradores do grupo cclico de ordem
n; essa funo chama-se de funo de Euler.
(c) Calcule (p), (p ) (com p primo). O Teorema chins do resto1 diz que multiplicativa
(uv) = (u)(v) quando mdc(u, v) = 1, deduza (n) por n N.
(d) Agrupe os elementos de G em funo da ordem e use (a) para demonstrar que:
X
x N ,
(d) = n
d|n

(e) Demonstre uma reciproca de (a) para concluir que um grupo nito de cardinal n cclico se e s
se por cada d divisor de n existe um nico subgrupo de cardinal d. Deduza que todo subgrupo
nito (multiplicativo) de um corpo cclico.
Exerccio

1.1.7

(a) Mostre que um grupo G tal que todo elemento (6= e) tem ordem 2 abeliano.
(b) Mostre que todo grupo com p elementos, p primo cclico.
(c) Prove que existe dois grupos com quatro elementos, ambos abelianos. Aquele que no cclico
chama-se o grupo de Klein.
1

Sejam

v dois inteiros
u e v.

primo entre si, ento o grupo cclico de ordem

de ordens

uv

isomorfo ao produto dos grupos cclicos

1.2 Morsmos, subgrupos normais, grupos quocientes

Um

morsmo de grupos f

um mapa entre grupos G G0 respeitando as operaes:

x, y G, f (xy) = f (x)f (y)

Em particular, f (e) = e0 , f (x1 ) = (f (x))1 e por H < G, f (H) < f (G).
Chamamos de ncleo de f , denotado ker f , o conjunto dos antecedentes da identidade f 1 ({e}),
obviamente um subgrupo de G. Um morsmo injetor se e s se ker f = {e}. Se um morsmo
bijetor, ento f 1 um morsmo. Os dois grupos so ditos isomorfos e escrevemos G
= G0 . Um
isomorsmo de um grupo em ele mesmo um automorsmo. O conjunto dos automorsmos de G
um grupo pela operao de composio; denotado Aut(G).
Mostre que x 7 x2 de G em G um morsmo se e s se G abeliano. Quando
G nito, sob qual condio um automorsmo? (Repare que se G contem um elemento de ordem
2, ento |G| par por Lagrange).
Exerccio

1.2.1

Exerccio

1.2.2

Seja g um elemento qualquer de G. Denotamos ig o mapa:

ig : G
G
x 7 gxg 1
Mostre que ig um automorsmo de G (chamado de automorsmo interno ou conjugao por g ).
Mostre que o conjunto dos automorsmos internos Int(G) um subgrupo de Aut(G).
Um subgrupo H de G

normal (ou distinguido) em G se estvel pelos automorsmos internos

g G : gHg 1 = H

Escrevemos ento H C G.
No caso abeliano, todo subgrupo de G normal. Os dois subgrupos triviais {e} e G so sempre
normais, quando so os nicos dizemos que G um grupo simplesa .
Se H C G ento o conjunto quociente G/H pode ser munido de uma estrutura de grupo compatvel
com G, no sentido que a projeo G G/H denida por x 7 xH seja um morsmo de grupos.
a Os

grupos simples so as partculas elementares que permitem, em grande parte, reconstruir todos os grupos (cf.

cap. 3.2). Os grupos simples nitos so todos conhecidos (mas a classicao completa muito complicada...).

Prove essa ltima armao (observe que H C G se classes a esquerda e classes a

direita coincidem; x G : xH = Hx).

Exerccio

1.2.3

1.2.4 Mostre que subgrupos de ndice 2 e ncleos de morsmos so sempre normais.

Explique a "equivalncia" entre subgrupos normais e ncleos.
Exerccio

Exerccio

1.2.5

Mostre que o Int(G) subgrupo normal de Aut(G).

Exerccio

1.2.6

Mostre que um grupo abeliano simples isomorfo a Z/pZ onde p primo.

Exerccio

1.2.7

Suponhamos K H G, quais implicaes so verdadeiras?

KCG KCH
KCH KCG
KCHeHCG KCG
Seja f um morsmo de G em G0 , que podemos dizer da imagem inversa (resp. da
imagem direita) de um subgrupo normal de G0 (resp. G)?
Exerccio

1.2.8

(Teorema de correspondncia de Noether)

Seja G um grupo e H C G. Mostre que o mapa K 7 K/H uma bijeo entre o conjunto dos
subgrupos K tais que H < K < G e o conjunto dos subgrupos de G/H. Prove que o mapa repseita
a normalidade. Faa um exemplo com Z/nZ e encontre de novo Ex. 1.1.5 (a).

Exerccio

1.2.9

1.3 Teoremas de isomorsmos

1.3.1 (1 Teorema de isomorsmo)
Seja f : G G0 um morsmo de grupos. Seja H C G, tal que H ker f . Mostre que podemos
denir um morsmo f : G/H G0 tal que f p = f , onde p a projeo cannica de G em G/H
(Teorema de fatorao). Verique que f : G/ker f Im f um isomorsmo (1 Teo. de isom.).

Exerccio

Exerccio
1.3.2 Sejam G um grupo, H G, K G dois subgrupos. Denimos o conjunto
HK = {hk : h H, k K}.

(a) Demonstre que HK um subgrupo se e s se HK = KH.

(b) Qual o cardinal de HK quando ambos subgrupos so nitos?
(c) Mostre que se H K = {e}, ento os elementos de HK tm uma escritura nica como produto
hk .
(d) Seja G = Z/6Z e H =< 2 >, K =< 3 >. Verique que G = HK e a unicidade da escritura.
1.3.3 (2 Teorema de isomorsmo)
Sejam H e K dois subgrupos de G. Suponhamos K C G. Mostre que H K C H e

Exerccio

H HK
=
HK
K
1.3.4 (3 Teorema de isomorsmo)
Sejam H e K dois subgrupos normais de G. Suponhamos K H. Prove que H/K C G/K e

Exerccio

(G/K) G
=
(H/K)
H
1.3.5 (Lema de Poincar)
Suponhamos H G e K G ambos de ndice nito. Demonstre que H K de ndice nito
provando:
[G : H K] [G : H][G : K]
Exerccio

D um exemplo onde a desigualdade estrita, um outro onde temos igualdade.

1.4 Grupo de permutaes

Denotamos Sn o conjunto das bijees de {1, 2, . . . , n} em ele mesmo; os seus elementos so tambm
chamados de permutaes. O grupo de permutaes se chama tambm o grupo simtrico. Os Sn
no so abelianos (n > 2).
Em geral denotamos


1234
=
2143
por designar a permutao (1) = 2, (2) = 1, (3) = 4, e (4) = 3. Um caso particular de permutao so as permutaes circulares ou r-ciclos, onde r {2, 3, . . . , n}, quando existe (i1 , i2 , . . . , ir )
inteiros distintos em {1, 2, . . . , n} tais que:

(i1 ) = i2 , (i2 ) = i3 , . . . , (ir ) = i1

todos demais inteiros sendo invariantes. Denotamos = (i1 , i2 , . . . , ir ) ou (i1 i2 . . . ir ). Um 2-ciclo
chamado de transposio. A composio de permutaes ser escrito como um produto e lido da
esquerda para a direita, desse modo, = (12)(34).
Exerccio

1.4.1

Descreve os grupos S1 , S2 , S3 .

1.4.2 Verique que a nica permutao que comuta com todos demais a identidade
quando n 3. (Dica: procure apenas os elementos que comutam com as transposies.)
Exerccio

Exerccio

1.4.3

(Decomposio

em ciclos)

(a) Demonstre que um r-ciclo de ordem r.

(b) Chamamos suporte de um r-ciclo c o conjunto dos inteiros {i1 , i2 , . . . , ir }. Mostre que dois ciclos
com suportes disjuntos comutam.
(c) Demonstre que qualquer permutao se escreve de forma nica como produto de ciclos a suporte
disjuntos.
(d) Um exemplo, seja a permutao de {1, 2, . . . , n} denida por (i) = n + 1 i. Determine sua
composio em ciclos.
A decomposio em ciclo de uma permutao dene naturalemente uma partio de n correspondendo
s ordem dos ciclos ordenados (e.g. do maoir at o menor  incluindo os ciclos triviais). Essa ltima
codicvel, por exemplo, num diagrama de Young: se = (72156)(38) S8 a partio de n
correspondente 8 = 5 + 2 + 1 e o diagrama de Young:

O diagrama de Young carateriza o tipo de uma permutao.

Demonstre que o r-ciclo c = (i1 i2 . . . ir ) composto de r 1 transposies. Deduza
que Sn gerado pelas transposies.
As transposies geram Sn mas no a nica possibilidade.
Exerccio 1.4.4

Exerccio

1.4.5

Mostre que Sn gerado por cada um dos seguintes conjuntos:

as transposies (1, i)
as transposies (i, i + 1)
o ciclo (1, 2 . . . , n) e a transposio (1, 2)
Exerccio

1.4.6

(Assinatura)

(a) Mostre que:

(ab)(ax1 x2 . . . xk by1 y2 . . . yl ) = (ax1 x2 . . . xk )(by1 y2 . . . yl )

(ab)(ax1 x2 . . . xk )(by1 y2 . . . yl ) = (ax1 x2 . . . xk by1 y2 . . . yl )
(b) Denimos a funo

sinal (ou assinatura) de Sn em {1, 1} por:

() = (1)nk

onde k o nmero de ciclos (a suportes disjuntos) acrescentado do nmero de pontos xos de .2

Mostre que um morsmo.
(c) Quando o sinal 1 dizemos que a permutao par, mpar seno. Qual a paridade de um r-ciclo?
Como determinar a paridade conhecendo a decomposio em ciclos? Caraterize as permutaes
pares pelo tipo.
(d) Chamamos de grupo alternado o conjunto das permutaes pares; o ncleo da assinatura e
assim um subgrupo distinguido de ndice 2 de Sn . Denotamos-lo An . Mostre que gerado pelos
3-ciclos (por n > 2).
(e) Demonstre que An tambm gerado pelos 3-ciclos do tipo (1, 2, i).
2

Esse nmero

se chama nmero de rbitas de

o nmero de rbitas da ao de

captulo seguinte).

< >

sobre

{1, . . . , n}

(ver

2 Aes de grupos, subgrupos de Sylow

2.1 Aes de grupos em conjuntos
Uma ao de um grupo G num conjunto X
Isso um mapa:

uma operao externa.

:GX X
(g, x) 7 g.x
vericando :

Mostre que essa noo equivalente a dar-se um homomorsmo : G SX ,

grupo simtrico de X (i.e. SX = {f : X X; f bijeo}).

Exerccio

onde SX

g, g 0 G, x X, g 0 .(g.x) = (g 0 g).x
x X, e.x = x
2.1.1

A noo de ao de grupo uma geometrizao da noo de grupo. De fato todo grupo age pelo menos
em ele-mesmo, por exemplo: por translao (a equerda): g, x G, g.x := gx ou por conjugao
(ou automorsmo interno): g, x G, g.x := gxg 1 .
(Teorema de Cayley)
Utilize a ao de G em ele mesmo por translao a esquerda para demonstrar que todo grupo nito
isomorfo a um grupo de permutaes (i.e. um subgrupo de Sn ).
Exerccio

2.1.2

Algumas denies:
1. Se x X , a

rbita de x, denotada OG (x) (ou G.x) denida por:

OG (x) = {y X : g G, y = g.x}

2. Se x X , o

estabilizador de x, que denotaremos Gx denido por:

Gx = {g G : g.x = x}

3. O ncleo da ao o conjunto dos elementos de G tais que para todos x de X , g.x = x.

Obviamente o ncleo de . Uma ao dita el quando o ncleo trivial (nesse caso, G
isomorfo a um subgrupo de SX ).
Exerccio

2.1.3

(a) Mostre que Gx < G.

(b) Como descrever o ncleo de uma ao por meio dos estabilizadores?
(c) Mostre que se a ao no el, podemos contudo denir uma ao el de G/ ker em X .
(d) Descreva os estabilizadores e as rbitas de x G pela ao de G em si mesmo por conjugao.
Os primeiros so os centralizadores ZG (x) e as segundas as classes de conjugao [x].
Exerccio

2.1.4

(Formula

das classes) Seja G um grupo nito que age em X

conjunto.

(a) Mostre que |OG (x)| = [G : Gx ].

(b) Suponhamos X nito. Considere X/G o conjunto das rbitas ou quociente da ao ( o
quociente de X pela relao x y y OG (x)). Designamos por um sistema completo de
representante, dito transversal. Demonstre:
X
|X| =
[G : Gx ]
x

2.1.5 (Teorema de Cauchy)

Prove que se G um grupo nito de cardinal n e se p um fator primo de n, ento existe um elemento
de ordem p em G. Por isso, introduza o subconjunto

Exerccio

E = {(x1 , x2 , . . . , xp ) : x1 x2 . . . , xp = 1}
e passe as seguinte etapas:
(a) Mostre que Z/pZ age naturalmente em E, e que cada rbita tem 1 ou p elementos. Caraterize as
rbitas de um elemento.
(b) Calcule o cardinal de E e deduza o resultado usando a formula das classes.
2.1.6 (Formula de Burnside)
Seja G um grupo nito agindo num conjunto nito X . Denotamos X g o conjunto dos pontos xos de
g (i.e. os x tais que g.x = x). Mostre que:
Exerccio

|X/G| =

1 X g
|X |
|G|
gG

(Dica: enumere o conjunto das duplas (g, x) onde g.x = x de dois maneiras distintas.)
Em particular, se G age transitivamente em X , ento a media do nmero de pontos xos dos elementos
de G igual a 1.
Um exemplo de aplicao: uma roda de loteria dividida em n setores; cada um
colorido por uma cor escolhida dentro de p cores distintas. Qual o nmero de roda de loterias
possveis (no distinguimos coloraes que se deduzem uma da outra por rotao da roda)?
(A formula a obter :
1X n d
( )p
n
d

Exerccio

2.1.7

d|n

onde a funo de Euler.)

Um grupo nito um p-grupo (p primo) quando o seu cardinal uma potncia de p. O seguinte
exerccio mostre que todo p-grupo simples abeliano, e ento isomorfo a Z/pZ (ex. 1.2.5).
Exerccio

2.1.8

Seja G um grupo, ele age em si mesmo por automorsmo interno.

(a) Se x Z(G) (o centro de G, ver (1) no cap.3.), qual a rbita de x?

(b) Mostre que:

|G| = |Z(G)| +

[G : Gx ]

onde uma transversal pelo conjunto das rbitas no reduzidas a um ponto.

(c) Deduza que um p-grupo tem um centro no trivial e conclua quando o grupo simples.
2.1.9 (Diagramas de Young e classes de conjugaes de Sn ). Mostre que os
diagramas de Young codicam as classes de conjugao de Sn . Isso , duas permutaes Sn so
conjugadas se e s se elas so do mesmo tipo.
Exerccio

Seja An2 . Denotamos []An a classe de conjugao de em An e []Sn a

classe de conjugao de em Sn .
Exerccio

2.1.10

(a) Mostre que []An = []Sn ou []Sn se decompe em duas classes em An de ordem
dependendo se ZSn () no ou subconjunto de An .

1
|[]Sn |
2

(b) Deduza que a classe de conjugao de Sn se decompe em An se e s se seu tipo consiste em

nmeros impares disjuntos.

2.2 Os teoremas de Sylow

Por G nito, |G| = pk m com p primo e p - m; um p-Sylow um subgrupo de G de ordem pk .
Exerccio

2.2.1

Seja G um grupo de ordem pk m onde p primo e mdc(p, m) = 1.

(a) Chamamos o conjunto dos subconjuntos de G tendo pk elementos. Assim, G age em por
translao a esquerda (g.X = gX ). Calcule o cardinal de e demonstre que existe ao menos uma
rbita cujo cardinal no divisvel por p.
(b) Seja A uma tal rbita, GX o estabilizador de um elemento X de A. Demostre que GX um
p-Sylow de G. Deduza o primeiro teorema de Sylow: todo grupo nito cuja ordem divisvel
por p contem um p-Sylow.
(c) Trocamos de ao. Seja S um p-Sylow de G, e H um p-subgrupo de G. Fazendo agir H em G/S
por translao a esquerda, demostre que H includo num conjugado de S. Em particular, todos
os p-Sylow de G so conjugados a S. Isso o segundo teorema de Sylow.
(d) Deduza que se um grupo admite somente um p-Sylow, esse ltimo normal em G, e reciprocamente
se G contem um p-Sylow normal, ele o nico p-Sylow de G.
(e) Seja Np o nmero de p-Sylow de G, use a ao por conjugao de S nos p-Sylow por demonstrar:

Np 1
Isso o

mod (p)

Np |m

terceiro teorema de Sylow.

2.3 Aplicaes
Exerccio

2.3.1

1. Determine os p-Sylow de Z/nZ, de Z/6Z Z/12Z, e de Dn (comea pelo caso p = 2).

2. Procure os 2-Sylow de S4 e de S5 .
Usando o terceiro teorema de Sylow, demonstre que no existe grupo simples
tendo 30, 42 ou 105 elementos.

Exerccio

2.3.2

(Estudo do grupo A5 )
Esse grupo constitudo das permutaes pares de 5 elementos. Enumere os diagramas de Young
para determinar que A5 contem (alm da identidade):

Exerccio

2.3.3

15 elementos de ordem 2 (as duplas transposies)

20 elementos de ordem 3 (os 3-ciclos)
24 elementos de ordem 5 (os 5-ciclos)
Utilize o exerccio 2.1 para demostrar os seguintes itens:
(a) Os 3-ciclos formem uma classe de conjugao em A5 . Estude igualmente as duplas transposies.
(b) Se H C A5 contem um elemento de ordem 5, ento ele os contem todos. (Dica: segundo teorema
de Sylow).
(c) A5 simples (Dica: um subgrupo normal reunio de classes de conjugaes).

O seguinte exerccio mostre que o grupo alternado simples por n > 5. Os casos n = 2, 3, 4 se tratam
facilmente: n = 2, o grupo alternado trivial; n = 3, o grupo alternado de ordem 3, ele simples;
por n = 4, o grupo alternado contem um subgrupo normal, o grupo das duplas transposies.
Exerccio 2.3.4 (Simplicidade do grupo alternado
Suponhamos n 5 e seja H C An . Pegue H, 6= id.

(caso geral))

(a) Se uma permutao qualquer de An , mostre que 1 1 pertence a H.

(b) Tomando i tal que (i) = j , j 6= i, e usando k distinto de i, j, (j), construa um 3-ciclo , tal que
1 1 deixa xo pelo menos n 5 elementos.
(c) A partir do exerccio anterior e das duas questes acima, verique que H deve conter um 3-ciclo
e deduza o resultado.
Exerccio

2.3.5

Re-demonstre o teorema de Cauchy usando o teorema de Sylow.

3 Grupo derivado - grupos solveis

3.1 Centro, grupo derivado
Existem vrias maneiras de medir a no-comutatividade de um grupo G. Como visto anteriormente,
podemos utilizar o centro de G, conjunto dos elementos de G que comutam com todos demais:

Z(G) = {z G : x G, xz = zx}

(1)

Maior ele , mais prximo G de ser um grupo comutativo.

tambm possvel introduzir o chamado grupo derivado assim denido: denotamos [x, y] = xyx1 y 1 ,
o comutador de x e y . O grupo derivado de G o grupo gerado pelos comutadores denotado G0
ou D(G). Menor ele , mais prximo G de ser um grupo comutativo.
Exerccio 3.1.1

e G = Sn .
Exerccio

3.1.2

Mostre que Z(G) C G e que G/Z(G)

= Int(G). Determine G/Z(G) por G = Dn
Por G um grupo, dene Z1 = Z(G).

(a) Mostre que podemos denir um subgrupo Z2 de G por:

Z2 /Z1 = Z(G/Z1 )
e que o grupo normal, e mesmo caracterstico em G. Como iterar essa construo?
(b) Exemplique no caso de um grupo diedral G = Dn .
(c) Verique que Z2 pode ser denido por: a Z2 b G, [a, b] Z1 .
Mostre que D(G) C G. Dizemos que um subgrupo caracterstico em G se ele
estvel por todos os automorsmos de G. D(G) caracterstico em G?
Exerccio

3.1.3

Exerccio

3.1.4

G0 designa o grupo derivado de G.

(a) Mostre que Gab := G/G0 abeliano, o

abelianizado de G.

(b) Seja H C G, mostre que G/H comutativo sse H G0 .

(c) Mostre que se G0 H G ento H C G.
(d) Demonstre que todo morsmo f de G num grupo abeliano A se fatora pelo abelianizado (propriedade universal do abelianizado).

3.2 Sries subnormais e de composio

Uma srie subnormal de G uma sequencia crescente nita de estritas incluses de subgrupos (Hi )i :
{e} = H0 ( H1 ( H2 ( ( Hn = G
tal que Hi normal em Hi+1 (se Hi C G a srie dita normal). Um ranamento de uma srie
subnormal (Hi )i uma srie (Ki )i da qual a sequencia (Hi )i uma subsequencia. O comprimento
maximo de uma srie subnormal uma medida de quanto G distante de ser simples.a
Uma srie de composio (ou srie de Jordan-Hlder) uma srie subnormal

{e} = H0 C H1 C C Hn = G
onde todos os
a Se G

fatores Hi+1 /Hi so simples.

simples, a nica srie subnormal

G {e}.

3.2.1 Mostre que todo grupo nito tem uma serie de composio (poderemos ranar
uma srie subnormal). Prove que Z no tem srie de composio.
Exerccio

Exerccio

3.2.2

Descreve as sries de composio de Sn .

Exerccio

3.2.3

Seja G um p-grupo de ordem pn (faremos uso do exerccio 2.1.7).

(a) Demonstre que se H um subgrupo prprio de G ento, ou H normal em G, ou existe um

conjugado de H includo no normalizador de H em G. Dica: utilize a ao por automorsmos
internos de H em seus conjugados.
(b) Deduza que todo subgrupo maximal de G normal em G de ndice p.
(c) Demonstre que G admite subgrupos normais de ordem pi por cada 1 i n. Dica: raciocina
por recurso usando um elemento de ordem p do centro (no trivial).
(d) Deduza que todo subgrupo H de G inicia uma srie normal H = H0 C H1 C C Hn = G com
[Hi+1 : Hi ] = p.
(Lema da borboleta)
Sejam duas pares de subgrupos de G, H1 C H2 e K1 C K2 . Demonstre que:
Exerccio

3.2.4

H1 (H2 K1 ) C H1 (H2 K2 )

K1 (K2 H1 ) C K1 (K2 H2 )

e que os grupos quocientes so isomorfos ao grupo

(H2 K2 )/(H1 K2 )(H2 K1 )

Ser til fazer um esquema da organizao dos grupos intervindo nesse lema e da entender porque se
chama o lema da borboleta.
Duas sries subnormais so
menos isomorsmo).
Exerccio

3.2.5

equivalentes se elas tm o mesmo comprimento e os mesmos fatores (a

(Teoremas

de Schreier e de Jordan-Hlder)

(a) Utilize o lema da borboleta para demonstrar que duas sries subnormais tm ranamentos equivalentes. Isso o teorema de Schreier. Deduza que o comprimento maximo de uma srie subnormal
bem denido e que as sries de composio so as sries subnormal de comprimento maximo.
(b) Deduza que todas sries de composies de um grupo so equivalentes. Esse resultado o teorema
de Jordan-Hlder, ele diz que (as classes de isomorsmo de) os fatores de uma srie de composio
dependem apenas do grupo. Eles so os fatores de composio de G.

10

3.3 Grupos solveis

Um grupo solvel quando seus fatores de composio so abelianos.
Exerccio

3.3.1

Mostre que um grupo simples no comutativo no solvel.

Exerccio

3.3.2

Examine a solubilidade dos grupos Sn .

Os seguintes resultados sero til no estudo de solubilidade por radicais na teoria de Galois.
Demonstre que um grupo G nito solvel se e s se ele contem uma srie cclica,
isso uma srie subnormal
{e} = H0 C H1 C C Hn = G
Exerccio 3.3.3

com os fatores Hi+1 /Hi cclicos. Mostre que podemos requerer que os fatores tenham ordem primos.
Exerccio

3.3.4

Denotamos G(i) a sequencia dos grupos derivados sucessivos de G:

G(0) = G,
a

G(i+1) = (G(i) )0

srie derivada de G.

(a) Mostre que a sequencia decrescente e que G solvel se e s se existe n tal que G(n) = {e}.
(b) Verique que subgrupos e grupos quocientes de grupos solveis so solveis.
(c) Prove a reciproca: seja H C G, ento G solvel se e s se H e G/H so solveis.

Referncias
[1] P. Alu. Algebra: Chapter 0. AMS Graduate Studies in Mathematics (Vol. 104), 2009.
[2] J. Delcourt. Thorie des groupes. Dunod, 2007.
[3] A. Gonalves. Introduo lgebra. IMPA, 1979.

11