Universidade Federal de Minas Gerais

Instituto de Ciencias Exatas

Departamento de Matematica

Grupos soluveis e nilpotentes

Danilo Sancao da Silveira

9 de novembro de 2010

0.1

Grupos sol
uveis

Definic
ao 0.1. Um grupo G diz-se sol
uvel se contem uma cadeia de subgrupos:
{1} = G0 G1 Gn = G
tal que cada subgrupo Gi1 e normal em Gi e o grupo quociente Gi /Gi1 ,
1 i n, e abeliano.
Uma cadeia de subgrupos de G com esta propriedade chama-se uma serie
subnormal abeliana de G e os quocientes respectivos chamam-se fatores da
serie.
O conceito de grupo sol
uvel e um dos mais antigos na teoria de grupos.
Originou com E. Galois em meados de 1830 quando estudava o problema
de resolver equacoes algebricas mediante radicais. Ele associava um grupo
a cada equacao e mostrou que a equacao e resol
uvel mediante radicais se,
e somente se, o grupo correspondente e soluvel. A seguir, enuciamos tal
resultado, e para o leitor interessado indicamos como referencia [6].
Teorema 0.1 (Criterio de Galois). Seja F um corpo de caracterstica zero e
f (x) F [x]. Entao f (x) = 0 e sol
uvel por radicais se, e somente se, o grupo
de Galois de f (x) e sol
uvel.
Outro resultado que destaca a importancia dos grupos so
uveis foi apre` saber:
sentado em 1937 por P. Hall. A
Teorema 0.2 (Generalizacao do teorema de Sylow). Seja G um grupo finito
e sol
uvel. Se |G| = mn com (m, n) = 1, entao
i) G contem um subgrupo de ordem m;

2
ii) Cada dois subgrupos de G de ordem m sao conjugados;
iii) Cada subgrupo de G de ordem k, onde k|m, esta contido em um subgrupo
de ordem m.
Exemplo 0.1. Todo grupo abeliano G e sol
uvel.
De fato, a cadeia {1} G e uma serie subnormal abeliana.
Exemplo 0.2. S3 e S4 sao sol
uveis.
De fato, sabemos que |S3 | = 3.2 e que = (123) e um elemento de S3 de
ordem 3, logo [S3 : hi] = 2 hi / S3 . Portanto {1} hi S3 e uma
serie subnormal abeliana. Para finalizar, observe que a cadeia {1} N
A4 S4 , onde N = {1, (12)(34), (13)(24), (14)(23)}, e uma serie subnormal
abeliana.
Exemplo 0.3. Todo grupo de ordem 12 e sol
uvel.
Pelo teorema de Sylow por um lado temos n2 |3 e n2 1(mod2). Por
outro, n3 |4 e n3 1(mod3). Portando n2 = 1 ou 3 e n3 = 1 ou 4. Dividiremos
em dois casos:
Caso 1: Se n3 = 1 entao existe um 3-subgrupo normal N de G que e
abeliano e [G : N ] = 22 . Logo h1i N G e uma serie subnormal abeliana
de G.
Caso 2: Se n3 = 4 entao G possui 4.(3 1) = 8 elementos de ordem
tres, logo n2 = 1 que o 2-subgrupo (digamos H) e normal em G. Como
|H| = 22 e [G : H] = 3 a cadeia h1i H G e subnormal abeliana.
Exemplo 0.4. Todo grupo de ordem pq e sol
uvel, onde p e q sao primos.

3
De fato, se p = q entao |G| = p2 G e abeliano e portanto G e sol
uvel.
Se p 6= q podemos supor, sem perda de generalidade que p > q. Pelo teorema
de Cauchy, existe g G de ordem p e portando [G : hgi] = q. Como q e o
menor primo que divide |G|, isso implica que hgi / G. Logo h1i hgi G e
uma cadeia subnormal abeliana de G.
Observe nos exemplos acima, exceto S4 , que a ordem dos grupos sol
uveis
sao produtos de potencias de dois n
umeros primos. Burnside investigou se
havia alguma relacao entre a ordem de um grupo e sua solubilidade e chegou
(dentre muitos outros) ao seguinte resultado.
Teorema 0.3 (Burnside -1904). Sejam G um grupo finito, e p, q n
umeros
primos. Se |G| = pa q b entao G e sol
uvel.
Burnside provou este teorema usando a aritmetica dos grupos caracteres
e pode ser encontrado em [2].
A seguir, enunciamos outros resultados importantes a respeito desta classe
de grupos.
Teorema 0.4 (Feit-Thompson-1963). Se |G| for mpar entao G e sol
uvel.
Este teorema foi conjecturado por Miller-Burnside em 1911 e foram necessarias 255 paginas para ser demonstrado.
Teorema 0.5 (Thompson-1968). Seja G um grupo finito. Se para todo par
de elementos x, y G, hx, yi for sol
uvel, entao G e sol
uvel.
Este teorema combinado com o anterior, nos diz que se G for nao sol
uvel,
entao G possui um elemento de ordem 2.

0.2

Comutadores

Dados dois elementos x, y de um grupo G, o comutador de x e y e o

elemento
[x, y] := x1 y 1 xy G.
Dados dois subconjuntos H e K de um grupo G, denotaremos por [H, K]
o subgrupo de G gerado pelo conjunto:
{[h, k]|h H, k K}
Em particular, o grupo G0 = [G, G] chama-se subgrupo comutador ou
subgrupo derivado de G.
Indutivamente, podemos definir agora uma sequencia de subgrupos da
seguinte forma:
G(0) = G
G(1) = G0
..
.
G(n) = (G(n1) )0
O subgrupo G(n) acima chama-se o n-esimo grupo derivado de G e a
sequencia
G = G(0) G(1) G(n)
chama-se a sequencia derivada de G.
Lema 0.1. Seja G um grupo. Entao
1. G0 / G;

5
2. Se N / G, entao o grupo quociente G/N e abeliano se, e somente se,
G0 N.
A seguir daremos uma caracterizacao da solubilidade em termos da serie
derivada.
Proposic
ao 0.1. Seja G um grupo finito. Entao G e sol
uvel se, e somente
se, existe n N tal que G(n) = 1.
Demonstracao. Primeiramente, suponhamos que existe n N tal que G(n) =
1. Entao pelo Lema (0.1) a cadeia de subgrupos
G = G(0) G(1) G(n) = h1i
e uma serie subnormal abeliana para G. Reciprocamente, assuma que G
possui uma serie subnormal abeliana, digamos
G = G0 G1 G2 Gn = h1i
Como Gi1 /Gi e abeliano para todo 1 i n, segue do Lema (0.1) juntamente com um argumento de inducao em i que G(i) Gi para todo i. De
fato, para i = 1 temos que
G0
G
=
G1
G1
e abeliano, logo pelo Lema (0.1), G0 = G(1) G1 . Agora suponhamos valido
para i = k, isto e, G(k) Gk . Consequentemente, G(k+1) (Gk )0 . Agora,
Gk
abeliano (Gk )0 Gk+1
Gk+1
portanto G(k+1) (Gk )0 Gk+1 . Isso conclui a prova, pois G(n) Gn =
h1i G(n) = h1i .

6
Proposic
ao 0.2.

1. Imagem homomorfica de grupo sol

uvel e sol
uvel.

2. Subgrupos e grupos quocientes de grupos sol

uveis sao sol
uveis.
Demonstracao. 1) Sejam G, K grupos e : G K um epimorfismo. Queremos mostrar que, se G for sol
uvel entao K tambem o e. Existe n N tal
que G(n) = {1}. Vamos mostrar por inducao em i que K (n) = {1}. Para isso
note que (G(0) ) = ((G)) = K = K (0) . Agora suponha que (G(i) ) = K (i) .
Com isso, temos que
(G(i+1) ) = ((G(i) )0 ) = [(G(i) )]0 = (K (i) )0 = K (i+1)
(nas equacoes acima, usei a hipotese de inducao e o fato que ([x, y]) =
[(x), (y)]) e portanto {1} = (1) = (G(n) ) = K (n) . Pela Proposicao (0.1)
segue que K e sol
uvel.
2) Para mostrar a segunda parte do intem 2) suponha que N e um subgrupo normal de um grupo sol
uvel G. A projecao canonica de G em G/N e
um epimorfismo, logo pelo item 1) o grupo quociente G/N e sol
uvel.
Por fim, seja H um subgrupo de um grupo sol
uvel G. Existe uma serie
subnormal abeliana de G, digamos,
{1} = G0 G1 Gn = G.
Definindo a cadeia
H0 := (G0 H) H1 := (G1 H) Hn := (Gn H) = H
vemos que ela e uma serie subnormal abeliana de H. De fato, nao e difcil
ver que
H0 / H1 / / Hn = H

7
e para ver que Hi /Hi1 e abeliano, para 0 i n defina a aplicacao
:

Hi
Gi

dada por xHi1 7 xGi1 , x Hi .

Hi1
Gi1

A aplicacao acima esta bem definida e e um monomorfismo, logo Hi /Hi1 e

isomorfo a um subgrupo de Gi /Gi1 . Isso mostra que H e sol
uvel.
Exemplo 0.5. Se n > 5 entao Sn nao e sol
uvel.
De fato, se Sn fosse sol
uvel entao An tambem o seria, mas sabemos que
An e simples (para n 6= 4) e A0n / An A0n = An pois, An e nao abeliano.
(k)

Consequentemente, An = An para todo k N o que pela Proposicao (0.1)

e uma contradicao.
Vale tambem a recproca do item 2) da Proposicao (0.2).
Proposic
ao 0.3. Seja G um grupo e N / G. Se N e G/N forem sol
uveis
entao G sera sol
uvel.
Demonstracao. Seja : G G/N a projecao canonica. Se G/N for sol
uvel
entao existe n N tal que (G/N )(n) = 1.N . Como vimos acima,
(G(n) ) = (G/N )(n) = 1.N G(n) < Ker = N.
Por hipotese, N e sol
uvel, logo pela proposicao acima G(n) e soluvel e portanto
existe k N tal que
((G)(n) )(k) = (G)(n+k) = {1}.
Isso mostra que G e sol
uvel
Exemplo 0.6. Todo p-grupo G finito e sol
uvel.

8
Podemos supor que |G| = pn e G e nao abeliano. Mostraremos por
inducao em n que G e sol
uvel. Se n = 1 entao G e cclico, logo sol
uvel.
Agora suponha que todo p-grupo cuja ordem e menor que pn seja sol
uvel.
Sabemos que Z(G) e um subgrupo normal nao trivial de G, logo Z(G) e
G/Z(G) sao p-grupos cuja ordens sao menores que pn . Pela nossa hipotese
de inducao e pela Proposicao (0.3), segue que G e sol
uvel.
Proposic
ao 0.4. Seja G um grupo finito e sol
uvel. Entao G contem uma
serie subnormal abeliana cujos fatores sao cclicos.
Demonstracao. A prova se dara por inducao na ordem de G. Se |G| = 1 nada
temos a fazer. Agora suponha que |G| = n > 1 e o resultado seja valido para
todos os grupos de ordem menor que n. Se n for primo entao {1} G e tal
serie. Se n nao for primo entao existe pelo menos um subgrupo normal N
nao trivial de G. Como |N | e |G/N | e menor que n, segue da hipotese de
inducao que N e G/N possuem uma serie subnormal abeliana cujos fatores
sao cclicos de ordem prima. Sejam elas
{1} = H0 / H1 / Hm / = H
{1} = G0 / G1 / Gn = G
onde denotamos G = G/H. Pelo teorema da correspondencia, existem subgrupos Gi de G contendo H e tais que
Gi
= Gi e Gi1 / Gi , 0 i n
H
Como

Gi
Gi1

Gi /H
Gi1 /H

'

Gi
,
Gi1

segue que

{1} = H0 / H1 / / Hm = H = G0 / G1 / / Gn = G
e uma serie subnormal abeliana para G, com fatores cclicos.

0.3

Grupos Nilpotentes

Estudaremos uma classe de grupos que, de certa forma, esta entre a

classe dos grupos abelianos e a classe do grupos sol
uveis e mostraremos que
e possvel obter resultados fortes sobre a sua estrutura.
Definic
ao 0.2. Um grupo G diz-se nilpotente se ele contem uma serie de
subgrupos {1} = G0 G1 Gn = G tal que cada subgrupo Gi1
e normal em G e cada grupo quociente Gi /Gi1 esta contido no centro de
G/Gi1 , 1 i n. Uma tal serie de subgrupos de G diz-se uma serie
central de G.
Note que a definicao de nilpotencia e estremamente mais restritiva em
relacao a de solubilidade, logo temos as seguintes inclusoes: grupos cclicos
grupos abelianos grupos nilpotentes grupos sol
uveis todos os grupos.
Observac
ao: As inclusoes acima sao estritas. De fato, vimos que S3 e
sol
uvel, mas nao e nilpotente. Se S3 fosse nilpotente, entao existiria uma
serie central
{1} = G0 G1 Gn = S3
tal que cada Gi / S3 e Gi /Gi1 Z(G/Gi1 ), 0 i 6. Entretanto sabemos
que Z(S3 ) = {1}, logo
G1
G1
=
= G1 Z
G0
{1}

S3
G0


=Z

S3
{1}


= {1} G1 = {1}

De forma analoga, chegamos que Gn = S3 = {1}, o que e uma contradicao.

Vamos dar agora duas caracterizacoes alternativas da nilpotencia. Como
no estudo da solubilidade, exploraremos as conexoes entre a nilpotencia e

10
certo tipo de comutador. Para isso, definimos uma nova serie de subgrupos,
indutivamente:
1 (G) = G, 2 (G) = [G, G], i (G) = [i1 (G), G].
Precisaremos ainda de uma outra serie, que definimos tambem indutivamente, nos apoiando no conceito do centro de um grupo. Denotamos 0 (G) =
{1}, 1 (G) = Z(G) e definimos i (G) como sendo o u
nico subgrupo de G tal


que i (G)/i1 (G) = Z i1G(G) . O subgrupo i (G) chama-se i-esimo centro
de G.
Exemplo 0.7. Seja D4 o grupo de simetrias do quadadrado. Sabemos que
Z(D4 ) = D40 tem ordem dois. Com isso, temos 3 (D4 ) = [D40 , D4 ] = [Z(D4 ), D4 ] =
{1} e 2 (D4 )/Z(D4 ) = Z(D4 /Z(D4 )) = D4 /Z(D4 ) e portanto 2 (D4 ) = D4 .
Definic
ao 0.3. As sequencias de subgrupos
{1} = 0 (G) 1 (G) n (G)
G = 1 (G) 2 (G) n (G)
chamam-se a serie central superior e a serie central1 inferior de G, respectivamente.
Lema 0.2. Seja G um grupo. Se K / G e K < H < G, entao [H, G] < K
se, e somente se, H/K < Z(G/K).
Demonstracao. Sejam h H, g G. Entao hKgK = gKhK [h, g]K =
K [h, g] K.
1

O Lema (0.2) garante que esta cadeia e de fato uma serie central.

11
Lema 0.3. Seja {1} = A0 A1 An uma serie central de G.
Entao Ai i (G) para todo i.
Demonstracao. A prova se dara por inducao em i. Trivialmente, a hipotese
de inducao e satisfeita para i = 1. Agora vamos mostrar que Ai+1 i+1 (G).
Sejam x Ai+1 , g G. Segue-se que [x, g] Ai i pela nossa hipotese de
inducao, mas pela definicao de i+1 temos que Ai+1 i+1 .
Lema 0.4. Seja {1} = A0 A1 An = G uma serie central de um
grupo nilpotente G. Entao i (G) Ani+1 para todo i.
Demonstracao. Novamente, a prova se dara por inducao em i. Trivialmente,
a hipotese de inducao e satisfeita para i = 1. Agora vamos mostrar que i+1
Ani . Como

Ani+1
Ani

Z(G/Ani ) segue pelo Lema (0.2) que [Ani+1 , G]

Ani . Logo
i+1 (G) = [i (G), G] = i (G) Ani+1 = [Ani+1 , G] Ani .
A primeira inclusao acima e fornecida pela nossa hipotese de inducao.
Destes dois lemas, segue-se trivialmente o seguinte resultado.
Teorema 0.6. Seja G um grupo finito. Sao equivalentes:
(i) G e nilpotente.
(ii) Existe um inteiro positivo m tal que m (G) = G.
(iii) Existe um inteiro positivo n tal que n (G) = {1}
Tambem resulta dos dois lemas acima, que se G for nilpotente, entao as
series centrais superior e inferior tem o mesmo comprimento. Este n
umero
chama-se a classe de nilpotencia de G que sera denotada por cl(G).

12
Proposic
ao 0.5. Seja G um grupo nilpotente de classe c.
(i) Se H < G, entao H e nilpotente de classe 6 c.
(ii) Se H / G, entao G/H e nilpotente de classe 6 c.
Lembramos que para grupos sol
uveis, existe um resultado analogo (Proposicao 0.3) desta proposicao e que vale a recproca. Ressaltamos que o
mesmo nao ocorre aqui. Um exemplo trivial deste fato e o S3 .
Demonstracao. (Proposicao 0.5) (i) Segue por inducao que i (H) i (G)
para todo i, logo c+1 (G) = 1 c+1 (H) = 1. (ii) Seja f : G L um
epimorfismo de grupos. Segue por inducao que i (L) f (i (G)) para todo
i. Alem disso, c+1 (G) = 1, logo c+1 (H) = 1. Com isso, o resultado segue
tomando f , onde e a projecao canonica de G em G/H.
Proposic
ao 0.6. Seja H 6= {1} um subgrupo normal de um grupo nilpotente
G. Entao H Z(G) 6= {1}.
Demonstracao. Pelo Teorema (0.6) existe n N tal que G = n (G), logo
existe i N tal que H i (G) 6= {1} e H i1 (G) = {1}. Entao [H
i (G), G] H i1 (G) = {1} H i (G) H Z(G).
Corol
ario 0.1. Seja G um grupo nilpotente. Se H for subgrupo normal
minimal de G estao H Z(G).
Demonstracao. Pela Proposicao (0.6) temos que H Z(G) 6= {1}. Alem
disso, H Z(G) / G e H e minimal. Logo H Z(G) = H e portanto
H Z(G).
Proposic
ao 0.7. Todo p-grupo finito e nilpotente.

13
Demonstracao. Se i (G)  G para todo i, entao Z(G/i (G)) 6= {1}
i (G)  i+1 (G), um absurdo pois G e finito.
Proposic
ao 0.8. Produto direto de dois grupos nilpotente e nilpotente.
Demonstracao. Por inducao temos que i (H K) 6 i (H)i (K) para todo
i. Escolha M = max{c, d} onde c = cl(H) e d = cl(K), entao M (H K) =
M (H) M (K) = {1} {1}
Lema 0.5. Se H for um subgrupo proprio de um grupo nilpotente G, entao
H e um subgrupo proprio de seu normalizador NG (H).
Demonstracao. Seja n N o maior inteiro tal que n (G) 6 H. Escolha
a n+1 (G) com a
/ H. Como n+1 (G)/n (G) = Z(G/n (G)) segue que
para todo h H
n (G)ah = (n (G)a)(n (G)h) = (n (G)h)(n (G)a) = n (G)ha
portanto ah = xha onde x n (G)  H e entao aha1 = xh H a
NG (H).
Teorema 0.7. Um grupo finito e nilpotente se, e somente se, ele for o produto direto de seus subgrupos de Sylow.
Demonstracao. () Imediato pelas Proposicoes (0.7) e (0.8). () Seja P um
p-subgrupo de Sylow de G para algum primo p. Se P = G nada temos a fazer.
Se P  NG (P ) entao pelo Lema (0.5) P  NG (P ). Alem disso, sabemos que
NG (NG (P )) = NG (P ) logo NG (P ) = G N / G e consequentemente P e o
u
nico p-subgrupo de Sylow. Suponhamos que |G| = pn1 1 pnk k (pi sao primos
distintos e ni > 0 para todo i) e sejam P1 , , Pk os pi -subgrupos (proprios e

14
normais) de Sylow de G correspondentes. Como |Pi | = pni i Pi Pj = {1}
para i 6= j, logo xy = yx para todo x Pi e y Pj . Temos tambem que
P := P1 Pi1 Pi+1 Pk < G e que a ordem de todo elemento de P
divide p1 pi1 pi+1 pk . Consequentemente Pi P = {1} e P1 Pk =
P1 Pk . Como |G| = pn1 1 pnk k = |P1 Pk | = |P1 Pk | conclumos
que G = P1 Pk = P1 Pk .
Corol
ario 0.2. (Recproca do teorema de Lagrange para grupos nilpotentes)
Se G for um grupo nilpotente e m divide |G|, entao G possui um subgrupo
de ordem m.
Demonstracao. Suponhamos que |G| = pn1 1 pnk k (pi sao primos distintos e
mk
1
ni > 0 para todo i). Como m divide a ordem de G, segue que m = pm
1 pk

com 0 6 mi 6 ni . Pelo teorema de Sylow, existem Hi < G cuja ordem e

i
para todo i. Logo H = H1 Hk e tal subgrupo.
exatamente pm
i

15

Refer
encias Bibliogr
aficas
[1] Cesar P. Milies & Sudarshan K. Sehgal An introduction to group rings,
Kluwer Academic Publishers,2002.
[2] David S. Dummit & Richard M. Foote, Abstract Algebra, John Wiley
Sons, Inc., 2004.
[3] Dereck J.S. Robinson, A Course in the Theory of Groups, SpringerVerlag New York, Inc., 1996, TM 80.
[4] Joseph J. Rotman, An introduction to the theory of groups, SpringerVerlag New York, Inc., 1995.
[5] Ronald Solomon, A brief history of the classification of the finite simple
groups, Bulletin of the American Mathematical Society, Vol 38, Number
3, March 2001.
[6] Thomas W. Hungerford, Algebra: An Introduction, Thomson Brooks/Cole, 1996.
[7]

, Algebra, Springer-Verlag New York, Inc., 1974, TM 73.