Você está na página 1de 44

ii

Universidade Federal de Minas Gerais


Instituto de Ciencias Exatas
Departamento de Matematica

DOS GRUPOS DE
CLASSIFICAC
AO
ORDEM 16
DA SILVEIRA
DANILO SANC
AO
sancaodanilo@gmail.com

22 de novembro de 2009

i
DA SILVEIRA
DANILO SANC
AO

DOS GRUPOS DE ORDEM 16


CLASSIFICAC
AO

Monografia apresentada ao corpo docente de Pos-Graduacao em Matematica do Instituto de Ciencias Exatas da Universidade Federal de Minas
Gerais, como requisito parcial para a`
obtencao do ttulo de Especialista em
Matematica.

Orientador: Michel Spira

Belo Horizonte
2009

ii

AGRADECIMENTOS

Primeiramente a Deus, por estar sempre comigo, dando-me sa


ude e forcas
me possibilitando realizar este trabalho.
Ao professor Dr. Michel Spira, pela orientacao, incentivo, paciencia (que
nao lhe faltou) e conhecimentos transmitidos durante este perodo.
A professora Dra. Ana Vieira e o professor Dr. Fabio Martnez, por terem
aceitos participar de minha banca e pelas valiosas sugestoes e correcoes dadas,
afim de melhorar meu texto.
A minha namorada Andrea Souto, pela paciencia, compreensao e
amor.
A todos professores e funcionarios do departamento de Matematica da
UFMG pelo carinho e respeito que sempre demonstraram ter por mim, em
particular, Cristina Marques e Francisco Rezende.
Aos colegas dos cursos de especializacao, mestrado e doutorado, que de
certa forma contribuiram para a realizacao deste. Em particular, Gabriel
Guedes, Eduardo Moura, Lia Fusaro, Juliano Soares, Geane Amaral e Mariana Mendonca.
Aos meus pais que sempre acreditaram e vibraram comigo em cada vitoria.
Finalmente, peco desculpas a`queles que injusta e involuntariamente tenham sido omitidos.
A todos o meu muito obrigado!

iii

iv

Lista de smbolos
p

n
umero primo

p|t

p divide t

G, H, K, . . .

grupos finitos

HK

{hk : h H, k K}

H<G

H e um subgrupo de G

N /G

N e um subgrupo normal de G

H K

produto direto de H por K

Cn

grupo cclico de ordem n

(C2 )n

C2 . . . C2

K4

(C2 )2

K8

C4 C2

Zn

grupo aditivo dos inteiros modulo n

D2n

grupo diedral generalizado de ordem 2n

SD2n

grupo semidiedral generalizado de ordem 2n

Q2n

grupo dos quaternios generalizado de ordem 2n

Aut(G)

grupo dos automorfismos de G

Inn(G)

grupo dos automorfismos internos de G

A(S)

grupo de permutacoes do conjunto S

G = hX|Y i

apresentacao de G por geradores e relacoes

Z(G)

centro de G

C(x)

centralizador de x G

v
G
=H

G isomorfo a H

|G|

ordem de G

o(x)

ordem de x G

[G : H]

ndice de H em G

(N, n, , v)

tipo

[x]

classe de conjugacao de x G

ta

automorfismo interno de G dado por ta (x) = axa1

xa

axa1

vi

Sum
ario
1 Introduc
ao

2 Preliminares

2.1

O produto semidireto . . . . . . . . . . . . . . . . . . . . . . .

3 Extens
oes Cclicas
3.1

5
8

Relacao entre dois tipos . . . . . . . . . . . . . . . . . . . . . 10

4 Grupos de ordem 16

13

4.1

Usando tipos para construir grupos . . . . . . . . . . . . . . . 18

4.2

O problema da correspondencia . . . . . . . . . . . . . . . . . 23

A Grupos n
ao abelianos de ordem p3

26

B Teoremas sobre grupos de ordem p4

29

vii

Resumo
Neste trabalho, usando apenas tecnicas elementares da teoria de grupos,
classificaremos todos os grupos de ordem 16 e classificamos todos grupos
nao abelianos de ordem p3 (p 6= 2) e finalizamos o trabalho provando dois
teoremas sobre grupos de ordem p4 .

Captulo 1
Introdu
c
ao
No desenvolvimento da algebra abstrata moderna, houve grande interesse
em classificar todos os grupos de ordem finita. Neste contexto, poderamos
nos perguntar qual a importancia de classificar os chamados p-grupos.
Segundo o principal teorema de Sylow1 todo grupo finito G de ordem
mk
i
1
para
n = pm
contem pelo menos um subgrupo Hi cuja ordem e pm
1 . . . pk
i

cada i = 1, . . . , k, e as estruturas dos Hi determinam para um grande n


umero
de grupos a estrutura de G, da a importancia.
Independentemente, Otto Holder (Die Gruppen der Ordnungen p3 , pq 2 ,
pqr, p4 , Math. Ann. 43 (1893)) e Young (On the determination of groups
whose order is a power of a prime, Amer. J. Math. 15 (1893)) classificaram
os grupos de ordem p4 .
Em 2005, Wild [6] classificou os grupos de ordem 24 usando apenas
metodos elementares. Em 2006, Garlow [7] apresentou uma classificacao
1

Peter Ludwig Mejdell Sylow (1832-1918) importante matematico noruegues que muito

contruibuiu para classificac


ao dos grupos finitos.


CAPITULO 1. INTRODUC
AO

tambem elementar para grupos de ordem 34 (estendendo os metodos de Wild)


e afirmou que os resultados poderiam ser generalizados para grupos de ordem p4 . No mesmo ano, juntamente com Adler (seu orientador) e Wheland
apresentaram um preprint [8] classificando os grupos de ordem p4 (p 6= 2).
Em 2007, Wan-Ju Lin [10] classificou os grupos de ordem 25 tambem
usando os metodos de Wild.
Para conhecer melhor sobre a historia da classificacao de grupos de ordem
finita recomendamos [9]. Exemplos de avancos mais recentes veja o artigo:
Eamonn A. OBrien and Michael R. Vaughan-Lee, The groups with order p7
for odd prime p, J. Algebra 292 (2005).
Hoje, existem muitos textos introdutorios em teoria de grupos que classificam todos os grupos de ordem no maximo 15, e que omitem a classificacao
dos de ordem 16 devido as avancadas tecnicas que sao necessarias para tal,
uma vez que essas tecnicas fogem do escopo destes textos. E isso e que
enobrece o trabalho de Wild, nossa principal referencia.
No captulo 2 enunciamos, sem provas, alguns resultados que serao de uso
contnuo neste trabalho. No captulo 3 definimos o que e um tipo (uma importante ferramenta neste trabalho) e provamos o lema 3.1 que sera muito utilizado no captulo seguinte. O principal teorema 4.2 e enunciado no captulo
3.1.
Na secao 4.1 tratamos o que chamamos de problema da correspondencia e
finalizando o trabalho fazemos dois apendices no primeiro classificamos todos
os grupos nao abelianos de ordem p3 (p 6= 2), e no segundo provamos dois
teoremas sobre grupos de ordem p4 .

Captulo 2
Preliminares
Neste captulo vamos listar fatos basicos da teoria de grupos, que podem
ser encontrados em [1] ou [3]. Estes serao utilizados constantemente ao longo
deste trabalho, e por exemplo, o Fato 2.1 sera citado simplesmente como
2.1.
Fato 2.1. Se H, K < G sao tais que H K = {e} e hk = kh, para todo
h H e k K, entao existe um isomorfismo do grupo HK em H K dado
por hk 7 (h, k).
Fato 2.2. Se o(x) = 2 para todo x G entao G e abeliano. Se, alem disso,
|G| < , entao G
= C2 . . . C2 .
Fato 2.3 (Van Dyck). Sejam X um conjunto, Y um conjunto de palavras
(reduzidas) em X e G = hX|Y i. Se H = hX|Y 0 i com Y Y 0 entao existe
um epimorfismo G H.
Fato 2.4. Seja x G. Entao |[x]|.|C(x)| = |G|.

CAPITULO 2. PRELIMINARES

Fato 2.5. Seja G um grupo. Se |G| = pn com n N entao p divide |Z(G)|.


Fato 2.6 (Sylow). Seja G um grupo de ordem pn m, com n 1 e (p, m) = 1.
Entao G contem um subgrupo de ordem pi para cada 1 i n e todo
subgrupo de G de ordem pi (i < n) e normal em algum subgrupo de ordem
pi+1 .
Agora consideremos C4 = hxi e C2 = hyi. Devido a` importancia de C4
C2 neste trabalho, vamos denota-lo por K8 = {e, x, x2 , x3 , y, xy, x2 y, x3 y},
onde identificamos (xi , e), (e, y j ) e (xi , y j ) com xi , y j e xi y j , respectivamente,
conforme 2.1.
Explicitaremos os automorfismos de C4 , C8 e K8 nas tabelas abaixo e
deixamos a verificacao a cargo do leitor.
Fato 2.7. Sejam C4 = hxi e C8 = hyi. Entao Aut(C4 ) = {1 , 2 } e
Aut(C8 ) = {1 , 2 , 3 , 4 }, onde:
Aut(C8 )

j (y)

Aut(C4 )

i (x)

y3

x3

y5

y7

Fato 2.8. Sejam C4 = hxi e C2 = hyi. Entao Aut(K8 ) = {1 , . . . , 8 } onde:

CAPITULO 2. PRELIMINARES

Aut(K8 )

i (x)

i (y)

o(i )

x y

x y

x3

xy

x2 y

xy

x3

x2 y

x y

x2 y

As classes de conjugacao de Aut(K8 ) sao {1 }, {3 }, {2 , 4 }, {5 , 7 } e


{6 , 8 }.

2.1

O produto semidireto

Nesta secao, desenvolveremos uma importante construcao de grupos que


generaliza o produto direto.
Definic
ao 2.1. Seja G um grupo. Suponhamos N / G, H < G sao tais que
G = N H e N H = {e}. Neste caso, G e chamado de produto semidireto
interno de N e H.
Sejam G um produto semidireto interno de N e H e a G tal que
1
a = n1 h1 = n2 h2 . Entao h1 h1
2 = n1 n2 = {e} pois, N H = {e}. Logo

n1 = n2 e h1 = h2 e desta forma, cada elemento de G pode ser escrito de


forma u
nica como nh; com n N e h H.
Agora sejam N, H < G onde N / G. Observe que conjugacao por um
elemento h H nos elementos de N induz h Aut(N ) e alem disso, :
h 7 h e um homomorfismo de H em Aut(N ). Neste caso, dizemos que H

CAPITULO 2. PRELIMINARES

age em N via . Alem disso, para simplificar notacao denotaremos h (n) por
nh . Isso motiva a seguinte definicao.
Definic
ao 2.2. Sejam N, H grupos e : H Aut(N ) um homomorfismo.
O produto semidireto externo de N e H, denotado por G = N o H, e o
conjunto de todos os pares ordenados (n, h) N H munido da operacao1
(n1 , h1 )(n2 , h2 ) = (n1 nh2 1 , h1 h2 ).

(2.1)

A prova do teorema que segue e deixada a cargo do leitor.


Teorema 2.1. Sejam N, H grupos e : H Aut(N ) um homomorfismo.
1. O conjunto G := N o H e um grupo munido da operacao definida em
(2.1).
2. Sejam N := N {e}, H := {e} H. Entao:
(a) N , H < G;
(b) N / G;
(c) N
= N e H
= H ;
(d) N H = {(e, e)};
(e) G = N H ;
(f ) Se |N |, |H | < entao |G| = |N |.|H |.
3. Sejam n N , h H. Entao (e, h)(n, e)(e, h)1 = (nh , e).
1

A motivac
ao para (2.1) e a seguinte: (x1 y1 )(x2 y2 ) = x1 y1 x2 y2 = x1 y1 x2 y11 y1 y2 =

x1 (y1 x2 y11 )y1 y2 = x1 xy21 y1 y2 .

CAPITULO 2. PRELIMINARES

Diante dos resultados acima, se nao diferenciarmos N de N e H de H


entao G = N o H pode ser visto simplesmente como produto semidireto
interno de N e H. Com isso temos que o produto direto N H de dois
grupos e um caso particular do produto semidireto N o H onde = id.
Quando N = hzi
= Cn , H = hhi
= Cm e H agir em N por com
k

h (z) = z k , onde n e k sao co-primos, denotaremos N o H por N o H.


1

Exemplo 2.1. Sejam C8 o C2 = hx, y|x8 = y 2 = e, yxy = xi e C8 o C2 =


ha, b|a8 = b2 = e, bab = a7 i. Em particular, estes dois grupos nao sao isomorfos.

Captulo 3
Extens
oes Cclicas
Sejam G um grupo e N / G tal que

G
N

= Cn ; neste caso, dizemos que

G e uma extensao cclica interior de N . Sejam a G tal que

G
N

= haN i e

G
v := an ; note que a, em geral, nao e u
nico e que v N pois | N
| = n. Alem

disso, seja := ta |N . Entao


(v) = ava1 = aan a1 = an = v

(3.1)

e
n (x) = aa . . . a(a(axa1 )a1 )a1 . . . a1 = an xan = vxv 1 = tv (x)
para todo x N , onde
n = tv .

(3.2)

Esta discussao motiva as seguintes definicoes:


Definic
ao 3.1. Um tipo e uma quadrupla (N, n, , v) onde N e um grupo e
n N, v N e Aut(N ) sao tais que (v) = v e n = tv .


CAPITULO 3. EXTENSOES
CICLICAS

importante notar que esta definicao nao faz mencao a um elemento


E
gerador a e muito menos envolve um grupo G contendo N como seu subgrupo.
Definic
ao 3.2. Dizemos que um grupo G realiza o tipo (N, n, , v), quando
G for uma extensao cclica de N e existir a G\N tal que an = v e ta |N = .
Inversamente, dizemos que o tipo (N, n, , v) resgata G quando G o realiza.
Seja G um grupo de ordem pn . Por 2.6, existe N / G cuja ordem e pn1 ,
consequentemente

G
N

= Cp . Logo um p-grupo realiza no mnimo um tipo

(N, p, , v); talvez realize varios (N, p, , w), simplesmente escolhendo outro
gerador de

G
.
N

Seja G um grupo que realiza o tipo (N, n, , v). Fixando (N, n, , v) podemos usar o fato que cada elemento g G pode ser escrito de forma u
nica
como g = xai com x N e i = 0, . . . , n 1 para recuperar a operacao de G,
conforme segue abaixo:
(xai )(yaj ) = x(ai yai )ai aj = x i (y)ai+j

(x i (y))ai+j
se i + j < n,
=
(x i (y)v)ai+jn se i + j n.
(3.3)

Exemplo 3.1. Sejam D8 = hx, y|x4 = y 2 = e, yxy = x3 i e N := hxi / D8 .


Notamos que

D8
N

= C2
= haN i onde a {y, xy, x2 y, x3 y}. Alem disso,

a2 = e e ta (xi ) = x3i logo D8 realiza apenas (C4 , 2, 2 , e).


Exemplo 3.2. Sejam C8 = hxi e N = hx2 i
= C4 := hyi. Notamos que
C8
= C2
= haN i onde a {x, x3 , x5 , x7 } e ta Aut(N ). Alem disso, a2 = x2
N

ou x6 e ta (x2i ) = x2i . Logo C8 realiza os tipos (C4 , 2, 1 , y) e (C4 , 2, 1 , y 3 ).


Fica a cargo do leitor verificar quais sao os tipos realizados por K8 e Q8 .


CAPITULO 3. EXTENSOES
CICLICAS

3.1

10

Relac
ao entre dois tipos

Diante da definicao 3.1 e natural que nos facamos as seguintes perguntas.


(a) Todo tipo resgata pelo menos um grupo1 ?
(b) Sera que tipos diferentes resgatam necessariamente grupos nao isomorfos2 ?
Estas perguntas motivam as seguintes definicoes:
Definic
ao 3.3 (elementos automorfos, conjugados e caractersticos). Dois
elementos x, y G sao ditos:
automorfos se existe Aut(G) tal que (x) = y;
conjugados se existe Inn(G) tal que (x) = y.

Um elemento x G e caracterstico se (x) = x para todo Aut(G).


Definic
ao 3.4. Os tipos (N, n, , v), (N 0 , n, , w) sao equivalentes se existe
um isomorfismo : N N 0 tal que = 1 e (v) = w.
NO

N0

N


/ N0

Exemplo 3.3. No exemplo 3.2 os tipos realizados por C8 sao equivalentes,


pois 2 (y) = y 3 e 1 = 2 1 1
2 .
1
2

A resposta e sim; ver sec


ao 4.1.
A resposta e n
ao; ver exemplo 3.3.


CAPITULO 3. EXTENSOES
CICLICAS

11

Sejam N, N 0 grupos, (N, n, , v) um tipo e : N N 0 um isomorfismo.


Como ( 1 )n = n 1 , segue que (N 0 , n, 1 , (v)) e equivalente a
(N, n, , v). Em particular, se : G G0 e um isomorfismo de grupos
e G realiza (N, n, , v) entao G0 realiza um tipo equivalente a (N, n, , v),
bastando tomar := |N .
A recproca e mais interessante.
Lema 3.1.

(a) Se G e G0 realizam tipos equivalentes entao eles sao iso-

morfos.
(b) Sejam v, w elementos automorfos de N e S uma classe de conjugacao
de Aut(N ). Suponha que para cada S existam grupos G , F que
realizam (N, n, , v) e (N, n, , w), respectivamente. Entao existe uma
bijecao entre as famlias G = {G | S} e F = {F | S} no
seguinte sentido; se G G entao existe S tal que F F e
G
= F .
(c) Sejam v N um elemento caracterstico e S uma classe de conjugacao
de Aut(N). Se , S e G, G0 sao grupos que realizam (N, n, , v) e
(N, n, , v), respectivamente, entao G
= G0 .
Demonstracao.
(a) Existem a G\N , b G0 \N 0 tais que an = v, bn = w e ta |N = e
tb |N 0 = . Tambem existe um isomorfismo : N N 0 tal que (v) = w e
= 1 . Observemos que a aplicacao : G G0 dada por xai 7 (x)bi
e uma bijecao. Vamos mostrar que e um homomorfismo supondo i+j n;
o caso i + j < n e analogo. Entao
((xai )(yaj )) = (x i (y)v)bi+jn = (x)( i (y))wbi+jn .


CAPITULO 3. EXTENSOES
CICLICAS

12

Por outro lado temos:


(xai )(yaj ) = (x)bi (y)bj
= (x)(bi (y)bi )bi+j
= (x) i ((y))wbi+jn ,
como i = i , temos que e um isomorfismo.
(b) Existe Aut(N ) tal que (v) = w. A aplicacao : S S dada por
( ) = 1 e uma bijecao. Por hipotese existem grupos G e F 1 que
realizam os tipos (N, n, , v) e (N, n, 1 , w), respectivamente. Note que
eles sao equivalentes, logo por (a), G
= F 1 .
(c) Se , S = 1 para algum Aut(N ). Como (v) =
v, temos que (N, n, , v), (N, n, 1 , (v)) sao equivalentes e por (a), o
resultado segue.
O corolario a seguir e destacado para facilitar futuras referencias.
Corol
ario 3.1. Sejam v, w elementos automorfos de N e S uma uniao de
classes de conjugacao de Aut(N ). Suponha que para cada S existam
grupos G , F que realizem (N, n, , v) e (N, n, , w), respectivamente. Entao
existe uma bijecao entre as famlias G = {G | S} e F = {F | S} no
seguinte sentido; se G G entao existe S tal que F F e G
= F .

13

Captulo 4
Grupos de ordem 16
Neste captulo mostramos que existem exatamente 14 grupos de ordem
16.
Teorema 4.1 (grupos de ordem 8). Existem exatamente 5 grupos de
ordem 8. Exceto (C2 )3 , os demais estao indicados na tabela abaixo.
grupos

tipos realizados pelos grupos

K8

(C4 , 2, 1 , e)

D8

(C4 , 2, 2 , e)

C8

(C4 , 2, 1 , x)

Q8

(C4 , 2, 2 , x2 )

(C4 , 2, 1 , x2 )

(C4 , 2, 1 , x3 )

Notamos que D8 e Q8 realizam apenas um tipo cada um, enquanto C8 realiza dois tipos que sao equivalentes. Ja K8 realiza (C4 , 2, 1 , e) e (C4 , 2, 1 , x2 )
mas estes por sua vez, nao sao equivalentes.
Demonstracao. Seja G um grupo de ordem 8. Se todos seus elementos tem
ordem 2, entao G
= (C2 )3 por 2.2. Caso contrario, existe x G tal que
hxi
= C4 / G, logo todo grupo de ordem 8, exceto (C2 )3 , realiza um tipo da

CAPITULO 4. GRUPOS DE ORDEM 16

14

forma (C4 , 2, , v). Por 2.7, temos que |C4 |.|Aut(C4 )| = 8; logo existem no
maximo 8 tipos (C4 , 2, i , xj ). Observado que x e x3 nao sao fixados por 2
temos pela definicao 3.1 que existem apenas 6 tipos. Como K8 , D8 , C8 e Q8
nao sao dois a dois isomorfos, usamos os exemplos 3.1, 3.2 e o lema 3.1(a)
para concluir a prova.
Teorema 4.2 (grupos de ordem 16). Existem exatamente 14 grupos de
ordem 16. Exceto G0 := (C2 )4 , os demais estao indicados na tabela abaixo.
grupos
G1
G2
G3

tipos realizados pelos grupos

C8 C2
3

SD16 = C8 o C2
5

C8 o C2
7

(C8 , 2, 1 , e)
(C8 , 2, 2 , e)
(C8 , 2, 3 , e)

G4

D16 = C8 o C2

(C8 , 2, 4 , e)

G5

Q16

(C8 , 2, 4 , x4 )

G6

C16

(C8 , 2, 1 , x)

G7

K4 C4

(K8 , 2, 1 , e)

G8

D8 C2

(K8 , 2, 3 , e)

G9

K4 o C4

(K8 , 2, 5 , e)

G10

Q8 o C2

(K8 , 2, 6 , e)

G11

Q8 C2

(K8 , 2, 3 , x2 )

G12

C4 o C4

(K8 , 2, 5 , x2 )

G13

C4 C4

(K8 , 2, 1 , y)

Observacao: A tabela mostra que existe uma bijecao entre os grupos de


ordem 16 e os tipos que eles realizam (a menos de equivalencia).
A prova deste teorema segue a mesma linha de ideias da demonstracao
do teorema 4.1, mas com alguns obstaculos, a saber:
1. Todo grupo G
6= (C2 )4 de ordem 16 possui um subgrupo isomorfo a
C8 ?

CAPITULO 4. GRUPOS DE ORDEM 16

15

2. Todo grupo G 6
= (C2 )4 de ordem 16 realiza pelo menos um tipo listado
na tabela acima?
Para superar o primeiro obstaculo, provaremos o seguinte lema.
Lema 4.1. Seja G um grupo de ordem 16. Se G  (C2 )4 entao C8 < G ou
K8 < G.
Demonstracao. Se existe a G tal que o(a) = 8 entao C8
= hai / G. Suponhamos o contrario. Por 2.5, existe z Z(G) com o(z) = 2 tal que H := hzi.
Por hipotese existe x G com o(x) = 4. Por isso consideraremos dois casos:
Caso 1: Existe x G com o(x) = 4 tal que x2 6= z. Uma vez que
hxi H = {e}, temos por 2.1 que hx, zi
= K8 / G.
Caso 2: Para todo x G com o(x) = 4, tem-se que x2 = z. Neste caso,
qualquer elemento de
abeliano. Como

G
H

G
H

tem ordem no maximo 2, e consequentemente

G
H

e abeliano, todos os conjugados de x estao em xH, logo

|[x]| 2. Segue de 2.4 que |C(x)| > 8.


Consequentemente existe y C(x) tal que y
/ hxi. Se o(y) = 2, entao
hx, yi
= K8 . Se o(y) = 4, entao y 2 = z, logo (xy)2 = x2 y 2 = e, donde
o(xy) 2. Se o(xy) = 1, entao y = x1 hxi, o que e uma contradicao.
Logo o(xy) = 2 e xy C(x). Se xy hxi entao xy = x2 e temos y = x, uma
contradicao. Se xy
/ hxi, entao hxy, xi
= K8 .
Este lema nos garante que todo grupo de ordem 16, exceto (C2 )4 , realiza
um tipo da forma (C8 , 2, , v) ou (K8 , 2, , v).
O lema a seguir responde a segunda pergunta que fizemos acima.
Lema 4.2. Todo grupo G de ordem 16, nao isomorfo a (C2 )4 , realiza um dos
tipos listados no Teorema 4.2.

CAPITULO 4. GRUPOS DE ORDEM 16

16

Observacao: Na secao 4.1 mostraremos que cada tipo listado no Teorema


4.2 resgata um grupo. Na verdade, mostraremos que todo tipo (N, n, , v)
resgata um grupo.
Demonstracao. Na demonstracao do Teorema 4.1 vimos que existem 6 tipos
(C4 , 2, , v). Com um argumento similar, usando 2.7 e 2.8 vemos que existem 16 tipos (C8 , 2, , v) e 32 tipos (K8 , 2, , v), respectivamente, mas nesse
caso nao conhecemos grupos nao isomorfos que realizam os 48 tipos. Para
superar esta dificuldade usaremos o Lema 4.1 e eliminaremos todos os casos
de equivalencia destes 48 tipos.
Fixando C8 = hxi, analisaremos os possveis tipos (C8 , 2, , v) de acordo
com a ordem de um elemento gerador a G\C8 .
Caso 1: Se o(a) = 2 entao v = a2 = e. Por 2.7 todos os automorfismos
de C8 satisfazem a definicao 3.1. Com isso, obtemos quatro tipos (C8 , 2, i , e)
nao equivalentes.
De agora em diante podemos supor que o(b) 4 para todo b G\C8 .
Caso 2: Se o(a) = 4 entao v = a2 C8 tem ordem 2, logo v = x4 .
Se = 2 , entao (xa)(xa) = x2 (x)a2 = xx3 a2 = e, o que implica que
o(xa) = 2, absurdo. Similarmente, se = 1 ou 3 , entao o(x2 a) = 2.
Neste caso basta verificar que o(xi a) 6= 2 com i = 0, . . . , 7, para concluir que
(C8 , 2, 4 , x4 ) e o u
nico tipo.
Caso 3: Se o(a) = 8 entao v = x2 ou v = x6 . Para que (v) = v e
necessario {1 , 3 }. Supondo v = x2 temos o(x3 a) = 2 para = 1 e
o(xa) = 2 para = 3 , absurdo. Por outo lado, se v = x6 pelo Corolario
3.1 encontraremos grupos isomorfos aos ja encontrados, pois x6 e x2 sao
elementos automorfos de C8 e {1 , 3 } e uma reuniao de classes de conjugacao

CAPITULO 4. GRUPOS DE ORDEM 16

17

de Aut(C8 ). Portanto neste caso nao chegamos a nenhum tipo.


Caso 4: Se o(a) = 16, entao G
= C16 que realiza (C8 , 2, 1 , x) e (C8 , 2, 1 , xi )
com i = 3, 5 ou 7; estes u
ltimos sao equivalentes a (C8 , 2, 1 , x).
Agora fixando K8 = hx, yi, analisaremos os possveis tipos (K8 , 2, , v) de
acordo com a ordem de um elemento gerador a G\K8 ; podendo assumir
que o(z) < 8 para todo z G.
Pelo Fato 2.8 temos que Aut(K8 ) = {1 , . . . , 8 }. Note que para ( )2 =
1 , entao deve ser algum elemento das seguintes classes de conjugacao
{1 }, {3 }, {5 , 7 } ou {6 , 8 }.
Caso 5: Se o(a) = 2, entao v = e. Como e e um elemento caracterstico
de K8 pelo Lema 3.1(c) e suficiente considerar um representante de cada
classe de conjugacao indicadas acima. Assim chegamos aos tipos (K8 , 2, i , e)
onde i = 1, 3, 5 ou 6.
De agora em diante podemos supor que o(b) 4 para todo b G\K8 .
Caso 6: Se o(a) = 4, entao v {x2 , y, x2 y}. Seguiremos considerando os
tres subcasos.
6.1. Se v = x2 . Como x2 e caracterstico e suficiente analisar quando
{1 , 3 , 5 , 6 }. Se = 1 entao o(xa) = 2, absurdo. Se = 6
temos que o(xya) = 2, absurdo. Logo chegamos aos tipos (K8 , 2, 3 , x2 ) e
(K8 , 2, 5 , x2 ).
6.2. Se v = y. Temos que (v) = v apenas quando {1 , 3 , 5 , 7 }.
Se = 7 , entao o(xa) = 2, absurdo. Ja se = 5 , entao
(xa)(xa) = x5 (x)a2 = x(xy)y = x2 ,
logo pelo subcaso (6.1), podemos excluir o tipo (K8 , 2, 5 , y). Agora se =

CAPITULO 4. GRUPOS DE ORDEM 16

18

3 , entao
ax2 a1 = 3 (x2 ) = x2 ,
assim a e x2 comutam, consequentemente,


N := a, x2 = {e, a, y, ya, x2 , x2 a, x2 y, x2 yx}
e isomorfo a K8 = hx, yi por 2.1. Uma vez que
(xa)(xa) = x3 (x)a2 = x(x3 )y = y,
logo pelo subcaso (6.1.) podemos excluir o tipo (K8 , 2, 3 , y). Portanto
chegamos ao tipo (K8 , 2, 1 , y).
6.3. Se v = x2 y. Entao (v) = v apenas quando S = {1 , 3 , 5 , 7 }.
Por 2.8, x2 y e y sao elementos automorfos, e como S e uma uniao de classes
de conjugacao, pelo Corolario 3.1 podemos excluir todos os tipos da forma
(K8 , 2, i , x2 y) onde i = 1, 3, 5 e 7. Portanto neste subcaso nao chegamos a
nenhum tipo.

4.1

Usando tipos para construir grupos

Nesta secao mostraremos que, de fato, um tipo resgata um grupo. Em


particular, mostraremos que cada tipo listado no Teorema 4.2 resgata um
grupo. Faremos esta prova por dois caminhos: o primeiro e para os tipos
listados no Teorema 4.2; o segundo e para o caso geral.
Para uma primeira abordagem, suponhamos que existe um grupo G2 que
realiza (C8 , 2, 2 , e). Entao, seus elementos sao:
{e, x, x2 , . . . , x7 , a, xa, x2 a, . . . , x6 a, x7 a}

CAPITULO 4. GRUPOS DE ORDEM 16

19

a operacao do grupo e dada por:

xk x3i l a, se i + j = 1
k i
l j
(x a )(x a ) =
xk x3i l , caso contrario.
Enfatizamos que nao podemos simplesmente falar que um conjunto de 16
elementos da forma xi e xi a (1 i 8) juntamente com a operacao definida
acima e um grupo porque nao conseguimos garantir a associatividade deste
conjunto.
Lembramos que a representacao de Cayley de um grupo arbitrario G
de ordem m associa cada g G a uma permutacao g A(G) definida
por g (z) = zg com z G. Aplicando a representacao de Cayley a G2
produzimos:
x = (e, x, x2 , x3 , x4 , x5 , x6 , x7 )(a, x3 a, x6 a, xa, x4 a, x7 a, x2 a, x5 a)
a = (e, a)(x, xa)(x2 , x2 a)(x3 , x3 a)(x4 , x4 a)(x5 , x5 a)(x6 , x6 a)(x7 , x7 a).
Renomearemos estas permutacoes da seguinte forma:
= (1, 2, 3, 4, 5, 6, 7, 8)(9, 10, 11, 12, 13, 14, 15, 16)
= (1, 9)(2, 12)(3, 15)(4, 10)(5, 13)(6, 16)(7, 11)(8, 14).
Esquecendo a origem destas permutacoes, consideraremos H := h, i < S16 .
Verificamos que 1 = 3 , consequentemente
k 1 = (1 )k = 3k .
Como 8 = 2 = e, segue que cada elemento de H pode ser escrito como
k i com 0 k 7 e 0 i 1, logo |H| 16. Por outro lado, se os 16

CAPITULO 4. GRUPOS DE ORDEM 16

20

pares (k, i) produzirem elementos diferentes k i entao H tera exatamente


16 elementos. Para isso, verificamos quando i j = m n onde 0 i, m 7
e 0 j, n 1. Temos que:
im = nj
e como hi hi = {e} segue que im = e = nj logo 8|(i m) e 2|(n j),
consequentemente i = m e n = j. Donde conclumos que |H| = 16.
Como 2 = e e

1 = 3 temos que H\ hi induz o tipo

(C8 , 2, 2 , e), isto e, H realiza (C8 , 2, 2 , e).


De forma analoga suponhamos que existe um grupo G3 que realiza (C8 , 2, 3 , e).
Seus elementos sao {e, x, x2 , . . . , x7 , a, xa, x2 a, . . . , x6 a, x7 a}, e a operacao do
grupo e dada por:

xk x5i l a, se i + j = 1
k i
l j
(x a )(x a ) =
xk x5i l , caso contrario
Aplicando a representacao de Cayley a G3 , produzimos:
x = (e, x, x2 , x3 , x4 , x5 , x6 , x7 )(a, xa, x2 a, x3 a, x4 a, x5 a, x6 a, x7 a)
a = (e, a)(x, x5 a)(x2 , x2 a)(x3 , x7 a)(x4 , x4 a)(x5 , xa)(x6 , x6 a)(x7 , x3 a).
Renomearemos estas permutacoes da seguinte forma:
= (1, 2, 3, 4, 5, 6, 7, 8)(9, 10, 11, 12, 13, 14, 15, 16)
= (1, 9)(2, 14)(3, 11)(4, 16)(5, 13)(6, 10)(7, 15)(8, 12)
Seja K = h, i S16 . Como k 1 = 5k e 8 = 2 = e, temos que todo
elemento de K pode ser escrito como i j com 0 i 7 e 0 j 1,
portanto |K| 16. Com um argumento similar feito anteriormente vemos

CAPITULO 4. GRUPOS DE ORDEM 16

21

que |K| = 16. Contudo, sendo 2 = e e 1 = 5 temos que H\ hi


induz o tipo (C8 , 2, 3 , e), isto e, K realiza (C8 , 2, 3 , e).
Fica a cargo do leitor verificar que todo tipo listado no teorema 4.2 e
realizado por um grupo de permutacoes.
Agora, enunciamos um resultado sofisticado que abrange as construcoes
feitas anteriormente.
Teorema 4.3 (Teorema da Extens
ao Cclica). Seja (N, n, , v) um tipo.
Entao existe um grupo G que realiza (N, n, , v).
Demonstracao. Seja G e um conjunto de pares ordenados (x, ai ) onde x
N e 0 i n 1 munido de uma operacao binaria () cuja definicao segue:

(x i (y), ai+j )
se i + j < n,
(x, ai ) (y, aj ) =
(x i (y)v, ai+jn ) se i + j n
ou seja,


i+j
i+j
(x, ai ) (y, aj ) = x i (y)v b n c , ai+jnb n c .
Mostraremos que (G, ) e um grupo . Supondo a associatividade conhecida,
e facil mostrar que (e, e) e a identidade e que ( i [(vx)1 ], ani ) e o elemento
inverso de (x, ai ). Portanto, basta mostrar que () e associativa. Para isto,
usaremos o fato elementar1 que para m, n Z vale:
v r mnr (z) = m (z)v r .
Entao por um lado temos:


i+j
i+j
[(x, ai ) (y, aj )] (z, ak ) = x i (y)v b n c , ai+jnb n c (z, ak )


i+j
i+j
i+j+knb n c
i+j+knb n c
b i+j
c i+jnb i+j
c
b
c i+jnb i+j
c+knb
c
i
n
n
n
n
n
= x (y)v

(z)v
,a
1

Lembramos que n = tv e v = an .

CAPITULO 4. GRUPOS DE ORDEM 16

22



i+j
i+j+knb n c
b i+j
c b
c i+j+knb i+j+k
c
i
i+j
n
n
n
= x (y) (z)v
v
,a


i+j+k
i+j+k
= x i (y) i+j (z)v b n c , ai+j+knb n c


b i+j+k
c i+j+knb i+j+k
c
i
j
n
n
= x [y (z)]v
,a
e por outro,


b j+k
c j+knb j+k
c
j
n
n
(x, a ) [(y, a ) (z, a )] = (x, a ) y (z)v
,a


j+k
j+k
i+j+knb n c
i+j+knb n c
j+k
b j+k
c
b
c
i+jnb
c+knb
c
i
j
n
n
n
= x [y (z)v n ]v
,a


j+k
i+j+knb n c
j+k
c i+j+knb i+j+k
c
n
n
,a
= x i [y j (z)]v b n c v b


j+k
i+j+knb n c
i+j+k
c
c
c
b j+k
b
i+j+knb
i
j
n
n
= x [y (z)]v n v
,a


i+j+k
i+j+k
= x i [y j (z)]v b n c , ai+j+knb n c .
i

Isso mostra que (G, ) e um grupo comumente chamado de extensao


cclica exterior de N , contrapondo a extensao cclica interior discutida no
incio do Captulo 3.
Note que escrevendo a = (e, a), v = (v, e) e xai = (x, ai ) temos que
concide com a restricao de ta a N , ou seja,
(e, a)(x, e)(e, a)1 = (axa1 , e) = ( (x), e),
de onde conclumos que (G, ) realiza o tipo (N, n, , v).
Agora vejamos alguns casos especiais. Tomando Cn = hai temos v =
e N Cn = {e}. Neste caso a equacao (3.3) define o produto semidireto
N o Cn .
Note que todos Gi (1 i 13) sao extensoes cclicas de C8 ou K8 mas,
uma vez encontrados, a maioria deles admite descricoes mais simples. Para
isso devemos observar os tipos da listados na tabela do Teorema 4.2.

CAPITULO 4. GRUPOS DE ORDEM 16

23

Por exemplo, G13 realiza o tipo (K8 , 2, , y), segue-se que G13 contem os
subgrupos H1 = hxi
= C4 e H2 = hai onde a2 = y e K8 = hx, yi. Como H1
e H2 sao disjuntos e xa = ax, temos por 2.1 que G13 = H1 H2
= C4 C4 .
Analogamente, em G5 existem x, a G5 tais que x8 = e, a2 = x4 e
xax = a. Alem disso hx, ai gera G5 = {e, x, . . . , x7 , a, xa, . . . , x7 a}. Como
|Q16 | = |G5 | segue por 2.3 que Q16
= G5 .
Em G6 , a2 = x logo o(a) = 16. Entao podemos concluir que G6
= C16 .
Existem x, y, a G11 tais que xy = yx e ay = ya com o(x) = 4, o(y) = 2
e a2 = x2 , logo G11 = hx, ai hyi por 2.1. Alem disso, hx, ai via o elemento
a, realiza o tipo (hxi , 2, 2 , x2 ) que segundo o Teorema 4.1 resgata Q8 , logo
G11 = Q8 C2 .
Ja G10 contem o subgrupo hx, yai
= Q8 que e disjunto de hyi
= C2 .
Assim G10
= Q8 o C2 .
Temos tambem que G9
= hy, ai o hxi
= K4 o C4 , onde (y) = y e (a) =
ya. Como Aut(K4 )
= S3 , todos Aut(K4 ) de ordem 2 sao conjugados,
logo pelo Lema 3.1(c) todos os produtos semidiretos sao isomorfos a K4 o C4 ,
. Por isso denotamos K4 o C4 simplesmente por K4 o C4 .
Deixamos a cargo do leitor completar a segunda coluna da tabela do
Teorema 4.2.

4.2

O problema da correspond
encia

Pelo Lema 3.1(a) e Teorema 4.3, tipos equivalentes sempre sao realizados
por grupos isomorfos. Mas como vimos no Teorema 4.1, dois tipos nao equivalentes (N, n, , v) e (N 0 , n, , w), podem ser realizados por grupos isomorfos

CAPITULO 4. GRUPOS DE ORDEM 16

24

G e G0 . Esta situacao e aqui tratada como o problema da correspondencia.


Um caminho para mostrar que dois grupos nao sao isomorfos e mostrar
que um deles tem mais elementos de certa ordem que o outro. Deste modo,
consideraremos primeiro as ordens de todos elementos de nossos grupos:
x

x2

x3

x4

x5

x6

x7

xa

x2 a

x3 a

x4 a

x5 a

x6 a

x7 a

G0

G1

G2

G3

G4

G5

G6

16

16

16

16

16

16

16

16

x2

x3

x4

x5

x6

x7

xa

x2 a

x3 a

x4 a

x5 a

x6 a

x7 a

G7

G8

G9

G10

G11

G12

G13

Todo elemento nao identidade de G0 tem ordem 2, assim G0 e certamente


nao isomorfo a algum Gi com i = 1, . . . , 13. Contando o n
umero de elementos
de ordem 2, 4, 8 e 16, respectivamente, segue-se que entre {G1 , . . . , G6 } a
u
nica possibilidade e G1
= G3 . Na verdade isto e impossvel, visto que um e
abeliano e o outro nao.
Devido ao n
umero de elementos de ordem 8, nenhum Gi (1 6 i 6 6) e
isomorfo a algum Gj (7 6 j 6 16).
Seguiremos mostrando que a cada dois a dois grupos Gi (7 6 i 6 13), nao

CAPITULO 4. GRUPOS DE ORDEM 16

25

sao isomorfos. Para isso, separemo-os em dois conjuntos, a saber: {G7 , G9 , G10 }
e {G11 , G12 , G13 }.
Temos que G7 e abeliano enquanto G9 e G10 nao. Em G9 os subgrupos
{xa, x2 y, x3 ya} e {x, x2 , x3 , e} interceptam trivialmente, enquanto em G10
todos os subgrupos de 4 elementos contem x2 .
Similarmente G13 e abeliano enquanto G11 e G12 nao. Para diferenciarmos os outros dois grupos lembramos Q8 < G11 . Apresentando Q8 como
{1, i, j, k} temos que o centro de G11 e {(1, e), (1, a), (1, e), (1, a)} e
contem apenas um elemento nao identidade que e quadrado; a saber (1, e) =
(i, e)2 . Por outro lado, o centro de G12 contem dois elementos nao identidade
que sao quadrados, a saber: x2 e y = (xa)2 .
Fica a cargo do leitor verificar que G8 nao e isomorfo a algum Gi com
i = 7, 9, . . . , 13, completando a prova que os 13 grupos nao sao dois a dois
isomorfos.
Visto que nosso foco foi C8 e K8 , dado um grupo G de ordem 16, poderamos nos perguntar se ele e uma extensao cclica de (C2 )3 ou D8 ou Q8 .
Sem prova, a tabela a seguir fornece as extensoes cclicas dos grupos de ordem
8:

G0

G1

G2

G3

G4

G5

G6

C8

K8

(C2 )3

D8

Q8

G7

G8

G9

G10

G11

G12

G13

x
x

x
x

26

Ap
endice A
Grupos n
ao abelianos de ordem
p3
Neste apendice classificaremos todos os grupos nao abelianos de ordem
p3 com p 6= 2.
Teorema A.1. Sejam p 6= 2 e G um grupo nao abeliano de ordem p3 . Entao
G
= G1 ou G
= G2 , onde:
G1 =

a, b|ap = bp = e; ab = ba1+p

G2 = ha, b, c|ap = bp = cp = e; ab = cba; ca = ac; cb = bci .


Demonstracao. Como G nao e abeliano, e claro que G nao possui elemento
de ordem p3 . Seguiremos considerando dois casos:
Caso 1. Existe a G tal que o(a) = p2 . Neste caso, se A := hai/G entao
Sp1 i
para algum b G\A temos bp A, logo podemos escrever G = i=0
bA
com i = 0, . . . , p 1.


ABELIANOS DE ORDEM P 3
APENDICE
A. GRUPOS NAO

27
j

Como A / G segue bab1 = ar com 1 < r < p2 ; logo bj abj = ar para


todo j. Em particular, como bp comuta com a segue que para j = p temos
p

a = ar . Como o(a) = p2 , isto implica que:


rp 1(mod p2 ).

(A.1)

Pelo teorema de Fermat rp r(mod p), segue que r 1(mod p). Entao
podemos escrever r = 1 + sp com s N. Como 1 < r < p2 segue que s e
p sao coprimos; logo podemos escolher k N de modo que ks 1(mod p).
Usando novamente que o(a) = p2 , temos:
k

bk abk = a(1+sp) = a1+ksp = a1+p .

(A.2)

Como k e p sao coprimos, temos bk


/ A e podemos trocar b por bk para
S
i
1
= bk abk = a1+p . Segue facilmente que
obter G = p1
i=0 b A onde bab
bai = ai(1+p) b. Como bp A e o(b) 6= p3 temos que bp = at , onde t e m
ultiplo
de p. Nestas condices escrevemos bp = aup e encontramos:
(b1 au )p = (b1 au )(b1 au ) . . . (b1 au ) = b1 (au b1 )(au b1 ) . . . (au b1 ) au
|
|
{z
}
{z
}
p-c
opias

(p-1 )-c
opias

..
.
= bp au[1+(1+p)+(1+p)

2 +(1+p)3 ++(1+p)p1 ]

= bp aup+up[1+2++(p1)]
= bp aup = e
Usamos o fato de que 1 + 2 + + (p 2) + (p 1) =

p(p1)
2

e que p e mpar.

Portanto com b1 := b1 au , temos que G


ltima relacao segue por:
= G1 . A u
u
b1
aau b1 = bab1 = a1+p .
1 ab1 = ba


ABELIANOS DE ORDEM P 3
APENDICE
A. GRUPOS NAO

28

Caso 2. G nao possui elemento de ordem p2 . Se |Z(G)| = p3 entao G


e abeliano, absurdo. Se |Z(G)| = p2 entao
absurdo. Consequentemente |Z(G)| = p e

G
Z(G)

G
Z(G)

e cclico; logo G e abeliano,

= hx, y|xp = y p = e, xy = yxi

pois todo grupo de ordem p2 e abeliano, e se


abeliano, absurdo. Seja : G

G
Z(G)

G
Z(G)

= Cp2 entao G seria

um homomorfismo tal que a 7 x e

b 7 y; entao ap , bp Z(G). Se a 6= e entao o(a) = p2 , absurdo. O mesmo se


da com b. Portanto ap = bp = e e aba1 b1 = c Z(G). Se a1 b1 ab = e,
entao ha, b, Z(G)i = G e G e abeliano, absurdo. Logo c 6= e e hci = Z(G) e
segue assim G
= G2 .
O leitor pode verificar que os grupos G1 e G2 podem ser apresentados
como produtos semidiretos; a saber:
G1
= Cp2 o Cp e G2 = (Cp Cp ) o Cp .
Alem disso, eles pertencem a uma classe de grupos, os chamados p-grupos
extra-especiais. Para mais detalhes, ver [5] ou ver dissertacao de mestrado:
Teixeira, A. R. F., O Problema do Isomorfismo para Algebras de Grupos
Racionais de p-Grupos Extra-Especiais, Biblioteca Digital da UFMG, (2006).

29

Ap
endice B
Teoremas sobre grupos de
ordem p4
Neste apendice mostramos dois teoremas sobre grupos de ordem p4 , analogos
aos lemas 4.1 e 4.2.
Teorema B.1. Todo grupo G de ordem p4 possui um subgrupo abeliano de
ordem p3 .
suficiente mostrar para o caso |Z(G)| p2 . Para isso,
Demonstracao. E
primeiramente mostraremos que G possui um subgrupo normal H de ordem
p2 .
Se |Z(G)| = p2 entao nada temos a fazer. Se Z(G) = p entao pelo teorema
do reticulado ([1], teorema 3.20), e suficiente procurar um subgrupo normal
de

G
Z(G)

de ordem p. Como

G
Z(G)

e um p-grupo, seu centro possui ordem no

mnimo p, logo G possui um subgrupo normal H de ordem p2 .


facil
Seja : G Aut(H) a acao de G sobre H por conjugacao. E
ver que H ker(). Agora vamos mostrar que H

ker(), e para isso


APENDICE
B. TEOREMAS SOBRE GRUPOS DE ORDEM P 4

30

G
suponha que H = ker(); logo | Ker
| = p2 , segue que p2 divide |Aut(H)|,

um absurdo pois |Aut(H)| = p2 p se H


= Cp2 ou |Aut(H)| = (p2 1)(p2 p)
se H
= Cp Cp .
Para finalizar seja g ker()\H. Entao por 2.6, o grupo hg, Hi possui
um subgrupo abeliano de ordem p3 .
Seja N um grupo. Dado Aut(N ) e n N, definimos a funcao:
N,n : N N dada por
N,n (x) = x (x) 2 (x) . . . n1 (x).

(B.1)

Lema B.1. Sejam G um grupo, a G, N / G e = ta |N . Entao (xa)n =


N,n (x)an para todo x N .
Demonstracao. Temos que:
(xa)n = (xa)(xa1 a2 )(xa2 a3 ) . . . (xa(n1) an )
= x(axa1 )(a2 xa2 ) . . . (an1 xa(n1) )an
= N,n (x)an .

No teorema abaixo usaremos que num grupo G de ordem pm , se H < G e


[H : G] = p, onde p e o menor primo que divide a ordem de G, entao H / G;
[3], pagina 91.
Teorema B.2. Se um grupo nao abeliano G de ordem p4 contem um subgrupo
isomorfo a Cp3 , entao G tambem contem um subgrupo isomorfo a Cp2 Cp .


APENDICE
B. TEOREMAS SOBRE GRUPOS DE ORDEM P 4

31

Demonstracao. Seja h G tal que H := hhi


= Cp3 . Sejam a G\H e
= ta . Como G nao e abeliano segue 6= id e G = ha, hi. Alem disso,
p = id pois ap H. Pondo := |H temos que Aut(H) e o() = p.
Notamos que Aut(H) e cclico de ordem (p3 ) = p2 (p 1)1 logo Aut(H)
possui um u
nico subgrupo de ordem p; como o() = p este subgrupo e hi.
Em particular, qualquer elemento de ordem p de Aut(H) esta em hi.
Seja Aut(H) dado por h 7 hp

2 +1

. Notamos que p2 + 1 6 1 (mod p3 )

mas
 
p 2
(p + 1) = p + +
p + 1 1 (mod p3 ),
1
logo hi. Segue que = tai |H com i < p e ai 6 H. Entao com b := ai
2

temos que G = hh, bi e hp

2p

2 +1

= bhb1 .

Notamos que H 0 = hhp i possui ordem p2 . Vamos mostrar que existe


c G\H tal que chp = hp c e o(c) = p, pois uma vez este fato, teremos
H 0 hci
= Cp 2 Cp .
Como G = hh, bi, devemos ter c = bhr para algum r; logo
chp = bhr hp = bhp b1 bhr = (hp )p

2 +1

bhr = hp c.

Devemos ter tambem, pelo lema B.1, cp = N,p (hr )bp e para mostrar que
existe c, basta mostrar que existe r tal que N,p (hr ) = bp .
Por (B.1) temos que:
N,p (h ) =
r

p1
Y

i (hr ) = hr

i (p

2 +1)i

i=0

Reduzindo o expoente modulo p3 , obtemos:


r

p1
X

(p2 + 1)i = r

i=0
1

Ver [1], p
agina 135.

(p2 + 1)p 1
rp
(p2 + 1) 1

(mod p3 ).


APENDICE
B. TEOREMAS SOBRE GRUPOS DE ORDEM P 4

32

Isto e, N,p (hr ) = hrp H 0 . Notamos que (bp ) = bp e que H 0 = F ix( ) =


{x H| (x) = x}, segue que existe r tal que N,p (hr ) = hrp = bp .
Esses dois teoremas nos dizem que todo grupo de ordem p4 e uma extensao
cclica de Cp2 Cp ou (Cp )3 .
Usando 2.6 e o teorema B.1 conclumos que todo grupo G de ordem p5
possui um subgrupo abeliano de ordem no mnimo p3 . Diante deste fato
imaginei que todo grupo G de ordem p5 possui um subgrupo abeliano de
ordem no mnimo p4 , ate me deparar com um trabalho de Bender [11]. Nesse
trabalho ele sabia da existencia de grupos de ordem p5 que nao possuiam
subgrupos abelianos de ordem p4 . Mais geralmente ele classifica [12], os
grupos de ordem pm que possuem um subgrupo abeliano de ordem pm1 .

33

Refer
encias Bibliogr
aficas
[1] David S. Dummit & Richard M. Foote, Abstract Algebra, John Wiley
Sons, Inc., 2004.
[2] Thomas W. Hungerford, Algebra: An Introduction, Thomson Brooks/Cole, 1996.
[3]

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

[4] Marshall Hall, Jr., The theory of groups, New York: Chelsea Pub. Co.,
1959.
[5] Dereck J.S. Robinson, A Course in the Theory of Groups, SpringerVerlag New York, Inc., 1996, TM 80.
[6] Marcel Wild, The Groups of Order Sixteen Made Easy, The American
Mathematical Monthly, Vol 112, Number 1, january 2005.
[7] Miclael

Garlow,

of order 81,

An

elementary

Thesis

of

classification

Master

of

of

Science,

the
2006,

(http://etd.ohiolink.edu/view.cgi?acc num=akron1145890623)

groups
page

REFERENCIAS
BIBLIOGRAFICAS
[8] Jeffrey

D.

Adler,

Groups

of

order

Michael
p4

made

34
Garlow
less

&

Ethel

difficult,

R.

2006,

Wheland,
(preprint)

(http://www.math.uakron.edu/~adler/papers/)
[9] Hans Ulrich Besche, Bettina Eick & E.A. OBrien, A millennium project: constructing small groups, International Journal of Algebra and
Computation, Vol. 12, Number 5, 2002.
[10] Wan-Ju Lin, Groups of order thirty-two. A Thesis of Master of
Science:

2007 page (http://etdncku.lib.ncku.edu.tw/ETD-db/ETD-

search/view etd?URN=etd-0825108-105756)
[11] H. A. Bender, A determination of the groups of order p5 , The Annals of Mathematics, Second Series. Vol. 29, No. 1/4(1927-1928). URL
(http://www.jstor.org/stable/1967981).
[12]

, On groups of order pm , p being an odd prime number, which contain an abelian subgroup of order pm1 , The Annals
of Mathematics, Second Series. Vol. 29, No. 1/4(1927-1928). URL
(http://www.jstor.org/stable/1967984).

35

Indice Remissivo
equivalentes, 10
Adler, 2

Wan-Ju Lin, 2
Wheland, 2
Wild, 1

elementos
caractersticos, 10
automorfos, 10
conjugados, 10
extensao cclica exterior de N , 22
extensao cclica interior, 8
Garlow, 1
Otto Holder, 1
permutacao, 19
problema da correspondencia, 23
representacao de Cayley, 19
Teorema da Extensao Cclica, 21
teorema de Fermat, 27
Teorema de Sylow, 1
Van Dyck, 3

Young, 1