UNIVERSIDADE FEDERAL DE MINAS GERAIS

INSTITUTO DE CI

ENCIAS EXATAS - ICEX

DEPARTAMENTO DE MATEM

ATICA
Ttulo: Grupos Finitos Gerados por dois
Elementos a e b com ba = a
s
b.
por
Jose Sergio Domingues
Orientador: Prof

. Dr. Paulo Antonio Fonseca

Data: 06/12/2006
1
Dedico esta monograa
a meus pais
Jorge e Geralda
2
Agradecimentos:
Desde o incio dos meus estudos em matematica superior, ate a elabora-
c ao e conclusao dessa monograa de pos-graduac ao, muitas pessoas se ze-
ram importantes, por esse motivo, faco questao de manifestar meus sinceros
agradecimentos a todos que me ajudaram direta ou indiretamente na reali-
zac ao dessa.
Assim, agradeco a Deus, que sempre tem me mostrado que, por mais
conhecimento que eu adquira, e sempre ele quem me conduz.
A meus pais: Jorge e Geralda que nunca mediram esforcos para me possi-
bilitar a melhor instrucao possvel e sempre estao do meu lado, me apoiando e
me dando a estrutura necessaria para a continuacao dos meus estudos. Seria
nada sem voces, os amo muito.
A minha esposa: Viviane, que tantas vezes teve de ser forcada a abrir mao
da minha presenca e quando a tinha, em varios momentos so era presenca
fsica e nao de mente, pois essa estava voando alto. Te amo.
Ao meu orientador: Prof

. Dr. Paulo Ant onio pela sua dedicac ao, paciencia,

humor sempre presente e por todo conhecimento que me ajudou a absorver.
Aos professores: Ana Cristina e Viktor Bekkert que formaram a banca
examinadora e me deram otimas dicas para o melhoramento desse trabalho.
A todos os professores do curso de pos-graduac ao em calculo, que sempre
se mostraram prontos a me ajudar.
A todos os amigos de curso, principalmente aos amigos eternos: Neila,
Tatiane e Wesley, por tudo que passamos e estudamos juntos.
A todos os professores que tive na graduacao em especial a: Carmem
Rosa, Sandra Mara, Paulo Menezes, Frederico, Weversson, Claudia Tavares,
Flaviana, Mariana e Remy, por todo apoio, dedicac ao e conhecimento com-
partilhado.
A secretaria do curso: Andrea, por toda presteza e dedicacao desprendida.
3
Introducao:
Inicialmente gostaria de deixar claro que minha especializac ao foi feita em
calculo, mas por gostar muito de algebra, resolvi desenvolver uma monograa
com esse tema para tentar entender melhor alguns resultados da teoria de
grupos e a caracterizac ao dos grupos de ordem menor do que ou igual a onze
que satisfazem um relac ao peculiar, pois mesmo gostando muito do tema, nao
tive a oportunidade de estuda-lo com mais anco durante a minha graduac ao.
O principal objetivo deste trabalho e a determinacao e o estudo dos grupos
nitos gerados por dois elementos a e b que satisfazem uma relacao do tipo
ba = a
s
b, para isso se faz necessario um bom entendimento de boa parte dos
principais resultados da teoria de grupos a nvel de graduac ao.
Citamos ent ao todos os resultados necessarios, alguns com as suas res-
pectivas demonstracoes e outros nao, porem todas as demonstrac oes aqui
omitidas, podem ser encontradas nas referencias indicadas ao nal deste.
4
Sumario
1 Grupos 6
2 Subgrupos 8
3 Classes Laterais e Teorema de Lagrange 11
4 Subgrupos Normais 17
5 Grupos Quocientes 19
6 Homomorsmos de Grupos 19
7 Grupos Cclicos 23
8 Homomorsmos e automorsmos de grupos cclicos: 25
9 Grupos Finitos Gerados por dois
Elementos a e b com ba = a
s
b 26
10 Determinacao dos grupos de ordem 11: 32
11 Referencias 42
5
1 Grupos
Denicao 1.1. Seja G um conjunto nao vazio com uma lei de composicao
interna.
GG G
(a, b) a b
Dizemos que G e um grupo com relacao a essa lei se, e somente se:
(i) a (b c) = (a b) c, a, b, c G, isto e, vale a propriedade
associativa;
(ii) e G tal que a e = e a = a, a G, isto e, existe elemento neutro;
(iii) a G, b G tal que a b = b a = e, isto e, todo elemento de G e
invertvel em relacao `a lei considerada ; o inverso de a e denotado por
a
1
.
Se o grupo satisfaz a condicao abaixo dizemos que ele e um grupo
comutativo ou abeliano:
(iv) a b = b a, a, b G.
Se G for um grupo, podemos demonstrar as seguintes propriedades:
(i) O elemento neutro e unico.
(ii) a
1
G e unico, a G.
(iii) a G, (a
1
)
1
= a.
(iv) a, b G, temos (a b)
1
= b
1
a
1
.
Se a lei que faz de G um grupo e dada por (x, y) x y, tambem se
costuma dizer que o par (G, ), onde simboliza a lei, e um grupo. Mas,
muitas vezes deixaremos de indicar a operacao do grupo, escrevendo G para
denotar um grupo (G, ). Alem disso, denotaremos ab no lugar de ab, quando
isso nao causar ambig uidade.
6
Alguns exemplos de Grupos
(1) (Z, +); (Q, +); (R, +); (C, +) sao grupos innitos denominados
grupos aditivos abelianos dos inteiros, racionais, reais e complexos,
respectivamente.
(2) (Q0, ); (R 0, ); (C 0, ) sao exemplos de grupos
multiplicativos abelianos.
(3) Grupo aditivo de matrizes:
(M
mn
(Z), +); (M
mn
(Q), +); (M
mn
(R), +) e (M
mn
(C), +)
representam os grupos aditivos das matrizes com entradas em
Z, Q, R e C respectivamente.
Em todos os grupos citados acima as operacoes de adicao e
multiplicacao mencionadas sao as usuais de cada conjunto.
(4) (Z
m
, +) e o grupo aditivo das classes de restos modulo m.
Onde, para todo m > 1, dene-se a adicao em
Z
m
= 0, 1, 2, ..., m1 por a + b = a + b a, b Z
m
.
(5) O grupo (S
n
, ), das permutac oes de grau n, onde a notacao

1 2 ... 3
i
1
i
2
... i
n

representa a func ao bijetiva denida por f(1) = i

1
, f(2) = i
2
, ...,
f(n) = i
n
e r
m
r
n
= r
m
r
n
.
Em particular, podemos citar o grupo (S
3
, ), das permutacoes
de grau 3 com,
S
3
=

1 2 3
1 2 3

1 2 3
2 1 3

1 2 3
3 2 1

1 2 3
1 3 2

1 2 3
2 3 1

1 2 3
3 1 2

(6) O grupo (GH, ), formado a partir dos grupos (G, ) e (H, ) com
elementos neutros iguais a e
G
e e
H
respectivamente. O produto carte-
siano de G por H denotado por GH = (g, h) [ g G e h H,
com a operacao denida entre pares de elementos de GH pela
regra:
(g, h) (g

, h

) = (g g

, hh

) g, g

G, h, h

H.
Verica-se ent ao que o grupo (GH, ) tem como elemento
neutro e = (e
G
, e
H
).
7
Por exemplo, como (Z
2
, +) e um grupo, temos que
Z
2
Z
2
= (0, 0), (0, 1), (1, 0), (1, 1)
e um grupo abeliano, de elemento neutro igual a e = (0, 0).
2 Subgrupos
Denicao 2.1. Seja H G nao vazio, onde (G, ) e um grupo. Dizemos que
H e um subgrupo de G (denota-se H < G) quando, com a operacao de G, o
conjunto H e um grupo, ou seja, quando H goza das seguintes propriedades:
(i) a, b H = a b H.
(ii) a, b, c H = (a b) c = a (b c).
(iii) a H, e
H
H tal que e
H
a = a e
H
= a.
(iv) Para cada a H, k H tal que a k = k a = e
H
.
Ao assumir a propriedade (i), podemos observar que a propriedade (ii) e
claramente satisfeita pelo fato de H ser um subconjunto de G, que e
H
= e,
ou seja, o elemento neutro de H e igual ao elemento neutro de G. De fato,
tomando qualquer a H G = e
H
a = a = e
H
a a
1
= a a
1
=
e
H
(a a
1
) = a a
1
= e
H
e = e = e
H
= e.
Alem disso a H, tem-se que o inverso de a em H e igual ao inverso
de a em G. De fato, se k e o inverso de a em H, entao a k = k a = e
H
,
logo a k = k a = e (pois e
H
= e), conclui-se entao que k e o inverso de a
em G.
Portanto um subconjunto H ,= de um grupo G e um subgrupo de G
se, e somente se:
(i) a, b H = ab H.
(ii) a
1
H, a H.
8
Assim, podemos enunciar um criterio, para vericar com facilidade, quando
que um determinado subconjunto de um grupo e um subgrupo desse.
Proposicao 2.2. Seja (G, ) um grupo. Para que H G nao vazio, seja um
subgrupo de G e necessario e suciente que
a b
1
H, a, b H
Indicamos abaixo, alguns exemplos de subgrupos:
(1) e e G sao subgrupos de um grupo G, denominados subgrupos
triviais.
(2) (nZ, +) com n Z e um subgrupo de (Z, +).
(3) (H, ) e um subgrupo do grupo multiplicativo (R 0, ) onde
H = x R 0; x > 0.
(4) Se H
1
e H
2
sao subgrupos de um grupo G, ent ao H
1
H
2
e um
subgrupo de G.
(5) Sendo G um grupo arbitrario. O subconjunto
Z(G) = x G [ xg = gx, g G
e um subgrupo de G, denominado centro de G.
(6) O subgrupo de S
4
, denotado por D
4
, que representa o grupo das
simetrias de um quadrado, onde:
D
4
= a
0
= e, a
1
, a
2
, a
3
, a
4
, a
5
, a
6
, a
7

com:
a
0
=

1 2 3 4
1 2 3 4

, a
1
=

1 2 3 4
2 3 4 1

, a
2
=

1 2 3 4
3 4 1 2

a
3
=

1 2 3 4
4 1 2 3

, a
4
=

1 2 3 4
4 3 2 1

, a
5
=

1 2 3 4
2 1 4 3

a
6
=

1 2 3 4
1 4 3 2

, a
7
=

1 2 3 4
3 2 1 4

E obvio que D
4
nao e abeliano, basta notar que:
9
a
1
a
4
=

1 2 3 4
1 4 3 2

e a
4
a
1
=

1 2 3 4
3 2 1 4

isto e, a
1
a
4
,= a
4
a
1
(7) O subgrupo de S
5
, denotado por D
5
, que representa o grupo das
simetrias espaciais do pent agono regular que consiste da identidade,
das rotac oes de angulos 2/5, 4/5, 6/5, 8/5 e das reexoes
espaciais em torno de suas cinco bissetrizes onde,
D
5
= a
0
= e, a
1
, a
2
, a
3
, a
4
, a
5
, a
6
, a
7
, a
8
, a
9

com:
a
0
=

1 2 3 4 5
1 2 3 4 5

, a
1
=

1 2 3 4 5
2 3 4 5 1

, a
2
=

1 2 3 4 5
3 4 5 1 2

a
3
=

1 2 3 4 5
4 5 1 2 3

, a
4
=

1 2 3 4 5
5 1 2 3 4

, a
5
=

1 2 3 4 5
3 2 5 1 4

a
6
=

1 2 3 4 5
1 4 3 2 5

, a
7
=

1 2 3 4 5
3 2 1 4 5

, a
8
=

1 2 3 4 5
2 3 4 1 5

a
9
=

1 2 3 4 5
2 3 4 5 1

Subgrupo gerado por um subconjunto

Se H, J G. Fixaremos as seguintes notacoes:
(i) HJ = hj [ h H e j J.
(ii) H
1
= h
1
[ h H.
(iii) Tomando qualquer S G, tem-se que, S) = a
1
a
2
...a
n
[ n N,
a
i
S ou a
i
S
1
.
(iv) Se S possui um n umero nito de elementos, digamos S = a
1
, a
2
, ...,
a
n
, utilizaremos a
1
, a
2
, ..., a
n
) para designar a
1
, a
2
, ..., a
n
).
(v) Geralmente, se r N, escreveremos g
r
, para denotar o elemento
(g
1
)
r
, com g G.
10
(vi) Portanto, se g G, temos que:
g) = ..., (g
1
)
2
, g
1
, e, g, g
2
, ... = g
t
[t Z.
Proposicao 2.3. Se S e um subconjunto de G e G e um grupo, entao, S)
e subgrupo de G.
Denicao 2.4. Se S e um subconjunto de G e G e um grupo, entao, S) e
o subgrupo gerado por S.
Denicao 2.5. Um grupo G e cclico se ele pode ser gerado por algum ele-
mento de G, ou seja, se g G tal que G = g). Neste caso, diz-se que
g G e um gerador do grupo cclico (G, ). Portanto, num grupo cclico
(G, ), para o qual g e um gerador, qualquer que seja o elemento a G,
existe n Z tal que g
n
= a.
Denicao 2.6. Ao n umero de elementos de um grupo G, damos o nome de
ordem do grupo G, e denota-se [G[. Se e um elemento de G a ordem do
subgrupo gerado por e a ordem de , denotada por O().
Proposicao 2.7. Se G, G e um grupo e ) e o subgrupo gerado por ,
entao as condicoes abaixo sao equivalentes:
(i) A ordem [)[ e nita.
(ii) Existe k 1 tal que
k
= e.
3 Classes Laterais e Teorema de Lagrange
Denicao 3.1. Seja K um subgrupo de um grupo (G, ). Tomando a G,
indica-se por a K (respectivamente por K a) e denomina-se de classe la-
teral `a esquerda (respectivamente `a direita), de K em G denida por a, o
subconjunto de G a seguir:
a K = a k [ k K
(respectivamente, K a = k a [ k K). Logicamente, se G e um grupo
abeliano, temos que:
a K = K a, a G.
Indicamos abaixo, alguns exemplos de classes laterais:
11
(i) Sejam (G = 1, 1, i, i, ) e seu subgrupo K = 1, 1, entao:
(1) K = (1) 1, (1) (1) = 1, 1 = K (1)
1 K = 1 1, 1 (1) = 1, 1 = K 1
(i) K = (i) 1, (i) (1) = i, i = K (i)
i K = i 1, i (1) = i, i = K i
(ii) Sejam G = (Z
6
, +) e seu subgrupo K = 0, 3, ent ao:
0 + K = 0 + 0, 0 + 3 = 0, 3 = K + 0
1 + K = 1 + 0, 1 + 3 = 1, 4 = K + 1
2 + K = 2 + 0, 2 + 3 = 2, 5 = K + 2
3 + K = 3 + 0, 3 + 3 = 3, 0 = K + 3
4 + K = 4 + 0, 4 + 3 = 4, 1 = K + 4
5 + K = 5 + 0, 5 + 3 = 5, 2 = K + 5
Denicao 3.2. A cardinalidade do conjunto de classes laterais `a esquerda e
o ndice de K em G, que denotaremos por (G : K).
Exemplos 3.3. Tome (Z
6
, +) e considere seu subgrupo K = 0, 2, 4. As
classes laterais de K em G `a esquerda ou `a direita (pois G e abeliano) sao:
0 + K = K = 0, 2, 4 e 1 + K = 1, 3, 5
Pois todas as outras que poderiam ser construdas coincidem com uma dessas
duas. Logo, (Z
6
: K) = 2
Observacao 3.4. Algumas proposicoes a seguir se apresentam com classes
laterais `a esquerda; porem nesses casos tanto faz usar classes `a direita ou `a
esquerda. Seja entao G um grupo e K um subgrupo de G.
Proposicao 3.5. A uniao de todas as classes laterais de K em G e igual a
G.
Proposicao 3.6. aK = bK a
1
b K, a, b G.
Proposicao 3.7. Sejam aK e bK duas classes laterais quaisquer de K em
G. Entao aK bK = ou aK = bK.
12
Proposicao 3.8. Toda classe lateral aK e equipotente a K, isto e, tem a
mesma cardinalidade de K.
Demonstracao. Tome a func ao : K aK dada por (k) = ak, k K.
Ela e claramente uma bijecao, pois:
(i) (k
1
) = (k
2
) = ak
1
= ak
2
= k
1
= k
2
.
(ii) Dado ak aK, e claro que ak e a imagem de k por .
Proposicao 3.9. Se o conjunto das classes laterais `a esquerda e nito, a
cardinalidade de classes `a esquerda e igual ao de classes `a direita. O que
pode ser provado, mostrando que aK Ka
1
e uma bijecao.
Das proposic oes citadas acima podemos concluir que o conjunto das classes
laterais `a esquerda de K em G, forma uma particao, com a peculiaridade de
que aqui as classes sao conjuntos equipotentes.
Teorema 3.10 (Teorema de Lagrange). Seja G um grupo nito e K um
subgrupo de G. Entao [G[ = [K[(G : K) e a ordem e o ndice de K dividem
a ordem de G.
Demonstracao. Suponha (G : K) = e seja a
1
K, ..., a

K o conjunto de
todas as classes laterais `a esquerda de K em G. Ent ao, como cada uma
dessas classes possue [K[ elementos (proposic ao 3.8) e a
1
K ... a

K = G,
com a
i
Ka
j
K = (proposic oes 3.5 e 3.7) temos que [G[ = [K[ = [G[ =
[K[(G : K).
A partir do Teorema de Lagrange podemos tirar duas conclusoes, que sao
listadas a seguir:
Corolario 3.11. Seja G um grupo nito e seja G. Entao a ordem de
divide a ordem de G.
Corolario 3.12. Seja G um grupo nito, onde [G[ = p e p um n umero
primo. Entao G e cclico.
Demonstracao. Seja Ge e considere o subgrupo gerado por deno-
tado por ). Pelo Teorema de Lagrange, temos que, O() divide p e como
p e primo, implica que [)[ = p = [G[. Logo, G = ).
13
Teorema 3.13. Sendo (G, ) um grupo cclico nito de ordem n, para o qual
g e um gerador, entao:
g
n
= e e G = g, g
2
, ..., g
n1
, g
n
= e, com g
i
,= g
j
, i ,= j; i, j n.
Corolario 3.14. Sendo (G, ) um grupo cclico nito de ordem n, para o qual
g e um gerador, entao n e o menor inteiro positivo tal que g
n
= e.
Teorema 3.15. Sendo (G, ) um grupo cclico nito de ordem n, para o qual
g e um gerador e k Z, entao g
k
= e, se e somente se n[k.
Proposicao 3.16. Num grupo (G, ) com elemento neutro e, se um elemento
h de G tem ordem n, entao h
k
= e se e somente se n[k.
Demonstracao. Se O(h) = n e h
k
= e, ent ao usando o lema de Euclides
podemos escrever k = nq + r, 0 r n. Logo,
e = h
k
= (h
n
)
q

e
h
r
= h
r
= e,
e portanto r = o, pois r < n e n e a ordem de h.
Lema 3.17. Seja G um grupo e seja G, ,= e.
(i) O() = 2 se e somente se =
1
(ii) Se O() = 2, ,= e, entao G e um grupo abeliano.
Demonstracao. (i) (=) Se O() = 2, temos que ) = e, e como
) e um subgrupo de G e claro que
1
), logo, ou e =
1
ou
=
1
, mas se e =
1
= e =
1
= = e, o que e um
absurdo. Portanto, =
1
.
(=) Considere =
1
. Ent ao, multiplicando ambos os lados da
igualdade por `a direita, temos:
=
1
= =
1

e
=
2
= e,
mas ,= e por hipotese, ent ao ) tem no mnimo dois elementos, e
como
2
= e = O() = 2.
14
(ii) Se O() = 2 =
2
= e, G. Tome agora G.
Entao, ()
2
= = e. Logo:
(
1
)

e

1
=
1

1
= (
1
)

e
=
1

1
= =
1

1
= = .
Lema 3.18. Todo grupo de ordem par possui pelo menos um elemento de
ordem 2.
Demonstracao. Seja G um grupo nito tal que [G[ = 2m. Note que o n umero
de elementos nao triviais de G e mpar.
Entao se admitirmos que todo elemento x G, x ,= e, e diferente de seu
inverso, temos que os elementos de G e seus inversos podem ser listados aos
pares:
(x
1
, x
1
1
), (x
2
, x
1
2
), ..., (x
n
, x
1
n
).
Admitindo x
1
= e, os elementos restantes sao um total de 2m-1, um
absurdo.
Portanto, para algum x G, x ,= e, devemos ter x = x
1
, ou seja,
O(x) = 2.
Teorema 3.19 (Teorema de Cauchy). Sejam G um grupo nito de ordem
n e p um n umero primo que divide n. Entao, G contem um elemento de
ordem p.
Proposicao 3.20. Seja G um grupo abeliano. Se , G possuem ordens
nitas e MDCO(), O() = 1, entao O() = O()O().
Demonstracao. Mostraremos inicialmente que se G for um grupo e , G
tal que = com O() = n e O() = m, ent ao, O() [ MMC(n, m).
De fato:
Tome O() = P = ()
P
= e, e se ()
K
= e = P[K.
15
Como = = ()
P
=
P

P
= e, e alem disso, ()
mn
=

mn

mn
= (
n
)
m
(
m
)
n
= e.
Seja MMC(n, m) = L = n[L e m[L pois, L = n.n
1
= m.m
1
. Mas,
()
L
=
L

L
=
n.n
1

m.m
1
= (
n
)
n
1
(
m
)
m
1
= e = P[L, isto e, O() [ MMC(n, m).
Consideremos ent ao que MDC(m, n) = 1 = L = MMC(n, m) =
nm = O() [ nm e existem x, y Z, tais que:
mx + ny = 1. (1)
Entao: ()
mx+ny
=
mx+ny

mx+ny
=
mx

ny

mx

e

ny
= =
mx

ny
=
= (
mx

ny
)
P
= ()
P
= e =
Pmx

Pny
= e =
Pmx
=
Pny
=
(
Pmx
)
n
= e =
Pn
2
y
= m[Pn
2
y, mas de (1) temos que, (n
2
y, m) = 1 =
m[P.
Tambem temos que n[Pmx, mas de (1) temos que (mx, n) = 1 = n[P.
Conclumos que m[P e n[P = mn[P, logo:
P[mn e mn[P = P = mn, isto e, O() = mn
Proposicao 3.21. Se G e um grupo abeliano e a, b G sao dois elementos
de ordens nitas. Entao existe c G tal que O(c) = MMC(O(a), O(b))
Demonstracao. Se O(a) := n, O(b) := m e MDCn, m = 1, tem-se pela
Proposic ao 3.20 que podemos tomar c := ab. Mas, se MDCn, m ,= 1,
podemos decompor n e m em fatores primos, obtendo:
n = p

1
1
...p

k
k
p

k+1
k+1
...p

t
t
m = p

1
1
...p

k
k
p

k+1
k+1
...p

t
t
,
onde 0
i

i
para i = 1, 2, ..., k ; 0
j

j
para j = k + 1, ..., t, e os
primos p
i

s
sao todos distintos. Tomando os elementos
a
1
= a
p

1
1
...p

k
k
e b
1
= b
p

k+1
k+1
...p

t
t
.
Portanto,
O(a
1
) =
n
p

1
1
...p

k
k
= p

k+1
k+1
...p

t
t
e O(b
1
) =
m
p

k+1
k+1
...p

t
t
= p

1
1
...p

k
k
.
Alem disso, O(a
1
) e O(b
1
) sao primos entre si, o que pela Proposic ao 3.20,
implica em O(a
1
b
1
) = O(a
1
)O(b
1
). Portanto, o elemento c := a
1
b
1
e tal que
O(c) = MMC(O(a), O(b))
16
Proposicao 3.22. Se G e um grupo abeliano e r := supO(g) [ g G e
nito, entao O(x) divide r para cada x G.
Demonstracao. Suponha que r := supO(g) [ g G e nito e tome y G
tal que O(y) = r. Se existir x G tal que O(x) nao divide r, tem-se
s := MMC(O(x), O(y)) > r e, pela Proposic ao 3.21, existe um elemento
c x, y) G tal que O(c) = s > r, o que e um absurdo, ja que r foi
escolhido como o supremo do conjunto.
4 Subgrupos Normais
Denicao 4.1. Dizemos que um subgrupo K de um grupo G (K < G) e um
subgrupo normal em G (denota-se K G) se e somente se:
aka
1
K, a G e k K.
Proposicao 4.2. Sendo G um grupo, temos:
(i) N G Ng = gN, g G.
(ii) N
1
, N
2
G = N
1
N
2
G.
(iii) K < G e N G = KN = k.n [ k K, n N < G.
(iv) N
1
G, N
2
G = N
1
N
2
G.
(v) K < G, N G = K N K.
Corolario 4.3. Todo subgrupo K de um grupo abeliano G e um subgrupo
normal de G, isto e, se K < G e G e abeliano = K G.
Indicamos abaixo, alguns exemplos de subgrupos normais:
(i) e e G sao subgrupos normais de G.
(ii) Z(G) G, onde:
Z(G) = x G [ xg = gx, g G
17
Teorema 4.4. Se N e um subgrupo de um grupo G, onde (G : N) = 2, entao
N G.
Demonstracao. Se (G : N) = 2 entao existem em G duas classes laterais
distintas que sao N e GN.
Dado a G, existem duas possibilidades:
(i) a N = aN = Na = N.
(ii) a GN = aN = GN = Na.
Vericamos ent ao que se (G : N) = 2, tem-se aN = Na, a G, logo
pela parte (i) da Proposic ao 4.2, conclumos que N G.
Teorema 4.5. Sejam G um grupo e K um subgrupo normal de G. Entao,
x, y G, x y = x y dene uma operacao no conjunto das classes laterais
de K em G (denotado por G/K), e alem disso G/K e um grupo com essa
operacao.
Demonstracao. Para demonstrar que x y = xy dene uma operac ao em
G/K temos que provar que a denicao acima nao depende da escolha dos
representantes das classes. De fato, se x = a e y = b provaremos que x y =
a b, ou seja, x y = a b.
Para isso basta mostrar que Kxy = Kab ou ainda (xy) (ab)
1
K. Mas
xy (ab)
1
= xyb
1
a
1
e x = a, y = b nos diz que xa
1
K, yb
1
K.
Se xa
1
= k
1
K, yb
1
= k
2
K entao, (xy)(ab)
1
= x(k
2
)a
1
=
(k
1
a)(k
2
)a
1
= k
1
(ak
2
a
1
) e como k
1
K e ak
2
a
1
K
a
1
= K segue
imediatamente que,
(xy)(ab)
1
K
e nossa denicao nao depende da escolha dos representantes.
Agora, se e e a identidade de G entao,
(i) e = Ke = K e o elemento neutro de G/K pois e x = e x = x =
= x e = x e, x G/K.
(ii) x (y z) = x (y z) = x (y z) = (x y) z = x y z =
= (x y) z, x, y, z, G/K
(iii) se x G/K ent ao x

1 x = x x

1 = e.
Portanto, G/K e um grupo com a operac ao induzida de G pela regra
x y = x y, x, y G/K.
18
5 Grupos Quocientes
Denicao 5.1. Sejam G um grupo e K um subgrupo normal de G. O grupo
G/K com a operacao induzida de G e o grupo quociente de G por K.
Proposicao 5.2. Sendo G um grupo e N G. Temos:
(i) Se G e abeliano, entao G/N e abeliano.
(ii) Se G e cclico, entao G/N e cclico.
Proposicao 5.3. A ordem do grupo quociente G/K e o ndice de K em G,
isto e, [G/K[ = (G : K).
6 Homomorsmos de Grupos
Denicao 6.1. Sejam (G, ) e (G

, ) dois grupos quaisquer. Chama-se

homomorsmo de G em G

toda funcao f : G G

tal que:
f(a b) = f(a)f(b)
quaisquer que sejam os elementos a e b pertencentes a G.
Exemplos de homomorsmo
(i) Id : (G, ) (G, ), Id(g) = g(denominado identidade).
(ii) e : G G

, e(g) = e
G
(homomorsmo trivial).
(iii) f : Z C

, dada por f(m) = i

m
.
(iv) f : R

+
R, dada por f(x) = log(x), x R

+
.
Em um homomorsmo f : G G

, pode-se vericar que a imagem do

elemento neutro e
G
do grupo G e o elemento neutro e
G
do grupo G

, isto e,
f(e
G
) = e
G
, alem disso, verica-se que a imagem do inverso de qualquer ele-
mento a G e o inverso da imagem f(a) de a, isto e, f(a
1
) = f(a)
1
, a
G.
Seja f : (G, ) (G

, ) um homomorsmo de grupos. Entao:

19
Proposicao 6.2. ker f := x G [ f(x) = e
G
, e um subgrupo normal de
G chamado n ucleo do homomorsmo f.
Demonstracao. f(e
G
) = e
G
= e
G
kerf. Logo, kerf G e kerf ,= .
Alem disso, a, b kerf temos f(a) = f(b) = e
G
, ent ao:
f(a b
1
) = f(a)f(b
1
) = f(a)f(b)
1
= e
G
(e
G
)
1
= e
G
e
G
= e
G

Logo, a b
1
kerf, e pela Proposic ao 2.2, conclumos que kerf < G
Mas, a G e k kerf, temos
f(a k a
1
) = f(a) f(k) f(a
1
) = f(a) e
G
f(a
1
)
= f(a a
1
) = f(e
G
) = e
G

Isto e, aka
1
kerf, o que pela Denic ao 4.1, implica que kerfG
Proposicao 6.3. Seja (L, ) um grupo qualquer, f : G G

e g : G

L,
homomorsmos de grupos. Entao:
A composicao g f : G L tambem e um homomorsmo.
De fato, a, b G, temos que:
g f(a b) = g(f(a b)) = g(f(a)f(b)) =
= g(f(a)) g(f(b)) = (g f(a)) (g f(b)).
Denicao 6.4. Sejam (G, ) e (G

, ) dois grupos quaisquer. Dizemos que

f : G G

e um isomorsmo do grupo G no grupo G

se, e somente se:

(i) f e uma bijecao;
(ii) f e um homomorsmo de grupos.
Quando existe tal isomorsmo, dizemos que G e G

sao isomorfos e de-

notamos G G

.
Proposicao 6.5. Se f e sobrejetiva, entao ker f = e f e um isomor-
smo.
20
Proposicao 6.6. Seja f : G G

um isomorsmo de grupos. Entao:

O(f(x)) = O(x), x G.
Exemplos de isomorsmos
(i) f : R

+
R, dada por f(x) = log(x), x R

+
.
(ii) f : Z
4
G, dada por f(0) = 1, f(1) = i, f(2) = 1, f(3) = i e um
isomorsmo de (Z
4
, +) em (G, ), onde neste caso, G = 1, 1, i, i.
Proposicao 6.7. Se f e um isomorsmo do grupo G no grupo G

, entao f
1
e um isomorsmo do grupo G

no grupo G. O isomorsmo f
1
e chamado
isomorsmo inverso de f. Portanto, se G G

entao G

G.
Denicao 6.8. Seja (G, ) um grupo. Chama-se automorsmo de G, todo
isomorsmo f : G G. O conjunto dos automorsmos de G sera denotado
por Aut(G).
Exemplo de automorsmo
I
g
: G G, denida por I
g
(x) = g x g
1
.
De fato, a funcao indicada e uma bijecao, pois:
(i)

E sobrejetora, uma vez que x G:
I
g
(g
1
x g) = g (g
1
x g) g
1
= x
(ii)

E injetora, uma vez que I
g
(x
1
) = I
g
(x
2
), implica em:
g x
1
g
1
= g x
2
g
1
= x
1
= x
2
.
E alem disso temos que, x, y G:
I
g
(x y) = g x y g
1
= g x g
1
g y g
1
(pois g
1
g = e
G
)=
= (g x g
1
) (g y g
1
) = I
g
(x) I
g
(y).
Ou seja, esta func ao tambem e um homomorsmo, portanto um auto-
morsmo de G, denominado automorsmo interno associado ao elemento
g G.
21
O conjunto dos automorsmos internos de G, sera denotado por I(G);
assim:
I(G) := I
g
[ g G Aut(G).
Proposicao 6.9. Dada a funcao I
g
: G G, denida por I
g
(x) = gxg
1
,
temos que:
(i) (I
g
)
1
= I
g
1
(ii) I
g
1
I
g
2
= I
g
1
g
2
Demonstracao. Demonstraremos aqui, somente o item (ii), o item (i) deixa-
mos a cargo do leitor:
(ii) Seja (G, ) um grupo. Entao, x G, temos que:
(I
g
1
I
g
2
)(x) = I
g
1
(I
g
2
(x)) = I
g
1
(g
2
x g
1
2
) = g
1
(g
2
x g
1
2
) g
1
1
=
= (g
1
g
2
) x (g
1
2
g
1
1
) = (g
1
g
2
) x (g
1
g
2
)
1
=I
g
1
g
2
(x).
Proposicao 6.10. Se G e um grupo abeliano, entao, g G, temos:
I
g
(x) = g x g
1
= (g g
1
) x = e x = x
isto e, o unico automorsmo interno de G e a funcao identidade de G, I
G
,
tal que I(G) = I
G
.
22
7 Grupos Cclicos
Proposicao 7.1. Se g e um gerador do grupo cclico (G, ), entao, o inverso
g
1
de g tambem e um gerador de (G, ).
Alguns exemplos de grupos cclicos
(i) (Z, +), pois Z = m.1 [ m Z = 1) e 1 Z, ou de outra forma,
temos que Z = m.(1) [ m Z = 1) e 1 Z.
(ii) (G = 1, 1, i, i, .), com i
2
= 1 e com a operac ao usual de
multiplicacao, onde i G e um gerador, pois:
i
1
= i, i
2
= 1, i
3
= i, i
4
= 1.
(iii) (Z
5
, +), onde 2 Z
5
e um gerador, pois:
1.2 = 2, 2.2 = 4, 3.2 = 1, 4.2 = 3, 5.2 = 0.
Teorema 7.2. Todo grupo cclico e abeliano.
Proposicao 7.3. Tome um homomorsmo f : G G

, onde G e G

sao
grupos. Se a ordem de um elemento h G e nita, entao O(f(h)) divide
O(h), e consequentemente f(h)
O(h)
= e.
Demonstracao. Seja O(h) = m e O(f(h)) = n, logo:
h
m
= e
G
e (f(h))
n
= e
G

Mas:
e
G
= f(e
G
) = f(h
m
) = (f(h))
m
Portanto: (f(h))
n
= (f(h))
m
= e
G
, e pelo Corolario 3.16: n[m, isto e,
m = n.t para algum t N, entao:
f(h)
O(h)
= f(h)
m
= f(h)
n.t
= [(f(h))
n
]
t
= e
t
= e
Teorema 7.4. Todo subgrupo de um grupo cclico tambem e cclico.
23
Proposicao 7.5. Sendo (G, ) um grupo cclico nito de ordem n, para o
qual g e um gerador, entao g
m
sera um gerador desse grupo se e somente se
MDC(m, n) = 1.
Demonstracao. (=) Se g
m
e um gerador de G, como g G, temos que
r N tal que (g
m
)
r
= g = g
mr
= g = mr 1 mod n = mr =
1 + kn = 1 = mr kn. Seja d = MDC(m, n). Logo:
Como d[m = d[mr e como d[n = d[kn. Portanto, d[mr kn =
d[1 = d = 1.
(=) Se MDC(m, n) = 1, ent ao existem dois inteiros r e s tais que
mr + ns = 1 e, da, mr 1 mod n, portanto, g
mr
= g. Ent ao, dado x G,
temos que, x = g
i
= (g
mr
)
i
= (g
m
)
ri
, donde conclumos que g
m
e gerador de
G.
Proposicao 7.6. Seja G = g) = ..., g
1
, e, g, g
2
, ... um grupo cclico de
ordem innita. Entao:
(i) f : (Z, +) (G, ), dada por f(z) = g
z
, e um isomorsmo.
(ii) O elemento g
z
gera G se e somente se z = 1 ou z = 1.
Demonstracao. (i) z
1
e z
2
Z, tem-se que:
f(z
1
+ z
2
) = g
z
1
+z
2
= g
z
1
g
z
2
= f(z
1
) f(z
2
)
Portanto, f e um homomorsmo.
Alem disso a func ao f e obviamente uma bijecao e conseq uentemente
um isomorsmo.
(ii) Ja vimos em (i) que f : z g
z
e um isomorsmo. Logo, g
z
gera G
se, e somente se, z gera Z. Mas os unicos elementos que geram Z sao
z = 1 e z = 1
Proposicao 7.7. Sendo G = g) = e, g, g
2
, ..., g
n1
um grupo cclico de
ordem nita igual a n. Entao:
A funcao f : (Z
n
, ) (G, ), f(m) = g
m
, e um isomorsmo.
Demonstracao. Mostraremos primeiramente que f e um homomorsmo:
De fato: m, s Z
n
, temos que
f(m + s) = f(m + s) = g
m+s
= g
m
g
s
= f(m) f(s).
24
Tambem se verica que f e uma injetiva, pois
m = s m s mod n q Z [ m s = nq g
ms
= g
nq
=
e g
m
= g
s
Como o homomorsmo f e claramente sobrejetivo, conclumos que o
mesmo e um isomorsmo.
Corolario 7.8. Todo grupo cclico nito de ordem m e isomorfo ao grupo
aditivo (Z
m
, +) das classes residuais modulo m.
8 Homomorsmos e automorsmos de gru-
pos cclicos:
Proposicao 8.1. Sejam G e G

dois grupos, a G, b G

.
(i) Se O(a) < , entao existe um homomorsmo f : a) G

tal
que f(a) = b se e somente se O(b) divide O(a). Quando existir, o
homomorsmo f e unico e denido por f(a
r
) = b
r
, r N.
(ii) Se O(a) = (e O(b) qualquer), entao existe um unico homomorsmo
f : a) G

tal que f(a) = b. Tal homomorsmo f e dado por

f(a
r
) = b
r
, r Z.
Demonstracao. Ja sabemos que se O(a) < e O(b) nao dividir O(a), nao
existe homomorsmo f : a) G

tal que f(a) = b.

Se O(a) = ou se O(a) < e O(b) divide O(a), considere a func ao
f : a) G

, denida por f(a

r
) = b
r
. Ent ao, no caso onde O(a) < um
mesmo elemento a) pode ter duas representac oes = a
r
e = a
s
; mas
para que f seja uma func ao bem denida devemos vericar que o valor f()
independe desta representac ao, ou seja, devemos vericar que r e s sao dois
inteiros tais que a
r
= a
s
= b
r
= b
s
. Com efeito, sejam = a
r
e = a
s
duas representac oes de . Temos a
rs
= e, logo r s e m ultiplo de O(a); e
como por hipotese O(b) divide O(a), temos que r s e m ultiplo de O(b) e
consequentemente que b
rs
= e, o que implica em b
r
= b
s
. Portanto, f esta
bem denida nesse caso.
Se O(a) = , temos que,
a
r
= a
s
a
rs
= e r s = 0 r = s, isto e, todo elemento
a) tem uma unica representac ao. Logo, se O(a) = , f e realmente
uma func ao, independente da O(b).
25
9 Grupos Finitos Gerados por dois
Elementos a e b com ba = a
s
b
Introducao 9.1.
No captulo anterior denimos e classicamos com facilidade os grupos
cclicos, que sao os grupos gerados por um elemento. Tambem podemos
trabalhar com grupos gerados por dois elementos, porem estes grupos podem
ser bastante complexos. Estudaremos ent ao neste captulo, os grupos nitos
gerados por dois elementos a e b, ou seja, G = a, b) onde a e b satisfazem
uma relac ao do tipo ba = a
s
b. Posteriormente, veremos que os resultados
obtidos neste estudo serao de grande ajuda na classicac ao dos grupos de
ordem pequena, em particular, dos grupos de ordem 11.
Inicialmente, podemos perceber que o grupo (S
3
, ), das permutacoes de
grau 3, ja citado anteriormente e um exemplo de grupo com essa propriedade,
onde:
e =

1 2 3
1 2 3

, =

1 2 3
2 3 1

, =

1 2 3
2 1 3

1 2 3
1 3 2

, =

1 2 3
3 1 2

, =

1 2 3
3 2 1

De fato:
Temos que S
3
e um grupo e [S
3
[ = 6, tal que:

S
3
= , )

3
= e

2
= e
=
2

Pois:
3
=
2
e

2
=

1 2 3
2 3 1

1 2 3
2 3 1

1 2 3
3 1 2

=
Entao:

3
=

1 2 3
3 1 2

1 2 3
2 3 1

1 2 3
1 2 3

= e
26
Alem disso, temos que

2
=

1 2 3
2 1 3

1 2 3
2 1 3

1 2 3
1 2 3

= e,
=

1 2 3
2 1 3

1 2 3
2 3 1

1 2 3
1 3 2

= ,

2
=

1 2 3
3 1 2

1 2 3
2 1 3

1 2 3
1 3 2

= .
Posteriormente, mostraremos que se G e um grupo qualquer de ordem 6
que possui elementos A e B tais que:

G = A, B)
A
3
= e
B
2
= e
BA = A
2
B,
ent ao existe um isomorsmo entre S
3
e G. Assim, a menos de isomorsmo,
o grupo S
3
e caracterizado como sendo o grupo de ordem 6 gerado por dois
elementos e que satisfazem as relacoes

3
= e

2
= e
=
2

Mas, para isso, precisamos primeiramente determinar a natureza dos ho-

momorsmos denidos sobre um grupo gerado por dois elementos que satis-
fazem uma relacao do tipo ba = a
s
b:
Proposicao 9.2. A relacao ba = a
s
b e equivalente a I
b
(a) = a
s
.
Demonstracao. ba = a
s
b bab
1
= a
s
bb
1
bab
1
= a
s
e
bab
1
= a
s
I
b
(a) = a
s
.
27
Lema 9.3. Sejam G um grupo nito e G

um grupo arbitrario, com a, b G

satisfazendo ba = a
s
b e , G

. Tome s 1. Sejam n, m 1 inteiros tais

que
a
n
= e , b
m
a) (2)
Entao:
(a) b
t
a
r
= a
rs
t
b
t
r, t N, e
a, b) = a
i
b
j
[ 0 i n 1 e 0 j m1.
(b) Se os inteiros n, m sao escolhidos minimalmente satisfazendo (2), entao
o grupo a, b) tem ordem igual a nm.
(c) Se os inteiros n, m sao escolhidos minimalmente, e se u e um inteiro
tal que b
m
= a
u
, entao existe um homomorsmo f: a, b) G com
f(a) = e f(b) = se e somente se
=
s
,
n
= e,
m
=
u
.
Demonstracao. A princpio, como G e um grupo nito temos pela proposicao
2.7 que os inteiros n, m existem realmente.
(a) Devemos mostrar que b
t
a
r
= a
rs
t
b
t
, o que e equivalente a I
b
t (a
r
) =
a
rs
t
. Faremos entao uma inducao sobre t. Se t = 1, temos:
I
b
(a
r
) = (I
b
(a))
r
= (a
s
)
r
= a
rs
.
Se t 2 e supondo o resultado ja provado para t 1, temos:
I
b
t (a
r
) = I
b
I
t1
b
(a
r
)
Se vale para t 1 = I
t1
b
(a
r
) = a
rs
t1
Entao,
28
I
b
I
t1
b
(a
r
) = I
b
(I
t1
b
(a
r
)) = I
b
(a
rs
t1
) = (I
b
(a))
rs
t1
=
= (a
s
)
rs
t1
= a
rss
t1
= a
rs
t
.
Conclumos entao que todo elemento de a, b) pode ser escrito na
forma a
v
b
w
, com , w N. Mas, a condicao b
m
a) permite escrever
um elemento a
v
b
w
na forma a
v

b
j
com

N e 0 j m 1 e a
condicao a
n
= e permite escrever o elemento a
v

b
j
na forma a
i
b
j
com
0 i n 1 e 0 j m1. O que implica em:
G = a
i
b
j
[ 0 i n 1, 0 j m1
(b) Suponhamos agora que n e m sao de fato minimais e que satisfazem
(2). Para provar que a, b) tem ordem igual a nm, basta mostrar que
se 0 i, k n1, 0 j, m1 e a
i
b
j
= a
k
b
l
, i, j, k, l N, ent ao
i = k e j = l.
Suponhamos agora, sem perda de generalidade que l j. Multipli-
cando entao ambos os lados da igualdade a
i
b
j
= a
k
b
l
por a
i
`a esquerda
e por b
l
`a direita, temos:
a
i
a
i

e
b
j
b
l
= a
i
a
k
b
l
b
l

e
= b
jl
= a
ki
Mas pela minimalidade de m, podemos concluir que j l = 0, uma vez
que 0 j l j m1.
Entao, l = j e conseq uentemente, de b
jl
= a
ki
, tem-se:
a
ki
= e
E pela minimalidade de n, podemos concluir que k i = 0, uma vez
que 0 i k i n 1, ent ao k = i.
(c) (=) Suponha que exista um homomorsmo f : a, b) G

tal que
f(a) = e f(b) = . Como ba = a
s
b, temos
= f(b)f(a) = f(ba) = f(a
s
b) = (f(a
s
))f(b) = (f(a))
s
f(b) =
s
.
Temos, pela Proposic ao 7.3 que f(a)
O(a)
= e. Logo:
29
Se a
n
= e =
n
= f(a)
n
= e
E como b
m
a), temos que b
m
= a
u
, com u N, logo:
b
m
= a
u
=
m
=
u
(=) Consideremos agora que =
s
,
n
= e,
m
=
u
. Obvia-
mente podemos aplicar a parte (a) ao grupo G

e a , , obtendo que

t

r
=
rs
t

t
, r, t N. Basta entao, vericarmos que a func ao
f : a, b) G

denida por f(a

i
b
j
) =
i

j
, para 0 i n 1 e
0 j m 1, e um homomorsmo. Ora, f esta bem denida, uma
vez que n e m foram escolhas minimais. Escreva j + l = pm + com
0 m 1 e i + ks
j
+ pu = qn + w com 0 w n 1 para
i, j, k, l N. Aplicando a funcao f em a
i
b
j
a
k
b
k
, temos:
f(a
i
b
j
a
k
b
l
) = f(a
i
b
j
a
k
b
l
) = f(a
i
a
ks
j
b
j
b
l
) = f(a
i+ks
j
b
j+l
)
= f((a
i+ks
j
b
pm+v
) = f((a
i+ks
j
b
pm
b
v
) = f((a
i+ks
j
a
pu
b
v
)
= f(a
w
b
v
) =
w

v
=
i+ks
j

pu

v
=
i+ks
j

pm

v
=
i+ks
j

j+l
=
i

ks
j

l
=
i

j

k

l
= f(a
i
b
j
) f(a
k
b
l
).
30
Teorema 9.4. Sejam n, m, s, n umeros inteiros positivos.
(a) Existe um grupo G de ordem nm que possui elementos a, b tais que
(3)

G = a, b)
a
n
= e
b
m
= a
u
ba = a
s
b
se e somente se, s
m
1 mod n e u(s 1) 0 mod n.
(b) Quando existir um grupo de ordem nm satisfazendo as condicoes (3) ,
ele e unico a menos de isomorsmo.
Demonstracao. (a) (=) Pela parte (a) do Lema 9.3, temos b
m
a = a
s
m
b
m
.
Como b
m
a), temos que b
m
comuta com a, o que implica em ab
m
=
a
s
m
b
m
; multiplicando entao ambos os lados por a
1
`a esquerda e por
b
m
`a direita, obtemos:
a
1
ab
m
b
m
= a
1
a
s
m
b
m
b
m
= eb
mm
= a
s
m
1
b
mm
= e = a
s
m
1
.
Portanto, s
m
1 e um m ultiplo da ordem de a (pelo Corolario 3.16).
Logo, s
m
1 mod n.
Tambem pela parte (a) do Lema 9.3, temos que ba
u
= a
us
b. Como
a
u
b), temos que a
u
comuta com b, o que implica em a
u
b = a
us
b;
multiplicando ent ao ambos os lados por a
u
`a esquerda e por b
1
`a
direita, obtemos:
a
u
a
u
bb
1
= a
u
a
us
bb
1
= ebb
1
= a
usu
e = e = a
u(s1)
.
Portanto, u(s 1) e um m ultiplo da ordem de a (pelo Corolario 3.16).
Logo, u(s 1) 0 mod n.
(=) Para efetuarmos a demonstrac ao da volta, precisamos ter co-
nhecimentos previos de produto semidireto de dois grupos, e por esse
motivo vamos omit-la.
31
(b) Sejam G

um grupo de ordem nm que possui dois elementos , tais

que

G = , )

n
=
u

m
= e
=
s

Como [G[ = [G

[ = nm entao a aplicac ao f : G G

denida por
f(a
i
b
j
) =
i

j
, para 0 i n 1 e 0 j m1 e uma bijec ao. E
pela parte (c) do Lema 9.3, podemos concluir que f e um isomorsmo.
Observacao 9.5. Se n, m, s n umeros inteiros positivos e u = 0, o Lema 9.3
se resume a:
(a) Existira um grupo G de ordem nm que possui elementos a, b tais que
(3)

G = a, b)
a
n
= e
b
m
= e
ba = a
s
b
se e somente se, s
m
1 mod n.
(b) Quando existir um grupo de ordem nm satisfazendo as condicoes (3),
ele e unico a menos de isomorsmo.
10 Determinacao dos grupos de ordem 11:
Como foi comentado em 8.1 veremos agora que, aplicando os resultados
obtidos ate aqui, podemos classicar e entender melhor, todos os grupos de
ordem 11, nalizando assim este trabalho. Tambem vale ressaltar, que nao
utilizaremos a parte nao demonstrada do Teorema 9.4.
Grupo de ordem 1:
Todo grupo G, com [G[ = 1 e tal que G 0.
Grupos de ordem prima p, com p = 2, 3, 5, 7 ou 11:
Sendo [G[ = p com p primo, temos pelo Corolario 3.12, que G e cclico
com p elementos e portanto pelo Corolario 7.8 temos que G Z
p
.
32
Grupos de ordem 4:
Tomemos os grupos de ordem 4 a seguir:
Z
4
= 0, 1, 2, 3 e Z
2
Z
2
= (0, 0), (0, 1), (1, 0), (1, 1)
Os dois grupos sitados acima nao sao isomorfos pois Z
4
possui elementos
de ordem 4 e Z
2
Z
2
nao. Mostraremos agora que, estes dois grupos sao os
unicos grupos de ordem 4, a menos de isomorsmos. Seja G um grupo de
ordem 4. Se G possui um elemento de ordem 4, pelo Corolario 7.8, temos
que G Z
4
. Mas se G nao possui elemento de ordem 4, pelo Teorema
de Lagrange, todos os seus elementos diferentes do elemento neutro sao de
ordem 2, uma vez que a ordem dos elementos deve dividir a ordem do grupo.
Logo G e um grupo abeliano, de acordo com o Lema 3.17.
Como [G[ = 4, vamos escrever G = e, a, b, c, com O(a) = O(b) =
O(c) = 2 e com todos os elementos obviamente distintos. Procuramos ent ao
na sua tabela de multiplicac ao, o resultado das possveis multiplicac oes de
seus elementos.
Ora:
ab ,= e, pois caso contr ario, a = b
1
, o que e um absurdo, ja que O(b) = 2
implica em b
1
= b;
ab ,= a, pois ab = a b = e, absurdo;
ab ,= b, pois ab = b a = e, absurdo.
Portanto, ab = c e como o grupo e abeliano ba = c.
Tambem temos que:
ac ,= e, pois caso contr ario, a = c
1
, o que e um absurdo, ja que O(c) = 2
implica em c
1
= c;
ac ,= a , pois ac = a c = e, absurdo;
ac ,= c, pois ac = c a = e, absurdo.
Portanto, ac = b e como o grupo e abeliano ca = b.
E da mesma forma, temos:
bc = a = cb.
33
Tome agora a func ao:
: Z
2
Z
2
G
(0, 0) e
(1, 0) a
(0, 1) b
(1, 1) c
Como todos os elementos de Z
2
Z
2
e de G sao distintos entre si, temos
que a funcao e claramente uma bijec ao.
E alem disso:
[(0, 0) + (1, 0)] = (1, 0) = a = e a = (0, 0) (1, 0)
[(0, 0) + (0, 1)] = (0, 1) = b = e b = (0, 0) (0, 1)
[(0, 0) + (1, 1)] = (1, 1) = c = e c = (0, 0) (1, 1)
[(1, 0) + (0, 1)] = (1, 1) = c = a b = (1, 0) (0, 1)
[(1, 0) + (1, 1)] = (0, 1) = b = a c = (1, 0) (1, 1)
[(1, 0) + (1, 0)] = (0, 0) = e = a a = (1, 0) (1, 0)
[(0, 1) + (0, 1)] = (0, 0) = e = b b = (0, 1) (0, 1)
[(0, 1) + (1, 0)] = (1, 1) = c = b a = (0, 1) (1, 0)
[(0, 1) + (1, 1)] = (1, 0) = a = b c = (0, 1) (1, 1)
[(1, 1) + (1, 1)] = (0, 0) = e = c c = (1, 1) (1, 1)
E como (Z
2
Z
2
, +) e um grupo abeliano temos que:
[(a, b) + (c, d)] = [(c, d) + (a, b)], (a, b), (c, d) Z
2
Z
2
Logo, a func ao e um homomorsmo e portanto um isomorsmo.
Assim, a menos de isomorsmos, Z
4
e Z
2
Z
2
sao os unicos grupos de
ordem 4.
34
Grupos de ordem 6:
Ja vimos que Z
6
= 0, 1, 2, 3, 4, 5 e S
3
sao grupos de ordem 6.
Obviamente eles nao sao isomorfos pois Z
6
e abeliano e S
3
nao. Mostraremos
agora que, estes dois grupos sao os unicos grupos de ordem 6, a menos de
isomorsmos. Seja G um grupo arbitrario de ordem 6.
Entao, pelo Teorema 3.19, G possui um elemento , com O() = 3 e um
elemento , com O() = 2, logo, ,
2
G, G e os novos elementos
e
2
tambem pertencem a G, e como [G[ = 6 conclumos que G =
e, ,
2
, , ,
2
, portanto:

[G[ = 6
G = , )

3
= e

2
= e
Agora, note que [)[ = 3, ent ao (G : )) = 2 logo ) G e assim,

1
= ) = = ou =
2
= = ou =
2
.
Ent ao, existem duas possibilidades:
(i)

[G[ = 6 = 3 2
G = , )

3
= e

2
= e
=
(ii)

[G[ = 6 = 3 2
G = , )

3
= e

2
= e
=
2

Logo, pela parte (b) do Teorema 9.4, em cada um dos casos, temos no
maximo um grupo, a menos de isomorsmos, satisfazendo as condic oes indi-
cadas. A priori, podemos nos perguntar se tais grupos existem de fato? Com
a explicac ao que daremos a seguir, ca facil perceber que a resposta e sim.
Basta tomar G = Z
6
no caso (i) e G = S
3
no caso (ii).
Observe que Z
2
Z
3
tambem satisfaz as condic oes do caso (i) e pela
unicidade, temos que Z
2
Z
3
Z
6
.
Este fato pode ser vericado diretamente observando que o elemento
(1, 1) Z
2
Z
3
tem ordem 6.
35
Grupos de ordem 8:
Tomemos os grupos de ordem 8 a seguir:
Z
8
, Z
4
Z
2
, Z
2
Z
2
Z
2
e D
4
Onde D
4
e o grupo denido na pagina 6. Esses grupos, nao sao isomorfos
entre si, pois:
Z
8
possui quatro elementos de ordem 8 (a saber: 1, 3, 5, 7), enquanto
Z
4
Z
2
, Z
2
Z
2
Z
2
e D
4
nao possuem tais elementos, o que possibilita
armar que Z
8
nao e isomorfo a nenhum dos grupos citados.
Z
4
Z
2
possui quatro elementos de ordem 4 (a saber: (1, 0); (1, 1); (3, 0) e (3, 1)),
enquanto Z
2
Z
2
Z
2
so possui elementos de ordem 2 e D
4
so possui dois
elementos de ordem 4, o que possibilita armar que Z
4
Z
2
nao e isomorfo
a nenhum dos grupos citados.
Z
2
Z
2
Z
2
possui 8 elementos de ordem 2 e D
4
so possui somente 5
desses elementos, logo esses dois grupos nao isomorfos.
Mostraremos agora que, o grupo dos quaternios, que e denotado por Q
3
e os grupos citados acima sao os unicos grupos de ordem 8, a menos de
isomorsmos. Q
3
e dado por:
Q
3
=

1 0
0 1

i 0
0 i

0 1
1 0

0 i
i 0

com i C tal que i

2
= 1 e:
A =

1 0
0 1

, B =

1 0
0 1

= e, C =

i 0
0 i

, D =

i 0
0 i

E =

0 1
1 0

, F =

0 1
1 0

, G =

0 i
i 0

, H =

0 i
i 0

Observe que [Q
3
[ = 8, pois todos os elementos sao distintos e que:
C
2
=

i 0
0 i

i 0
0 i

1 0
0 1

= A
C
3
=

1 0
0 1

i 0
0 i

i 0
0 i

= D
36
C
4
=

1 0
0 1

1 0
0 1

1 0
0 1

= e
E
2
=

0 1
1 0

0 1
1 0

1 0
0 1

= A
E
3
=

1 0
0 1

0 1
1 0

0 1
1 0

= F
E
4
=

0 1
1 0

0 1
1 0

1 0
0 1

= e
CE =

i 0
0 i

0 1
1 0

0 i
i 0

= G
EC =

0 1
1 0

i 0
0 i

0 i
i 0

= H
C
3
E =

i 0
0 i

0 1
1 0

0 i
i 0

= H
Logo:

[Q
3
[ = 8
Q
3
= A, B)
C
4
= e
E
2
= C
2
EC = C
3
E
Pela parte (b) do Teorema 9.4, sabemos que Q
3
e caracterizado pelas
relac oes acima. Q
3
nao e isomorfo aos grupos Z
8
, Z
4
Z
2
, Z
2
Z
2
Z
2
. Para
vericar que D
4
e Q
3
nao sao isomorfos, basta (de acordo com a Proposic ao
6.6) vericar que D
4
possui exatamente 5 elementos de ordem 2 enquanto
que Q
3
possui somente 1 elemento de ordem 2. De fato, em D
4
temos que:
a
2
2
= a
2
4
= a
2
5
= a
2
6
= a
2
7
= a
0
= e
Este fato se verica, com raciocnio analogo ao feito abaixo para a
2
:
(a
2
)
2
=

1 2 3 4
3 4 1 2

1 2 3 4
3 4 1 2

1 2 3 4
1 2 3 4

= e
37
Ja em Q
3
temos que:
A
2
=

1 0
0 1

1 0
0 1

1 0
0 1

= B = e
e e o unico elemento de Q
3
onde a potencia 2 e a menor com essa propriedade.
Seja agora um grupo arbitrario G tal que [G[ = 8. Temos pelo Teorema
de Lagrange, que as possveis ordens dos elementos de Ge sao 2, 4 e 8.
Caso 1: G possui um elemento de ordem 8:
Seja entao G tal que O() = 8; logo G = ) e G Z
8
.
Caso 2: G nao possui nenhum elemento de ordem 8:
Entao, as possveis ordens dos elementos ,= e sao 2 e 4.
Dividindo o Caso 2 em dois subcasos, temos:
Caso 2.1: G nao possui nenhum elemento de ordem 4:
Entao, todos os elementos de G ,= e sao de ordem 2 e, consequentemente,
G e um grupo abeliano. Seja a ,= e; como O(a) = 2, temos que K = a) =
e, a e um subgrupo de G. Tome agora b G K; ent ao R = e, a, b, ab e
um subgrupo de G. Tomando c G R; temos:
G = e, a, b, ab, c, ac, bc, abc = a
i
b
j
c
w
[ i, j, w G0, 1.
Logo, a func ao abaixo e um isomorsmo, de grupos.
: Z
2
Z
2
Z
2
G
(i, j, w) a
i
b
j
c
w
.
Caso 2.2: G possui um elemento de ordem 4:
Seja a G tal que O(a) = 4 e seja K = a). Tome b G K e considere
o subgrupo R de G gerado por a e b, isto e, R = a, b). Como b / K,
temos [R[ > 4 e, pelo Teorema de Lagrange, [R[ divide 8; portanto R = G =
a, b) = e, a, a
2
, a
3
, b, ab, a
2
b, a
3
b.
Temos que b
2
/ K pois, obviamente, b
2
/ b, ab, a
2
b, a
3
b. Temos tambem
que ba / e, a, a
2
, a
3
, b.
Desta forma, provamos que:

[G[ = 8
G = a, b)
a
4
= e
b
2
= a
u
(para algum u 0, 1, 2, 3)
ba = a
s
b (para algum s 1, 2, 3)
38
Vejamos agora quais as possibilidades para u, s 0, 1, 2, 3. Primeira-
mente, O(bab
1
) = O(a) = 4, portanto s = 1 ou s = 3. Mas, b
2
/ a, a
3
,
pois caso contr ario a O(b
2
) = 4, o que implicaria que O(b) seria um m ultiplo
de 4 e conseq uentemente O(b) = 8 (absurdo, pois por hipotese, G nao possui
elementos de ordem 8) ou que O(b) = 4 (absurdo, pois teramos nesse caso
O(b
2
) = 2). Portanto, u = 0 ou u = 2 e como ja foi visto, s = 1 ou s = 3.
Considerando u = 0, temos dois casos correspondentes a s = 1 e s = 3:
(iii)

[G[ = 8
G = a, b)
a
4
= e
b
2
= e
ba = ab
(iv)

[G[ = 8
G = a, b)
a
4
= e
b
2
= e
ba = a
3
b
Logo, pela parte (b) do Teorema 9.4, em cada um dos casos, temos no
maximo um grupo, a menos de isomorsmos, satisfazendo as condic oes indi-
cadas.

E claro que tais grupos existem, basta tomar G = Z
4
Z
2
no caso
(iii) e G = D
4
no caso (iv).
Considerando u = 2, temos dois casos correspondentes a s = 1 e s = 3:
(v)

[G[ = 8
G = a, b)
a
4
= e
b
2
= a
2
ba = ab
(vi)

[G[ = 8
G = a, b)
a
4
= e
b
2
= a
2
ba = a
3
b
Entao, pela parte (b) do Teorema 9.4, em cada um dos casos, temos
no maximo um grupo, a menos de isomorsmos, satisfazendo as condic oes
indicadas. Tambem facil vericar que tais grupos de fato existem, basta
tomar G = Z
4
Z
2
no caso (v) e G = Q
3
no caso (vi). Portanto:
Z
8
, Z
4
Z
2
, Z
2
Z
2
Z
2
, D
4
e Q
3
sao os unicos cinco grupos de ordem 8, a menos de isomorsmos.
39
Grupos de ordem 9:
Tomemos os grupos de ordem 9 a seguir:
Z
9
e Z
3
Z
3
Eles nao sao isomorfos, pois (de acordo com a Proposicao 6.6) Z
9
possui el-
ementos de ordem 9 enquanto Z
3
Z
3
nao possui tais elementos. Mostraremos
agora que, estes dois grupos sao os unicos grupos de ordem 9, a menos de
isomorsmos.
Seja G um grupo de ordem 9, nao cclico. Pelo Teorema de Lagrange,
todos seus elementos ,= e tem ordem igual a 3. Sejam entao e ,= G e
G). Ent ao, ) = ,
2
,
3
= e G, ) = ,
2
,
3
= e G e

i
,=
j
i, j 1, 2. Portanto, por razoes elementares, temos que
G = e, ,
2
, , ,
2
,
2
,
2
,
2

e consequentemente que

[G[ = 9
G = , )

3
= e

3
= e
Podemos entao nos perguntar: Quem e o produto ?
Ora, obviamente / e, ,
2
, ,
2
. Falta ent ao analisar os casos
onde = , =
2
, =
2
, =
2

2
, observando sempre
que pela parte (b) do Teorema 9.4 temos no maximo um grupo a menos de
isomorsmo em cada caso. Sera que tais grupos existem de fato?
(a) Se = , existe, basta tomar G = Z
3
Z
3
.
(b) Se =
2
, nao existe tal grupo, basta observar a parte (a) do
Teorema 9.4, uma vez que 2
3
= 8 / 1 mod 3.
(c) Se =
2
, nao existe tal grupo, pois caso contr ario, tomando A =
2
e B = ,teramos G = A, B), com A
3
= e, B
3
= e, BA =
2
= =
A
2
B o que e um absurdo pela parte (a) do Teorema 9.4, uma vez que
2
3
= 8 / 1 mod 3.
(d) Se =
2

2
, nao existe tal grupo, pois caso contrario teramos que
()
2
= = () = (
2

2
) = e,
40
o que e um absurdo pois sabemos que O() = 3.
Portanto, a menos de isomorsmos Z
9
e Z
3
Z
3
sao os unicos grupos
de ordem 9.
Grupos de ordem 10
Tome G um grupo arbitrario tal que [G[ = 10.
Temos pelo Teorema 3.19, que G possui um elemento tal que O() = 5
e um elemento tal que O() = 2.
Fica entao claro que
G = , ) = e, ,
2
,
3
,
4
, , ,
2
,
3
,
4

Podemos entao nos perguntar: Quem e o produto ?

Ora, por razoes elementares, temos que / e, ,
2
,
3
,
4
, . Por-
tanto, pelo Teorema 9.4, ,=
2
ja que 2
2
= 4 / 1 mod 5 e ,=
3

pois 3
2
= 9 / 1 mod 5. Desta forma, temos duas possibilidades:
(i)

[G[ = 10 = 5 2
G = , )

5
= e

2
= e
=
(ii)

[G[ = 10 = 5 2
G = , )

5
= e

2
= e
=
4

Logo, pela parte (b) do Teorema 9.4, em cada um dos casos, temos no
maximo um grupo, a menos de isomorsmos, que satisfaz as condic oes in-
dicadas. E tais grupos existem de fato, basta tomar G = Z
10
no caso (i) e
G := D
5
no caso (ii).

E facil vericar que o grupo Z
2
Z
5
tambem satisfaz
as condicoes do caso (i) e que portanto pela unicidade estabelecida na parte
(b) do Teorema 9.4 temos que Z
2
Z
5
Z
10
.
Desta forma, conclumos que os grupos
Z
10
e D
5
sao os unicos dois grupos de ordem 10, a menos de isomorsmos.
41
11 Referencias
[1] Goncalves, Adilson: Introducao `a

Algebra, Projeto Eu-
clides, IMPA, 2006
[2] Garcia, Arnaldo & Lequain, Yves:Elementos de

Algebra,
IMPA, 2003
[3] Domingues, Hygino H. & Iezzi, Gelson:

Algebra Mo-
derna, Atual, 1982
[4] Simis, Aron: Introduc ao `a

Algebra, IMPA, 1976
[5] Coutinho, S.C: N umeros Inteiros e Criptograa RSA, Com-
putacao Matematica, IMPA, 2003
42