Estruturas Algbricas 2012-1

Mestrado Matemtica UFRJ

Parte I - Grupos

Sumrio
1 Grupos, morsmos
1.1 1.2 1.3 1.4 Grupos, subgrupos, ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Morsmos, subgrupos normais, grupos quocientes . . . . . . . . . . . . . . . . . . . . . Teoremas de homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupo de permutaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
1 3 4 4

2 Aes de grupos, subgrupos de Sylow

2.1 2.2 2.3 Aes de grupos em conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Os teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5
5 7 8

3 Grupo derivado - grupos resolveis

3.1 3.2 3.3 Centro, grupo derivado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sries subnormais e de composio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupos solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8
8 9 10

1 Grupos, morsmos
Prerequisitos: teoria dos conjuntos elementar.

1.1 Grupos, subgrupos, ordem Um grupo G ou (G, ) um conjunto (no vazio) munido de uma operao associativa que admite
uma identidade

pela qual todo elemento tem um simtrico. Isso :

x, y, z G, x (y z ) = (x y ) z e G, x e = e x = x x G, x G, x x = x x = e
Se, alm disso a operao comutativa : Denotamos a operao por nico, denotado Um

x, y G, x y = y x, G

dito

abeliano.
+. Se verica x tambm

, , ou por nada,
(caso abeliano).

se ela comutativa denotamos em geral

facilmente que a identidade nica, denotada

e, 1 ou 0 no caso abeliano;

o simtrico de

x1

ou

denotamos

subgrupo H de G um subconjunto que ele prprio um grupo com a mesma operao de G, H G. Por exemplo, {e} e G so subgrupos de G, chamados subgrupos triviais.
H G.
um subconjunto nito de um grupo

Exerccio 1.1.1 Se

G,

estvel pela operao. Mostre que

um subgrupo de

D um contraexemplo no caso de cardinal innito.

Exerccio 1.1.2 (
Seja

Teorema de Lagrange)
um subgrupo e

um grupo,

um elemento de

G.

Denotamos

xH

o conjunto

{xh : h H}

de todas classes laterais (a esquerda) de 1) Mostre que a relao

em

G.

xRy y xH

uma relao de equivalncia.

2) Mostre que as classes de equivalncia so do tipo

quociente, isso o conjunto das classes de equivalncia denotado G/H. se o ndice de H em G, denotado [G : H].
xH = H?

xH

e esto em bijeo com

H.

conjunto

O seu cardinal chama-

3) Sob qual condio temos 4) Demostre o

Quais classes de equivalncia so subgrupos? se

teorema de Lagrange:

HG

(nito), ento

|H|

um divisor de

|G|.

5) Denimos igualmente as classes de equivalncia direita, do tipo direita esto em bijeo com esquerda.

Hx. Mostre que as classes H e que o conjunto quociente em bijeo com o conjunto das classes

Exerccio 1.1.3 Seja

um subgrupo de ndice nito de

G,

um subgrupo de

contendo

H.

Mostre que ele de ndice nito em

e que

[G : H] = [G : K][K : H]
Exerccio 1.1.4 Seja
por

S ?

Denotamo-lo

G um < S >.

grupo,

um subconjunto. Porque podemos falar do subgrupo gerado

nitamente gerado quando G =< S > com S nito, ele dito cclico se gerado por 1 , 1, x, x2 , x3 , . . . } um nico elemento G =< x >, chamado de gerador. Ele pode ser innito {. . . , x
Um grupo ou nito

{1, x, x2 , . . . , xn1 }a como (Z, +) ou (Z/nZ, +) e Un . O ordem de um elemento x de um grupo G o cardinal |x| do subgrupo gerado por x n b inteiro n > 0 tal que x = e, e se tal n no existe, dizemos que x tem ordem innito).
a Denotamos xk o produto de x por ele mesmo k vezes. Por conveno x0 = e e xk = (x1 )k b Tambm usamos a palavra ordem pra designar o cardinal de um conjunto nito...
se

(i.e. o menor

for negativo

obvio que todo grupo cclico abeliano. Os grupos cclicos so exemplos importantes que aparecem em vrios aspectos da teoria.

Exerccio 1.1.5
1) Determine todos os subgrupos de um grupo cclico innito e logo nito de ordem subgrupo de ordem

(tem-se um

para cada inteiro

divisor de

n).
primeiro com

2) Mostre que os geradores de o caso

n = 12

e logo

G =< x > so do tipo xk onde k quando n primeiro. Denotamos (n) o p

primeiro). Demonstre que:

n := |G|.

Detalhe

cclico de ordem 3) Calcule

n;

essa funo chama-se de (com

indicatriz de Euler.

nmero de geradores de um grupo

(p), (p )

x N ,
d|n

(d) = n

4) Demonstre uma reciproca de 1) para concluir que um grupo nito de cardinal por cada

cclico se e s se

divisor de

existe um nico subgrupo de cardinal

d.

Deduza que todo subgrupo nito

(multiplicativo) de um corpo cclico.

Exerccio 1.1.6
1) Mostre que um grupo

tal que todo elemento (diferente de

e)

tem ordem

abeliano.

2) Mostre que todo grupo com

elementos,

primo cclico. Aquele que no cclico

3) Prove que existe dois grupos com quatro elementos, ambos abelianos. chama-se o

grupo de Klein.

1.2 Morsmos, subgrupos normais, grupos quocientes

Um

morsmo de grupos f

um mapa entre grupos

GG

respeitando as operaes:

x, y G, f (xy ) = f (x)f (y )
Todo morsmo traz a identidade na identidade, o simtrico da imagem a imagem do simtrico e

f,

f 1

traz subgrupos em subgrupos.

Chamamos de

ncleo de f , denotado ker f , o conjunto dos antecedentes da identidade.

ker f = {e}. f 1
um morsmo. Os dois grupos so ditos

Um morsmo

injetor se e s se

G = G.

Se um morsmo bijetor, ento automorsmos de

Um isomorsmo de um grupo em ele mesmo um

isomorfos e escrevemos automorsmo. O conjunto dos

Aut(G). G
abeliano. Quando

um grupo pela operao de composio; denotado

Exerccio 1.2.1 Mostre que

x x2

de

em

um morsmo se e s se

nito, sob qual condio um automorsmo? (Repare que se

G ix

contem um elemento de ordem

2, ento

|G|

par por Lagrange).

Exerccio 1.2.2 Seja

um elemento qualquer de

G.

Denotamos

o mapa:

ix : G G g xgx1
Mostre que

ix

um automorsmo de

(chamado de

automorsmo interno).
(denotado

Mostre que o con-

junto dos automorsmos internos um subgrupo de Um subgrupo

Aut(G)

Int(G)).

Hx.a Escrevemos ento:

H de G normal em G se toda classe a esquerda classe a direita, i.e. x G, xH = H G

Os dois subgrupos triviais

No caso abeliano, todo subgrupo de

normais, quando so os nicos dizemos que

H G ento o com G, no sentido

Se

conjunto quociente que a projeo

G um grupo G/H pode ser munido de uma estrutura de grupo compatvel G G/H denida por x xH seja um morsmo de grupos.
com os elementos de

normal.

simplesb .

{e}

so sempre

a Isso no signica que os elementos de G comutam b Os grupos simples so as partculas elementares

H.

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

Exerccio 1.2.3 Prove essa ltima armao. Exerccio 1.2.4 Mostre que o

Int(G)

subgrupo normal de

Aut(G). Z/pZ
onde

Exerccio 1.2.5 Mostre que um grupo abeliano simples isomorfo a

primo.

Exerccio 1.2.6 Mostre que um subgrupo de ndice 2 sempre normal. Exerccio 1.2.7 Demonstre que podemos caraterizar um subgrupo normal
seguintes condies: a) estvel pelos automorsmos internos b) o ncleo de um morsmo de

em

por uma das

num outro grupo quais implicaes so verdadeiras?

Exerccio 1.2.8 Suponhamos

K H G,

K
Exerccio 1.2.9 Seja

K K H

G K H K G K

H G G
dizer da imagem inversa (resp. da

um morsmo de

imagem direita) de um subgrupo normal de

G em G , que podemos G (resp. G)?

Exerccio 1.2.10 (
Seja

Teorema de correspondncia de Noether)

conjunto dos subgrupos

H G. Mostre que o mapa K K/H uma bijeo do H K G no conjunto dos subgrupos de G/H. Prove que ela normais e os subgrupos normais de G/H.

tais que

tambm uma bijeo entre tais

1.3 Teoremas de homomorsmos

Exerccio 1.3.1 (
Seja

Teorema de fatorao)
f : G/H G G
em tal que

f :GG

um morsmo de grupos. Seja

denir um morsmo

H G, suponha H ker f . Mostre que podemos f p = f , onde p a projeo cannica de G sobre G/H. G/ ker f
em

Exerccio 1.3.2 (

1 Teorema de homomorsmo)
G,
induz um isomorsmo de

Deduza que um morsmo de

Im f G .
Denimos o conjunto

G um HK = {hk : h H, k K}.
Exerccio 1.3.3 Sejam
1) Demonstre que

grupo,

H G, K G

dois subgrupos.

HK

um subgrupo se e s se

HK = KH.

2) Qual o cardinal de 3) Mostre que se 4) Seja

HK

quando ambos subgrupos so nitos?

H K = {e}, ento os elementos de HK tm uma escritura nica como produto hk .

e

G = Z/6Z

H =< 2 >, K =< 3 >.

Verique que

G = HK

e a unicidade da escritura.

Exerccio 1.3.4 (
Sejam

2 Teorema de homomorsmo)
G.
Suponhamos

dois subgrupos de

G.

Mostre que

HK

H HK = HK K
Exerccio 1.3.5 (
Sejam

3 Teorema de homomorsmo)
G.
Suponhamos

dois subgrupos normais de

K H.

Prove que

H/K

G/K

(G/K) G = (H/K) H
Exerccio 1.3.6 (
Suponhamos provando:

Lema de Poincar)
e

H G

K G

ambos de ndice nito.

Demonstre que

HK

de ndice nito

[G : H K] [G : H][G : K]
(Dica: ache um monomorsmo de

G/H K num conjunto nito).

D um exemplo onde a desigualdade

estrita, um outro onde temos igualdade.

1.4 Grupo de permutaes

Denotamos

grupo simtrico. Um caso particular de permutao so as permutaes circulares ou r -ciclos, onde r {2, 3, . . . , n},
chamados de O grupo de permutaes se chama tambm o quando existe

Sn

permutaes.
(i1 , i2 , . . . , ir )

o conjunto das bijees de

{1, 2, . . . , n}

em ele mesmo; os seus elementos so tambm

inteiros distintos em

{1, 2, . . . , n}

tais que:

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

todos demais inteiros sendo invariantes. Denotamos chamado de

transposio.

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

ou

(i1 i2 . . . ir ).

Um

2-ciclo

Exerccio 1.4.7 Descreve os grupos

S1 , S2 , S3 .

Exerccio 1.4.8 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 1.4.9 (

Decomposio em ciclos)
r-ciclo
de ordem

1) Demonstre que um 2) Chamamos

r.
Mostre que dois ciclos

suporte de um r-ciclo c o conjunto dos inteiros {i1 , i2 , . . . , ir }.

com suportes disjuntos comutam. 3) Demonstre que qualquer permutao se escreve de forma nica como produto de ciclos a suporte disjuntos. 4) Um exemplo, seja

a permutao de

{1, 2, . . . , n}

denida por

(i) = n + 1 i.

Determine sua

composio em ciclos.

Exerccio 1.4.10 Demonstre que o

que

r-ciclo c = (i1 i2 . . . ir ) composto de r 1 transposies.

Deduza

Sn

gerado pelas transposies.

As transposies geram

Sn

mas no a nica possibilidade.

Exerccio 1.4.11 Mostre que

Sn

gerado por cada um dos seguintes conjuntos:

as transposies as transposies o ciclo

(1, i) (i, i + 1)
e a transposio

(1, 2 . . . , n)

(1, 2)

Exerccio 1.4.12 (
1) Mostre que:

Assinatura)
(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 )

2) Denimos a funo

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

( ) = (1)nk .1

onde

o nmero de ciclos (a suportes disjuntos) acrescentado do nmero de pontos xos de

Mostre que

um morsmo.

3) 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? 4) Chamamos de 2 de

grupo alternado o ncleo da assinatura; assim um subgrupo distinguido de ndice

An .
Mostre que gerado pelos 3-ciclos (por

Sn .

Denotamos-lo

n > 2).

5) Demonstre que

An

tambm gerado pelos 3-ciclos do tipo

(1, 2, i).

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) g.x

vericando :

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

k
se chama nmero de rbitas de

Esse nmero

o nmero de rbitas da ao de

< >

sobre

{1, . . . , n }

(ver

captulo seguinte).

Exerccio 2.1.1 Mostre que essa noo equivalente a dar-se um homomorsmo

: G SX , onde

SX

grupo simtrico de

(i.e.

SX = { f : X X ;

f bijeo}).

A noo de ao de grupo a geometrizao da noo de grupo. De fato todo grupo age pelo menos em ele-mesmo.

Exerccio 2.1.2 (

Teorema de Cayley)
Sn ). G em si mesmo pela translao a esquerda : g.a = ga e use o exerccio acima.

Demonstre que todo grupo nito isomorfo a um grupo de permutaes (i.e. um subgrupo de Dica: considere a ao de Algumas denies: 1. Se

x X,

rbita de x, denotada Gx denida por:

Gx = {y X : g G, y = g.x}

2. Se

x X,

estabilizador de x, que denotaremos Gx denido por:

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

3. O

ncleo

da ao o conjunto dos elementos de

Obviamente o ncleo de isomorfo a um subgrupo

. Uma ao dita de Sn (cf. ex. 2.1.1)).

el quando o ncleo trivial (nesse caso,

tais que para todos

de

X , g.x = x. G

Exerccio 2.1.3
1) Mostre que o estabilizador

for nito, ento

Gx de um |Gx| = [G : Gx ].

elemento

de

sempre um subgrupo de

G.

Prove que se

2) Como descrever o ncleo de uma ao por meio dos estabilizadores? 3) Mostre que se a ao no el, podemos contudo denir uma ao el de ao.

G/ ker

o ncleo da

Exerccio 2.1.4 Descreva os estabilizadores e as rbitas da ao de

interno. Os primeiros so os

centralizadores e as segundas as classes de conjugao.

G = GL(n, K)
em

G em si mesmo por automorsmo X = Mn (K)

dada por:

Exerccio 2.1.5 Mesmas questes pela ao de

P.M = P M P 1
Exerccio 2.1.6 (
Suponhamos

Formula das classes)

dos elementos de

nito. Considere o o conjunto

tais que toda rbita encontra

num nico ponto. (Diz-se que

uma transversal.) Demonstre:

|X | =
x

|G| |Gx |

Os dois seguintes exerccios so aplicaes importantes da formula das classes.

Exerccio 2.1.7 (
Prove que se de ordem

Teorema de Cauchy)

em

G um grupo nito de cardinal n e se p um fator primo de n, ento existe um elemento G. Por isso, introduza o subconjunto E = {(x1 , x2 , . . . , xp ) : x1 x2 . . . , xp = 1}

e passe as seguinte etapas:

1) Mostre que

Z/pZ

age naturalmente em

E,

e que cada rbita tem 1 ou

elementos. Caraterize as

rbitas de um elemento. 2) Calcule o cardinal de Um grupo nito um

e deduza o resultado usando a formula das classes. primo) quando o seu cardinal uma potncia de

p-grupo (p G

p.

Exerccio 2.1.8 Seja

1) Se

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

x Z (G)

(o centro de

G,

ver (1) no cap.3.), qual a rbita de

x?

2) Mostre que:

|G| = |Z (G)| +
x
onde

|G| |Gx |

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

3) Deduza que todos grupos de cardinal

pn ,

onde

primo, tm um centro no trivial (i.e.

= {e}).

Como o centro um subgrupo normal, deduzimos que um

p-grupo

no abeliano nunca simples.

Exerccio 2.1.9 (
Seja

Formula de Burnside)
g
(i.e. os

um grupo nito agindo num conjunto nito

o conjunto dos pontos xos de

tais que

X . Denotamos N g.x = x). Mostre: | Fix(g )|

o nmero de rbitas, e

Fix(g )

N=
Dica: enumere o conjunto das duplas

1 |G|

g G

(g, x)

onde

g.x = x

de dois maneiras distintas.

Exerccio 2.1.10 Um exemplo de aplicao. uma roda de loteria dividida em

colorido por uma cor escolhida dentro de

setores; cada um

cores distintas.

Qual o nmero de roda de loterias

possveis (no distinguimos coloraes que se deduzem uma da outra por rotao da roda)?

2.2 Os teoremas de Sylow

Por

nito,

|G| = pk m

com

primo e

p m;

um

p-Sylow p

um subgrupo de

de ordem

pk .

Exerccio 2.2.1 Seja

1) Chamamos

um grupo de ordem

pk m

onde

primo e

mdc(p, m) = 1.
Assim,

o conjunto dos subconjuntos de

tendo

translao a esquerda (g.X

= gX ).

Calcule o cardinal

pk elementos. de e demonstre

age em

por

que existe ao menos uma

rbita cujo cardinal no divisvel por 2) Seja

p.

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 cujo ordem divisvel por p contem um p-Sylow. p-Sylow de G, e H um p-grupo 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.
um

3) Trocamos de ao. Seja

4) Deduza que se um grupo admite somente um se

contem um

p-Sylow

normal, ele o de

p-Sylow, esse ltimo normal em G, e reciprocamente nico p-Sylow de G. S

nos

5) Seja

Np

o nmero de

p-Sylow

G,

use a ao por conjugao de

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 2. Procure os

p-Sylow
de

de

Z/nZ,
e de

de

Z/6Z Z/12Z,

e de

D2n (p = 2

ou

divisor de

n).

2-Sylow

S4

S5 .

Exerccio 2.3.2 Usando o terceiro teorema de Sylow, demonstre que no existe grupo simples tendo
30, 42 ou 105 elementos.

Exerccio 2.3.3 (
determinar que

Estudo do grupo

A5 )

Esse grupo constitudo das permutaes pares de 5 elementos. Enumere os diagrames de Young para

A5

contem (alm da identidade):

15 elementos de ordem 2 (as duplas transposies) 20 elementos de ordem 3 (os 3-ciclos) 24 elementos de ordem 5 (os 5-ciclos)

1) Demonstre que os 3-ciclos formem uma classe de conjugao em transposies. 2) Demonstre que se

A5 .

Estude igualmente as duplas

A5

contem um elemento de ordem

5,

ento ele os contem todos. (Dica:

segundo teorema de Sylow). 3) Usando que um subgrupo normal reunio de classes de conjugaes, demonstre que O seguinte exerccio mostre que o grupo alternado simples por facilmente: por

A5

simples.

n > 5.

Os casos

n = 2,

o grupo alternado trivial;

n = 3,

o grupo alternado de ordem

n = 2, 3, 4 se tratam 3, ele simples;

n = 4,

o grupo alternado contem um subgrupo normal, o grupo das duplas transposies.

Exerccio 2.3.4 (
Suponhamos 1) Se

Simplicidade do grupo alternado (caso geral))

H An .
Seja

n>5

e seja

um elemento de mostre que

H,

diferente da identidade. pertence a

uma permutao qualquer de

An ,

1 1
de

H. 3-ciclo ,
tal que

2) Tomando

tal que

1 1

deixa xo pelo menos

(i) = j , j = i, e usando k distinto n 5 elementos.

i, j, (j ),

construa um

3) A partir do exerccio anterior e das duas questes acimas, verique que e deduza o resultado.

deve conter um

3-ciclo

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

3 Grupo derivado - grupos resolveis

3.1 Centro, grupo derivado
Existem vrias maneiras de medir a no-comutatividade de um grupo podemos utilizar o

centro de G, conjunto dos elementos de G que comutam com todos demais:

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

G.

Como visto anteriormente,

(1)

Maior ele , mais prximo o

de ser um grupo comutativo.

tambm possvel introduzir o chamado grupo derivado assim denido: denotamos

comutador de x e y.
D(G).

grupo derivado de G o grupo gerado pelos

G
de ser um grupo comutativo.

[x, y ] = xyx1 y 1 , comutadores denotado G

ou

Menor ele , mais prximo

Exerccio 3.1.1 Mostre que

Z (G)

e que

G/Z (G) = Int(G)

Exerccio 3.1.2 Mostre que

D(G)

estvel por todos os automorsmos de

G. Dizemos que um subgrupo caracterstico G. D(G) caracterstico em G? G = Dn

e

em

se ele

Exerccio 3.1.3 Determine Exerccio 3.1.4 Dene

G/Z (G)

por

G = Sn . Z2
de

Z1 = Z (G).

Mostre que podemos denir um subgrupo

por:

Z2 /Z1 = Z (G/Z1 )
e que o grupo normal, e mesmo caracterstico em caso de um grupo diedral. Verique que

G.

Como iterar essa construo? Exemplique no

Z2

pode ser denido por:

a Z2 b G, [a, b] Z1
Exerccio 3.1.5
1) Mostre que 2) Seja

Gab := G/ D(G)
mostre que

abeliano, o

abelianizado de G.
H D(G).

G,

G/H

comutativo sse ento

3) Mostre que se

D(G) H G

G. G
se fatora pelo abelianizado.

4) Demonstre que todo morsmo

de

num grupo comutativo

3.2 Sries subnormais e de composio Uma srie subnormal (ou normal) de G uma sequencia crescente nita de estritas incluses de
subgrupos

(Hi )i : {e } = H 0 H1 H2 Hn = G

Hi normal em Hi+1 (e no necessariamente em G). Um ranamento de uma srie subnormal (Hi )i uma srie (Ki )i da qual a sequencia (Hi )i uma subsequencia. O comprimento maximo de a uma srie subnormal uma medida de quanto G distante de ser simples.
tal que Uma

srie de composio (ou srie de Jordan-Hlder) uma srie subnormal

{e} = H0 H1 Hn = G

onde todos os

fatores Hi+1 /Hi so simples.

G {e}.

a Se G

simples, a nica srie subnormal

Exerccio 3.2.1 Mostre que podemos sempre ranar uma srie subnormal numa srie de composio. Exerccio 3.2.2 Descreve as sries subnormais de Exerccio 3.2.3 Seja
1) Demonstre que se conjugado de internos de

Sn .

um

p-grupo

de ordem

pn . G
em ento, ou

um subgrupo prprio de

normal em

G,

ou existe um

includo no normalizador de

G.

Dica: utilize a ao por automorsmos

em seus conjugados.

2) Deduza que todo subgrupo maximal de 3) Demonstre que

normal em

G pi

de ndice

p.
Dica: raciocina por

admite subgrupos normais de ordem

por cada

1 i n.

recurso usando o centro. 4) Deduza que cada subgrupo com

de

inicia uma srie subnormal

H = H0

H1

Hn = G

[Hi : Hi+1 ] = p.

Exerccio 3.2.4 (

Lema da borboleta)
G, H1 H2
e

Sejam duas pares de subgrupos de

K1
e

K2 .

Demonstre que:

H1 (H2 K1 )

H1 (H2 K2 )

K1 (K2 H1 )

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

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

Exerccio 3.2.5 (

Teoremas de Schreier e de Jordan-Hlder)

1) Utilize o lema da borboleta para demonstrar que duas sries normais 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. 2) 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.

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.

Exerccio 3.3.3 Demonstre que um grupo

isso uma srie subnormal

G nito solvel se e s se ele contem uma srie H1 Hn = G G:

cclica,

{e} = H0
com os fatores

Hi+1 /Hi

cclicos. Mostre que podemos requerer que os fatores tenham ordem primo.

Exerccio 3.3.4 Denotamos

G(i)

a sequencia dos grupos derivados sucessivos de

G(0) = G,
a

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

srie derivada de G.
G
resolvel se e s se existe

1) Mostre que a sequencia decrescente e que

tal que

G(n) = {e}.

2) Verique que subgrupos e grupos quocientes de grupos solveis so solveis. 3) Prove a reciproca: seja

G,

ento

solvel se e s se

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.

10