0.1.

GRUPOS CCLICOS 1
0.1 Grupos Cclicos
Viu-se anteriormente que cada subconjunto no vazio de um grupo G gera um determinado
subgrupo de G. Qualquer grupo pode ser denido pela indicao de um sistema de geradores,
j que se tem sempre G =< G .
Nesta seco estudam-se os grupos que so gerados apenas por um elemento.
Seja ento G um grupo e a G. Um subgrupo de G que contm a. dever conter a
2
.
Ento, tambm conter a
2
a que denotado por a
3
. Em geral, dever conter a
n
com : inteiro
positivo (viu-se que em notao aditiva se tem :a. : N). O conjunto das potncias de
expoente inteiro positivo de a fechado para a multiplicao. No entanto, possvel que
o inverso de a no esteja neste conjunto. Mas claramente, se um subgrupo de G contm a
ento tambm conter a
1
e portanto a
1
a
1
. que se denota por a
2
e, em geral, dever
conter a
m
. para : Z
+
. Mas, tambm contm a identidade a
0
= c = aa
1
.
Resumindo, um subgrupo de G que contm a. dever conter todos os elementos da forma
a
n
(ou :a.se se usar a notao aditiva), para qualquer : Z. Ou seja, um subgrupo que
contm a dever conter
a
n
. : Z.
Observe-se que estas potncias de a no necessitam de ser distintas.
fcil vericar-se que a
m
a
n
= a
m+n
. para :. : Z.
Teorema 0.1 Seja G um grupo e a G. Ento H = a
n
: : Z um subgrupo de G e
o menor subgrupo de G que contm a. ou seja, todo o subgrupo que contm a contm H.
Demonstrao. De facto, c = a
0
H e portanto H = ?. Como a
r
a
s
= a
r+s
. para
r. : Z. tem-se que o produto de dois elementos de H ainda est em H. Assim H fechado
para a operao que confere a G a estrutura de grupo.
Por outro lado, para a
r
H. a
r
H. pois r Z. Assim, usando o Teorema ??, tem-se
que H _ G. Usando a argumentao feita antes do enunciado do teorema mostra-se que
qualquer subgrupo de G que contm a dever conter H. e portanto H o menor subgrupo
de G que contm a.
Denio 0.2 (Subgrupo cclico) O grupo H = a
n
: : Z do Teorema 0.1 o subgrupo
cclico de G gerado por a e ser denotado por < a .
Note-se que, se G for aditivo, < a = :a : : Z.
2
Denio 0.3 (Gerador; grupo cclico) Um elemento a dum grupo G gera G e chamado
gerador de G se G =< a . Um grupo cclico se gerado apenas por um elemento.
No dicil vericar que todo o grupo cclico comutativo.
Exemplo 0.4 Considere-se o grupo Z.Este grupo cclico e gerado pelo elemento 1 ou
pelo elemento 1.
Exemplo 0.5 Seja Z
4
= 0. 1. 3. 4. Ento Z
4
cclico e 1 e 3 so geradores de Z
4
. ou seja
< 1 =< 3 = Z
4
.
Exemplo 0.6 O grupo 1. i. 1. i cclico, pode-se tomar como gerador i ou i.
Exemplo 0.7 Considere-se o grupo (Z. +). Vamos determinar < 3 . Neste grupo a no-
tao aditiva e < 3 dever conter
3. 3 + 3 = 6. 3 + 3 + 3 = 9. e assim sucessivamente...
0. 3. 3 + (3) = 6. 3 + (3) + (3) = 9. e assim sucessivamente...
Por outras palavras, o subgrupo cclico gerado por 3 constitudo por todos os mltiplos de
3. positivos, negativos e nulos. Assim, < 3 = 3Z. De forma semelhante mostra-se que :Z
o subgrupo cclico < : de Z. Note-se que 6Z _3Z.
Denio 0.8 Sejam G um grupo e a G. Diz-se que a tem ordem nita em G se existirem
inteiros positivos e distintos r. : tais que a
r
= a
s
.
Neste caso usa-se a notao O(a) < .
Denio 0.9 Sejam G um grupo e a G. Diz-se que a tem ordem innita em G se os
elementos a
0
. a. a
2
. . . . so todos distintos.
Neste caso usa-se a notao O(a) = .
Proposio 0.10 Seja um grupo cclico G =< a nito. Ento a tem ordem nita.
Demonstrao. Suponha-se que < a nito e consider-se a aplicao 1 : N < a
denida por 1(:) = a
n
. \: N. Se 1 fosse injectiva, N 1(N). com 1(N) _<a ; como N
ininito < a tambm o seria. Logo 1 no injectiva, e existem inteiros positivos distintos
r. : tais que a
r
= a
s
.
0.1. GRUPOS CCLICOS 3
Proposio 0.11 Seja um grupo cclico G =< a nito. Ento G = c. a. . . . . a
1
onde
igual ao menor dos naturais : tais que a
n
= c.
Demonstrao. Seja um grupo cclico G =< a nito. Pela proposio anterior
existem inteiros positivos distintos r. : tais que a
r
= a
s
. Ter-se- r < : ou r :. Sem
perda de generalidade admita-se que r < :. Tem-se : r 0. De a
r
= a
s
. conclui-se que
a
sr
= c. Logo existe um natural : tal que a
n
= c e = : N : a
n
= c = ?. Por N
ser parcialmente ordenado, o conjunto tem primeiro elemento . e tem-se a

= c. Prove-se
que < a = c. a. . . . . a
1
. evidente que c. a. . . . . a
1
_< a . Tome-se a
l
< a .
Note-se que | _ . Tem-se ento, | = c + r. onde r 0. . . . . 1 e c N. Tem-se ento
a
l
= a
q+r
= (a

)
q
a
r
= ca
r
= a
r
c. a. . . . . a
1
. Logo < a _ c. a. . . . . a
1
. Assim,
G = c. a. . . . . a
1
.
Denio 0.12 Chama-se ordem dum elemento a G ao menor inteiro positivo : tal que
a
n
= c.
Usa-se a notao O(a).
Da proposio anterior tem-se que se < a nito. O(G) = O(a).
Se G um grupo innito e a G tem ordem innita ento o grupo cclico gerado por
a. < a tem ordem innita.
0.1.1 Propriedades da Ordem de um Elemento
1. O(c) = 1
Demonstrao. Trivial.
2. O(a) = O(a
1
)
Demonstrao. Suponha-se que O(a) = :. Ento, a
n
= c e a
j
= c. , 1. . . . . : 1.
Demonstre-se que (a
1
)
n
= c e (a
1
)
j
= c para todo , 1. . . . . :1. Claramente (a
1
)
n
=
(a
n
)
1
= c. Suponha-se que existe , 1. . . . . : 1 tal que (a
1
)
j
= c. Ento existe
, 1. . . . . :1 tal que (a
j
)
1
= c. Assim, pela unicidade do inverso, existe , 1. . . . . :1
tal que a
j
= c o que absurdo.
3. Se a = c/c
1
ento O(a) = O(/).
4
Demonstrao. Suponha-se que O(a) = : e prove-se que O(/) = :.Tem-se
a
n
= (c/c
1
)
n
= (c/c
1
) (c/c
1
) = c/
n
c
1
.
Assim, de
c/
n
c
1
= a
n
= c.
vem
/
n
= c.
Suponha-se agora que existe , 1. . . . . : 1 tal que /
j
= c. De a = c/c
1
resulta
/ = c
1
ac donde
/
j
= c
1
a
j
c = c.
Assim, existe , 1. . . . . : 1 tal que a
j
= c o que absurdo porque o(a) = :.
4. O(a
m
) _ O(a). \: Z.
Demonstrao. Suponha-se que O(a) = : e que O(a
m
) = /. Ora, por denio de
ordem de um elemento, / o menor inteiro positivo tal que (a
m
)
k
= c. Mas (a
m
)
n
= c. ento
: _ /.
5. Seja O(a) = :. Se mdc(:. :) = 1 ento O(a
m
) = O(a) = :.
Demonstrao. Por 4. tem-se que O(a
m
) _ :. Prove-se que O(a) = : _ O(a
m
). Como
mdc(:. :) = 1. pelo teorema de Bezout, existem inteiros c. tais que
1 = c: + :.
Ento,
a = a
m+n
= (a
m
)

(a
n
)

= (a
m
)

.
De a = (a
m
)

podemos concluir que O(a) _ O(a

m
).
Proposio 0.13 Se O(a) = : e se : Z. ento a
m
= c se e s se : = /:. / Z ou seja
: mltiplo de :.
Demonstrao. Condio Necessria. Suponha-se que O(a) = : e a
m
= c. com : Z.
Prove-se que : mltiplo de :.
Suponha-se que : Z
+
. Ento : _ :. por denio de ordem de um elemento.
0.1. GRUPOS CCLICOS 5
Tem-se
: = :c + r. r 0. 1. . . . . : 1. c. r Z
+
.
Ento
c = a
m
= a
nq+r
= a
nq
a
r
= (a
n
)
q
a
r
= a
r
.
Assim, r = 0 pois r 0. 1. . . . . : 1 e O(a) = :.
Se : Z

. tem-se : = t. t Z
+
. De a
t
= c, resulta, pela unicidade do inverso que
a
t
= c e portanto t = :c. c Z
+
. donde t = :(c) = :c
0
. c
0
Z

.
Condio Suciente. Suponha-se que : = :/. / Z.Ento a
m
= a
nk
= (a
n
)
k
= c. como
se pretendia.
Teorema 0.14 Todo o subgrupo dum grupo cclico cclico.
Demonstrao. Seja H um subgrupo do grupo cclico G =< a . Se H = c. ento
H =< c cclico. Suponha-se que H = c. ento H =< c cclico.
Se H = c. seja a
m
um elemento de H. de expoente positivo mnimo (justique a sua
existncia). Ento dado arbitrariamente a
n
H e considerando
: = :c + r. com 0 _ r < :.
tem-se
a
r
= a
nmq
= a
n
.(a
m
)
q
H.
pelo que r = 0. Donde a
n
= a
mq
= (a
m
)
q
.Assim, H =< a
m
.
Resulta deste teorema que se H = c um subgrupo de G =< a . ento H =< a
m
.
onde : o menor inteiro positivo tal a
m
H. Por outro lado, se H = c um subgrupo
de um grupo cclico G. H nito ou innito conforme G nito ou innito.
Exemplo 0.15 Seja G =< a um grupo cclico de ordem 6.Tem-se H =< a
4
= c. a
2
. a
4
=<
a
2
. onde O(H) = 3.
Teorema 0.16 Seja G um grupo cclico nito e H um seu subgrupo. Ento [G : H] nito.
Demonstrao. No teorema anterior provou-se que H =< a
m
onde a
m
um elemento
de H. de expoente positivo mnimo. Prove-se ento que G = H Ha Ha
m1
. uma
decomposio de G em classes laterais e portanto [G : H] = :. Prove-se ento Ha
i
Ha
j
= ?
para i = , e i. , 0. . . . . : 1 e G = H ' Ha ' ' Ha
m1
. Suponha-se ento que
6
existe r Ha
i
Ha
j
. para alguns i. , 0. . . . . : 1 e i = ,. Suponha-se, sem perda de
generalidade que i ,. Ento,
r = (a
m
)
q
a
i
= (a
m
)
t
a
j
com c. t Z. Assim,
a
ij
= (a
m
)
tq
e, portanto a
ij
H o que contraria o facto de : ser o menor inteiro positivo tal que
a
m
H. Assim, Ha
i
Ha
j
= ? para i = , e i. , 0. . . . . : 1. Prove-se agora que
G = Ha
0
' Ha ' ' Ha
m1
. Seja a
t
. t Z um elemento de G. Considere-se os seguintes
subcasos:
1. t 0 e 1 _ t _ :1. Claramente a
t
Ha
0
' Ha ' ' Ha
m1
.
2. t _ :. Seja t = :c + r. 0 _ r _ :1. Ento a
t
= (a
m
)
q
a
r
Ha
r
_ H ' Ha ' '
Ha
m1
.
3. t < 0. Ento t 0. Assim, a
t
= (a
m
)
q
a
r
com 0 _ r _ : 1. Donde a
t
=
(a
m
)
q1
a
mr
Ha
mr
. com : r 1. . . . . :. Como Ha
m
= H ento Ha
mr
_ H '
Ha ' ' Ha
m1
.
Claramente H ' Ha ' ' Ha
m1
_ G.
Das duas incluses provou-se a igualdade.
Teorema 0.17 Se G um grupo cclico innito e : 7
+
. ento existe um nico subgrupo
H tal que [G : H] = :.
Demonstrao. A existncia est garantida pelos dois resultados anteriores. Prove-se
a unicidade. Seja 1 um subgrupo de G tal que [G : 1] = :. Como 1 um subgrupo de G.
pelo Teorema 0.14, H cclico e gerado por a
t
, onde t o menor inteiro positivo tal que
a
t
1. Pelo Teorema 0.16, [G : 1] = t. pelo que t = : e por conseguinte H = 1.
Apresentam-se de seguida alguns teoremas que caracterizam os subgrupos dos grupos
cclicos nitos.
0.1.2 Caracterizao dos Subgrupos dos Grupos Cclicos Finitos
Teorema 0.18 Seja G um grupo cclico nito de ordem :. Ento todo o seu subgrupo H =
c cclico e [G : H] divisor de :.
Demonstrao. Pelo Teorema 0.14, H cclico. Pelo Teorema de Lagrange, [G : H]
divisor de :.
0.1. GRUPOS CCLICOS 7
Teorema 0.19 Seja G um grupo cclico nito de ordem :. Ento G contm um nico sub-
grupo de cada ordem que divide :.
Demonstrao. Seja G =< a . a = c. Seja d 0 um qualquer divisor de :. Tem-se
: = /d. / Z
+
. Prove-se que existe um subgrupo de G de ordem d e de seguida, prove-se
que esse subgrupo nico. Veja-se que H = c. a
k
. a
2k
. . . . . a
(d1)k
um subgrupo de G.
Claramente H um subconjunto no vazio de G. Como G nito, para provar que H um
subgrupo de G basta provar que para quaisquer elementos a
ik
. a
jk
. i. , 0. . . . . d 1,
a
ik
a
jk
= a
(i+j)k
H.
De facto,
1. se i + , _ d 1. ento a
(i+j)k
H. por denio.
2. se i + , _ d ento dividindo i + , por d tem-se
i + , = cd + r. 0 _ r < d.
Consequentemente a
(i+j)k
= a
(qd+r)k
= a
qdk
a
rk
= (a
dk
)
q
a
rk
= (a
n
)
q
a
rk
= a
rk
. r 0. . . . . d
1. Assim, a
(i+j)k
H.
Viu-se ento que H um subgrupo de G de ordem d. Mais, pelo Teorema de Lagrange,
a ordem do subgrupo H divide a ordem do grupo.
Reata provar a unicidade. Admita-se que H
0
um subgrupo de G de ordem d. Como G
cclico, ento H
0
cclico e gerado por
a
m
um elemento de H. de expoente positivo mnimo. Ento, [G : H
0
] = : e pelo Teorema
de Lagrange : = :d. Como : = /d tem-se /d = :d. Assim. / = : pelo que H
0
=< a
k
e
portanto H
0
= H.
A demonstrao do teorema anterior indica-nos um processo de determinao dos ger-
adores de um subgrupo de um grupo cclico nito.
Exemplo 0.20 Seja G um grupo cclico de ordem 6 gerado por a. O grupo G tem um nico
subgrupo de ordem 3. H. Como 6 = 2 3. tem-se que H o subgrupo de G gerado por a
2
.
ou seja, H = c. a
2
. a
4
.
Teorema 0.21 Seja G um grupo nito de ordem :. no prima. Ento G tem pelo menos
um subgrupo prprio.
Demonstrao. Exerccio.
8
Teorema 0.22 Se G um grupo nito de ordem prima, ento G cclico e qualquer dos
elementos distintos da identidade lhe serve de gerador.
Demonstrao. Suponha-se que O(G) = :. com : primo. Se G = c a demonstrao
trivial. Seja H =< a . com a = c. Note-se que a tem ordem nita porque G nito.
Vamos ver que H = G. Como O(H)[O(G). ento O(H) = 1 ou O(H) = :.Mas H = c.
Logo O(H) = :. Assim, H = G.
Mostrar-se- agora que possvel identicar todos os grupos cclicos ( a menos de iso-
morsmo ).
Teorema 0.23 Seja G um grupo cclico, ento G isomorfo a Z ou a Z
m
. para : N.
Demonstrao. Seja G =< a . Dena-se a aplicao:
0 : Z G
: a
n
.
A aplicao 0 um homomorsmo de grupos, de facto, para quaisquer :. : Z.
0(: + :) = a
n+m
= a
n
a
m
= 0(:)0(:).
Claramente 0 um epimorsmo. Aplicando o Teorema do Homomorsmo, tem-se que
< a Z(0).
Se 0 injectiva, ento (0) = 0. pelo que
Z(0) Z0 Z
e portanto
< a Z.
Se 0 no injectiva, ento (0) = 0 e porque (0) _ Z. haver em (0) nmeros positivos
(porqu?). Seja ento : o menor positivo em (0). Tomando arbitrariamente : (0).
divida-se : por :. Tem-se ento:
: = :/ + r. com 0 _ r < :.
Assim,
0(:) = a
n
= a
mk+r
= (a
m
)
k
a
r
= a
r
.
0.1. GRUPOS CCLICOS 9
Como : (0), a
r
= c e portanto r (0). Mas ento r = 0 uma vez que r < : e : o
menor positivo em (0). pelo que
: = :/. / Z.
Assim : :Z. Reciprocamente, seja n um elemento de :Z. Ento n = ::. para algum
: Z. Tem-se
0(n) = 0(::) = a
ms
= (a
m
)
s
= c.
pelo que :: (0). Assim,
(0) = :Z.
Pelo Teorema Fundamental do Homomorsmo,
< a Z:Z = Z
m
.
0.1.3 Bibliograa
1. Fraleigh, J- A First Course in Abstract Algebra, Addison Wesley, 5
a
Edio, 1994.
2. Monteiro, A. (et al)- lgebra, Um Primeiro Curso, Escolar Editora, 1995.
3. Lang S.- Structures Algbriques, InterEditions, Paris 1976.
4. Santos, V.M., Apontamentos de lgebra, 1988/89.
5. Hollister, H., Modern Algebra: A First Course, Harper and Row Publishers.
6. Chandler B. and Bumslag B., Theory and Problems of Group Theory, Shaums Outline
Series McGraw-Hill Book Company.