Universidade Federal da Paraba

Centro de Cincias Exatas e da Natureza

Programa de Ps-Graduao em Matemtica
Curso de Mestrado em Matemtica

Extenses de Homomorfismos de
Subgrupos a Endomorfismos
do Grupo
por
Bruno Formiga Guimares
sob orientao do
Prof. Dr. Antnio de Andrade e Silva

Dissertao apresentada ao Corpo Docente do Programa de Ps-Graduao

em Matemtica - CCEN - UFPB, como
requisito parcial para obteno do ttulo de Mestre em Matemtica.

Fevereiro/2010
Joo Pessoa - PB

Universidade Federal da Paraba

Centro de Cincias Exatas e da Natureza
Programa de Ps-Graduao em Matemtica
Curso de Mestrado em Matemtica

Extenses de Homomorfismos de
Subgrupos a Endomorfismos
do Grupo
por
Bruno Formiga Guimares
Dissertao apresentada ao Corpo Docente do Programa de Ps-Graduao em Matemtica CCEN-UFPB, como requisito parcial para obteno do ttulo de Mestre em Matemtica.
rea de Concentrao: lgebra
Aprovada por:

Prof. Dr. Antnio de Andrade e Silva - UFPB (Orientador)

Prof. Dr. Orlando Stanley Juriaans - IME-USP

Prof. Dr. Jos Gomes de Assis - UFPB

Prof. Dr. Fernando Antnio Xavier de Sousa - UFPB (Suplente)

Fevereiro/2010
ii

Agradecimentos
- A Deus, acima de tudo, pois sem Ele nada seria possvel.
- Ao Prof. Dr. Antnio de Andrade e Silva, pela pacincia, incentivo, amizade, compreeno e, principalmente, por ter acreditado em mim quando nem eu mesmo acreditava.
- Em especial aos meus pais Guimares e Nevinha e ao meu irmo Arthur que contribuiram
decisivamente para minha formao.
- A todos os colegas do curso de mestrado, pelo incentivo e amizade.
- Em especial aos amigos Robson, Thiago, Roberto, Simeo, Juanice e Anselmo pela grande
amizade.
- A minha namorada Danielle Soares e ao seu filho Lucas pelo incentivo, companheirismo,
carinho e principalmente por ter compreendido toda minha ausncia durante todo esse
perodo.
- Aos ex-professores da Ps-Graduao do Departamento de Matemtica da UFPB, pelo
conhecimento transmitido.
- Ao meu Tio Assis que me acolheu durante todo esse perodo.
- Aos meus amigos de Campina Grande pelo incentivo e apoio que me deram para para
seguir este difcil caminho.
- A CAPES pelo suporte financeiro durante a realizao deste trabalho.
- Por fim agradeo a todas as pessoas que torceram por mim e que de alguma forma me
apoiaram nos meus estudos.

iii

Dedicatria

A minha famlia.
a ela que devo tudo.

iv

Resumo
Bertholf e Walls forneceram uma caracterizao para a classe de grupos quasi-injetivos
finitos. Alm disso, Juriaans, Bastos e Azevedo do uma classificao para os grupos do tipo
injetivo, os quais so uma classe distinta da anterior apesar de serem bastante prximas.
Palavras chave: Grupo quasi-injetivo, injetivo, tipo inetivo, divisvel, abeliano.

Abstract
Bertholf and Walls provided a characterization for the class of groups quasi-injective finite.
Furthermore, Juriaans, Bastos Azevedo and give a rating for the injective type groups, which
are a distinct class of the former despite being quite close.
Key-words: Quasi-injective group, injective, injective type, divisible, abelian.

vi

Notao
G, H, . . . - Grupos
|G| - Ordem do Grupo G
[G : H] - ndice do Subgrupo H no Grupo G
|g| - Ordem do Elemento g de um Grupo
G0 - Subgrupo Comutador
[x, y] - Comutador de x e y
- Produto Direto
o - Produto Semidireto
I - Identidade
Aut (N) - Conjunto dos Automorfismos de N
Inn(G) - Conjunto dos Automorfismos Internos de G
Ker () - Ncleo de
Im() - Imagem de
Z(G) - Centro de G
CG (H) - Centralizador de H em G
NG (H) - Normalizador de H em G
G0 - Subgrupo Comutador de G
d (G) - Subgrupo Divisvel Maximal de G
Fit (G) - Subgrupo Fitting de G
Frat (G) - Subgrupo Fratini de G
car - Caracterstico
H - -subgrupo de Hall
O (G) - -subgrupo Normal Maximal de G
Q8 - Grupo dos Quatrnios de Ordem 8
C - Conjunto dos nmeros complexos
Z - Conjunto dos nmeros inteiros
N - Conjunto dos nmeros naturais
R - Conjunto dos nmeros reais
T (G) - Subgrupo Toro
Z (p ) - Grupo de Prfer
h (g) - Altura Vetorial de g
t (G) - Tipo de G
I - Identidade
' - Isomorfo
< - Subgrupo
C - Subgrupo Normal

vii

hSi - Subgrupo Gerado pelo Subconjunto S de um Grupo

- Para todo
P
- Soma

viii

Sumrio
Introduo

1 Preliminares
1.1 Produto direto de grupos . . .
1.2 Produto semidireto de grupos
1.3 Grupos abelianos . . . . . . .
1.4 Grupos solveis e nilpotentes

1
1
2
5
8

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

2 Grupos injetivos
15
2.1 Grupos divisveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Grupos injetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Subgrupos puros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Grupos quasi-injetivos finitos
26
3.1 Resultados bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.2 Grupos quasi-injetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4 Grupos do tipo injetivo
42
4.1 Resultados bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2 Propriedades dos grupos do tipo injetivo . . . . . . . . . . . . . . . . . . . . . . 44
4.3 O caso abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Referncias Bibliogrficas

52

ix

Introduo
Histrico
A ideia dos grupos injetivos surgiu com os mdulos injetivos, pois qualquer grupo abeliano
um Z-mdulo. Em 1940, Reinhold Baer, caracterizou os grupos injetivos com o seguinte
resultado.
Teorema (Baer) Um grupo G injetivo se, e somente se, ele divisvel.
A partir da definio de grupos injetivos e motivado pelo fato de no existirem grupos
injetivos no triviais de ordem finita, o matemtico Laszl Fuchs criou o conceito de grupos
quasi-injetivos. Um grupo G chamado quasi-injetivo se para qualquer subgrupo H de G e
para qualquer homomorfismo de grupos : H G existir um endomorfismo : G G tal
que
|H = .
Em [3], Bertholf e Walls apresentaram uma caracterizao geral para os grupos quasi-injetivos
finitos.
Teorema (Bertholf-Walls) Um grupo G quasi-injetivo se, e somente se, G = Q8 K, com
K um grupo quasi-injetivo de ordem mpar ou G = K o H tal que:
1. Sylp (K) e Sylp (H) so homocclicos.
2. G0 = K.
3. mdc (|K| , |H|) = 1.
4. Para cada h H, se p um nmero primo, com p| |K|, ento existe um r = r (p, h) Z
tal que kh = kr para todo k Kp .
5. Se K um -subgrupo de Hall de K, para algum conjunto de primos , ento CH (K )
um fator direto de H. Em particular,
Z(G) H = CH (K)
um fator direto de H.
Em, [1, Pgina 25], Alperin props o seguinte exerccio:

Let H a subgroup of a cyclic group G. Show that every automorphism of H is the restriction
to H of an automorphism of G.
Baseado na ideia deste exerccio, em [2], Azevedo, Bastos e Juriaans, criaram o conceito de
grupos do tipo injetivo. Um grupo G chamado do tipo injetivo se para qualquer subgrupo H
de G e qualquer automorfismo , existir um automorfismo tal que
|H = .
Alm disso, eles caracterizaram todos os grupo abelianos do tipo injetivo no seguinte teorema:
Teorema Sejam G um grupo abeliano e T (G) seu subgrupo toro. Ento G do tipo injetivo
se, e somente se, satisfeita uma das seguintes condies:
1. G um grupo divisvel.
2. G um grupo de toro e cada uma de suas componentes primrias divisvel ou homocclica.
3. T (G) divisvel e

G
T (G)

livre de toro, abeliano e de posto 1.

A classe dos grupos quasi-injetivos e a classe dos grupos do tipo injetivo so distintas, apesar
de serem muito prximas.

Descrio do Trabalho
Esta dissertao constituda de quatro captulos.
No Captulo 1, apresentamos algumas definies e resultados clssicos sobre a teoria de
grupos necessrios para o desenvolvimento do trabalho.
No Captulo 2, apresentamos os principais resultados e propriedades dos grupos divisveis e
dos grupos injetivos, alm de demonstrar o resultado de Baer.
No Captulo 3, destacamos o conceito de grupos quasi-injetivo. Alm disso, destacamos
algumas de suas propriedades e, ainda, resultados que nos levam caracterizao de Bertholf
e Walls.
Finalmente, no Captulo 4, apresentamos a definio de grupos do tipo injetivo, com nfase
nos grupos abelianos.

xi

Captulo 1
Preliminares
Neste captulo apresentaremos algumas definies e resultados bsicos da teoria de grupos
que sero necessrios para os captulos subsequentes. O leitor interessado em mais detalhes
pode consultar [7, 10].

1.1

Produto direto de grupos

Sejam H1 , . . . , Hn grupos. Sabemos que o conjunto

G = H1 Hn = {(a1 , . . . , an ) : ai Hi }
munido com a operao binria
(a1 , . . . , an ) (b1 , . . . , bn ) = (a1 b1 , . . . , an bn )
1
um grupo com (e1 , . . . , en ) como elemento identidade e (a1
1 , . . . , an ) como elemento inverso
de (a1 , . . . , an ) em G. Neste caso, G chamado o produto direto (externo) dos Hi . Note que o
produto direto externo sempre existe e que os Hi no so, em geral, subgrupos de G.
Sejam G um grupo e Hi subgrupos de G, para cada i, com i = 1, . . . , n. O grupo G
chamado o produto direto (interno) dos Hi se as seguintes condies so satisfeitas:

1. hi hj = hj hi , para todo hi Hi e hj Hj com i 6= j.

2. Todo g G pode ser escrito de modo nico sob a forma g = h1 hn , com hi Hi ,
i = 1, . . . , n.
Teorema 1.1 Sejam G, G1 , . . . , Gn grupos. Ento o grupo G isomorfo ao gupo G1 Gn
se, e somente se, G possui subgrupos H1 ' G1 , . . . , Hn ' Gn tais que:
1. G = H1 Hn .
2. Hi C G, para todo i, com i = 1, . . . , n.
3. Hi (H1 Hi1 Hi+1 Hn ) = {e}, para todo i, com i = 1, . . . , n.
1

Corolrio 1.2 Sejam G um grupo e Hi subgrupos de G, i = 1, . . . , n. Se G um produto

direto interno dos Hi , ento
G ' H1 Hn .
Exemplo 1.3 Sejam G um grupo finito e H e K subgrupos de G com mdc (|H| , |K|) = 1.
Mostre que se G = H K, ento todo subgrupo L de G da forma
L = (L H) (L K) .
Soluo. Como H e K so subgrupos normais em G imediato verificar que L H e L K
so subgrupos normais de L tais que
(L H) (L K) = {e}.
Logo,
(L H) (L K) L.
Por outro lado, dado g L existem nicos h H e k K tais que g = hk. Como hk = kh
e mdc (|h| , |k|) = 1 temos que |hk| = |h| |k| e hgi = hhki ' hhi hki. Assim, h, k hgi L.
Portanto, h L H e k L K, isto , g (L H) (L K).

1.2

Produto semidireto de grupos

Sejam G um grupo e H e N subgrupos de G. O grupo G chamado o produto semidireto

(interno) de N por H, em smbolos G = N o H, se as seguintes condies so satisfeitas:
1. G = NH.
2. N subgrupo normal em G.
3. N H = {e}.
Exemplo 1.4 Sejam G = S3 , N = A3 e H = h i, com

!
1 2 3
=
.
1 3 2
Ento G = N o H. Como H no um subgrupo normal em G temos que G no o produto
direto de N e H.
Observao 1.5 Seja G = N o H o produto semidireto de N por H.
1. Pelo Segundo Teorema de Isomorfismo, temos que
NH
G
H
'
= .
N H
N
N
e H chamado um complementar de N. Consequentemente, se G finito, ento
H=

|G| = |N| [G : N] = |N| |H| .

2

2. Como G = NH e N um subgrupo normal em G temos que cada g G pode ser escrito

de modo nico sob a forma g = nh, n N e h H.
3. Seja h H fixado. Ento a funo h : N N definida por h (n) = hnh1 um
automorfismo de N. Alm disso, hk = h k , para todos h, k H. Portanto, a
funo : H Aut (N) definida por (h) = h um homomorfismo de grupos. Neste
caso, dizemos que H age sobre N como um grupo de automorfismos e chamado o
homomorfismo por conjugao de N. Como
(n1 h1 ) (n2 h2 ) = n1 ((h1 ) (n2 )) h1 h2 , para alguns n1 , n2 N e h1 , h2 H,
temos que a operao do grupo G pode ser expressa em termos das operaes de N, H e
do homomorfismo .
4. Se (h) = IN , para todo h H, ento h (n) = n, para todo n N. Logo,
hnh1 = n n1 hn = h H,
isto , H um subgrupo normal em G. Portanto,
G = N H.
Reciprocamente, se G = N H, ento os elementos de H comutam com os elementos de
N e, assim, o homomorfismo trivial.
5. Se (h) 6= IN , para algum h H, ento h (n) 6= n, para algum n N. Logo,
hnh1 6= n hn 6= nh.
Portanto, G um grupo no abeliano.
Sejam N e H grupos e um homomorfismo de grupos de H em Aut (N). Definimos uma
operao binria sobre N H do seguinte modo:
(n1 , h1 ) (n2 , h2 ) = (n1 (h1 ) (n2 ) , h1 h2 ) .
Ento fcil verificar que N H com essa operao um grupo com elemento identidade
(e, e) e ((h1 ) (n1 ) , h1 ) o elemento inverso de (n, h). O grupo N H chamado o produto
semidireto (externo) de N por H via e ser denotado por
G = N o H.
Note que
e = {(n, e) : n N} e H
e = {(e, h) : h H}
N
3

e e H ' H.
e A funo : G G definida por (n, h) = (e, h)
so subgrupos de G tais que N ' N
e Ker () = N
e e 2 = . Consequentemente, N
e
um homomorfismo de grupos com Im () = H,
um subgrupo normal em G e pelo Primeiro Teorema de isomorfismo
G
e
' H.
e
N

Como

(n, e) (e, h) = (n(e) (e) , h) = (n, h)

e H.
e Alm disso, N
eH
e = {(e, e)}. Portanto, G o produto semidireto
temos que G = N
e por H.
e Finalmente,
(interno) de N
(e, h) (n, e) (e, h)1 = ((h) (n) , e)

e Aut(N
e ) definida por (e, h) = (e,h) , com
implica que a funo : H
(e,h) (n, e) = ((h)(n), e),

e Portanto, identificando N
e com N e H
e com H, temos
o homomorfismo por conjugao de N.
que o homomorfismo por conjugao de N e G o produto semidireto (interno) de N por
H. Neste caso,
N o H = {nh : n N, h H} ,
com
(n1 h1 ) (n2 h2 ) = n1 (h1 ) (n2 ) h1 h2 e h1 (n2 ) = h1 n2 h1
1 .
Alm disso,
CH (N) = Ker () = CG (N) H e CN (H) = NN (H).
Teorema 1.6 Sejam G um grupo e N um subgrupo normal em G. Ento as seguintes condies
so equivalentes:
1. G um produto semidireto de N por

G
,
N

2. Existe um homomorfismo de grupos :

isto , N tem um complementar em G.

G
N

G tal que

= IG ,
N

com : G

G
N

a projeo cannica e chamada de seo de

G
N

em G.

3. Existe um homomorfismo de grupos : G G tal que Ker () = N e (g) = g, para

todo g Im ().
Proposio 1.7 Sejam G um grupo e H e N subgrupos de G. Ento G um produto semidireto
interno de N por H se, e somente se, existir um homomorfismo de grupos : G G tal que
2 = .
4

Proposio 1.8 Sejam N e H grupos, : H Aut (N) um homomorfismo de grupos e

f Aut (N) fixado. Se fb : Aut (N) Aut (N) definida por fb(g) = f g f 1 , ento
N ofe H ' N o H.

Exemplo 1.9 Sejam N um grupo abeliano qualquer e H = hbi ' Z2 . Se definimos : H

Aut(N) por (b) = b , com b (a) = a1 , para todo a N, ento G = N o H um grupo no
abeliano com
b (a) = bab1 = a1 , a N,
isto , b Z(G). Em particular, se N cclico, ento G ' Dn ou G ' D .

1.3

Grupos abelianos

Nesta seo, salvo meno explcita em contrrio, todos os grupos sero abelianos e escritos
na notao aditiva. Com esta terminologia escrevemos a soma direta dos grupos H e K da
forma
H K = {h + k : h H, k K}.
Teorema 1.10 Sejam A, B grupos e 1 : A A B, 2 : B A B monomorfismos.
Ento o par ordenado (1 , 2 ) possui a seguinte propriedade universal: Dados qualquer grupo
H e qualquer par de homomorfismos de grupos 1 : A H e 2 : B H, existe um nico
homomorfismo de grupos
:AB H
tal que 1 = 1 e 2 = 2 , ou seja, |A = 1 e |B = 2 . Neste caso, Hom(A B, H)
isomorfo a Hom(A, H) Hom(B, H).
De forma mais geral, se
G=

Gi

iI

e qualquer famlia de homomorfismos de grupos, i : Gi H, ento existe um nico homomorfismo de grupos : G H tal que |Gi = i , para todo i I.
Teorema 1.11 Seja Gi ' Hi , para cada i I. Se
X
X
Gi e H =
Hi ,
G=
iI

iI

ento G ' H.

Corolrio 1.12 A soma direta

G=

Gi

iI

satisfaz a seguinte condio: para toda funo : X H, com H um grupo abeliano qualquer
e X = {xi : i I} um conjunto qualquer, existe um nico homomorfismo de grupos : G H
tal que |X = . Em particular, se X um subconjunto de G tal que G = hXi, ento G
chamado grupo abeliano livre e X chamado uma base para G.
5

Consideremos os seguintes exemplos de grupos abelianos: Q, o grupo aditivo dos nmeros

racionais;
Q
G=
Z

o grupo dos nmeros racionais mdulo um; e C , o grupo multiplicativo dos complexos. Nenhum
desses grupos isomorfo a qualquer um dos outros dois. Uma das formas de ver isso examinar
as ordens dos elementos dos grupos. Note que todo elemento de Q, com excesso do neutro,
de ordem infinita e todo elemento de G de ordem finita, pois, se
p
+ Z G,
q
com p e q nmeros inteiros relativamente primos, ento

p
q
+ Z = p + Z = Z.
q
Para no gerar confuso permaneceremos com a notao multiplicativa para C . Afirmamos
que C tem elementos de ordem finita e tambm elementos de ordem infinita. Lembre que a
identidade de C 1. Note que (1)2 = 1 implica que 1 de ordem 2 e 3r = 1 se, e somente
se, r = 0. Logo, 1 de ordem finita e 3 de ordem infinita. Resumindo, temos que
1. todos os elementos de Q, exceto o neutro, so de ordem infinita;
2. todos os elementos de G so de ordem finita;
3. C possui elementos de ordem finita e elementos de ordem infinita.
Com isso fcil ver que os trs grupos no so isomorfos.
Seja G um grupo. Ento fcil verificar que o conjunto
T (G) = {g G : |g| < }
um subgrupo de G, chamado subgrupo de toro de G. Se T (G) = {0}, ento G chamado
um grupo livre de toro. Em particular, o grupo
G
T (G)
livre de toro.
Proposio 1.13 Se um grupo G a soma direta de grupos de toro, ento G um grupo
de toro.
Proposio 1.14 Sejam G um grupo, H um subgrupo de G e T (G) o subgrupo de toro de
G. Ento T (G) H o subgrupo de toro de H.

Um grupo G chama-se um p-grupo, para algum nmero primo p, se a ordem de todo elemento
de G uma potncia de p. Se p um nmero primo que divide a ordem de um elemento g de
G, ento g chamado um p-elemento. O teorema seguinte mostra que um grupo de toro
construdo a partir de p-grupos. Assim, o estudo de grupos de toro se limita ao estudo de
p-grupos.
Teorema 1.15 Sejam G um grupo de toro e
Gp = {g G : |g| = pn , para algum n Z+ },
com p um nmero primo fixado. Se o conjunto de todos os nmeros primos, ento
X
Gp .
G=
p

Os subgrupos Gp so chamados de p-componentes de G.

Sejam G um grupo e X um subconjunto de G. O conjunto X chamado um conjunto
independente se para x1 , . . . , xr elementos distintos de X e n1 , . . . , nr Z, tivermos que
n1 x1 + + nr xr = 0 n1 x1 = = nr xr = 0.

(1.1)

Caso contrrio, X chamado um conjunto dependente. Note que se G livre de toro e X

independente, ento a Equao (1.1) nos diz que n1 = = nr = 0.
Sejam G um grupo livre de toro e X um subconjunto de G. O conjunto X chamado
um conjunto independente maximal se as seguintes condies so satisfeitas:
1. X independente.
2. Se g G e g
/ X, ento X {g} um conjunto dependente.
Teorema 1.16 Seja G um grupo. Ento G possui um conjunto independente maximal.
Suponhamos que G seja um grupo livre de toro e possua um conjunto independente
maximal X que seja finito. Ento o posto de G definido como
# (X) .
Caso contrrio, o grupo G de posto infinito. fcil ver que se G e H so grupos isomorfos,
ento eles tem o mesmo posto.

1.4

Grupos solveis e nilpotentes

Nesta seo, estudaremos grupos que, de alguma forma, esto prximos dos grupos
abelianos. Para isso, comearemos introduzindo alguns conceitos.
Dados dois elementos g e h de um grupo G, o comutador de g e h o elemento
[g, h] = ghg1 h1 G.
Mais geralmente, um comutador de comprimento n 2 define-se indutivamente por
[g1 , . . . , gn ] = [[g1 , . . . , gn1 ] , gn ] .
Dados dois subconjuntos H e K de um grupo G, denotaremos por [H, K] o subgrupo de G
gerado pelo conjunto
X = {[h, k] : h H e k K}.
Em particular, o grupo G0 = [G, G] chama-se subgrupo comutador ou subgrupo derivado de G.
Indutivamente, definiremos agora uma sequncia de subgrupos da seguinte forma:

G(0) = G, G(1) = G(0) , G(0) = G0 , . . . , G(n) = G(n1) , G(n1) , . . . , n Z+ .

O subgrupo G(n) chamado o n-simo grupo derivado de G e a sequncia

G = G(0) G(1) G(n)
chamada a sequncia derivada de G.
Lema 1.17 Sejam g, h e k elementos de um grupo G. Ento
1. [g, h] = e se, e somente se, gh = hg.
2. [g, h]1 = [h, g].

3. [g, h]k = g k , hk .

4. Se : G H um homomorfismo de grupos, ento ([g, h]) = [ (g) , (h)].

Note que o item (1) mostra que um grupo G abeliano se, e somente se, G0 = {e}. Veremos,
a seguir, que o conhecimento de G0 tambm permite saber quando um quociente abeliano.
Lema 1.18 Seja H um subgrupo normal de um grupo G. Ento o grupo quociente
se, e somente se, G0 H.

G
H

abeliano

Observe que o item (3) do Lema 1.17 nos permite deduzir facilmente que G0 um subgrupo
normal em G.
Sejam G um grupo e H um subgrupo de G. Ento H chamado um subgrupo caracterstico
em G se
(H) H, Aut (G) .
8

Proposio 1.19 Seja G um grupo.

1. Qualquer subgrupo caracterstico em G um subgrupo normal.
2. Se K um subgrupo caracterstico em H e H um subgrupo caracterstico em G, ento
K um subgrupo caracterstico em G.
3. Se K um subgrupo caracterstico em H e H um subgrupo normal em G, ento K
normal em G.
4. Se H o nico subgrupo em G de ordem n, ento H subgrupo caracterstico em G.
Para indicar que H um subgrupo caracterstico em G escreveremos H car G. Como a
conjugao por um elemento fixo h de G, g 7 hgh1 , um automorfismo de G temos que
todo subgrupo caracterstico , em particular, um subgrupo normal. Note, ainda, que se
um automorfismo de G e H um subgrupo caracterstico em G, ento a restrio |H um
automorfismo de H. Portanto, segue facilmente que se K car H e H car G, ento K car G.
Exemplos 1.20 So exemplos de subgrupos caractersticos os seguintes subgrupos:
1. O bem conhecido centro de G definido por
Z (G) = {g G : gh = hg, h G} .
2. O subgrupo de Frattini de G Frat (G) que a interseo de todos os subgrupos maximais
de G, se G possuir subgrupos maximais. Caso contrrio, o subgrupo de Frattini de G
igual ao prprio G.
Proposio 1.21 Sejam G um grupo e H um subgrupo de G. Se H car G, ento H 0 car G. Em
particular, G(n) car G, para todo inteiro positivo n.
Informalmente, pode-se pensar nos grupos solveis como aproximadamente abelianos.
Por exemplo, podemos considerar que um grupo G est perto de ser abeliano se ele contm
G
um subgrupo normal H tal que tanto H quanto o quociente H
sejam abelianos. Generalizando
esta idia podemos formular a seguinte definio.
Um grupo G chamado solvel se existir uma cadeia de subgrupos
{e} = G0 G1 Gn1 Gn = G
tal que
1. Gi1 um subgrupo normal em Gi , para todo i = 1, . . . , n.
2. O grupo fator

Gi
Gi1

abeliano, para todo i = 1, . . . , n.

Uma cadeia de subgrupos de G com estas propriedades chamada uma srie subnormal
abeliana de G e os quocientes so chamados fatores da srie. Como a normalidade no
necessariamente transitiva, os subgrupos Gi , no necessariamente, so normais em G, 1 i
n 1.
Exemplo 1.22 Todo grupo abeliano solvel.
Soluo. Seja H um subgrupo qualquer de G. Como sabemos H C G e
temos que a cadeia
{e} H G

G
H

abeliano. Assim,

a cadeia desejada.

Forneceremos a seguir uma caracterizao da solubilidade de um grupo em termos da sequncia derivada.

Teorema 1.23 Um grupo G solvel se, e somente se, sua sequncia derivada limitada, isto
, se existe um inteiro positivo n tal que
G(n) = {e}.
A partir da caracterizao acima formaliza-se o seguinte resultado.
Lema 1.24 Sejam G um grupo e H um subgrupo de G.
1. Se G solvel, ento H solvel.
2. Qualquer imagem homomrfica de um grupo solvel solvel.
3. Se H um subgrupo normal em G tal que H e

G
H

sejam solveis, ento G solvel.

Se um grupo solvel finito, ento ele contm uma cadeia subnormal abeliana muito especial.
Proposio 1.25 Um grupo solvel finito G contm uma srie subnormal abeliana cujos fatores so todos cclicos de ordem prima.
Outra importante definio do nosso trabalho a de grupos supersolveis. Um grupo dito
supersolvel se ele possui uma srire normal cclica, isto , uma srie de subgrupos normais
cujos fatores so cclicos. Grupos supersolveis so obviamente solveis, entretanto, grupos
solveis no so necessariamente supersolveis. Como exemplo deste ltimo fato, temos o
grupo A4 que no possui subgrupos cclicos normais distintos de {e}.
Proposio 1.26 Um fator principal de um grupo supersolvel tem ordem prima e seu subgrupo maximal possui ndice primo.

10

Um grupo G chamado nilpotente se ele contm uma srie de subgrupos

{e} = G0 G1 Gn = G
i
est contido no centro de
tal que cada subgrupo Gi1 normal em G e cada quociente GGi1
G
, 1 i n. Esta srie de subgrupos de G chamada uma srie central de G.
Gi1
Uma vez que as condies da definio de nilpotncia so, obviamente, mais restritivas que
as da definio de solubilidade, evidente que todo grupo nilpotente , em particular, solvel.
Note que da definio acima implica que G1 est contido no centro de G. Se G1 = {e} ento
G2 est contido no centro e, assim, sucessivamente. Como a srie central acaba, todo grupo
nilpotente tem centro no trivial.

Exemplo 1.27 Todo grupo abeliano nilpotente.

Forneceremos agora duas caracterizaes alternativas para nilpotncia. Para isso, definiremos indutivamente uma nova srie de subgrupos:

1 (G) = G, 2 (G) = G0 e i (G) = i1 (G) , G .

Precisaremos ainda de uma outra srie, que definiremos tambm indutivamente, nos apoiando
no conceito de centro de um grupo. Denotaremos
0 (G) = {e} e 1 (G) = Z (G)
e definiremos indutivamente i (G) como sendo o nico subgrupo de G tal que

i (G)
G
=Z
.
i1 (G)
i1 (G)

O subgrupo i (G) chamado i-simo centro de G.

As sequncias de subgrupos
{e} = 0 (G) 1 (G) n (G)
e
G = 1 (G) 2 (G) n (G)
so chamadas srie central superior e srie central inferior de G, respectivamente. Claramente,
estas so sries centrais. A razo pela qual so chamadas de superior e inferior ficar clara
a partir dos prximos resultados.
Lema 1.28 Seja
{e} = A0 A1 An
uma srie central de G, isto , uma cadeia de subgrupos normais tal que
todo i. Ento
Ai i (G) ,
para todo i.
11

Ai
Ai1

G
Ai1

, para

Lema 1.29 Seja

{e} = A0 A1 An = G
uma srie central de G. Ento
i (G) Ani+1 ,
para todo i.
Destes resultados vem a seguinte caracterizao para grupos nilpotentes.
Teorema 1.30 Seja G um grupo. Ento as seguintes condies so equivalentes:
1. G nilpotente;
2. Existe um inteiro positivo m tal que m (G) = G;
3. Existe um inteiro positivo n tal que n (G) = {e}.
Tambm resulta dos lemas que se G nilpotente, ento as sries centrais superior e inferior
de G tm o mesmo comprimento. A este nmero chamaremos classe de nilpotncia de G.
Proposio 1.31 Todo p-grupo finito nilpotente.
Proposio 1.32 Produtos diretos finitos de grupos nilpotentes so tambm nilpotentes.
Como sugesto para a demonstrao deste resultado note que se G = G1 Gn , ento
i (G) = i (G1 ) i (Gn ) ,
para todo ndice i.
Proposio 1.33 Seja H 6= {e} um subgrupo normal de um grupo nilpotente G. Ento
H Z (G) 6= {e}.
Agora mostraremos que existe um teorema de estruturao para os grupos nilpotentes finitos. Para isso, verificaremos uma propriedade importante dos grupos nilpotentes, que vale
tambm no caso em que o grupo em questo no seja finito. Um grupo G tem a propriedade do
normalizador se todo subgrupo prprio de G est estritamente contido no seu normalizador.
Proposio 1.34 Seja H um subgrupo prprio de um grupo nilpotente G. Ento
H NG (H),
ou seja, se G nilpotente ele tem a propriedade do normalizador.

12

Lembremos que um subgrupo H de um grupo G chamado subnormal se existe uma cadeia

de subgrupos:
H = H0 H1 Hn = G
tal que Hi1 C Hi , 1 i n.
Corolrio 1.35 Seja G um grupo nilpotente finito. Ento todo subgrupo de G subnormal.
Forneceremos agora um teorema de caracterizao para os grupos nilpotentes finitos.
Teorema 1.36 Seja G um grupo finito. Ento as seguintes condies so equivalentes:
1. G nilpotente;
2. G tem a propriedade do normalizador;
3. Todo subgrupo de Sylow de G normal em G;
4. G o produto direto dos seus subgrupos de Sylow;
5. Todo subgrupo de G subnormal;
6. Todo subgrupo maximal de G normal.
Note que o teorema afirma que se G um grupo nilpotente de ordem
|G| = pn1 1 pnt t ,
ento, denotando por Spi , 1 i n os pi -subgrupos de Sylow de G, temos que
G = Sp1 Spn .
O subgrupo de Fitting de um grupo finito G, denotado por
Fit (G) ,
o maior subgrupo normal nilpotente de G.
Teorema 1.37 Se G um grupo supersolvel, ento Fit (G) nilpotente e
abeliano finito. Em particular, G0 nilpotente.

G
Fit(G)

um grupo

Dados um grupo finito G e p um nmero primo divisor da ordem de G, sabemos que um

p-subgrupo de Sylow de G um subgrupo de G cuja ordem tal que
pk | |G| mas pk+1 - |G| ,
com k Z+ . Faremos agora uma generalizao desta definio.
13

Se um conjunto no vazio de nmeros primos, ento um -nmero um inteiro n tal

que todos os seus fatores primos pertencem a . O complementar de no conjunto de nmeros
primos denotado por 0 e, assim, um 0 -nmero um inteiro m tal que nenhum de seus fatores
primos pertence a .
Seja G um grupo finito. Ento G chamado um -grupo se a ordem de cada um de seus
elementos um -nmero.
Se G um grupo finito, ento um -subgrupo H de G tal que [G : H] um 0 -nmero
chamado de -subgrupo de Hall de G.
Sabemos que os p-subgrupos de Sylow sempre existem, e que so conjugados entre si. Entretanto, os -subgrupos de Hall nem sempre existem. Por exemplo, sejam G = A5 e = {3, 5}.
Como |A5 | = 60, um -subgrupo de Hall teria ndice 4 e ordem 15, mas no existe tal subgrupo.
Queremos estudar condies sob as quais tais subgrupos existem e, quando existirem, se so
conjugados entre si. O prximo resultado afirma que em um grupo solvel finito, -subgrupos
de Hall sempre existem e so conjugados entre si.
Teorema 1.38 (P. Hall) Se G um grupo solvel finito de ordem mn, com
mdc (m, n) = 1,
ento G contm um subgrupo de ordem m. Alm disso, quaisquer dois subgrupos de ordem m
so conjugados.
Este teorema de P. Hall nos diz que em grupos solveis finitos, -subgrupos de Hall sempre
existem, para todo conjunto de primos. A seguir veremos que vale a recproca deste teorema.
Teorema 1.39 (P. Hall) Se G um grupo finito que possui um p0 -subgrupo de Hall, para todo
primo p, ento G solvel.
Teorema 1.40 Um grupo finito G solvel se, e somente se, todo subgrupo de Sylow de G
possui complementar em G.
Teorema 1.41 (Teorema de Shur-Zassenhaus) Sejam G um grupo finito e H um -subgrupo
normal em G. Ento G contm um 0 -subgrupo K, que um complementar de H em G. Alm
G
disso, se H ou H
solvel, ento quaisquer dois 0 -subgrupos de G so conjugados em G.
A hiptese de que N normal no pode ser retirada do teorema. De fato, sejam G = A5 e
N um 2-subgrupo de Sylow de G; logo |N| = 4, [G : N] = 15 e mdc (4, 15) = 1. Portanto, G
est nas condies do teorema, porm, G = A5 no possui subgrupo de ordem 15. Conclumos,
desta forma, que se N no for normal, o resultado nem sempre vlido.

14

Captulo 2
Grupos injetivos
A teoria dos grupos abelianos uma parte importante na teoria de grupos, mas, alm
da propriedade comutativa, esta categoria de grupos possui outras propriedades que sero
de grande relevncia para o nosso propsito. Em todo este captulo, todos os grupos sero
abelianos, portanto, novamente adotaremos a notao aditiva.

2.1

Grupos divisveis

Dizemos que G um grupo divisvel se para cada g G e cada n Z existe h G tal que
g = nh,
isto , se a funo : G G, definida por
(g) = ng,
sobrejetora, para cada n Z .
Note que um quociente de um grupo divisvel tambm divisvel. Como todo subgrupo H
de G normal em G e G divisvel temos que
g + H = nh + H = n(h + H),
com h G e n Z+ .
Exemplos 2.1
1. Entre os grupos divisveis infinitos mais conhecidos esto: Q, R, C, C e R+ .
2. Nenhum grupo finito no trivial divisvel.
Observemos que um subgrupo de um grupo divisvel no necessariamente divisvel. Por
exemplo: Z um subgrupo de Q mas, enquanto Q divisvel, Z no o .
Observemos, tambm, que se
G=H K
15

e G divisvel, ento H e K tambm o so. possvel estender este argumento para uma soma
direta de uma quantidade arbitrria de subgrupos.
A recproca deste resultado tambm vlida, como veremos a seguir.
Proposio 2.2 Se os grupos Gi , com i I, so divisveis, ento
X
Gi
G=
iI

um grupo divisvel.
Prova. Consideremos n Z+ e

gG=

Como

Gi .

iI

g = g1 + + gk
e cada Gi divisvel temos que existem h1 G1 , . . . , hk Gk tais que
g1 = nh1 , . . . , gk = nhk .
Ento
g = nh1 + + nhk = n (h1 + + hk ) .
Portanto, G divisvel.

Proposio 2.3 (p-grupos de Prfer) Seja p um nmero primo fixado. Ento todos os subgrupos do grupo

a
Q

+Z
: a Z e n Z+
Z(p ) =
pn
Z

a
n
+ Z : a Z , 0 a < p e n Z+
=
pn
so da forma
Cn =
com n Z+ . Em particular,

1
+Z ,
pn

Z(p ) =

Cn

nZ+

e Z(p ) um grupo divisvel. O grupo Z(p ) chamado p-grupo de Prfer.

Prova. claro que
Cn =

1
1 2
pn 1
, n N,
+ Z = 0, n , n , . . . ,
pn
p p
pn

um subgrupo prprio de Z(p ) com |Cn | = pn . Note que Cn Cn+1 , para todo n Z+ .
16

Reciprocamente, seja H um subgrupo prprio de Z(p ). Vamos provar primeiro que

a
b
+
Z

{Z},
com
mdc(a,
p)
=
1

+ Z H, b Z, com n m,
pm
pn
ou seja,

1 2
pn 1
H.
0, n , n , . . . ,
p p
pn

De fato, como mdc(a, p) = 1 temos que existem r, s Z tais que ar + spm = 1. Logo, para
todo b Z e n m, obtemos
b = b 1 = abr + bspm

b
a
= bpmn r m + bspmn .
n
p
p

Assim,
b
+ Z = bpmn r
pn

a
+ Z H.
pm

Portanto, existe um menor inteiro k N (H 6= Z(p )) tal que

a
+ Z : a Z e m k e H Ck .
H=
pm
Logo, todo subgrupo prprio de Z(p ) da forma desejada.
Finalmente, dados g Z(p ) e k Z+ , com k = pr l e mdc(p, l) = 1. Logo,
g=

a
+ Z, para algum a Z, com 0 a < pn .
pn

Seja
g1 =

a
pn+r

+ Z.

Ento pr g1 = g. Como mdc (pn+r , l) = 1 temos que existem x, y Z tais que

xpn+r + yl = 1.
Logo,

g1 = g1 1 = g1 xpn+r + yl = xpn+r g1 + lyg1 = lyg1 .

Pondo h = yg1 , obtemos

kh = pr lyg1 = pr g1 = g.

Portanto, Z(p ) divisvel.

Proposio 2.4 Sejam p um nmero primo fixado e
C0 = {0} C1 C2 Cn
uma cadeia de grupos cclicos de ordem pn , para cada n Z+ . Ento o grupo
[
G=
Cn ,
nZ+

isomorfo a Z(p ).
17

Prova. Vamos provar primeiro que: podemos escolher elementos an tais que Cn = han i e
pan+1 = an , para cada n Z+ . Suponhamos, como hiptese de induo, que escolhemos
a0 , a1 , . . . , an tais que pai+1 = ai , i = 0, . . . , n 1 e Ci = hai i, i = 0, . . . , n. Seja Cn+1 = hai.
Ento H = hpai um grupo cclico de ordem pn , pois
pn (pa) = pn+1 a = 0.
Assim, H = Cn . Logo, an = r(pa), para algum r Z, com mdc(p, r) = 1. Como |an | = pn
temos que Cn+1 = hrai. Pondo an+1 = ra, obtemos pan+1 = an . Portanto, possvel escolher
elementos a0 , a1 , . . . , an , . . . tais que Cn = han i e pan+1 = an , para cada n Z+ . Seja : G
Z(p ) a funo definida por
x
(xan ) = n + Z, x Z.
p
Ento est bem definida, pois dados xam , yan G com m n, obtemos pnm an = am . Logo,
xam = yan (y xpnm )an = 0.
Assim, y xpnm = kpn , para algum k Z, pois |an | = pn . Portanto,
y
xpnm + kpn
x
+
Z
=
+ Z = m + Z (xam ) = (yan ).
n
n
p
p
p
Agora, vamos provar que um homomorfismo de grupos. Dados a, b G, existe n Z+ tal
que a, b Cn . Logo, existem x, y Z.tais que a = xan e b = yan . Assim,
(a + b) = (xan + yan ) = ((x + y)an )

x+y
x
y
=
+Z=
+Z + n +Z
pn
pn
p
= (a) + (b).
Portanto, um homomorfismo de grupos. claro que um epimorfismo.
Finalmente,
a Ker () (a) = Z x Z e n Z+ , tais que (xan ) = Z

x
+ Z = Z.
pn

Logo, pn um divisor de x. Portanto, a = xan = 0, isto , Ker () = {0} e um monomorfismo.

Observemos que o p-grupo de Prfer pode ser entendido como o p-subgrupo de Sylow de QZ ,
que consiste de todos o elementos de Z (p ) cuja ordem uma potncia de p.
Proposio 2.5 Sejam G um grupo e D um subgrupo divisvel de G. Ento D um subgrupo
caracterstico em G.
Prova. Sejam d D e

Aut (D) .
18

Como D divisvel existe n Z+ tal que

g = nh,
para algum h G. Ento

(g) = (nh) = n (h) .

Portanto, D um subgrupo caracterstico em G.

2.2

Grupos injetivos

Um grupo G chamado injetivo se, dados um monomorfismo de grupos : H K e um

homomorfismo de grupos : H G, com H e K grupos, existe um homomorfismo de grupos
:KG
tal que
= ,
em outras palavras, tal que o diagrama

Figura 2.1: Diagrama

comuta.
Como injetiva temos que
H ' Im () < K.
Suponhamos que, de fato, H seja subgrupo de K e seja a aplicao incluso, ento a afirmao
de que G seja injetivo implica que o homomorfismo de grupos : H G pode ser estendido a
um homomorfismo de grupos : K G, de modo que
= |H .
Teorema 2.6 (Baer) Um grupo G injetivo se, e somente se, ele divisvel.
Prova. Suponhamos que G seja injetivo e consideremos g um elemento qualquer de G e n Z .
A funo
: nZ G
19

definida por (nx) = xg um homomorfismo de grupos. Se i : nZ Z a aplicao incluso,

ento, por hiptese, existe um homomorfismo de grupos : Z G tal que = i. Logo,
g = (n) = ( i) (n) = (n) = n (1) = nh,
com h = (1). Portanto, G divisvel.
Reciprocamente, suponhamos que G seja divisvel. Dados grupos H, K, um monomorfismo
: H K e um homomorfismo : H G. Podemos supor, sem perda de generalidade, que
H um subgrupo de K, pois podemos identificar H com Im (). Seja S o conjunto de todas
as extenses parciais : L G de , isto , se H < L < K, ento
(h) = (h) ,
para todo h H. Dados 1 , 2 S, definimos
1 2 L1 < L2 e 1 = 2 |L1 .
fcil verificar que uma ordem parcial sobre S. Seja C = { i : Li G : i I} uma cadeia
qualquer de S. Faa
[
L=
Li .
iI

Ento fcil verificar que L um subgrupo maximal de G. Seja : L G definida por

(x) = i (x). Ento claro que S e uma cota superior de C. Assim, pelo Lema de
Zorn, S contm um elemento maximal, digamos : L G.
Afirmao. L = K.
De fato, se L 6= K, ento existe k K tal que k
/ L. Logo, M = L + hki < K. Ento L M,
o que contradiz a maximalidade de L.
Se
L hki = {0} ,
ento M = L hki e 1 : M G definida por
(
0,
se x hki
1 (x) =
(x) , se x L,
tal que = 1 |L o que contradiz a maximalidade de . Se
L hki 6= {0} ,

ento existe um menor inteiro positivo m tal que mk L. Suponhamos que leva mk em
g G. Como G divisvel temos que g = mg1 , para algum g1 G. Agora, todo elemento de
M pode ser escrito de modo nico sob a soma
x + tk, com x L e 0 t < m,
20

pois m mnimo. Assim, podemos definir uma funo 2 : M G por

2 (x + tk) = (x) + tg1 .
Verifica-se facilmente que 2 um homomorfismo de grupos tal que = 2 |L o que contradiz
a maximalidade de . Portanto, G um grupo injetivo

A consequcia mais importante do teorema anterior a propriedade do fator de soma direta

dos grupos divisveis.
Corolrio 2.7 Se D um subgrupo divisvel de um grupo G, ento
G = D E,
para algum subgrupo E.
Prova. Consideremos a aplicao incluso i : D G. Como D um grupo divisvel temos,
pelo Teorema 2.6, que D um grupo injetivo. Assim, para cada homomorfismo de grupos
: D D, existe um homomorfismo de grupos : G D tal que
= i = |D .
Em particular, isto vale para = ID . Assim,
(d) = ID (d) = d,
para todo d D. Se g G, ento (g) D. Assim,
( (g)) = (g) ,
ou seja,
2 (g) = (g) .
Logo, (g (g)) Ker () = E. Portanto,
G = D + E.
pois g = (g) + (g (g)), para todo g G.
Finalmente, seja d D E. Como d D temos que d = (d). Por outro lado, d E =
Ker (). Logo, d = (d) = 0. Portanto, G = D E.

Em outras palavras, o que o corolrio acima afirma que se um grupo G possui um subgrupo
divisvel, este subgrupo um fator de soma direta de G.
Um grupo G chama-se reduzido se no possui subgrupos divisveis no triviais. O subgrupo
divisvel maximal de G a unio de todos os subgrupos divisveis de G e ser denotado por
d (G).
21

Teorema 2.8 Seja G um grupo. Ento existe um nico subgrupo divisvel maximal de G. Alm
disso,
G = d (G) E,
com E um grupo reduzido.
Prova. Pelo Corolrio 2.7,
G = d (G) E,
para algum E. Note que E = d (E) K, para algum K. Assim,
G = d (G) d (E) K.
Mas
d (G) d (E)
divisvel e d (G) seu subgrupo divisvel maximal. Logo,
d (E) = {0} .

Portanto, E reduzido.
Observe que se d (G) = G ento G divisvel e se d (G) = {0}, ento G reduzido.
Exemplo 2.9 d (Q) = Q e d (Q ) = Q+ .

Lema 2.10 Se G um grupo livre de toro, n N e h, h0 G tais que nh = nh0 , ento

h = h0 .
Prova. Como nh = nh0 temos que
n (h h0 ) = nh nh0 = 0 h h0 = 0,

pois G livre de toro. Portanto, h = h0 .

Teorema 2.11 Seja G um grupo livre de toro. Ento G divisvel se, e somente se, G
um espao vetorial sobre Q. Em particular, G uma soma direta de cpias de Q.
Q. Como G divisvel e livre de toro existe um nico h G tal
Prova. Sejam g G e m
n
que g = nh. Definamos uma composio externa sobre G, : Q G G, por

se m > 0
(m 1)g + g,
m
g = mg =
0,
se m = 0

(m)(g) = (m + 1)g g, se m < 0.

Ento fcil verificar que G um espao vetorial sobre Q.

Reciprocamente, suponhamos que G seja um espao vetorial sobre Q. Dado g G e n Z ,
existe
1
h= g G
n
tal que nh = g. Portanto, G um grupo divisvel.

22

Lema 2.12 O subgrupo de toro de um grupo divisvel G tambm divisvel.

Prova. Suponhamos que G seja divisvel. Sejam
g T (G)
e m a ordem de g, ou seja, mg = 0. Como G divisvel temos que, para cada n Z , existe
h G tal que g = nh. Assim,
(nm) h = m (nh) = mg = 0

e h T (G). Portanto, T (G) divisvel.

Teorema 2.13 Se G um p-grupo divisvel, ento G uma soma direta de p-grupos de Prfer.
Prova. Seja G um p-grupo divisvel no trivial. Note que G possui um subgrupo isomorfo a
Z (p ). Sejam g1 G de ordem p e C1 = hg1 i o grupo cclico gerado por g1 . Escolha g2 G
tal que pg2 = g1 . Ento C2 = hg2 i um grupo cclico de ordem p2 com C1 C2 .Prosseguindo
dessa forma, obtemos uma cadeia
C0 = {0} C1 C2 Cn
de grupos cclicos de ordem pn , para cada n Z+ . Seja
[
C=
Cn .
nZ+

Ento, pela Proposio 2.4, C isomorfo a Z (p ) e C um grupo divisvel. Portanto, um

fator de soma direta de G.
Agora, seja S o conjunto de todos os subgrupos de G que sejam isomorfos a Z (p ) e seja
)
(
X
Hi existe, Hi X .
T = XS:
iI

Ento, pelo Lema de Zorn, T possui um elemento maximal, digamos X0 . Seja

X
H=
Hi , Hi X0 ,
iI

Ento, pela Proposio 2.2, H um subgrupo divisvel de G. Assim,

G = H K,

para algum K.
Afirmao. K = {0}.
De fato, se K 6= {0}, ento K contm um subgrupo P isomorfo a Z (p ). Logo,
X0 {P } T,
o que contradiz a maximalidade de X0 . Portanto, G uma soma direta de cpias de Z (p ).
Agora possvel caracterizar os grupos divisveis. O teorema seguinte descreve completamente a classe dos grupos divisveis.
23

Teorema 2.14 (Decomposio dos Grupos Divisveis) Todo grupo divisvel G soma direta de p-grupos de Prfer e de cpias de Q.
Prova. Seja G um grupo divisvel. Ento
G = T (G) H,
com H livre de toro. Pelo Teorema 2.11, H isomorfo a uma soma direta de cpias de Q.
Sabemos que T (G) soma direta de p-grupos divisveis. Logo, pelo Teorema 2.13, cada um
desses p-grupos divisveis uma soma de cpias de Z (p ). Portanto, todo grupo divisvel
soma direta de cpias de Q e de Z (p ).

2.3

Subgrupos puros

Sejam G um grupo e P um subgrupo de G. Ento P chamado subgrupo puro de G se para

todo n Z,
P nG = nP.
sempre verdade que
nP P nG.
Se p P nG, ento p nP , isto , se p P e p = ng, para algum g G, ento existe p0 P
tal que
p = np0 .
Proposio 2.15 Seja G um grupo. Todo fator de soma direta de G um subgrupo puro.
Prova. Seja G = H K. Se h H e h = ng, ento g = h0 + k0 , com h0 H e k 0 K. Assim,
ng = nh0 + nk 0 h = nh0 + nk 0 .
Logo,
nk 0 = h nh0 H K = {0} .

Portanto, P um subgrupo puro.

Proposio 2.16 Sejam G um grupo e P um subgrupo de G tal que
P puro.
Prova. Se
p = ng,
ento
g+P

24

G
P

G
P

livre de toro. Ento

possui ordem finita. Como

G
P

livre de toro,
g + P = P.

Logo g P .

Sejam G um grupo de toro e B um subgrupo de G. Ento B chamado subgrupo bsico

de G se:
1. B uma soma direta de grupos cclicos.
2. B um subgrupo puro de G.
3.

G
B

um grupo divisvel.

Seja G um grupo. Ento G chamado um grupo limitado se

nG = {0} ,
para algum n N.
Teorema 2.17 (Prfer-Baer) Seja G um grupo limitado. Ento G uma soma direta de
grupos cclicos.

25

Captulo 3
Grupos quasi-injetivos finitos
Neste captulo trataremos do principal objeto do nosso trabalho, os grupos quasi-injetivos
finitos. A definio de tais grupos foi motivada a partir do fato de no existirem grupos injetivos
no triviais de ordem finita. Uma demonstrao para este fato pode ser encontrada em [9].
A palavra grupo, neste captulo, significa, salvo meno em contrrio, grupo finito. A partir
deste ponto usaremos a notao mais conveniente, aditiva ou multiplicativa, para cada caso em
questo.

3.1

Resultados bsicos

Neste seo apresentaremos algumas definies e resultados bsicos da teoria de grupos

que sero necessrios para as sees subsequentes, o leitor interessado em mais detalhes pode
consultar [7, 10, 12].
Teorema 3.1 (N/C Lema) Sejam G um grupo e H um subgrupo de G. Ento:
1. CG (H) um subgrupo normal em NG (H) e
NG (H)
' K Aut (H) .
CG (H)
2. Inn(G) um subgrupo normal em Aut (G) e
G
' Inn(G).
Z(G)
Exemplo 3.2 Se G = Q8 o grupo dos quatrnios de ordem 8, ento existe Aut(G) tal
que
/ Inn(G) e 2 = IG .
Soluo. Como
G
' Z2 Z2
Z(G)
26

e Z2 Z2 = hx, yi, com x = (1, 0), y = (0, 1) e x2 = y 2 = (0, 0), temos que
G = {H, aH, bH, abH},
com H = Z(G) e G0 = H. Assim, a funo : G G definida por (a) = a1 , (b) = b1 e
(z) = z 1 , para todo z H, um automorfismo de G e
2 = IG , CAut(G) (Inn(G)) e y (x) = x[x, y],

que o resultado desejado.

Proposio 3.3 Sejam : G H um homomorfismo de grupos e P um subgrupo de G. Se

= |P , ento
Ker() = Ker() P.
Sejam G um grupo e H um subgrupo em G. Dizemos que H completamente invariante
em G se para todo endomorfismo de grupos : G G temos que (H) H. Observe que se
H completamente invariante em G, ento H um subgrupo caracterstico (normal) em G.
Exemplo 3.4 Seja G um grupo. Ento, pelo item (4) do Lema 1.17, o subgrupo derivado G0
de G completamente invariante em G.
Sejam G um grupo e H um subgrupo normal em G. Dizemos que um subgrupo K de G
um fator direto de H em G se as seguintes condies so satisfeitas:
1. H K = 1.
2. G = HK.
Note que se os fatores existem para um subgrupo H, ento eles so nicos, a menos de isomorfismo, pois
G
HK
K
=
'
= K.
H
H
H K
Sejam G um grupo e M um subgrupo de G. Dizemos que M um subgrupo minimal de G
se M 6= 1 e se K um subgrupo de G tal que se 1 K M, ento K = 1 ou K = M. Por
exemplo, se G = {1, a, b, c}, com a2 = b2 = c2 = 1, ento M = {1, a} um subgrupo minimal
de G.
Seja G um grupo abeliano. Dizemos que G abeliano elementar se todos os elementos de
G diferentes da identidade so de ordem p, para algum nmero primo p. Neste caso, |G| = pn ,
para algum n N.
Exemplo 3.5 Se G um grupo solvel finito e H um subgrupo normal minimal em G, ento
H um p-grupo abeliano elementar, para algum nmero primo p.

27

Soluo. fcil verificar que

(H 0 ) H 0 ,
para todo End (H), ou seja, H 0 completamente invariante em H. Em particular, H 0
caracterstico em H. Logo, H 0 um subgrupo normal em G, pois H normal em G. Assim,
por hiptese,
H 0 = 1 ou H 0 = H.
Como H solvel temos que H 6= H 0 . Assim, H 0 = 1 e H um grupo abeliano. Seja P um
p-subgrupo de Sylow no trivial de H, para algum nmero primo p. Como P um subgrupo
normal em H temos que
(P ) P,
para todo End (H). Assim, P um subgrupo normal em G. Portanto, pela minimalidade
de H, temos que H = P .

Seja G um grupo. Dizemos que uma cadeia subnormal em G,

1 = G0 G1 Gn1 Gn = G
uma srie principal ou uma srie chief para G se Gi 6= Gi+1 e Gi um subgrupo normal
maximal em G, i = 0, . . . , n 1.
Proposio 3.6 Seja G um grupo solvel finito. Ento os fatores de toda srie chief de G so
grupos abelianos elementares.
Prova. Vamos usar induo sobre o comprimento da srie chief. Seja
1 = G0 G1 Gn1 Gn = G
uma srie chief para G. Se n = 2, ento G1 um subgrupo normal minimal em G, pois no
existe K C G tal que 1 K G1 . Logo, pelo Exemplo 3.5,
G1 =

G1
G0

um grupo abeliano elementar. Suponhamos que o resultado seja vlido para todo m, com
1 < m < n. Ento, pelo Teorema da Correspondncia,
1=
uma srie chief para

G
.
G1

G1
Gn1
Gn
G

=
G1
G1
G1
G1

Como

temos que
Gi+1
G1
Gi
G1

G
< |G|
G1
, i = 1, . . . , n 1,
28

so grupos abelianos elementares. Mas, pelo Terceiro Teorema de Isomorfismo,

Gi+1
G1
Gi
G1

'

Gi+1
, i = 1, . . . , n 1.
Gi

Portanto, os fatores so grupos abelianos elementares.

Corolrio 3.7 Seja G um grupo supersolvel finito. Ento os fatores de toda srie chief de G
so grupos abelianos elementares.
Seja G um p-grupo abeliano. Dizemos que G um grupo homocclico se G um produto
direto de subgrupos cclicos Hi , com |Hi | = pn e n N. Por exemplo,
G = Zpn Zpn ,
com k fatores.
Observemos que Q8 possui todos os subgrupos normais. Tais grupos so conhecidos como
grupos de Dedekind. Como exemplos de grupos de Dedekind temos toda a classe dos gupos
abelianos. Se um grupo no abeliano e, ainda assim, possui todos os subgrupos normais, ele
chamado Hamiltoniano.
Teorema 3.8 Um grupo G Hamiltoniano se, e somente se,
G = A + B + D,
com A um grupo dos quatrnios, B um 2-grupo abeliano elementar e D um grupo de toro
cujos elementos so todos de ordem mpar.
Teorema 3.9 (Argumento de Frattini) Sejam G um grupo finito e K um subgrupo normal
em G. Se P um p-subgrupo de Sylow de K, para algum nmero primo p, ento
G = KNG (P ).
Em particular, se G um p-grupo finito, ento
G = G0 Gp .
Corolrio 3.10 Seja G um p-grupo finito, para algum nmero primo p. Ento
G
Frat (G)
um grupo abeliano elementar.
Teorema 3.11 Sejam G um grupo, P um p-subgrupo de Sylow de G abeliano e N = NG (P ).
Ento:
29

1.
P G0 = P N 0 ou P = (P N 0 ) (P Z (N)) .
2. O p-grupo quociente maximal de G isomorfo a P Z (G).
Teorema 3.12 (Torre de Sylow) Seja G um grupo supersolvel de ordem
|G| = pn1 1 pn2 2 pnk k ,
com pi um nmero primo e pi > pi+1 , para cada i = 1, . . . , r. Ento, para cada k, temos que
P1 P2 Pk
um subgrupo normal em G.
Sejam p um nmero primo e k N. Denotaremos o grupo pk (G) por
D
E
pk
pk (G) = g G : g = 1 .

Teorema 3.13 Sejam G um p-grupo abeliano e Aut (G). Se

|p (G) = IG ,
ento = IG .

3.2

Grupos quasi-injetivos

Nesta seo apresentaremos uma caracterizao para os grupos quasi-injetivos finitos.

Um grupo G chamado quasi-injetivo se para qualquer subgrupo H de G e para qualquer
homomorfismo de grupos : H G existe um endomorfismo : G G tal que
|H = .
Note que um grupo G quasi-injetivo quando todo homomorfismo de grupos, de qualquer
um de seus subgrupos nele mesmo, pode ser estendido a um endomorfismo global.
Exemplo 3.14 O grupo dos quatrnios Q8 quasi-injetivo.
Soluo. Seja Q8 = ha, bi com b4 = a4 = e e ab = a1 . Ento qualquer endomorfismo
: Q8 Q8 completamente determinado por (a) e (b). Os subgrupos prprios de Q8 so:
ha2 i = hb2 i = h(ab)2 i, hai, hbi e habi. Portanto, dado qualquer subgrupo H de Q8 e qualquer
homomorfismo de grupos : H Q8 fcil verificar que existe um endomorfismo : Q8 Q8
tal que |L = .

Lema 3.15 Seja G um grupo quasi-injetivo.

30

1. Se H um fator direto de G, ento H quasi-injetivo.

2. Se H um subgrupo completamente invariante de G, ento H quasi-injetivo.
3. Se um subgrupo completamente invariante H de G possui um elemento de ordem n, ento
H contm todos os elementos de ordem n.
Prova. (1) Suponhamos que H seja um fator direto de G. Ento existe um subgrupo K de G
tal que G = HK e H K = 1. Consideremos as funes i : H G definida por i(h) = h e
p : G H definida por p(hk) = h. Logo,
(p i)(h) = p(i(h)) = p(h) = h, h H,
isto , p i = IH . Dados L um subgrupo qualquer de H e : L H qualquer homomorfismo
de grupos. Assim, i : L G um homomorfismo de grupos. Como G quasi-injetivo
temos que existe um endomorfismo : G G tal que
|L = i .
Agora, vamos definir : H H por
= p (|L ).
Ento
(h) = (p (|L )) (h) = (p (i )) (h) = ((p i) ) (h)
= (IH ) (h) = IH ( (h)) = (h) , h L,
isto ,
|L = .
Portanto, H quasi-injetivo.
(2) Suponhamos que H seja um subgrupo completamente invariante de G. Dados L um
subgrupo qualquer de H e : L H um homomorfismo de grupos qualquer. Assim, i : L
G um homomorfismo de grupos. Como G quasi-injetivo temos que existe um endomorfismo
: G G tal que
|L = i .
Assim, existe um endomorfismo = |H : H H tal que
|L = ,
pois (H) H. Portanto, H quasi-injetivo.
(3) Sejam H um subgrupo completamente invariante de G,
:H G
31

um homomorfismo de grupos e h H um elemento de ordem n. Como G quasi-injetivo,

existe um endomorfismo : G G tal que
|H =
e g = (h), para algum g G de ordem n. Por outro lado,
g = (h) (H) H,
Portanto, H contm todos os elementos de ordem n.

Lema 3.16 Seja

G = HK, com mdc (|H| , |K|) = 1.
Ento G um grupo quasi-injetivo se, e somente se, H e K tambm o so.
Prova. Seja G um grupo quasi-injetivo. Ento, pelo item (1) do Lema 3.15, H quasi-injetivo.
De forma anloga, prova-se que K tambm quasi-injetivo.
Reciprocamente, seja G = HK, com H e K quasi-injetivos. Dados L um subgrupo qualquer
de G e : L G um homomorfismo de grupos. Ento, pelo Exemplo 1.3, obtemos
L = (L H) (L K) .
Logo, existem endomorfismos
1 : H G e 2 : K G
tais que
1 |LH = |LH e 2 |LK = |LK ,
pois L H < H e L K < K. Assim, pelo Teorema 1.10, a funo : G G definida por
(hk) = 1 (h) 2 (k),
com h H e k K, um endomorfismo de G tal que
|L = .

Portanto, G quasi-injetivo.
Exemplo 3.17 O gupo G = Q8 Q8 no quasi-injetivo.
Soluo. Sejam Q8 = ha, bi e Q8 = hc, di. Pondo H = hai e K = haci, obtemos
H K = 1, [a, ac] = 1 e L = HK.

Seja Aut (L) definido por (a) = ac. Ento se G fosse quasi-injetivo, ento fcil encontrar
Aut (G) tal que
|L = .
32

Como H C G temos que K = (H) = (H) C G. Portanto,

/ K,
(ac)b = b (ac) b1 = a1 c = a2 (ac)

o que uma contradio,

Este exemplo ratifica a necessidade da hiptese do Lema 3.16 de que mdc (|H| , |K|) = 1.
Teorema 3.18 Todo grupo quasi-injetivo supersolvel.
Prova. Seja G um grupo quasi-injetivo finito. Suponhamos, por absurdo, que o resultado seja
H
falso. Ento podemos escolher um subgrupo normal minimal H em G tal que um fator chief K
seja um grupo abeliano no elementar, com K C G. Logo,

H
= pn m,
K

com n 2, m 2 e mdc(m, p) = 1, para algum nmero primo p. Seja

H
P Sylp
.
K

Como P = pn temos que existe K p C P tal que

= p.

Assim, pelo Terceiro Teorema do Isomorfismo, temos que Kp C P < H e que

P
= p.
Kp
Logo, existe um homomorfismo de grupos : P G, com

P
Ker () = Kp (K Kp ) e = p.
Kp

Por outro lado, como G um grupo quasi-injetivo temos que existe um endomorfismo : G G
tal que
|P = e Kp = Ker() = Ker() P C H.
Portanto,
K H Ker() H {K} 6=
o que uma contradio.

H
H
< ,
H Ker()
K

Observao 3.19 O Exemplo 3.17 prova que a recproca do Teorema 3.18 falsa.
O prximo teorema bastante usado para determinar a estrutura dos grupos quasi-injetivos.
33

Teorema 3.20 Sejam G um grupo quasi-injetivo e K um subgrupo de G. Se H um subgrupo

subnormal em K, ento H um subgrupo normal em K.
Prova. Como H subnormal temos que existe uma cadeia subnormal
H = H0 H1 Hn1 Hn = L C K.
Podemos supor, usando induo sobre n, que H C L. Suponhamos, por absurdo, que H no
seja normal em K. Ento existe k K tal que
H k = kHk 1 6= H.
Pondo U = HH k , obtemos
U < L,
U
pois H normal em L e H k um subgrupo de L. Ento o grupo quociente H
possui um
subgrupo de ordem p, para algum um nmero primo p. Logo, pela prova do Teorema 3.18,
existe M C G tal que
H U M U.

Neste caso, H k M. Ento U M, o que uma contradio. Portanto, H um subgrupo

normal em K.

Corolrio 3.21 Seja G um grupo quasi-injetivo. Ento qualquer subgrupo nilpotente de G

um grupo de Dedekind.
Prova. Seja H um subgrupo nilpotente de G. Ento, pelo Corolrio 1.35, todo subgrupo N de
H subnormal em H. Assim, pelo Teorema 3.20, N normal em H Portanto, H um grupo
de Dedekind.

Lema 3.22 Sejam G um grupo quasi-injetivo e P um p-subgrupo de Sylow de G, para algum

nmero primo p. Ento todos os elementos de ordem p em P tem a mesma altura em P , isto
, eles esto contidos em subgrupos cclicos maximais isomorfos de P .
Prova. Sejam G um grupo, g G, P um p-subgrupo de Sylow de G e a P , com |a| = p.
Considere
F = {hgi : |g| = pn e a hgi} .
Note que F 6= e contm um elemento maximal, digamos hgi F, com |hgi| = pn e a p-altura
de a sendo igual a n.
Tome b G, com |hbi| = p. Seja m a p-altura de b. Ento existe h G tal que |hhi| = pm
e b hhi. Seja : hai hbi < G um homomorfismo de grupos. Como G um grupo
quasi-injetivo, existe um homomorfismo de grupos : G G tal que
|hai = .
34

Afirmao. |hai injetora.

De fato, se w hgi e (w) = 1, com w 6= 1, ento existe s N tal que a = ws . Logo,
1 = (ws ) = (a) = b,
o que um absurdo.
Pondo t = (g), obtemos que
|t| = | (g)| = |g| = pn .
Como b = (a) hti, ento temos que m = n. Portanto, todo elemento de ordem p em P tem
a mesma altura em P .

Corolrio 3.23 Sejam G um grupo quasi-injetivo e P um p-subgrupo de Sylow de G. Ento

P um grupo homocclico ou um grupo dos quatrnios de ordem 8.
Prova. Seja
P Sylp (G) .
Como P um grupo de Dedekind temos, pelo Teorema 3.8, que ele abeliano ou o produto
direto do grupo quatrnio de ordem 8 com um 2-grupo abeliano elementar. Logo, pelo Lema
3.22, P da forma desejada.

Observao 3.24 O resultado acima implica que se P um p-subgrupo de Sylow de um grupo

quasi-injetivo, que no abeliano, ento p = 2 e P um grupo dos quatrnios de ordem 8.
Neste caso, o teorema seguinte prova que P deve ser um fator direto de G.
Teorema 3.25 Seja G um grupo quasi-injetivo. Se Q8 um 2-subgrupo de Sylow de G, ento
G = Q8 K,
com K um grupo quasi-injetivo de ordem mpar.
Prova. Como
Q8 Syl2 (G)
temos que
Q8 Syl2 (Q8 G0 )

e Q8 G0 C G. Ento, pelo argumento de Fratini, obtemos

G = G0 NG (Q8 ) ,
pois Q8 C NG (Q8 ).
Afirmao. Q8 C G.
De fato, suponhamos por, absurdo, que Q8 no seja normal em G. Ento existe um p-elemento
x G0 tal que
xQ8 x1 6= Q8 .
35

Por hiptese, G supersolvel e G0 nilpotente. Ento, pelo Teorema 3.20,

H = hxi C G.
Assim, dado Aut(Q8 ), obtemos 2 = (|H )2 = IH , ou seja, hi um subgrupo cclico de
Aut(Q8 ). Logo, CQ8 (x) subgrupo cclico de ordem 4. Portanto, em cada 2-subgrupo de Sylow
de G temos que cada elemento de ordem 2 centraliza x. Como a funo
: HCQ8 (x) H G
um homomofismo de grupos temos que existe um endomorfismo : G G tal que
|HCQ8 (x) = .
Seja
M = Ker () .
Ento
M HCQ8 (x) = CQ8 (x) .
Por outro lado, como
M HQ8 C HQ8 , CQ8 (x) HQ8 e M H = 1
temos que
M HQ8 CQ8 (x) ,
ou seja,
M HQ8 = CQ8 (x) .
Assim,
(HQ8 ) M
(HQ8 ) M
HQ8
< Im () e
'
6= {CQ8 (x)} .
M
M
CQ8 (x)

Portanto, existe um elemento y de ordem 2 em

HQ8
CQ8 (x)
tal que xy 6= yx, o que uma contradio.
Finalmente, se P1 , . . . , Pk so todos os pi -subgrupos de Sylow de G, com pi nmeros primos
mpares, i = 1, . . . , k, ento, pelo Teorema 3.12,
K = P1 Pk ' P1 P2 Pk .
um subgrupo normal em G. Como o
mdc(|Q8 | , |K|) = 1
temos, pelo Lema 3.16, que K um grupo quasi-injetivo de ordem mpar.
36

Observao 3.26 O Teorema 3.25 e o Lema 3.16 reduzem a discusso a todos os grupos cujos
subgrupos de Sylow so abelianos.
Lema 3.27 Seja G um grupo quasi-injetivo tal que todos os p-subgrupos de Sylow de G so
grupos abelianos. Ento G0 um -subgrupo de Hall de G e existe H um subgrupo de G tal que
G = G0 H, com G0 H = 1.
Alm disso, G0 e H so grupos abelianos homocclicos e
G0 Z (G) = 1.
Prova. Sejam P um p-subgrupo de Sylow de G e N = NG (P ). Ento, pelo item (1) do
Teorema 3.11, obtemos
P = (P G0 ) (P Z (N)) .
Afirmao. P G0 = 1 ou P um subgrupo de G0 .
De fato, suponhamos que
P G0 6= 1.
Ento P um subgrupo de G0 . Lembremos que, pelo Corolrio 3.23, P um grupo homocclico
e, pelo item (3) do Lema 3.15, G0 contm todos os elementos de ordem p, donde P G0 um fator
de P . Assim, G0 um -subgrupo de Hall de G. Portanto, pelo Teorema de Schur-Zassenhaus,
G contm um 0 -subgrupo H tal que
G = G0 H, com G0 H = 1.
Finalmente, se P um subgrupo de G0 , ento P um subgrupo normal em G e
P Z (G) = 1.
Assim,
G0 Z (G) = 1,

que o resultado desejado.

Lema 3.28 Seja G = KH um grupo quasi-injetivo tal que todos os p-subgrupos de Sylow de G
so grupos abelianos, com
K = G0 e H K = 1.
Se P um p-subgrupo de Sylow de K e h H, ento existe r = r (p, h) Z tal que k h =
hkh1 = kr , para cada k P .
Prova. Podemos supor, sem perda de generalidade, que
P = hk1 i hkn i ,
37

com hki i subgrupos ccicos isomorfos, para cada i = 1, . . . , n. Suponhamos que n > 1, pois o
caso n = 1 claro. Ento, pelo Teorema 3.20, os subgrupos hki i, hkj i e hki kj i so normais em
G, para cada i, j = 1, 2, . . . , n, com i 6= j. Logo, existem r, s, t Z tais que
kih = kir , kjh = kjs e (ki kj )h = (ki kj )t ,
com 0 < r, s, t < |ki | = |kj |. Assim,
kir kjs = kih kjh = (ki kj )h = kit kjt kirt = kjts .
Portanto, para cada k P , existe r = r (p, h) Z tal que sh = sr .

Lema 3.29 Seja G = KH um grupo quasi-injetivo tal que todos os p-subgrupos de Sylow de G
so grupos abelianos, com
K = G0 e H K = 1.
Se K um -subgrupo de Hall de K, ento CH (K ) um fator direto de H. Em particular,
Z (G) = CH (K)
um fator direto de G.
Prova. Basta provar que se
1 6= xp CH (K ) ,
ento existe
z CH (K ) tal que z p = xp .
A funo
: K hxp i K
definida por (kxp ) = k claramente um homomorfismo de grupos. Assim, existe um endomorfismo de grupos : G G tal que
|K hxp i = .
Seja M = Ker (). Ento
M K hxp i = Ker() = hxp i .
Note que x
/ CH (K ). Assim, existe y Im () de ordem p com a mesma ao de x em
K . Logo, o conjugado y k pertence a H, para algum k K, e y k possui a mesma ao de x.
Portanto,
1
z = x yk
CH (K )

o elemento desejado.

Teorema 3.30 Um grupo G quasi-injetivo se, e somente se, G = Q8 K, com K um grupo

quasi-injetivo de ordem mpar ou G = K o H tal que:
38

1. Sylp (K) e Sylp (H) so homocclicos.

2. G0 = K.
3. mdc (|K| , |H|) = 1.
4. Para cada h H, se p um nmero primo, com p| |K|, ento existe um r = r (p, h) Z
tal que kh = kr para todo k Kp .
5. Se K um -subgrupo de Hall de K, para algum conjunto de primos , ento CH (K )
um fator direto de H. Em particular,
Z(G) H = CH (K)
um fator direto de H.
Prova. Suponhamos que G seja um grupo quasi-injetivo. Ento, pelo Teorema 3.25 e, pelos
Lemas 3.27, 3.28 e 3.29, G satisfaz todas as condies desejadas.
Reciprocamente, se G = Q8 K, ento, pelo Lema 3.16, G um grupo quasi-injetivo, pois
o
mdc (|Q8 | , |K|) = 1.
Agora, suponhamos que G = K o H. Note que dado qualquer subgrupo L de G podemos
supor, sem perda de generalidade, que
L = (L K) (L H) .
Sejam : L G um homomorfismo de grupos qualquer, o conjunto dos primos que divide
a ordem de
LK
Ker (|LH )
e escolhamos x G tal que

(L H) H x .

Ento h vrios fatos a serem considerados:

1 Fato. Se h L H, ento existe c CH (K ) tal que
(h) = (hc)x .
De fato, a funo 1 : L G definida por
1 (y) = x1 (y) x
um homomorfismo de grupos tal que
1 (L H) H.
39

Assim, para um nmero primo p fixado, podemos escolher k L K tal que 1 (k) seja
um p-elemento de G, com 1 (k) 6= 1. Logo, pelo item (4), obtemos
1 (k)1 (h) = 1 (h) 1 (k) 1 (h)1

= x1 (h) x x1 (k) x x1 (h)1 x

= x1 (h) (k) (h)1 x

= x1 hkh1 x = x1 kh x
= 1 (k)h

ou, equivalentemente,
1

1 (k)1 (h)h

= 1 (k) ,

ou seja, 1 (h) h1 centraliza 1 (k). fcil verificar que conjugaes sucessivas dos p-elementos
1 (k) por 1 (h) h1 mantm o elemento 1 (k) centralizado. Neste caso, 1 (h) h1 centraliza
todos os elementos de ordem p. Logo, pelo Teorema 3.13, temos que
1 (h) h1 CH (Kp ) .
Portanto,
1 (h) h1 CH (K ) ,
isto ,
1 (h) h1 = c (h) = (hc)x , para algum c CH (K ) .
2 Fato. Existe um homomorfismo de grupos : KL G tal que
|L = .
De fato, note que
KL = K (L H) , (L K) K
e para |LK existe um homomorfismo de grupos : K K tal que
|LK = |LK , (K ) K e (k) = 1,
se k um p0 -elemento de K. A funo : KL G definida por
(kh) = (k) (h) ,
o homomorfismo de grupos desejado.
3 Fato. Existe um homomorfismo de grupos : G G tal que
|KL = .
De fato, usando induo sobre |G|, basta estender funo
: M G,
40

com M um subgrupo de G tal que

KL = p.

Sejam h (M H) L um p-elemento e suponhamos que

(hp ) = (hp c)x ,
para algum c CH (K ). Ento a ordem de c |c| < |h|. Logo, |c| menor do que a p-sima
componente do expoente de H. Assim, pelo item (5), existe d CH (K ) tal que dp = c. Pondo
(h) = (hd)x ,
obtemos o homomorfismo desejado : M G. Portanto, G um grupo quasi-injetivo.

Exemplos 3.31 So exemplos de grupos quasi-injetivos os seguintes grupos:

1. G = K o H, com K = hai ' Z7 , H = hbi ' Z3 e : H Aut (K) dada por
b (a) = a2 . De fato, note que K e H so homocclicos, mdc (|H| , |K|) = 1, G0 = K,
K = K um {7}-subgrupo de Hall de G e CH (K) = 1 um fator direto de H;
2. G = Dpn , com p um nmero primo mpar e n N.

41

Captulo 4
Grupos do tipo injetivo
O conceito de grupo quasi-injetivo dado no captulo anterior foi criado por L. Fuchs motivado
pelo fato de no existirem grupos injetivos finitos no triviais. Agora, introduziremos um outro
conceito relativo, extenso de automorfismos de grupos que foi criada por Azevedo e que foi
tratada por ele, Bastos e Juriaans em [2]. No nosso trabalho, estudaremos apenas o caso em
que G um grupo abeliano.
Um grupo G do tipo injetivo se para qualquer subgrupo H de G e qualquer automorfismo
de grupos existir um automorfismo de grupos tal que
|H = .
Sejam o conjunto
L = { Aut (G) : |H Aut (H) , para cada H < G}
e a funo
T : L Aut (H)
.
7
|H
Ento fcil verificar que L < Aut (G) e T um homomorfismo de grupos. Note que G do
tipo injetivo se T sobrejetora. Em particular, Aut (H) uma seo de Aut (G), pois
L
' Aut (H) .
Ker (T )
Portanto, uma condio necessria para que um grupo finito G seja do tipo injetivo que
|Aut (H)| divida |Aut (G)|.

4.1

Resultados bsicos

Nesta seo apresentaremos algumas definies e resultados bsicos da teoria de grupos que
sero necessrios para as sees subsequentes, o leitor interessado em mais detalhes, mais uma
vez, pode consultar [7, 10, 12].
42

Teorema 4.1 (Kulikov) Se um grupo G uma soma direta de grupos cclicos, ento todo
subgrupo de G tambm uma soma direta de grupos cclicos.
Sejam p um nmero primo e r N. Um p-grupo chamado homocclico do tipo (pr , m) se
ele a soma direta de m cpias de um grupo cclico de ordem pr .
Seja G um grupo homocclico do tipo (pr , m). Dizemos que um conjunto X = {xi : i },
com um conjunto de ndices, uma base para G se
X
hxi i .
G=
i

A base X chamada independente se ela uma base para o subgrupo de seus geradores.
Teorema 4.2 (Teorema da Base) Sejam G um grupo homocclico do tipo (pr , m) e H um
subgrupo de G. Ento H uma soma direta de grupos cclicos e, dada uma base
H = {hi : i 1 }
de H, existem uma base X = {xi : i } de G e um conjunto
N = {ri : ri N, i }
ri

tais que 1 e hi = xpi , para cada i 1 .

Retomando o conceito de grupos divisveis dado no Captulo 2, observamos que, se um
grupo G divisvel, ento um elemento g G tal que
g Gn , para cada n Z+ .
Observemos agora, que grupos livres de toro so mais difceis de lidar do que p-grupos
abelianos, exceto no caso de grupos de posto 1. Por isto, no existe uma classificao satisfatria. O conceito de altura nos fornece um importante modo de distino entre elementos em
grupos livres de toro.
Sejam p um nmero primo fixo e g um elemento de um grupo abeliano G. A p-altura de g
em G o nico elemento np Z+ tal que
pnp | |g| , mas pnp +1 - |g| .
Caso contrrio, dizemos que g tem p-altura infinita em G.
Seja p1 , p2 , . . . a sequncia dos nmeros primos em sua ordem natural. Se g um elemento
de G, a altura vetorial de g definida como
h (g) = (n1 , n2 , . . .) ,
com ni a pi -altura de g em G. Note que cada ni ou um inteiro no negativo. Qualquer vetor
h com componentes desse tipo ser chamado de altura, sem referncia a um grupo abeliano
especfico.
43

O conunto de todas as alturas pode ser parcialmente ordenado definindo h h0 sempre que
ni n0i , para todo i. Aqui, o smbolo est sujeito a regras habituais. Assim,
0 = (0, 0, . . .)
a nica altura mnima e
= (, , . . .)
a nica altura mxima.
Se g um elemento de um grupo com p-altura n, ento pg tem p-altura n + 1. Logo,
se a p-altura de um elemento g de G acrecida de alguns primos p, a altura resultante ser
um mltiplo da altura de g. Isso sugere que tais alturas sejam tratadas como equivalentes.
Consequentemente, duas alturas h e h0 so equivalentes se ni = n0i , para quase todo i e ni = n0i
quando ni ou n0i for infinito. Pode-se verificar que esta relao uma relao de equivalncia no
conjunto das alturas. As classes de equivalncias so chamadas tipos. O tipo de um elemento
g de um grupo definido como o tipo de suas alturas vetoriais e ser denotado por
t (g) .
O conjunto de todos os tipos pode tambm ser parcialmente ordenado. Definimos t t0
para significar que h h0 , com h e h0 as alturas associada aos tipos t e t0 , respectivamente.
Claramente, existem um nico menor e um nico maior tipo.
Suponhamos que G seja um grupo livre de toro de posto 1 e g1 , g2 dois elementos de
G {1}. Ento
hg1 i hg2 i 6= {1},
pois {g1 , g2 } dependente. Assim, existem m1 , m2 Z tais que
m1 g1 = m2 g2 6= 1.
Logo, por definio, h (g1 ) e h (g2 ) so equivalentes e
t (g1 ) = t (g2 ) .
Portanto, todo elemento de G {1} tem o mesmo tipo, o qual referido como o tipo de G, em
smbolos t (G).
Proposio 4.3 Sejam G e H grupos abelianos livres de toro de posto 1. Ento G e H
so isomorfos se, e somente se, eles tem o mesmo tipo. Alm disso, todo tipo o tipo de um
grupo abeliano livre de toro de posto 0 ou 1.

4.2

Propriedades dos grupos do tipo injetivo

Lema 4.4 Sejam G um grupo do tipo injetivo e H um subgrupo caracterstico em G, ento H

do tipo injetivo.
44

Prova. Sejam H um subgrupo caracterstico em G, K um subgrupo qualquer de H e : K K

um automorfismo de grupos. Como K tambm um subgrupo de G e G um grupo do tipo
injetivo, existe um automorfismo de grupos : G G tal que
|K = .
Por outro lado,
|H Aut (H) ,
pois H um subgrupo caracterstico de G. Portanto, H do tipo injetivo.

Exemplos 4.5 Seja G um grupo do tipo injetivo. Ento:

1. O centro Z (G) de G do tipo injetivo.
2. O subgrupo Frattini Frat (G) de G do tipo injetivo.
3. O subgrupo Fitting Fit (G) de G do tipo injetivo.
Lema 4.6 Sejam G um grupo do tipo injetivo e : H H um automorfismo de grupos. Se o
automorfismo de grupos : G G tal que
|H =
ento:
1. (CG (H)) = CG (H).
2. (NG (H)) = NG (H).
Lema 4.7 Sejam G um grupo e N e H subgrupos de G tais que
G = N o H.
Se G do tipo injetivo e N um subgrupo caracterstico em G, ento H do tipo injetivo.
Prova. Sejam
:GH
a projeo de G em H, e (K, ) uma data em H. Como G um grupo do tipo injetivo ele
possui uma extenso (G, ). Consideremos a funo
:= : H H.

Aut (H).
Afirmao:
um homomorfismo de grupos. Se
De fato, note que
(h) = 1,

45

com h H, ento (h) N. Assim,

h N H = {1}.
injetora em H. Dado h1 H, obtemos
Logo,
h1 = (z) , para algum z G.
Pondo
z = nh,
com n N e h H, temos que
(z) .
h1 = (h1 ) = ( (z)) = ( ) (z) =
sobrejetora em H. Assim,
um automorfismo de H. Portanto, H um grupo do
Logo,
tipo injetivo.

4.3

O caso abeliano

Nesta seo abordaremos o resultado que caracteriza todos os grupos abelianos do tipo
injetivo.
Teorema 4.8 Sejam G um grupo abeliano e T (G) seu subgrupo toro. Ento G do tipo
injetivo se, e somente se, satisfeita uma das seguintes condies:
1. G um grupo divisvel.
2. G um grupo de toro e cada uma de suas componentes primrias divisvel ou homocclica.
3. T (G) divisvel e

G
T (G)

livre de toro, abeliano e de posto 1.

Prova. Sejam G seja um grupo abeliano do tipo injetivo e T (G) seu subgrupo toro. Suponhamos que G no seja divisvel. Ento h dois casos a ser analisados: quando G um grupo
de toro e quando G no um grupo de toro.
1 Caso. G = T (G).
De fato, pelo Teorema 1.15, podemos supor, sem perda de generalidade, que G um p-grupo e
pelo Teorema 2.8, podemos escrever G como a soma direta
G = D E,
com D divisvel e caracterstico e E reduzido. Como D caracterstico e G do tipo injetivo
temos que
E = {1} ou D = {1}.
46

Logo, G reduzido.
Afirmao. G um grupo limitado.
De fato, se G no fosse limitado, ento ele seria divisvel, o que uma contradio. Portanto,
G limitado.
Assim, pelo Teorema 2.17, G a soma direta de grupos cclicos. Como G do tipo injetivo,
todas as ordens destes grupos cclicos so iguais. Portanto, eles so homocclicos.
2 Caso. G 6= T (G).
Sejam x G tal que x
/ T (G), g T (G) e n N. Tomemos
H = hgi hxn i < G
e definamos Aut (H) por
(h) =

g,
se h hgi
n
gx , se h hxn i .

Ento, sendo : H H um automorfismo de grupos, como G do tipo injetivo, existe um

b : G G, com
automorfismo de grupos
(h) = (h) , h H.

Assim,
b (xn ) = (
b (x))n g = (
b (x) x1 )n .
gxn =

Logo, T (G) um grupo divisvel e ento podemos escrever

G = T (G) F.

Tomemos x F . Como G no divisvel temos que existe n0 N tal que

x
/ Gn0 .
Sejam w F um elemento no trivial qualquer e
K = hwn0 , xi .
Se K fosse de posto 2, ento definimos Aut (K) por
(wn0 ) = xwn0 , com (x) = x.
b satisfaz
Logo,

b (w))n0 Gn0 ,
x = (w1

o que uma contradio. Logo, K de posto 1. Assim, F tambm o .

Reciprocamente, seja G um grupo que satisfaz uma das trs condies do teorema. Ento
h trs casos a considerar.
47

1o Caso. Seja G um grupo divisvel. J sabemos que T (G) tambm divisvel. Ento
G = T (G) F,
com F tambm divisvel. Sejam H um subgrupo qualquer de G, : H H um automorfismo
de grupos, um conjunto de nmeros primos, V um complementar para
X
X
p (H) em
p (G)
p

e
= V H.
H
de modo que seja a identidade em V . Ainda denotemos essa extenso
Podemos estender a H
por . Pelo Teorema 2.6, G um grupo injetivo. Ento existe um endomorfismo : G G
tal que
|H = .
Como

X
X
=
p (H)
p (G) ,
p

temos que

|T (G) Aut (T (G)) .

Seja
F := {U : hT (G) , Hi < U < G e |U Aut (U)} .
Afirmao 1. hT (G) , Hi F.
De fato, sejam
L = hT (G) , Hi e g L.
Ento g = th, com t T (G) e h H. Se (g) = 1 ento
(h) = (h) T (G) H = T (H) .
Logo, g = 1. Por outro lado, existem t0 T (G) e h0 H tais que
t = (t0 ) e h = (h0 ) g = (t0 h0 ) .
O que prova a afirmao.
Ordenando F pela incluso, temos que toda cadeia ascendente em F tem uma cota superior
em F. Assim, pelo Lema de Zorn, podemos escolher um elemento maximal, digamos
U0 F.
Seja
W =
o radical de U0 em G.

p
U0 = {g G : g n U0 , para algum n N}
48

Afirmao 2. W F.
De fato, note que
hT (G) , Hi < W.
Se
x W Ker () ,
ento, para algum n N, temos que
xn U0 Ker () = {1}.
Logo,
x T (G) Ker () = {1}.
Assim, injetora em W . Sejam y W e n N tais que y n U0 . Ento existe z U0 tal que
y n = (z) .
Como G divisvel, temos que existe x G tal que z = xn . Por definio,
x W e y 1 (x) T (G) < U0 < W.
Ento existe t T (G) tal que y 1 (x) = (t1 ). Assim,
y = (tx)
com tx W . Logo, sobrejetora. Isto prova a afirmao e tambm que
W = U0 .
Desta forma, U0 um subgrupo divisvel de G. Assim,
G = U0 K,
: G G por
para algum subgrupo divisvel K de G. Definamos
(g) =
(uk) = (u) IK (k) , com u U0 e k K.

Aut (G) e
tal que
Ento

= .
|
H

Portanto, G do tipo injetivo.

2o Caso. Seja G um grupo de toro tal que suas componentes primrias so divisveis ou
homocclicas. Podemos supor, sem perda de generalidade, que G um p-grupo. Por um caso
anterior, G tambm pode ser suposto homocclico. Sejam H um subgrupo de G e : H H
um automorfismo de grupos. Uma aplicao do Teorema da Base garante a existncia de uma
extenso de .
49

3o Caso. Seja G um grupo tal que

G = T (G) F,
com T (G) divisvel e F de posto 1. Sejam
t = t (F ) ,
o tipo de F , e
h = (h1 , h2 , . . .)
uma altura qualquer em t. Pela Proposio 4.3, F isomorfo ao subgrupo de Q gerado pelos
nmeros racionais p1j , com i N, j = 0, 1, . . . , hi e = {p1 , p2 , . . .} o conjunto dos nmeros
i
primos ordenados naturalmente. Desta forma podemos mergulhar G no grupo divisvel
G = T (G) Q.
Sejam H um subgrupo de G e : H H um automorfismo de grupos. Pelo 1o Caso, existe

Aut G tal que
|G = .
Afirmao 1. (G) = G.
De fato, suponhamos, por absurdo, que (G) 6= G. Ento, para algum f0 F , teramos que
/ G.
(f0 )
Seja
:GQ
a projeo cannica de G e
:QQ
a funo induzida por . Ento
Aut (Q) e ( (f0 ))
/ (F ) .
Logo, exsite um nmero racional = pq , com mdc (p, q) = 1, tal que o produto por e
/ (F ) .
(f0 )
Por outro lado,
n (H) = (H) , n Z.
Escolha n0 N (H) e n N grande o suficiente para que n n0 (H) < (F ) seja uma
frao irredutvel. Se
q = psi11 psikk
a decomposio primria de q, ento, como (F ) gerado pelos nmeros racionais p1j , com
i
i N, j = 0, 1, . . . , hi , e n n0 uma frao irredutvel em (F ), devemos ter que hik 6= 0. De
50

fato, como podemos tomar n N arbitrariamente grande segue que hik = . O fato dos pik
serem relativamente primos implica que
1
(F )
q
e ento (F ). Se x (F ), ento
x=

X sij
pji

(4.1)

uma soma finita com sij Z, i, j. Usando a Equao (4.1), temos que

x
q

(F ) e, assim,

x (F ) .
Por outro lado,
( (f0 )) = (f0 ) (F ) ,
o que uma contradio. Logo,
(G) = G.

Portanto, G um grupo do tipo injetivo.

Corolrio 4.9 Seja G um grupo finito do tipo injetivo. Ento Z (G) do tipo injetivo. Portanto, Z (G) um produto direto de p-grupos homocclicos.
Exemplo 4.10 Seja G = Dpn , com p um nmero primo mpar e n N, ento G um grupo
do tipo injetivo.
Exemplo 4.11 O grupo G = K o H, com K = hai ' Z7 , H = hbi ' Z3 e : H Aut (K)
dada por b (a) = a2 , no um grupo do tipo injetivo.
O Exemplo 4.11 comprova o fato de que a categoria dos gupos quasi-injetivos distinta da
categoria dos grupos do tipo injetivo, pois o grupo G = K o H quasi-injetivo, pelo Exemplo
3.31, embora no seja do tipo injetivo.

51

Referncias Bibliogrficas
[1] Alperin, J. L. and Rowen, B. Bell, Groups and Representations, Springer-Verlag, New
York, 1995.
[2] Azevedo, A. C. P., Bastos, G. G. e Juriaans, S. O., Extension of Automorphisms of
Subgroups of Abelian and Polycyclic-by-finite Groups. J. Algebra Appl. 6 (2007), no. 2,
315 322.
[3] Bertholf, D., Walls G., Finite Quasi-Injective Groups, Glasgow Math. J. 20 (1970), 2933.
[4] Fuchs, L., Infinite Abelian Groups II, Academi Press, 1970.
[5] Garcia, A. L. e Lequain, Y., lgebra: Um Curso de Introduo. IMPA, Rio de Janeiro,
1988.
[6] Gonalves, A. Introduo lgebra. IMPA, Rio de Janeiro, 1979.
[7] Gorestein, D., Finite Groups, Harper and Row, 1968.
[8] Hall, M., The Theory of Groups, MacMillan, 1959.
[9] Nogin, M., A Short Proof of Eilemberg and Mooores Theorem. C. E. Journal of Mathematics, 5 (1), 2007, 201 204.
[10] Robinson, Derek J. S., A Course in the Theory of Groups. Spring-Verlag, BerlimHeidelberg-New York, 2nd ed.,1995.
[11] Rotman, Joseph J., An Introduction to the Theory of Groups. New York: Spring-Verlag,
4.ed., (1994).
[12] Scott, W. R., Group Theory, Prentice-Hall, 1964.
[13] Spindler, K., Abstract Algebra with Aplications, Vol. I, Marcel Dekker, 1994.
[14] Tomkinson, M. J., Infinite Quasi-Injective Groups, Proc. of the Edinburg Math. Soc., 31
(1988), 249 259.

52