Universidade Federal da Paraba

Centro de Cincias Exatas e da Natureza

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

Classificao de Automorfismos de
Grupos Finitos
por

Flvio Alves de Albuquerque

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.

Agosto/2011
Joo Pessoa - PB

Agradecimentos
A Deus, que concedeu ao filho de uma feirante e de um guarda municipal a possibilidade de
vencer mais uma etapa da vida.
Aos meus pais, Felipe de Albuquerque Melo Filho e Maria do Socorro Alves de Albuquerque
por tudo que sou.
Aos professores do Departamento De Matemtica da UFPB, em especial aos professores,
Dr. Fernando Antnio Xavier de Sousa e Dr. Daniel Marinho Pellegrino.
Ao meu orientador e amigo Professor Dr. Antnio de Andrade e Silva pela pacincia, dedicao e por ter sido meu maior incentivador, ainda na graduao, a seguir na vida acadmica.
A todos os colegas de curso que de alguma forma contribuiram com esse trabalho.
A todos os colegas professores de Matemtica do IFPB - Campus Joo Pessoa.
Por fim, a minha esposa Andra Santos de Albuquerque, a meus filhos Flvio Henrique
Santos de Albuquerque e Ana Beatriz Santos de Albuquerque pela compreenso de t-los pivado
da minha presena, por varios momentos importantes de suas vidas.

iii

Dedicatria

A minha famlia

iv

Resumo
Neste trabalho estudamos Grupos Abelianos finitos, onde enunciamos e provamos o Teorema
fundamental dos grupos abelianos finitamente gerados, bem como determinamos uma caracterizao dos automorfismos de um p-grupo, alm disso, exibimos um algoritmo que determina a
contagem do nmero de automorfismos desses p-grupos. Por fim, mostramos os automorfismos
do grupo no-Abeliano Diedral .
Palavras chave- Grupos Abelianos finitos, Endomorfismos, Classificao de Automorfismos e Grupo Diedral.

Abstract
In this paper we study finite Abelian groups, where state and prove the fundamental theorem
of finitely generated abelian groups, as well as determine a characterization of automorphisms
of a p-group, moreover, we exhibit an algorithm that determines the count of the number of
automorphisms of p-groups. Finally, we show the automorphisms of the non-Abelian dihedral
group.
Key words- Finite Abelian groups, endomorphisms, automorphisms and classification of
dihedral group.

vi

Notao
Fp - Corpo finito com p elementos onde p um nmero primo;
G - Grupo;
1, 1G - Elemento identidade do grupo G;
End (G) - Conjunto dos endomorfismos do grupo G;
Aut (G) - Conjunto dos automorfismos do grupo G;
Inn (G) - Conjunto dos automorfismos internos do gupo G;
Zn - Anl dos inteiros mdulo n;
[] - Indica referncia;
hSi - Subgrupo gerado por S;
|G| - Ordem do grupo G;
' - Isomorfismo;

Z
nZ

- Conjunto das classes de equivalncia de Z mdulo n;

H K - Produto direto de H por K;

H o K - Produto semidireto de H por K;
H G - H Subgrupo de G;
H E G - H Subgrupo Normal de G;

G
H

- Grupo quociente de G por um subgrupo normal H;

det (A) - Determinante da matriz A;

Glt (A) - Grupo das matrizes invertveis;
Dn - Grupo diedral de ordem 2n.
vii

Sumrio
Introduo

ix

1 Preliminares

1.1 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2 Homomorfismos de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3 Produto Direto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4 Grupos Abelianos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2 Automorfismos de Grupos Abelianos Finitos

18

2.1 Endomorfismos de p-Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . 18

2.2 Algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 Automorfismos dos Grupos Diedrais

31

3.1 Grupos Diedrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

3.2 Automorfismo dos Grupos Diedrais . . . . . . . . . . . . . . . . . . . . . . . . . 44
Referncias Bibliogrficas

45

viii

Introduo
Histrico
Em entrevista a Revista Matemtica Universitria [4], o matemtico Walter Feit, afirma
que o incio da Teoria dos Grupos se deu com a descoberta da irressolubilidade das equaes
de quinto grau por radicais feita por Galois. Nessa teoria um dos problemas mais difceis que
se apresenta sem dvida o da classificao dos grupos finitos. Apenas para dar uma ideia da
extrema dificuldade, podemos informar que existem 14 tipos distintos de grupos de ordem 16
sendo 5 abelianos (apenas 1 cclico) e 9 no abelianos.
Um dos teoremas que levou a classificao dos grupos simples finitos foi o teorema da ordem
mpar que afirma Qualquer grupo de ordem mpar solvel, trata-se de um enunciado breve
e simples cuja prova, obtida em 1962 por Walter Feit e John Thompson, ocupou 255 pginas
do Pacific Journal of Mathematic. As tcnicas introduzidas ao longo da prova foram a base
de muitos dos desenvolvimentos posteriores na teoria dos grupos finitos. O teorema da ordem
mpar um elemento crucial em todas as demonstraes dos teoremas da classificao dos
grupos simples.
Em 1981, depois de muitos anos de trabalho, foi completada, pelo matemtico Gorenstein,
a classificao dos grupos simples que so as partculas elementares da teoria dos grupos
finitos.
A primeira caracterizao dos automorfismos de um grupo G foi tratada no artigo The
group of classes of congruent matrices with application to the group isomorphisms of any
abelian group de Ranum em 1907. Alm deste, h poucas exposies. Nosso objetivo com
este trabalho contribuir com um tratamento acessvel e moderno a essa caracterizao no caso
de grupos finitos.

ix

Descrio do trabalho
Esta dissertao constituda de trs captulos.
No Captulo 1, apresentamos os conceitos bsicos relativos a Teoria dos Grupos, pois esses
conceitos permeiam a maioria dos resultudaos abordados bem como enunciamos e provamos o
teorema fundamental dos grupos abelianos finitamente gerados e exibimos um exemplo.
No Captulo 2, fazemos uma caracterizao dos endomorfismos do grupo Hp mostrando
o isomorfismo entre End (Hp ) e o conjunto de matrizes Rp , mostramos um algoritmo e uma
frmula explicita para a determinao do nmero de automorfismos de Hp e exibimos um
exemplo.
Finalmente, no Captulo 3, fazemos a classificao dos automorfismos do grupo no abeliano
Diedral como forma de comparar com a classificao dos automorfismos dos grupos abelianos.

Captulo 1
Preliminares
Neste captulo o leitor encontrar alguns resultados bsicos necessrios para a compreensso
da abordagem que ser feita. Apresentaremos as definies de Grupos, Subgrupos, Homomorfismos, Endomorfismos e Automorfismos de grupos e algumas propriedades relevantes destes
e as conexes existentes entre eles, bem como a definio de produto direto e o Teorema fundamental para grupos abelianos finitos. O leitor interessado em mais detalhes pode consultar
[5].

1.1

Grupos

Um conjunto G munido de uma operao binria

: GG

7 a b

(a, b)

um grupo se os axiomas seguintes so satisfeitos:

1. Associatividade,
a (b c) = (a b) c, a, b, c G.
2. Existe 1 G tal que
a 1 = 1 a = a, a G.
3. Para cada a G, existe b G tal que
a b = b a = 1,
1

em que b ser denotado por a1 ou a, dependendo da operao binria ser comutativa

ou no.
Assim, um grupo um par (G, ), onde G um conjunto e uma operao binria sobre G.
Na maioria das vezes, diremos simplesmente o grupo G, sem mencionar qual a operao
binria que est sendo considerada.
4. Se em um grupo G o axioma
a b = b a, a, b G,
verificado, diremos que G um grupo abeliano ou um grupo comutativo.
Sejam G um grupo e H um subconjunto no vazio de G. Diremos que H um subgrupo
de G, em smbolos H G, quando H munido com a operao binria induzida por G for um
grupo.
Sejam A e B subconjuntos de G. Definimos
AB = {ab : a A e b B} e A1 = {a1 : a A}.
Ento fcil verificar que
A(BC) = (AB)C, A, B, C G.
Proposio 1.1 (Critrio de Subgrupo) Sejam G um grupo e H um subconjunto no vazio
de G. Ento H um subgrupo de G se, e somente se, as seguintes condies so satisfeitas:
1. 1G H, com 1G o elemento identidade de G.
2. Se a, b H, ento ab H (isto , HH H). (fechamento)
3. Se a H, ento a1 H (isto , H 1 H). (existncia de inverso)
Sejam G um grupo, S um subconjunto de G e F a famlia de todos os subgrupos de G
contendo S, isto ,
F = {K G : S K}.
Como G F temos que F 6= . Seja
H=

KF

K.

Ento H um subgrupo de G e S H. Note que se L qualquer subgrupo de G tal que

S L, ento L F e H L. Portanto, H o menor subgrupo de G contendo S. O subgrupo
H chamado o subgrupo de G gerado por S e ser denotado por
H = hSi .
Proposio 1.2 Sejam G um grupo e S um subconjunto no vazio qualquer de G. Ento o
subgrupo gerado por S :
hSi = {a1 a2 an : n N, ai S S 1 }.
Em particular, se S = {a}, ento hSi = hai = {an : n Z}. De fato,

hai = {at11 atnn : n N, ai {a} e ti {1, 1}}

= {at1 atn : n N e ti {1, 1}}
Sn

= {a

i=1 ti

: n N e ti {1, 1}}

= {am : m Z}.
Seja G um grupo. Diremos que G grupo cclico se existir a G tal que G = hai

1.2

Homomorfismos de Grupos

Sejam G e H grupos. Uma funo : G H um homomorfismo de grupos se

(ab) = (a)(b), a, b G.
Intuitivamente, um homomorfismo de grupos de G em H uma funo que preserva as
operaes dos grupos. O conjunto de todos os homomorfismos de G em H ser denotado por
Hom (G, H) = { : G H : um homomorfismo de grupos}.
Note que o conjunto Hom (G, H) sempre no vazio, pois ele contm o homomorfismo :
G H definido por (a) = 1H , para todo a G, chamado de homomorfismo trivial.
Seja : G H um homomorfismo de grupos. Diremos que um monomorfismo (uma
imerso) se injetora e que um epimorfismo (uma submerso) se sobrejetora. Diremos
3

que um isomorfismo se bijetora. Quando existir um isomorfismo entre G e H, diremos

que G e H so isomorfos e ser denotado por G ' H. Intuitivamente, um isomorfismo de G
sobre H uma regra que consiste em renomear os elementos de G, isto , o nome do elemento
sendo (a) ao invs de a G.
Um endomorfismo de um grupo G um homomorfismo de grupos : G G. O conjunto
de todos os endomorfismos de G ser denotado por
End (G) = { : G G : um homomorfismo de grupos}.
Note que o conjunto End (G) contm o homomorfismo I : G G definido por I(a) = a, para
todo a G, chamado de endomorfismo identidade.
Um automorfismo de um grupo G um isomorfismo : G G. O conjunto de todos os
automorfismo de G ser denotado por
Aut (G) = { : G G : um isomorfismo de grupos}.
Proposio 1.3 Sejam G e H grupos. Ento:
1. O conjunto Aut (G) munido com a operao usual de composio de funes um subgrupo
do grupo de permutaes P (G). Em particular, Aut (G) = End (G) P (G).
2. Se Hom (G, H), ento (1G ) = 1H e (a1 ) = (a)1 , para todo a G.
Observao 1.4 Seja G = hSi, com
S = {ai : ai G e i I}.
Ento para cada End (G) o valor de (a) para qualquer a G completamente determinado
por (ai ), para todo i I. Em particular, G = h(S)i, para todo Aut (G).
Proposio 1.5 Sejam G um grupo qualquer, a G fixado e a : G G a funo definida

como a (x) = axa1 , para todo x G. Ento:

1. a Aut (G) e chama-se automorfismo interno de G e os automorfismos de Aut (G),

com 6= a , so chamados de automorfismos externos de G.
2. Se
Inn (G) = {a Aut (G) : a G},
4

ento Inn (G) um subgrupo de Aut (G). Em particular,

a 1 Inn (G) , Aut (G) .
Portanto, Inn (G) um subgrupo normal de Aut (G).
Seja : G H um homomorfismo de grupos. A imagem de o conjunto
Im = {h H : h = (a), para algum a G}
= {(a) : a G} = (G).
O ncleo de o conjunto
ker = {a G : (a) = 1H } = 1 (1H ).
Se L um subconjunto de H, ento a imagem inversa (ou pullback) de L o conjunto
1 (L) = {a G : (a) L}.
Proposio 1.6 Sejam G, H grupos e Hom (G, H). Ento:
1. Im um subgrupo de H.
2. ker um subgrupo de G. Alm disso, aNa1 N, para todo a G, com N = ker .
Portanto ker um subgrupo normal de G.
3. Para quaisquer a, b G, (a) = (b) se, e somente se, a1 b ker .
4. um monomorfismo se, e somente se, ker = {1G }.
5. um epimorfismo se, e somente se, Im = H. Neste caso, diremos que H a imagem
homomrfica de G.
6. um isomorfismo se, e somente se, existir 1 Hom (H, G) tal que 1 = IG e
1 = IH se, e somente se, ker = {1G } e Im = H.

Proposio 1.7 Seja G = hai um grupo cclico de ordem n. Para um k Z fixado, consideremos o endomorfismo k : G G definido por k (a) = ak .
1. k = m se, e somente se, m k (mod n).
5

2. Se End (G), ento existe um nico k {0, 1, . . . , n 1} tal que = k .

3. Se d = mdc(m, n), ento ker m = ker d e Im m = Im d .
4. k Aut (G) se, e somente se, mdc(n, k) = 1.
5. Se Aut(G), ento = k , para algum k {0, 1, . . . , n1} tal que com mdc(n, k) = 1.
6. A funo : U(Zn ) Aut(G) definida como (k) = k um isomorfismo, em que
U(Zn ) = {k Zn : mdc(n, k) = 1}.
Neste caso, Aut(G) um grupo cclico de ordem (n).
Prova. Vamos provar apenas o item (4). Suponhamos que k Aut (G). Ento

Seja d = mdc(n, k). Ento

Logo, mdc(n, k) = 1.

n = |a| = | k (a)| = ak .

k nd
k
k
n
a
= (an ) d = e d = e n divide
d = 1.
d

Reciprocamente, suponhamos que mdc(n, k) = 1, ento existem r, s Z tais que

rn + sk = 1.
Assim,
b = b1 = brn+sk = (bk )s , b G.
Logo,
b ker k k (b) = e bk = e b = (bk )s = es = e,
isto , k injetora. Dado b G, existe c = bs G tal que k (c) = b, isto , k sobrejetora.
claro que k um homomorfismo de grupos.

Sejam G um grupo e N um subgrupo de G. Diremos que N um subgrupo normal (ou

subgrupo invariante) em G, em smbolos N E G, se
aha1 N, a G e h N,
ou, equivalentemente,
a (N) N, a Inn(G).
6

Proposio 1.8 Seja G um grupo. Ento:

1. N um subgrupo normal em G se, e somente se aN = Na, para todo a G.
2. N um subgrupo normal em G se, e somente se aN a1 = N, para todo a G.
3. Se N e K so subgrupos normais em G, ento N K um subgrupo normal em G.
4. Se N um subgrupo normal em G e K um subgrupo de G, ento N K um subgrupo
normal em K.
5. Se N e K so subgrupos normais em G, ento NK um subgrupo normal em G.
6. Se N e K so subgrupos normais em G, com N K = {e}, ento hk = kh, para todo
h N e k K.
Sejam G um grupo e N um subgrupo normal em G. Ento

G
N

munido com a operao

binria
(aN) (bN) = abN, a, b G,
um grupo, chamado de grupo quociente ou grupo fator de G por N.
Observao 1.9 Qualquer subgrupo normal ncleo de um homomorfismo.
Teorema 1.10 (Primeiro Teorema de Isomorfismo) Seja : G K um homomorfismo
de grupos. Ento
G
' Im .
ker
Em particular, se G grupo finito, ento |G| = |ker | |Im |. Neste caso, |ker | divide |G| e
|Im | divide |G|.
Proposio 1.11 Sejam G e H grupos isomorfos. Ento Aut (G) e Aut (H) so grupos isomorfos.
Prova. Seja : G H qualquer isomorfismo de grupos. Ento a funo f : Aut (G)

Aut (H) definida como f () = 1 claramente um isomorfismo, confira diagrama:

G
1
H

Portanto, Aut (G) e Aut (H) so grupos isomorfos.

7

1.3

Produto Direto

Sejam G1 , G2 ,. . . , Gn grupos. O produto direto (externo) dos grupos G1 , G2 ,. . . , Gn o

conjunto
G1 G2 Gn = {(g1 , g2 , . . . , gn ) : gi Gi }
munido da operao binria
(g1 , g2 , . . . , gn ) (h1 , h2 , . . . , hn ) = (g1 1 h1 , g2 2 h2 , . . . , gn n hn ) ,

com (1G1 , . . . , 1Gn ) o elemento identidade e g11 , . . . , gn1 o inverso do elemento (g1 , . . . , gn ).

Proposio 1.12 Sejam G1 , G2 , . . . , Gn grupos e

G=

n
Y

Gi .

i=1

1. A funo i : Gi G definida como

i (gi ) = (1G1 , . . . , gi , . . . , 1Gn )
um homomorfismo de grupos injetor. Neste caso,
bi = i (Gi ) = {1G1 } {1Gi1 } Gi {1Gi+1 } {1Gn }.
Gi ' G

bi , ento Gi um subgrupo normal em G e

Em particular, se identificamos Gi com G
G
' G1 Gi1 Gi+1 Gn .
Gi

2. A funo i : G Gi definida como

i (g1 , . . . , gn ) = gi
um homomorfismo de grupos sobrejetor. Neste caso,
ker i = 1
i (1Gi ) = G1 Gi1 {1Gi } Gi+1 Gn
' G1 Gi1 Gi+1 Gn .
3. Sob a identificao do item (1), ab = ba, para todo a Gi e b Gj , com i 6= j.
Sejam G um grupo e Hi subgrupos de G, i = 1, . . . , n. Diremos que G o produto direto
(interno) dos Hi se as seguintes condies so satisfeitas:
8

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

2. Qualquer a G pode ser escrito de modo nico sob a forma
a = h1 hn , hi Hi , i = 1, . . . , n.
Observe que, ao contrrio do produto direto externo, o produto direto interno nem sempre
existe, por exemplo, se G = S3 , H = hi e K = h i, com

1 2 3
1 2 3
e =
,
=
2 3 1
1 3 2

ento H e K so subgrupos de G, mas 6= . Portanto, G no um produto direto interno

de H e K. Note que o produto direto interno pode ser generalizado para uma famlia qualquer
de grupos.
Proposio 1.13 Sejam G um grupo e Hi subgrupos de G, i = 1, . . . , n. Ento G um produto
direto interno dos Hi se, e somente se,
1. G = H1 Hn .
2. Hi um subgrupo normal em G, para cada i = 1, . . . , n.
3. Hi (H1 Hi1 Hi+1 Hn ) = {1}, para cada i = 1, . . . , n.
4. Hi (H1 Hi1 ) = {1}, para cada i = 2, . . . , n.
Corolrio 1.14 Sejam G um grupo e Hi subgrupos de G, i = 1, . . . , n. Se G um produto
direto interno dos Hi , ento
G ' H1 Hn .
Como um abuso de notao vamos escrever G = H1 Hn , ou seja, qualquer elemento
g H1 Hn pode ser escrito de modo nico sob a forma
g = h1 hn , hi Hi , i = 1, . . . , n.
Prova. Como G = H1 Hn temos que a funo : G H1 Hn definida por
(a) = (h1 , . . . , hn ), com a = h1 hn , est bem definida. Agora, fcil verificar que um

isomorfismo.

Lema 1.15 Sejam G um grupo e a G, com ordem mn e mdc(m, n) = 1. Ento existem

nicos b, c G tais que
a = bc = cb, com |b| = m e |c| = n.
Prova. (Existncia) Como mdc(m, n) = 1 temos que existem r, s Z tais que rm + sn = 1.
Logo,
a = a1 = arm+sn = arm asn = asn arm .
Pondo b = asn e c = arm , obtemos a = cb = bc. Sejam |b| = k e |c| = l. Ento bk = e e cl = e.
Como
bm = (asn )m = (amn )s = es = e e cn = (arm )n = (amn )r = er = e
temos que existem u, v Z tais que m = uk e n = vl. Assim, kl divide mmc(m, n) = mn, pois
mn = (uk)(vl) = (uv)kl.
Por outro lado,
akl = (bc)kl = (bk )l (cl )k = el ek = e mn | kl.
Logo,
mn = kl ukn = kl un = l n | l.
Portanto, n = l. De modo inteiramente anlogo prova-se que m = k, ou seja, |b| = m e |c| = n.
(Unicidade) Suponhamos que a = xy = yx, com |x| = m e |y| = n. Ento
bc = xy x1 b = yc1 .
Logo,
ax = (xy)x = x(yx) = xa e ay = (yx)y = y(xy) = ya.
fcil verificar que
bx = xb, by = yb, cx = xc e cy = yc.
Assim,
(x1 b)m = xm bm = e e (x1 b)n = (yc1 )n = y n cn = e.
Portanto, x1 b = e, pois mdc(m, n) = 1. Donde conclumos que b = x e c = y.
Corolrio 1.16 Sejam m, n N, com mdc(m, n) = 1. Ento:
1. Zm Zn ' Zmn .
10

2. Se n = p1 1 .p2 2 . .pk k , ento Zn ' Zp1 1 Zp2 2 Zpk .

k

Prova. Como Zmn = hai temos, pelo Lema 1.15, que existem nicos b, c Zmn tais que
a = bc = cb, com |b| = m e |c| = n.
Logo, a funo : Zmn Zm Zn definida como (a) = (b, c) bijetora e um homomorfismo.

1.4

Grupos Abelianos Finitos

Nesta seo apresentaremos um mtodo sistemtico de determinar todos os grupos abelianos

finitos de uma determinada ordem. Mas antes vamos apresentar alguns conceitos e resultados.
k

Lema 1.17 Sejam G um p-grupo abeliano finito e g p 6= 1, para algum k Z+ . Se a ordem de

k

gp igual a pm , ento a ordem de g igual a pk+m .

Prova. Seja pn a ordem de g. Ento n > k. Como

k pm
pk+m
g
= gp
=1

temos que pn divide pk+m , isto , n m + k Por outro lado, como

k pnk
n
gp
= gp = 1

temos que pm divide pnk , isto , m n k Portanto, pn = pk+m .

Lema 1.18 Sejam G um grupo abeliano e n N, com n 2. Ento a funo : G G

definida como (x) = xn um homomorfismo de grupos. Alm disso,

G
' Im , ker = {a G : an = 1} e Im = {an : a G}.
ker
Proposio 1.19 Sejam G um grupo abeliano de ordem n > 1 e
n = p1 1 p2 2 pk k ,
a fatorao de n em fatores primos distintos. Ento
G = Hp1 Hp2 Hpk ,
i

com Hpi = {a G : api = 1} de ordem pi i para i {1, . . . , k}. Alm disso dita decomposio
nica.
11

Prova. Vamos usar induo sobre l, com 1 l k. Como

i

Hpi = {a G : api = 1}
um subgrupo normal em G temos que Hp1 Hpl um subgrupo de G.

Sejam H =

Hp1 Hpl1 e K = Hpl . Ento, pelo Corolrio 1.14,

H = Hp1 Hpl1 e |H| = |Hp1 | Hpl1 .

Por outro lado, como o mdc(|H| , |K|) = 1 temos, pelo Teorema de Lagrange, que H K = {1}.
Logo,

Em particular,

H K = Hp1 Hpl1 Hpl ' Hp1 Hpl1 Hpl .

G = Hp1 Hp2 Hpk ,

que o resultado desejado.

Sejam p um nmero primo e E um p-grupo. Diremos que E um p-grupo abeliano elementar

se qualquer elemento de E {1} possui ordem p.
Lema 1.20 Seja E um p-grupo abeliano elementar. Ento para qualquer x E existe um
subgrupo M de E tal que E = M hxi.
Prova. Se x = 1, ento E = M. Se x 6= 1, ento existe um subgrupo M de E de ordem
maximal tal que x
/ M. Se [E : M] 6= p, ento o conjunto
E=

E
M

/ hyi.
um p-grupo abeliano elementar e existe y E hxi. Como y p = 1 temos que x
Assim, pelo Teorema da correspodncia, hyi = hyMi da forma

L
,
M

onde L um subgrupo de

E contendo M e x
/ L, o que cotradiz a maximalidade M. Logo,
[E : M] = p, E = M hxi e M hxi = {1}.

Portanto, pelo Corolrio 1.14, E = M hxi.

Teorema 1.21 Sejam G um grupo abeliano de ordem n > 1 e
n = p1 1 p2 2 pk k ,
a fatorao de n em fatores primos distintos. Ento:
12

1. G = Hp1 Hp2 Hpk , com |Hpi | = pi i .

2. Para cada Hpi {Hp1 , . . . , Hpk }, com |Hpi | = pi i , obtemos
Hpi = Zpei 1 Zpei 2 Zpei t ,
com 1 e1 e2 et e e1 + e2 + + et = i (em que t e e1 , . . . , et dependem de
i). Neste caso, diremos que Hpi um grupo do tipo
(pei 1 , pei 2 , . . . , pei t )
3. As decomposies em (1) e (2) so nicas.
Prova. (Existncia) Pelo Corolrio 1.14, basta provar que Hp , com p um nmero primo,
um produto de grupos cclicos. Vamos usar induo sobre |Hp |. Consideremos a funo

: Hp Hp definida como (x) = xp . Ento, pelo Lema 1.18, um homomorfismo de

grupos. Sejam E = ker e K = Im . Ento, pelo Primeiro Teorema de Isomorfismo,
Hp
Hp
' K implica que E,
E
K
so p-grupos abelianos elementares e
|Hp | = |E| |K| e [Hp : K] = |E| ,
ou seja, desde que |E| > 1, |K| < |Hp |. Assim, pela hiptese de induo,
K = hk1 i hk2 i hkt i = Zpei 1 Zpei 2 Zpei t , ei 1, i = 1, . . . , t.
Como ki K = Im temos que existe hi Hp tal que
ki = (hi ) = hpi , i = 1, . . . , t.
Seja H0 = hh1 , h2 , . . . , ht i o subgrupo finitamente gerado de Hp . Ento:
(a) H0 = hh1 i hh2 i hht i.
(b) O grupo quociente
H0
= hh1 Ki hh2 Ki hht Ki
K
um p-grupo abeliano elementar de ordem pt .
13

(c) O subgrupo

e 1 e 1
e 1
pi 1
pi 2
p t
E K = h1
h2
ht i

um grupo abeliano elementar de ordem pt .

De fato, como

H0 = hh1 , h2 , . . . , ht i = hh1 i hh2 i hht i , com hhi i hh2 i hhi1 i = {1},

temos, pelo Corolrio 1.14, que H0 = hh1 i hh2 i hht i. Os outros itens, provam-se de
modo anlogo. Agora, se E K ento
[Hp : K] = |E| = |E K| = pt = [H0 : K].
Logo, Hp = H0 e o teorema est provado. Se E no subgrupo de K, ento existe x E tal
que x
/ K, de modo que
|hxi| = |hxKi| = |hxi| = p.
Assim, pelo Lema 1.20, existe um subgrupo M de
Hp
K

Hp =
tal que

H p = M hxi .
Pelo Teorema da correspodncia, M = yK da forma

M
,
K

onde M um subgrupo de Hp

contendo K, ou seja, M hxi = {1}, pois a ordem de x igual a p e x

/ M. Portanto,
Hp = M hxi .
Pela hiptese de induo, M um produto de grupos cclicos e, consequentemente, Hp um
produto de grupos cclicos.
(Unicidade) Vamos usar induo sobre |Hp |. Suponhamos que Hp tenha duas decomposies
do tipo
(pe1 , pe2 , . . . , pes ) e (pf1 , pf2 , . . . , pft ),
com 1 e1 e2 es e 1 f1 f2 ft . J vimos que a funo : Hp Hp

definida como (x) = xp um homomorfismo de grupos. Sejam E = ker e K = Im . Ento

E e

Hp
K

14

so p-grupos abelianos elementares e, pelo Primeiro Teorema de Isomorfismo,

|Hp | = |E| |K| e [Hp : K] = |E| ,
ou seja, |K| < |Hp | e K do tipo
(pe1 1 , pe2 1 , . . . , pes 1 ) e (pf1 1 , pf2 1 , . . . , pft 1 ),
Note que se ei 1 = 0 ou fj 1 = 0, ento o grupo fator de K correspondendo a pei 1 ou pfj 1
simplesmente o grupo {1}. Assim, pela hiptese de induo, obtemos ei 1 = fi 1, para
todo i, com ei 1 > 0 ou fi 1 > 0, ou seja, ei = fi . Portanto, as duas sequncias
(pe1 , pe2 , . . . , pes ) e (pf1 , pf2 , . . . , pft ),
podem diferir apenas nas primeira coordenadas, as quais so iguais a p. Neste caso,
(p, . . . , p, pe1 , pe2 , . . . , peu ) e (p, . . . , p, pe1 , pe2 , . . . , peu ),
Assim, a ordem de Hp igual
p pe1 +e2 ++eu = p pe1 +e2 ++eu ,

Logo, = e unicidade est provado.

Os nmeros inteiros pj j descritos no Teorema chamam-se divisores elementares de G e

G = Hp1 Hp2 Hpk
chama-se decomposio em divisores elementares de G. Os subgrupos Hpi so pi -subgrupos de
Sylow de G. Assim, eles so nicos.
Note que para um nmero primo p fixado, pe divide pf se, e somente se, e f . Alm disso,
pe1 pe2 pet = p
se, e somente se,
e1 + e2 + + et = .
Portanto, a decomposio em divisores elementares de G, com a condio divisibilidade
dos inteiros pe vista como a condio aditiva de seus expoentes implica que os divisores
elementares de G podem ser vistos como os fatores invariantes dos p-subgrupos de Sylow, para
qualquer nmero primo p dividindo a ordem de G. Observe que os divisores elementares de G
no so fatores invariantes de G, mas so fatores invariantes do subgrupo Hp .
15

Observao 1.22 As condies (1), (2) e (3) para os fatores invariantes descritas no Teorema
podem ser escolhidas como:
1. ej 1 para todo i = 1, . . . , t.
2. ei ei+1 para todo i = 1, . . . , t 1.
3. e1 + e2 + + et = .
Portanto, cada lista de fatores invariantes simplesmente uma partio de . (ordenados
em ordem crescente). Em particular, o nmero de grupos abelianos no isomorfos de ordem p
(igual ao nmero de listas distintas) igual ao nmero de parties de . Note que ssse nmero
no dependente de p. Por exemplo, o nmero de grupos abelianos de ordem p4 obtida a partir
da lista de parties de 4:
Fatores Invariantes Grupos abelianos
4

Zp4

1, 3

Zp Zp3

2, 2

Zp2 Zp2

1, 1, 2

Zp Zp Zp2

1, 1, 1, 1

Zp Zp Zp Zp

Assim, existem exatamente 5 grupos de ordem p4 no isomorfos. Neste caso, se

n = p1 1 p2 2 pk k
e qi o nmero de parties de i , ento o nmero de grupos abelianos de ordem n igual a
q1 q2 qk .
Finalizaremos esta seo classificando todos os grupos abelianos de ordem
n = 1800 = 23 32 52 ,
listamos os grupos abelianos desta ordem como segue:
Ordem p

Parties de Grupos abelianos

23

3; 1, 2; 1, 1, 1

32

Z23 ; Z2 Z22 ; Z2 Z2 Z2

2, 1, 1

52

Z32 ; Z3 Z3

2; 1, 1

Z52 ; Z5 Z5
16

Portanto, existem 12 grupos abelianos distintos de ordem 1800:

Z8 Z9 Z25

Z4 Z2 Z3 Z3 Z25

Z8 Z9 Z5 Z5

Z4 Z2 Z3 Z3 Z5 Z5

Z8 Z3 Z3 Z25

Z2 Z2 Z2 Z9 Z25

Z8 Z3 Z3 Z5 Z5

Z2 Z2 Z2 Z9 Z5 Z5

Z4 Z2 Z9 Z25

Z2 Z2 Z2 Z3 Z3 Z25

Z4 Z2 Z9 Z5 Z5

Z2 Z2 Z2 Z3 Z3 Z5 Z5

17

Captulo 2
Automorfismos de Grupos Abelianos
Finitos
Neste captulo, descreveremos o endomorfismo de anis Hp como um quociente de um subanel das matrizes de Ztt e em seguida vamos classificar todos os automorfismos de um grupo
abeliano finito G e enumeramo-los.

2.1

Endomorfismos de p-Grupos Abelianos

Nesta seo vamos determinar os endomorfismos de p-grupos abelianos finitos. Seja

G = hai ' Zn =

Z
nZ

um grupo cclico isomorfo ao grupo aditivo dos nmeros inteiros de mdulo n. Ento j vimos
que nZ um subgrupo de mZ se, e somente se, existe nico k Z tal que n = km. Com essa
condio,
H'

mZ
nZ

um subgrupo de G. Assim, pelo Terceiro Teorema de Isomorfismo,

G
'
H

Z
nZ
mZ
nZ

'

Z
.
mZ

Portanto, [G : H] = m e, pelo Teorema de Lagrange, |H| = k. Logo, conclumos que

H'

Z
e H = {1, am , a2m , . . . , a(k1)m } = Gm E G.
kZ

Note que
H ' {0, m, 2m, . . . , (k 1)m} = mZn .
18

Por exemplo, podemos identificar Z4 com o subgrupo K = {0, 3, 6, 9} de Z12 .

Proposio 2.1 Seja G um grupo abeliano finito. Ento o conjunto End(G) munido com as
operaes binrias + e definidas como
( + )(x) = (x) + (x) e ( )(x) = ( (x)), x G,
um anel com identidade. Em particular, End(Zn ) isomorfo a Zn , com Zn o anel dos
nmeros inteiros de mdulo n.
Prova. Pelo item (2) da Proposio 1.7, qualquer End(Zn ) da forma = k , onde
k {0, 1, . . . , n 1} e k : Zn Zn a funo definida como k (1) = k. Ento fcil verificar
que a funo f : End(Zn ) Zn definida como f ( k ) = k um isomorfismo de aneis.

Lema 2.2 Sejam H, K grupos, 1 : H K H, 2 : H K K as projees cannicas e

1 : H H K, 2 : K H K as imeres cannicas. Ento:
1. 1 (h) 2 (k) = 2 (k) 1 (h), para todo h H e k K.
2. 1 1 = IH e 2 2 = IK .
3. Se i 6= j, ento i j o homomorfismo trivial.
4. (1 1 ) (2 2 ) = IHK .
5. 1 1 End(H) e 2 2 End(K), para todo End(H K).
Seja
Hp = Zpe1 Zpe2 Zpet ,
com 1 e1 e2 et , e1 + e2 + + et = e |Hp | = p . Note que
pe1 | pe2 | | pet .
Seja gi o gerador de Zpei . Ento cada g Hp pode ser escrito sob a forma
g = g1k1 gtkt ,
com 0 ki (pei 1). Assim, uma base de Hp o conjunto
{g1 , . . . , gt }.
19

 til, s vezes, considerar os ki como elementos do anel Zpei , de modo que a exponenciao
define um isomorfismo entre o grupo cclico Zpei e o grupo cclico aditivo dos inteiros mdulo
pei , a saber,

gi 1 = {x Z : x 1(mod pei )} e (Zpei , +) = 1 = {0, 1, . . . , pei 1}.

Portanto, em tudo que segue, cada elemento de Hp vai ser identificado com um vetor coluna
(h1 , . . . , ht )T ,
onde hi Zpei e hi Z o representante de classe. Assim, vamos considerar o conjunto das
matrizes quadradas de ordem t:

Rp = (aij ) Ztt : pei ej divide aij , se 1 j i t .

Exemplo 2.3 Seja Hp = Zp Zp Zp3 Zp5 . Ento

a
a12
a13 a14

11

a
a22
a23 a24
21
Rp =

p2 a31 p2 a32 a33 a34

p4 a
4
2
41 p a42 p a43 a44

: aij Z .

Observao 2.4 Seja A = (aij ) Rp fixada. Ento a condio que pei ej divide aij equivalente a existncia de uma decomposio
A = P BP 1 ,
em que B Ztt e P = diag(pe1 , pe2 , . . . , pet ). De fato, como pei ej divide aij temos que existe
bij Z tal que aij = pei ej bij . Assim,

a
a12
11

a21 a22
A =
..
..
.
.

at1 am2

pe1 b11 pe1

e2
p b21 pe1
=

..

pet bt1 pe1

...

a1t

...
...

a2m
..
.

. . . amm

pe1 b12 pe2 . . . pe1 b1t pet

e2

e2

e2

et

p b22 p
..
.

. . . p b2t p
..
...
.

pet bt2 pe2

. . . pet btt pet

= P BP 1 .

20

Lema 2.5 Rp um anel com unidade no comutativo.

Prova. Dados A1 , A2 Rp , obtemos
A1 + A2 = P B1 P 1 + P B2 P 1 = P (B1 + B2 )P 1 Rp ,
pois B1 + B2 Ztt . Logo, A1 + A2 Rp , isto , a soma usual de matrizes uma operao
binria sobre Rp . claro que essa operao associativa, comutativa, a matriz nula Ot o
elemento identidade de Rp e A o elemento inverso de A em Rp . Agora,
A1 A2 = (P B1 P 1 ) (P B2 P 1 ) = P (B1 B2 )P 1 Rp ,
pois B1 B2 Ztt . Logo, A1 A2 Rp , isto , o produto usual de matrizes uma operao
binria sobre Rp . claro que essa operao associativa e a matriz identidade It o elemento
identidade de Rp . Portanto, (Rp , +, ) um anel com unidade no comutativo.

Seja : Zt 7 Hp a funo definida como

T
(h1 , . . . , ht )T = (1 (h1 ) , . . . , t (ht ))T = h1 , . . . , ht ,

em que i : Z Zpei so as projees cannicas. Ento claramente um homomorfismo de

grupos sobrejetor.
Teorema 2.6 Seja Ep = End(Hp ). Ento a funo : Rp 7 Ep definida como (A) = A
um homomorfismo de aneis sobrejetor, em que A : Hp Hp definida como
A (h1 , . . . , ht )T = (A(h1 , . . . , ht )T ).
Prova. Seja A = (aij ) Rp fixada. A funo A : Hp Hp definida como
A (h1 , . . . , ht )T = (A(h1 , . . . , ht )T )
, se
um homomorfismo de grupos. Dados (g 1 , . . . , g t )T , (h1 , . . . , ht )T Zt1
pei
(g 1 , . . . , gt )T = (h1 , . . . , ht )T ,
ento
gi hi (mod pei ) pei | (gi hi ), i = 1, . . . , t.
Assim, a k-sima entrada do vetor coluna
(A(g1 , . . . , gt )T ) (A(h1 , . . . , ht )T )
21

 igual a:
k

t
X
i=1

aki gi

t
X
i=1

aki hi

= k
= k

t
X
i=1
t
X
i=1

t
X
i=1

aki gi

t
X
i=1

aki hi
!

aki (gi hi )
aki
pek ei

ek ei

(p

(gi hi )

= 0,

pois pek divide pek ei (gi hi ), se k i e pek divide (gi hi ), se k < i. Portanto, A est bem
definida.
A ((g 1 , . . . , g t )T + (h1 , . . . , ht )T ) = A ((g1 + h1 , . . . , gt + ht )T )
= A ((g1 + h1 , . . . , gt + ht )T )
= (A(g1 + h1 , . . . , gt + ht )T )
= (A(g1 , . . . , gt )T + A(h1 , . . . , ht )T )
= (A(g1 , . . . , gt )T ) + (A(h1 , . . . , ht )T )
= A (g1 , . . . , g t )T + A (h1 , . . . , ht )T .
Assim, A um homomorfismo de grupos, ou seja, A Ep , para todo A Rp . Portanto,
a funo : Rp 7 Ep definida como (A) = A est bem definida e um homomorfismo

de grupos. Mostraremos agora que ( A B )(g1 , . . . , g t )T = ( AB )(g 1 , . . . , gt )T , ento dados

22

A = (aij ) , B = (bij ) Rp , obtemos

!T
t
t
X
X
= A ((B(g1 , . . . , gt )T )) = A
b1k gk , . . . ,
btk gk

( A B )(g 1 , . . . , g t )T

= A

t
X

(b1k gk , . . . , btk gk )

k=1

t
X
k=1

k=1

A(b1k gk , . . . , btk gk )T =

t
X

k=1

A b1k gk , . . . , btk gk

k=1t
X

A(b1k gk , . . . , btk gk )T

k=1

!T
t
t
t
X
X
X
a1m bmk gk , . . . ,
atm bmk gk
=
k=1

m=1

t t
X X
k=1

m=1

a1m bmk

m=1

gk , . . . ,

= (AB(g1 , . . . , gt ) )

t
t
X
X
k=1

m=1

atm bmk

gk

!T

= ( AB )(g1 , . . . , g t )T .
Logo,
(AB) = AB = A B = (A) (B)
Portanto, um homomorfismo de aneis.
Agora, dados Ep e
wj = (0, . . . , 0, gj , 0, . . . , 0)T Hp .
Ento completamente determinado por (wj ), pois se
(wj ) = (h1j , . . . , htj )T = (h1j , . . . , htj )T ,
ento
(0, . . . , 0) = (0, . . . , 0) = (pej wj )
= (wj + + wj ) pej -parcelas
= (wj ) + + (wj )
= (pej h1j , . . . , pej htj )T .
Logo, pei divide pej hij , para todos i e j. Neste caso, pei ej divide hij se j i. Consequentemente, dado Ep , existe H = (hij ) Rp tal que (H) = , ou seja, sobrejetor.
23

Observe, pelo Primeiro Teorema de Isomorfismos, que

Rp
' Ep .
ker
Vamos agora provar que o ncleo de o conjunto
Np = {(aij ) Rp : pei divide aij , i, j {1, . . . , t}}
De fato, se A = (aij ) Np , ento
A (h1 , . . . , ht )T = (A(h1 , . . . , ht )T )
!!
t
X
(0, . . . , 0, hj , 0, . . . , 0)T
= A
j=1

t
X

(A(0, . . . , 0, hj , 0, . . . , 0)T )

j=1

t
X
( 1 (a1j ), . . . , t (atj ))T
j=1

= (0, . . . , 0)T

Portanto, A ker . Reciprocamente, se A = (aij ) ker , ento, pelos clculos acima,

obtemos
(A) = A = (0, . . . , 0) i (aij ) = 0.
Assim, pei divide aij , para todo i, j {1, . . . , t}. Assim, A Np . Portanto, obtemos uma
caracterizao do anel Ep como o anel quociente das matrizes
Rp
.
ker
Dado A = (cij ) Ztt , bem conhecida da Teoria das Matrizes, a expanso de Laplace do
determinante de A:
det(A) =

t
X
(1)i+j aij det(Aij ), i = 1, . . . , t.
j=1

com Aij a matriz obtida de A eliminando-se a i-sima linha e j-sima coluna da matriz A. O
escalar cij = (1)i+j det(Aij ) chamado o cofator do termo aij no det A e a matriz C = (cij )

Ztt chamada a matriz dos cofatores da matriz A.

Lema 2.7 Seja A Ztt . Ento

A adj(A) = adj(A) A = (det(A))It ,

onde adj(A) Ztt a transposta da matriz dos cofatores de A, a qual chamada de adjunta
clssica de A.
24

Prova. Seja B = adj(A) = (bij ), de modo que

bij = cji = (1)i+j det(Aji ), i, j {1, . . . , t}.
Ento
A adj(A) = AB = (dij ), com dij =

t
X

aik bkj =

k=1

t
X

aik (1)j+k det(Ajk ).

k=1

b = (b
aij ) a matriz obtida
Se i = j, ento dii = det(A). Agora, se i 6= j, digamos i < j, e seja A

de A substituindo-se a j-sima linha pela i-sima linha, isto , se L1 , . . . , Lt so as linhas de A,

ento
L1 , . . . Li , . . . , Lj1 , Li , Lj+1 , . . . , Lt
b Logo, b
bjk ) = det(Ajk ), para todo k. Em particular,
so as linhas de A.
aik = aik = b
ajk e det(A
b = 0, pois A
b possui duas linhas iguais. Assim,
det(A)

det(A) se i = j
k+j
b
b
b
ajk (1) det(Ajk ) = det(A) =
dij =
0
se i 6= j,
k=1
t
X

isto , A adj A = (det(A))It . Como (adj(A))t = adj(At ) temos que

(det(A))It = (det(At ))It = At adj(At ) = (adj(A) A)t .

Logo,
adj(A) A = ((det(A))It )t = (det(A))It .
Portanto,
A adj(A) = adj(A) A = (det(A))It ,

que o resultado desejado.

Lema 2.8 Seja A Rp , com det (A) 6= 0. Ento existe uma nica matriz B Rp tal que
AB = BA = det (A) I.

Prova. Seja A Rp fixada, com det A 6= 0. Ento, pelo Lema 2.7, existe uma nica matriz
B Ztt tal que

AB = BA = det (A) It .
Afirmao. B Rp .
25

De fato, j vimos que existe C Ztt tal que A = P CP 1 . Novamente, pelo Lema 2.7, existe
uma nica matriz D Ztt tal que

CD = DC = det (C) It .
Note que

det (A) = det P CP 1 = det (P ) det (C) det P 1 = det (C) .

Pondo M = P DP 1 , obtemos

AM = (P CP 1 )(P DP 1 ) = P CDP 1 = det (A) It

= P DCP 1 = (P DP 1 )(P CP 1 )
= MA.
Portanto, pela unicidade de B, B = M = P DP 1 , ou seja, B Rp .

Teorema 2.9 Seja A = (aij ) Rp fixada. A funo A Ep = End(Hp ) um automorfismo

se, e somente se, A = (aij ) um elemento do grupo linear geral GLt (Fp ), com
Fp =

Z
pZ

um corpo finito.
Prova. Suponhamos que A Ep seja um automorfismo. Ento
A 1
A = I.
Pondo (B) = 1
A , obtemos
(AB) = (A) (B) = A 1
A = I = (It ) (AB It ) = 0.
Logo, AB It ker = Np . Assim, A = (aij ) GL t (Fp ), pois
det(AB) 1 (mod p).
Reciprocamente, suponhamos que mdc(det(A), p) = 1. Ento existe s Z tal que
det(A) s 1 (mod pei ), i = 1, . . . , t.
Pelo Lema 2.8, existe uma nica matriz B Rp tal que
AB = BA = det (A) It .
26

Assim, A1 = s B Rp e
(A) (A1 ) = (AA1 ) = (As B) = (s det (A) It ) = (It ) = I.

Portanto, A Ep um automorfismo, com inverso A1 .

Exemplo 2.10 Seja Hp um p-grupo abeliano elementar. Ento Hp isomorfo ao espao vetorial Ftp , para algum t, pois pg = 0, para todo g Hp e a funo : Fp Hp Hp definida
como (x, g) = xg claramente uma ao de Fp sobre Hp , ou seja, Hp com esta operao

um espao vetorial sobre Fp de dimenso t, para algum t 1. Portanto, Hp isomorfo a Ftp .

Neste caso, Ep = End(Hp ) isomorfo ao conjunto das matrizes Mt (Fp ). Assim, o Teorema
2.9, simplesmente afirma que Aut(Hp ) corresponde ao grupo das matrizes invertveis GLt (Fp ).

2.2

Algoritmo

Nesta seo apresentaremos um algoritmo para determinar uma frmula explcita para determinar o nmero de automorfismos de grupo abeliano finito qualquer.
1.o Passo. Determinar todas as matrizes M em GLt (Fp ) que podem ser estendida para uma
matriz A em Rp .
2.o Passo. Calcular o nmero de maneira distinta de estender M a um endomorfismo em
Ep .
Para isso vamos definir os seguinte 2t nmeros:
dk = max {l : el = ek } {1, . . . , t} e ck = min {l : el = ek } {1, . . . , t}
Como ek = ek temos que dk k e ck k. Alm disso,
1 d1 d2 dt e 1 = c1 c2 ct .
Portanto, basta determinar os elementos M GLt (Fp ) que

m
m12 m1t

11
..
..
..
.
.

m1c1 m1c2

md1 1 md1 2 md1 t

m2c2

M = 0
md2 2 md2 t =
..
..

.
.

0
0
md3 t

0
0
..
..
..
...
.
.
.

0
0
mdt t
27

so da forma:

m1ct m1t
m2ct m2t
..
..
...
.

mtct

mtt

Teorema 2.11 Seja

Hp = Zpe1 Zpe2 Zpet ,
com 1 e1 e2 et , e1 + e2 + + et = e |Hp | = p . Ento
|Aut (Hp )| =

t
t
t
Y
Y
d
Y
ei 1 t(ci 1)
(pej )tdj
.
p k pk1
p
j=1

k=1

i=1

Prova. Como as colunas da matriz M em GLt (Fp ) so linearmente independentes temos que
existem pd1 1 possveis escolhas para a primeira coluna de M, pois a coluna
C = (0, . . . , 0)T
no permitida. Assim, escolhida a primeira coluna, existem pd2 p possveis escolhas para a
segunda coluna de M, pois precisamos substituir as colunas
C2 = xC1 , x Fp ,
ou seja,
C2
/ {xC1 : x Fp } ' Fp .
Logo, escolhidas a primeira e a segunda coluna, existem pd3 p2 possveis escolhas para a
terceira coluna de M, pois precisamos substituir as colunas
C3 = xC1 + yC2 , x, y Fp ,
ou seja,
/ {xC1 + yC2 : x, y Fp } ' F2p .
C3
Continuando com esse processo, obtemos
t
Y
d

p k pk1 .

k=1

matrizes distintas M em GLt (Fp ) que podem ser estendidas. Agora, vamos estender cada
elemento mij para aij Z com
aij

o
pei ej Z n ei ej
ei ej , . . . , (pej 1)pei ej
=
0,
p
,
2p
= pei ej Zpei
pei Z

tal que
aij mij (mod p) .
28

Se ei > ej , ento existem pej maneiras de zerar cada um dos (t dj ) elementos mij em cada
coluna Cj da matriz M, pois qualquer elemento de
pei ej Z
pei Z
ser zerado.

Por outro lado, se ei ej , ento existem pei 1 maneiras de cada um dos

(t (ci 1)) elementos mij ser diferente de zero em cada linha Ci da matriz M, pois podemos
adicionar elementos de
o
n
pZ
ei 1 1)p = pei ej Z e .
0,
p,
2p,
.
.
.
,
(p
=
p i
pei Z
Portanto,
t
t
t
Y
Y
d
Y
ei 1 t(ci 1)
k1
ej tdj
k
(p )
.
p p
p
|Aut (Hp )| =
j=1

k=1

i=1

que o resultado desejado.

Exemplo 2.12 Seja H3 = Z3 Z32 , com e1 = 1 e e2 = 2. Ento

dk = max {l : el = ek } {1, 2} e ck = min {l : el = ek } {1, 2}.
Logo,

M =

m11 m12
0

m22

onde m11 , m12 , m22 F3 , com m11 m22 6= 0. Assim, existem

(3d1 1)(3d2 3) = 2 6 = 12
matrizes que podem ser estendidas. Agora, vamos estender cada elemento mij de mij F3 para
aij

o
3ei ej Z n ei ej
ei ej , . . . , (3ej 1)3ei ej
0,
3
,
2

3
= 3ei ej Z3ei
=
3ei Z

tal que
aij mij (mod 3) .
O elemento m21 = 0 F3 , (e2 > e1 ), pode ser estendido de 3e1 = 3 maneiras para
a21

3Z
= {0, 3, 6} = 3Z9 .
9Z

29

Finalmente, cada um dos elementos m11 , m12 , m22 F3 , (ei ej ), pode ser estendido de 3ei 1
maneiras para
3Z
= {0} = 3Z3
3Z
3Z
= {0} = 3Z3

3Z
3Z
2 = {0, 3, 6} = 3Z9 .
3Z

a11
a12
a22
Portanto,
|Aut (H3 )| =

2
2
2
Y
Y
d
Y
ei 1 t(ci 1)
(3ej )tdj
3 k 3k1
p
j=1

k=1

d1

d2

i=1

e1 2d1

= (3 1)(3 3)(3 )
= 2633
= 108.

30

e1 2d2

(3 )

(3e1 1 )2(c1 1) (3e2 1 )2(c2 1)

Captulo 3
Automorfismos dos Grupos Diedrais
Neste captulo vamos classificar os automorfismos dos grupos diedrais com o objetivo de
comparar com a classificao dos grupos abelianos, visto no captulo anterior, e com isto mostrar
a extrema dificuldade na teoria dos grupos da classificao dos grupos finitos.

3.1

Grupos Diedrais

Nesta seo apresentaremos as principais propriedades dos grupos diedrais. Mas antes vamos
apresentar os conceitos bsicos de ao de grupo e produto semidireto.
Sejam G um grupo qualquer e S um conjunto no vazio qualquer. Uma ao ( esquerda)
de G sobre S uma funo : G S S, com (a, x) = a x, tal que as seguintes condies
so satisfeitas:
1. a (b x) = (ab) x, para todos a, b G e x S.
2. 1G x = x, para todo x S e 1G o elemento identidade de G.
Neste caso, diremos que G age sobre S e que S um G-conjunto. Se |S| = n, ento n chamado
o grau do G-conjunto S. Com o objetivo de simplificar a notao usaremos ax ao invs de a x.
Exemplo 3.1 Sejam H, G dois grupos, : H G um homomorfismo de grupos e S = G. A
funo : H S S definida por a x = (a)x, para todo a H e x S, uma ao de
H sobre S. Em particular, se H um subgrupo de G, ento a ao chamada de translao
esquerda.

31

Observao 3.2 Seja S um G-conjunto no vazio. Ento, para um a G fixado, a funo

a : S S definida por a (x) = ax um elemento do grupo de permutaes de S, P (S), pois

(a1 a )(x) = a1 (a (x)) = a1 (ax) = a1 a x = 1G x = x, x S.

Logo, a1 a = 1S . De modo inteiramente anlogo, prova-se que a a1 = 1S .

Teorema 3.3 Sejam G um grupo e S um conjunto no vazio.

1. Qualquer ao de G sobre S induz um homomorfismo de grupos : G P (S).

2. Qualquer homomorfismo de grupos : G P (S) induz uma ao de G sobre S. Neste
caso, dizemos que uma representao por permutao de G em P (S).
Seja S um G-conjunto no vazio. Dados x, y S, definimos
x y existe a G tal que y = ax.
Ento uma relao de equivalncia sobre S. De fato, x x, para todo x S, pois 1G x = x.
Dados x, y S, se x y, ento existe a G tal que y = ax. Logo,
x = 1G x = (a1 a)x = a1 (ax) = a1 y.
Assim, y x, pois a1 G. Finalmente, dados x, y, z S, se x y e y z, ento existem
a, b G tais que y = ax e z = by. Logo,
z = by = b(ax) = (ba)x.
Assim, x z, pois ba G.
A classe de equivalncia
x = {y S : x y} = {ax : a G}
chama-se de rbita (ou trajetria) de x e ser denotada por O(x).
Sejam G um grupo qualquer e S = G. Ento a funo : G S S definida como

a x = axa1 , para todo a G e x S, uma ao de G sobre S, chamada de ao por

conjugao. Dado x S, a rbita de x:
O(x) = {a x : a G} = {axa1 : a G}
32

 chamada a classe de conjugao de x e ser denotada por Cx . O estabilizador de x

Gx = {a G : axa1 = x} = {a G : ax = xa} = CG (x).
Portanto,
|Cx | = [G : CG (x)], x S.
e G no age transitivamente sobre G.
Sejam G = S3 o grupo de permutaes N = A3 = hi e H = h i, com

1 2 3
1 2 3
e =
.
=
2 3 1
1 3 2
fcil verificar que G possui as seguintes propriedades:
a. G = NH.
b. N subgrupo normal em G.
c. N H = {1G }.
Neste caso, G no um produto direto interno de N e H, pois H no subgrupo normal em
G. Mas isto motiva a seguinte definio.
Sejam G um grupo e H, N subgrupos de G. Diremos que G 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 = {1G }.
Observao 3.4 Seja G = N o H o produto semidireto de N por H.
1. Pelo Segundo Teorema de Isomorfismo, temos que
H=

H
NH
G
'
= .
N H
N
N

e H chama-se um complementar de N. Consequentemente, se G grupo finito, ento

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

2. Como G = NH e N H = {1} temos que cada x G pode ser escrito de modo nico
sob a forma x = nh, n N e h H.
3. Para um h H fixado, a funo h : N N definida como h (n) = hnh1 um
automorfismo de N, pois N um subgrupo normal em G 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
automorfismo 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
o 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.
Reciprocamente, sejam N, H grupos e um homomorfismo 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

(1, 1) 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.
34

Note que
b = {(n, 1) : n N} e H
b = {(1, h) : h H}
N

b e H ' H.
b A funo : G G definida por (n, h) = (1, h)
so subgrupos de G tais que N ' N

b
b ker = N
b e 2 = . Consequentemente, N
um homomorfismo de grupos, onde Im = H,
um subgrupo normal em G e pelo Primeiro Teorema de isomorfismo
G
b
' H.
b
N

Como

(n, 1) (1, h) = (n(1) (1) , h) = (n1N (1) , h) = (n, h)

b H.
b Alm disso, N
bH
b = {(1, 1)}. Portanto, G o produto semidireto
temos que G = N

b por H.
b Finalmente,
(interno) de N

(1, h) (n, 1) (1, h)1 = ((h) (n) , 1)

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

b Portanto, identificando N
b com N e H
b 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 n2 h1
1 .
Exemplo 3.5 Sejam N um grupo abeliano qualquer e H = hbi ' Z2 . Se definirmos : H

Aut(N) como (b) = b , com b (a) = a1 , para todo a N, ento G = N o H um grupo

no abeliano, em que
b (a) = bab1 = a1 , a N,
isto , b Z(G). Em particular, se N = hai ' Zn cclico, ento G ' Dn . Explicitamente,

Dn = a, b : an = b2 = 1 e ab = ba1 ,

em que a identificado com (a, 1) e b identificado com (1, b). Note que o grupo Dn isomorfo
ao grupo L = hR, T i, gerado pelas matrizes

2
2
cos( n ) sen( n )
0 1
e T =
.
R=
2
2
sen( n )
cos( n )
1 0
35

Sejam G grupo e H um subgrupo de G. Diremos que H um subgrupo caracterstico em G

se
(H) H, Aut (G) .
Note que qualquer subgrupo caracterstico em G um subgrupo normal.
Proposio 3.6 Seja

Dn = a, b : an = b2 = 1 e ab = ba1 , com n > 2.

Ento as classes de conjugao de Dn so:

1. Se n um nmero mpar, ento

1
C1 = {1}, Cb = {b, ab, . . . , an1 b} e Cai = {ai , ai }, , i = 1, . . . , (n 1).
2
2. Se n um nmero par, ento
C1 = {1},
Cb = {a2i b : i Zn } = {b, a2 b, . . . , an2 b},
Cab = {a2i+1 b : i Zn } = {ab, a3 b, . . . , an1 b}
n
1
Ca n2 = {a 2 } e Cai = {ai , ai }, , i = 1, . . . , (n 2).
2
Consequentemente,

{1}, se n um nmero mpar

Z (Dn ) =
ha n2 i, se n um nmero par.

Alm disso, Cn = hai um subgrupo caracterstico de Dn .

Prova. Como Dn = ha, bi temos que cada elemento de Dn pode ser escrito sob a forma
at1 bt2 atm1 btm , onde m N e ti Z.
Assim, usando sucessivamente as relaes
an = b2 = 1 e bab1 = bab = a1 ,
cada elemento de Dn pode ser escrito de maneira nica sob a forma
ai bj , onde i Zn e j Z2 .
36

Por exemplo,
ai bj = ak bl aik = blj .
Como hai hbi = {1} temos que i k 0 (mod n) e l j 0 (mod 2). Portanto,
Dn = {ai bj : i Zn e j Z2 }
A classe de conjugao
Cai = {xai x1 : x Dn }
= {(ak bj )ai (ak bj )1 : k Zn e j Z2 }
= {bj ai bj : j Z2 } = {ai , ai }.
Agora,
aj (ai b)aj = aj+i baj = aj+i aj b = a2j+i b, i Z.
Logo, se n um nmero mpar, ento mdc(2, n) = 1, ou seja, 2 um elemento invertvel em
Zn . Pondo

1
j = (k i), k Z,
2

temos que cada ai b conjugado a qualquer ak b. Portanto,

Cb = {ai b : i Zn } = {b, ab, . . . , an1 b}.
Observe que
(aj b)(ai b)(aj b)1 = aj baij = aj aji b = a2ji b, i Z.
Assim, se n um nmero par, ento existem duas classes de conjugao, quando i um nmero
par ou mpar, a saber,
Cb = {a2k b : k Zn } = {b, a2 b, . . . , an2 b}
e
Cab = {a2k+1 b : k Zn } = {ab, a3 b, . . . , an1 b}.
Note que
x Z (Dn ) Cx = {x}.
Portanto,

{1}, se n um nmero mpar

Z (Dn ) =
ha n2 i, se n um nmero par.
37

Finalmente, como
(ai b)2 = ai bai b = aii b2 = 1, i Z,
temos que ai b possui ordem 2. Logo, o nico subgrupo cclico de Dn de ordem n, n > 2,

Cn = hai. Portanto, Cn caracterstico.

Exemplo 3.7 Sejam Dn = ha, bi o grupo diedral e k um inteiro positivo dividindo n. Ento

hak i um subgrupo normal em Dn e

Dn
hak i

um grupo diedral.
Soluo. Sabemos que

xak x1 =

ak

ou

ak

logo hak i E Dn . Alm disso pode-se verificar que

Dn
hak i

um grupo diedral, Confira Proposio

3.10 a seguir.

Proposio 3.8 Os subgrupos maximais de Dn so diedrais ou cclico. Em particular, Cn =

hai o nico subgrupo cclico maximal e
n

Dp = ha p , ai bi
so os subgrupos diedrais maximais, para algum nmero primo p dividindo n.
Prova. Seja M um subgrupo maximal de Dn . Se M um subgrupo cclico de Dn , ento
M = Cn . Se M no um subgrupo cclico de Dn , ento M = hc, ai bi, com c hai, pois
hai b, aj bi = Dn , i 6= j; i, j = 0, 1, . . . , n 1, e M 6= Dn . Como M um subgrupo maximal

temos que c o nico elemento de hai, com ordem p, para algum nmero primo p dividindo n,
n

a saber, c = a p . Portanto,
n

Dp = ha p , ai bi

um grupo diedral.

Corolrio 3.9 Seja H um subgrupo prprio de Dn . Ento H um subgrupo normal em Dn

se, e somente se, H um subgrupo de hai ou n um nmero par. No ltimo caso, H um dos
subgrupos maximais de ndice 2,
M1 = ha2 , bi ' Z n2 o Z2 ou M2 = ha2 , abi ' Z n2 o Z2 .
38

Alm disso, os subgrupos caractersticos prprios de Dn so todos subgrupos de hai.

Prova. Seja H um subgrupo normal em Dn . Se ai H, ento
Cai = {ai , ai } H,
ou seja, H um subgrupo de hai. Se ai b H, ento
x(ai b)x1 H, x Dn .
Assim, se n um nmero mpar, ento
Cb = {ai b : i Zn } = {b, ab, . . . , an1 b} H.
Portanto, H = Dn , pois Dn = hb, ai bi, i = 1, . . . , n 1. Se n um nmero par, ento
Cb = {a2i b : i Zn } = {b, a2 b, . . . , an2 b} H
ou
Cab = {a2i+1 b : i Zn } = {ab, a3 b, . . . , an1 b} H.
Logo, se Cb H, ento a2 = (ab)a H, isto , ha2 i H. Se Cab H, ento a2 = (ba)(ba3 ) H,

isto , ha2 i H. Portanto,

M1 = ha2 , bi ou M2 = ha2 , abi.

Finalmente, se n um nmero par, ento claro que a funo : Dn Dn definida como

(a) = a1 e (b) = ab um automorfismo externo de Dn tal que (M1 ) = M2 . Portanto, os

subgrupos caractersticos prprios de Dn so todos subgrupos de hai.

Proposio 3.10 Seja Dn = ha, bi um grupo diedral.

1. Qualquer grupo quociente de Dn por um subgrupo prprio um grupo diedral.
2. Qualquer subgrupo de Dn um grupo diedral ou um grupo cclico.
Prova. (1) Basta provar que se : Dn H um homomorfismo de grupos sobrejetor, ento
H um grupo diedral. Como Dn = ha, bi temos que
H = h(a), (b)i ,
pois sobrejetora e
(ai bj ) = (a)i (b)j .
39

Sendo
(a)n = (b)2 = 1 e (b)(a)(b)1 = (a)1 ,
temos que H um grupo diedral.
(2) Vamos usar induo sobre n para provar que qualquer subgrupo de Dn um grupo
diedral ou um grupo cclico. Se n = 1, nada h para ser provado. Suponhamos que o resultado
seja vlido para todo m, com 1 m < n. Agora, se existisse um subgrupo prprio H de Dn
que no seja diedral e nem cclico, ento H est contido em um subgrupo maximal de Dn ,
digamos M. Assim, pela Proposio 3.8, M um grupo diedral ou um grupo cclico. Logo,
pela hiptese de induo aplicada a M, H um grupo diedral ou um grupo cclico, o que uma
contradio. Portanto, qualquer subgrupo de Dn um grupo diedral ou um grupo cclico.

Sejam G um grupo e H, K subconjuntos de G. O subgrupo comutador de H e K definido

como
[H, K] = h[h, k] : h H e k Ki ,
com [h, k] = hkh1 k1 . Em particular, o grupo derivado G0 = [G, G].
Lema 3.11 Sejam G um grupo e H, K subgrupos de G.
1. K normaliza H (K NG (H)) se, e somente se, [H, K] um subgrupo de H.
2. Se K um subgrupo normal em G e K H, ento [H, G] um subgrupo de K se, e
somente se,
H
Z
K

G
K

3. Se : G L um homomorfismo de grupos, ento

([H, K]) = [ (H) , (K)].
Em particular, (G0 ) = ([G, G]) = [ (G) , (G)] = (G)0 = (Im )0 L0 .
Sejam G um grupo e G(1) = G0 o subgrupo comutador de G. Para cada n N definimos,
indutivamente, o n-simo subgrupo comutador de G como
G(n) = (G(n1) )0 com G(0) = G.
fcil verificar, pelo item (3) do Lema 3.11, que cada G(n+1) um subgrupo caracterstico em
G(n) , para todo n N. Mais geralmente, (G(n) ) G(n) , para todo End(G). Note que
G(n) G(1) G(0) = G
40

 uma cadeia de subgrupos de G chamada de srie derivada de G e ser denotada por

(n)
G nZ+ .

Seja G um grupo. Diremos que G um grupo solvel se existir n N tal que G(n) = {1}.

O menor n N tal que G(n) = {1} chamado o ndice de solubilidade.

Teorema 3.12 O grupo diedral Dn um grupo solvel, para todo n N.

Prova. Pelo Exemplo 3.5,
Dn = {ai bj : i = 0, . . . , n 1 e j = 0, 1},
an = b2 = 1 e ab = ba1 = ban1 . Assim, indutivamente, obtemos
am b = bam = banm , m Z.
Logo,

[x, y] = xyx1 y 1

Portanto,
Dn(1)
Assim,

1,

a2r ,
=

a2s ,

a2r ,

se x = ar e y = as
se x = ar e y = as b
se x = ar b e y = as
se x = ar b e y = as b.

Zn , se n um nmero mpar
= [Dn , Dn ] = a2 =
Z n , se n um nmero par.
2

Dn(2) = Dn(1) , Dn(1) = {1}.

Portanto, Dn um grupo solvel de ndice de solubilidade igual a 2.

Seja G um grupo. Uma srie subnormal em G uma cadeia finita de subgrupos de G
{1} = Gn Gn1 G1 G0 = G
tais que
Gi+1 E Gi , 0 i n 1,
e ser denotada por
S = (Gi )n1
i=0 .
41

Os grupos
Gi
, 0 i n 1,
Gi+1
so chamados de grupos fatores. O comprimento de uma srie subnormal o nmero de grupos
fatores no triviais.
Uma srie normal em G uma cadeia finita de subgrupos de G
{1} = Gn Gn1 G0 = G
tais que
Gi+1 E G, 0 i n 1.
Uma srie normal S = (Gi )n1
i=0 em G chamada de srie central superior em G se

Gi
G
, 1 i n 1.
Z
Gi+1
Gi+1
Seja G um grupo. Diremos que G um grupo nilpotente se G possui uma srie central. O
menor comprimento da srie central chamado o ndice de nilpotncia de G.
Proposio 3.13 Qualquer p-grupo um grupo nilpotente.
Prova. Seja G um p-grupo, com |G| = pn e n Z+ . Vamos usar induo sobre n para provar
que G um grupo nilpotente. Se n = 0 ou 1, ento G um grupo abeliano e, portanto,
nilpotente. Suponhamos que o resultado seja vlido para todo m, com 1 m < n. Pelo
Teorema de Burnside, Z(G) 6= {1}. Se G = Z(G), ento G um grupo abeliano e, portanto,
nilpotente. Se G 6= Z(G), ento Z(G) um p-grupo, com

G
s
n

Z(G) = p < p = |G| .

Pela hiptese de induo,

G
Z(G)

um grupo nilpotente. Logo, ele possui uma srie central

{Z(G)} = Gm Gm1 G0 =

G
.
Z(G)

Assim, pelo Teorema da Correspondncia, existe um nico subgrupo normal Gi em G tal que
Gi =

Gi
, 0 i m 1.
Z(G)
42

Portanto,
{1} G0 = Z(G) Gm = G
uma srie subnormal em G, com
Gi+1

Gi
Gi
EG e
'
Z
Gi+1
Gi+1

G0
Gi+1

'Z

G
Gi+1

, 0 i m 1,

isto , G um grupo nilpotente.

Seja G um grupo qualquer. A cadeia de subgrupos de G
G = Z 0 (G) Z 1 (G) Z n (G)

chamada de srie central descendente de G. Note que se G grupo finito, ento existe n N
tal que
Z n (G) = Z n+1 (G) = .
Proposio 3.14 Seja G um grupo. Ento G um grupo nilpotente de ndice de nilpotncia
n se, e somente se, Z n (G) = {1}, mas Z n1 (G) 6= {1}.
Prova. Suponhamos que G seja nilpotente. Ento G tem uma srie central
{1} = Gn Gn1 G0 = G.
com Gn1 6= {1}.

Afirmao. Z i (G) um subgrupo de Gi , para todo i Z+ .

De fato, se i = 0, nada h para ser provado. Suponhamos que o resultado seja vlido para
i > 0, isto , Z i (G) um subgrupo de Gi . Como

Gi
G
Z
Gi+1
Gi+1
temos que [Gi , G] um subgrupo de Gi+1 . Logo, pela hiptese de induo, obtemos
Z i+1 (G) = [Z i (G), G] [Gi , G] Gi+1 .
Assim, Z i+1 (G) um subgrupo de Gi+1 . Em particular, Z n (G) Gn = {1}. Portanto,
Z n (G) = {1}, mas Z n1 (G) 6= {1}.

A recproca segue da definio.

Proposio 3.15 O grupo diedral Dn um grupo nilpotente se, e somente se, n = 2k , para
algum k N.
43

Prova. Pelo Teorema 3.12, obtemos

Zn , se n um nmero mpar
Z 1 (Dn ) = [Z 0 (Dn ), Dn ] = a2 =
Z n , se n um nmero par.
2

De modo inteiramente anlogo, obtemos

Z 2 (Dn ) = [Z 1 (Dn ), Dn ] = a4 .

Assim, indutivamente, obtemos

m
Z m (Dn ) = [Z m1 (Dn ), Dn ] = a2 , m N.

Portanto, se Dn um grupo nilpotente, ento existe um menor k N tal que Z k (Dn ) = {1},

isto , a2 = 1 e n = 2k .

3.2

Automorfismo dos Grupos Diedrais

Nesta seo vamos classificar o grupo de automorfismo dos grupos diedrais Dn , com n > 2.
J vimos que
H = U(Zn ) = {a Zn : mdc(n, a) = 1}
um grupo cclico tal que H isomorfo ao grupo de automorfismo Aut(Zn ), por isto, vamos
identificar H com Aut(Zn ).
Teorema 3.16 Seja Dn = ha, bi um grupo diedral, com n > 2. Ento o grupo de automorfismo
Aut(Dn ) isomorfo ao grupo Zn o H, com a ao : H Aut(Zn ) = H definida como
(s) = s. Explicitamente,
Aut(Dn ) = { r,s : r Zn e s H},
em que
r,s (ai ) = ais e r,s (ai b) = ais+r b.
Prova. Note que
r,s (ai aj ) = a(i+j)s = ais ajs = r,s (ai ) r,s (aj )
r,s (ai aj b) = a(i+j)s+r b = ais (ajs+r b) = r,s (ai ) r,s (ai b)
r,s (ai baj ) = r,s (aij b) = a(ij)s+r b = ais+r bajs = r,s (ai b) r,s (aj )
r,s (ai baj b) = r,s (aij ) = ais+rrjs = (ais+r b)(barjs )
= (ais+r b)(ajs+r b) = r,s (ai b) r,s (aj b),
44

isto , r,s um homomorfismo de grupos. Por construo r,s sobrejetor. Agora, se ai

ker r,s , ento ais = 1, com i Zn e s H. Assim, is = 0, pois 0 ir < n. Se ai b ker r,s ,

ento ais+r b = 1, com i, r Zn e s H. Logo, ais+r = b, de modo que

ais+r+1 = ais+r a = ba = a1 b = a1 ais+r = ais+r1 a2 = 1,

o que impossvel, pois n > 2. Portanto ker r,s = {1} e r,s um homomorfismo de grupos
injetor. Consequentemente, r,s Aut(Dn ), para todo r Zn e s H.

Reciprocamente, seja um elemento qualquer de Aut(Dn ). Ento (a) = as , para algum

s Zn , pois Cn = hai um subgrupo caracterstico de Dn . Como bijetor temos que

mdc(n, s) = 1, de modo que s H. Note que (b) = ar b, pois b2 = 1.
Afirmao. = r,s .
De fato, como
(ai ) = ais = r,s (ai ) e (ai b) = ais+r b = r,s (ai b)
temos que = r,s .
Finalmente, dados r,s , t,u Aut(Dn ), obtemos
( r,s t,u )(ai b) = r,s (aiu+t b) = a(iu+t)s+r b = aisu+st+r b = st+r,su (ai b)
e
( r,s t,u )(ai ) = r,s (aiu ) = aisu = st+r,su (ai ),
ou seja, r,s t,u = st+r,su . Ento a funo f : Aut(Dn ) Zn o H definida como f ( r,s ) =
(r, s) um isomorfismo de grupos, pois
(r, s) (t, u) = (r + (s)(t), su) = (r + st, su)

e f 1 (r, s) = rs1 ,s1 .

Observao 3.17 |Aut(Dn )| = n(n), com a funo de Euler.

45

Referncias Bibliogrficas
[1] Bhattacharya, P. B.; Jain, S. K.; Nagpaul, S. R.; Basic Abstract lgebra. 2
ed.Cambridge: Cambridge Univ. Press, 1994.
[2] Christopher J. H; Darren L. R.; Automorphisms of Finite Abelian Groups, Amer. Math.
Monthly, 2007,
[3] Dummit D.; Foote R. Abstract Algebra. 3 ed. Danvers: John Wiley and Sons, 2004.
[4] Feit, W.;O teorema da ordem mpar e a classificao dos grupos simples, Revista
Matemtica Universitria, SBM 7 (1988) 11-20.
[5] Garcia, A. e Lequain, Y.;lgebra: Elementos de lgebra. 3 ed. Projeto Euclides-IMPA.
Rio de Janeiro, 2005.
[6] Gorenstein, D.; The Classification of the finite simple groups, Number 2, Mathematical
Surveys and Monographs, 1995.
[7] Lang, S.;Algebra. 3 ed. New York: Springer, 2002.
[8] Pan,J.M.;The order of the automorphism group of finite abelian group, J. Yunnan Univ.
Nat. Sci. 26 (2004) 370-372.
[9] Ranum, A.;The group of classes of congruent matrices with application to the group of
isomorphisms of any abelian group, Trans. Amer. Math. Soc. 8 (1907) 71-91.

46