Classificao de Automorfismos de
Grupos Finitos
por
do
Programa
de
Ps-
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
G
H
Sumrio
Introduo
ix
1 Preliminares
1.1 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
31
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
7 a b
(a, b)
KF
K.
= {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
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
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
G
N
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)
1.3
Produto Direto
com (1G1 , . . . , 1Gn ) o elemento identidade e g11 , . . . , gn1 o inverso do elemento (g1 , . . . , gn ).
n
Y
Gi .
i=1
1 2 3
1 2 3
e =
,
=
2 3 1
1 3 2
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.
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
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
Hpi = {a G : api = 1}
um subgrupo normal em G temos que Hp1 Hpl um subgrupo de G.
Sejam H =
Por outro lado, como o mdc(|H| , |K|) = 1 temos, pelo Teorema de Lagrange, que H K = {1}.
Logo,
Em particular,
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}.
(c) O subgrupo
e 1 e 1
e 1
pi 1
pi 2
p t
E K = h1
h2
ht i
Hp =
tal que
H p = M hxi .
Pelo Teorema da correspodncia, M = yK da forma
M
,
K
onde M um subgrupo de Hp
Hp
K
14
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
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
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
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
Z
nZ
mZ
nZ
'
Z
.
mZ
Z
e H = {1, am , a2m , . . . , a(k1)m } = Gm E G.
kZ
Note que
H ' {0, m, 2m, . . . , (k 1)m} = mZn .
18
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:
a
a12
a13 a14
11
a
a22
a23 a24
21
Rp =
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
e2
p b21 pe1
=
..
...
a1t
...
...
a2m
..
.
. . . amm
e2
e2
et
p b22 p
..
.
. . . p b2t p
..
...
.
= P BP 1 .
20
T
(h1 , . . . , ht )T = (1 (h1 ) , . . . , t (ht ))T = h1 , . . . , ht ,
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
22
!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
t
X
(A(0, . . . , 0, hj , 0, . . . , 0)T )
j=1
t
X
( 1 (a1j ), . . . , t (atj ))T
j=1
= (0, . . . , 0)T
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 )
t
X
aik bkj =
k=1
t
X
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
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
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
Pondo M = P DP 1 , obtemos
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.
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
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
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
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.
(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
M =
m11 m12
0
m22
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 )
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
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
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
b por H.
b Finalmente,
(interno) de N
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.
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
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,
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
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,
Exemplo 3.7 Sejam Dn = ha, bi o grupo diedral e k um inteiro positivo dividindo n. Ento
Dn
hak i
um grupo diedral.
Soluo. Sabemos que
xak x1 =
ak
ou
ak
Dn
hak i
3.10 a seguir.
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.
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.
G
K
Seja G um grupo. Diremos que G um grupo solvel se existir n N tal que G(n) = {1}.
[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
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
G
Z(G)
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,
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}.
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}.
Proposio 3.15 O grupo diedral Dn um grupo nilpotente se, e somente se, n = 2k , para
algum k N.
43
Zn , se n um nmero mpar
Z 1 (Dn ) = [Z 0 (Dn ), Dn ] = a2 =
Z n , se n um nmero par.
2
Z 2 (Dn ) = [Z 1 (Dn ), Dn ] = a4 .
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
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
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 ,
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