Escolar Documentos
Profissional Documentos
Cultura Documentos
CURSO DE LGEBRA II
G3. Todo elemento de G possui um elemento inverso: para todo a G , existe um a G , tal que,
a a a a e .
Observaes:
1. Observe que ao exigir que a operao seja uma operao binria em G, j estamos exigindo que ela
seja fechada em G, isto , dados a , b G , ento a b G .
2. O elemento neutro nico: se e G tal que a e e a a , ento e e . Pois,
e e e ;
e;
O elemento neutro do grupo tambm , muitas vezes, denotado por eG , quando queremos ressaltar o
grupo G, por 1 ou 1G, quando a operao uma multiplicao, e por 0 ou 0G, quando a operao uma
adio. Nesse ltimo caso, costume denotar a operao por +.
3. O elemento inverso nico: dado a G , seja a G , tal que a a a a e , ento a a . Pois,
1
UERJ 2011
CURSO DE LGEBRA II
a e a ;
( a a ) a ;
a ( a a ) ;
a e ;
a ;
Exemplo 1
Seja (Z, , ) o anel dos nmeros inteiros. Ento, dos axiomas satisfeitos pela operao de adio, temos
que (Z, ) um grupo. O elemento neutro 0 e o inverso aditivo de a Z o elemento simtrico a .
Exemplo 2
Seja (Zn, , ) o anel das classes residuais mdulo n. Ento, dos axiomas satisfeitos pela operao de
adio das classes residuais, temos que (Zn, ) um grupo. O elemento neutro 0 e o inverso aditivo de
a Z n o elemento simtrico a .
Vejamos duas propriedades bsicas de grupos.
Proposio 1
Sejam G um grupo e a , b, c G .
1. A equao a x b admite uma nica soluo em G, a saber, x a 1 b .
2. ( a b ) 1 b 1 a 1 .
3. (Lei do Cancelamento) Se a b a c , ento b c .
Se b a c a , ento b c .
Demonstrao
1. Observe, inicialmente, que x a 1 b uma soluo de a x b , pois
a x a ( a 1 b ) ;
pela definio de x
( a a 1 ) b ;
eb ;
b;
pelo axioma G1
pelo axioma G 3
pelo axioma G 2 .
UERJ 2011
CURSO DE LGEBRA II
a y b
a 1 ( a y ) a 1 b ;
multiplicando por a 1
( a 1 a ) y a 1 b ;
pelo axioma G1
e y a 1 b ;
y a 1 b ;
pelo axioma G 3
pelo axioma G 2 .
pelo axioma G 3
( a e) a 1 ;
a a 1 ;
e;
pelo axioma G1
pelo axioma G1
pelo axioma G 2
pelo axioma G 3 .
pelo axioma G 2
( a 1 a ) b ;
pelo axioma G 3
a 1 ( a b ) ;
pelo axioma G1
a 1 ( a c ) ;
pela hiptese
( a 1 a ) c ;
pelo axioma G1
ec ;
c;
pelo axioma G 3
pelo axioma G 2 .
Atividade 2
Prove a segunda parte da lei do cancelamento, ou seja, prove que se b a c a , ento b c .
Vamos ver, agora, duas definies muito importantes.
UERJ 2011
CURSO DE LGEBRA II
Exemplo 3
Como a operao de adio dos nmeros inteiros comutativa, ento (Z, ) um grupo abeliano. Veja
que (Z, ) um grupo de ordem infinita, pois Z contm uma quantidade infinita de elementos.
Exemplo 4
Como a operao de adio das classes residuais mdulo n comutativa, ento (Zn, ) um grupo
abeliano. Veja que (Zn, ) um grupo finito, pois Z n {0, 1 ,, n 1} contm uma quantidade finita de
elementos, a saber, (Zn, ) um grupo de ordem n. Denotamos isso por Z n n .
Exemplo 5
Observe que (Z, ), o conjunto dos nmeros inteiros munido da operao de multiplicao, no forma
um grupo, pois o axioma G3, do elemento inverso, no satisfeito. Por exemplo, o nmero inteiro 2 no
possui inverso multiplicativo, isto no existe inteiro a tal que 2 a 1 .
Atividade 4
Prove que (Q, ), o conjunto dos nmeros racionais munido da operao de adio, um grupo
abeliano de ordem infinita.
Exemplo 6
De um modo geral, se (A, , ) um anel, ento (A, ) um grupo abeliano. A correspondncia entre os
axiomas de anel e os de grupo como segue:
A1 G1
A3 G2
A4 G3
A2 Condio de grupo abeliano
No entanto, em geral, (A, ) no um grupo. E se A A {0 A } , mesmo ( A , ), em geral, no um
grupo. Como mostra o Exemplo 5, (Z, ) e ( Z , ) no so grupos, pois o axioma G3 no satisfeito.
Exemplo 7
Temos que ( Q , ), o conjunto dos nmeros racionais no-nulos munido da operao de multiplicao,
um grupo abeliano de ordem infinita. Pois, como (Q, , ) um corpo, ento, dos axiomas satisfeitos pela
4
UERJ 2011
CURSO DE LGEBRA II
a
b
Q o elemento Q . Como Q um conjunto infinito, segue que (Q, ) um grupo de
b
a
ordem infinita.
Exemplo 8
De um modo geral, se (A, , ) um corpo e A A {0 A } , ento ( A , ) um grupo abeliano. A
correspondncia entre os axiomas de anel e os de grupo como segue:
A5 G1
A7 G2 (Veja que, e 1A .)
Condio de corpo (todo elemento no-nulo invertvel) G3
A6 Condio de grupo abeliano
Observe que mesmo que (A, , ) seja um corpo, (A, ) no um grupo. Pois, como 0 A A , ento
0 A 1A 0 A 1A
e, portanto, o axioma G2 no satisfeito.
Exemplo 9
Dado o anel (Zn, , ), seja Z n {a Z n mdc( a , n ) 1} . Ento, ( Z n , ) um grupo abeliano de ordem
finita. Vamos verificar os axiomas.
G1. Como (Zn, , ) anel, ento j sabemos que a operao de multiplicao de classes residuais
associativa.
G2. Como 1 Z n , esse o elemento neutro: a 1 1 a a .
G3. Sabemos que a Z n um elemento invertvel se, e somente se, mdc( a , n ) 1 . Portanto, todo
elemento a Z n invertvel.
Grupo abeliano: como a operao de multiplicao de classes residuais comutativa, seque que ( Z n , )
um grupo abeliano.
Grupo finito: Como Zn um conjunto finito, ento Z n tambm . Logo, ( Z n , ) um grupo finito.
Exemplo 10
Se p um nmero primo ento Z p {a Z p mdc( a , p ) 1} {1 ,, p 1} . Portanto, ( Z p , ) um
grupo abeliano finito de ordem Z p p 1 .
Observao
Vamos desenvolver a notao clssica para as potncias de a G , onde G um grupo. Temos:
a 0 e , o elemento neutro de G,
a n a a n 1 a n 1 a , n inteiro e n 1 ;
5
UERJ 2011
CURSO DE LGEBRA II
a n ( a 1 ) n , n inteiro e n 1 .
Nestas condies, vale que
a m n a m a n e
Atividades Finais
1. Seja G um grupo. Prove que a equao x a b admite uma nica soluo em G, a saber, x b a 1 .
2. Seja G um grupo. Dado a G , prove que ( a 1 ) 1 a .
Resumo
Nesta aula vimos a importantssima noo de grupo. Vimos que se G um conjunto no-vazio munido
de uma operao binria , ento (G, ) um grupo se os trs axiomas:
G1. A operao associativa: ( a b ) c a (b c ) , para todo a , b , c G ;
G2. A operao tem um elemento neutro: existe um elemento e G , tal que a e e a a , para todo
a G ;
G3. Todo elemento de G possui um elemento inverso: para todo a G , existe um a G , tal que,
a a a a e .
Exemplo 1
Considere Z 5 {a Z 5 mdc( a , 5) 1} {1 , 2 , 3, 4} . Vimos, na aula anterior, que ( Z 5 , ) um grupo
abeliano finito de ordem 4. Sua tabela de multiplicao dada pelo esquema abaixo.
UERJ 2011
CURSO DE LGEBRA II
Contamos as linhas a partir da primeira linha abaixo do smbolo e contamos as colunas a partir da
primeira coluna direita de . Assim o elemento situado na segunda linha e na terceira coluna o valor 1
e, este valor, representa o produto 2 3 . Portanto, a leitura que fazemos 2 3 1 . Da terceira linha e
quarta coluna, temos 3 4 2 .
Exemplo 2
Considere Z 8 {a Z 8 mdc( a , 8) 1} {1 , 3, 5, 7} . Sabemos que ( Z 8 , ) um grupo abeliano finito
de ordem 4. Sua tabela de multiplicao dada pelo esquema abaixo.
Observe neste exemplo, curiosamente, que todo elemento o seu prprio inverso: 1 1 1 , 3 3 1 ,
55 1 e 77 1.
Exemplo 3
O grupo das permutaes de 3 elementos: S3. Denotamos por S3 o conjunto de todas as bijees de
{1, 2, 3}, ou seja,
S 3 { : {1, 2, 3} {1, 2, 3} uma bijeo} .
Lembre que uma permutao de um conjunto , exatamente, uma bijeo deste conjunto. Assim, cada
bijeo : {1, 2, 3} {1, 2, 3} representa uma permutao de {1, 2, 3}. Por exemplo, uma destas
permutaes tem como valores: (1) 2 , (2 ) 3 e (3) 1 . usual, em lgebra, representar uma
permutao da seguinte forma:
2
3
1
.
(1) (2 ) (3)
UERJ 2011
CURSO DE LGEBRA II
(i ) ( (i )) para i 1, 2, 3 .
Geralmente, denotamos simplesmente por e chamamos esta operao de uma multiplicao
em S3 e dizemos que o produto de por . Por exemplo, dadas as permutaes
1 2 3
1 2 3
e
,
2 3 1
1 3 2
Caso voc no tenha compreendido o resultado final, lembre que, como a operao a composio de
funes, ela deve ser realizada da direita para a esquerda. Por, exemplo da permutao temos: : 1 1 ,
e da permutao temos: : 1 2 . Portanto, para a permutao temos: : 1 1 2 , ou seja,
Atividade 1
Faa, voc, o produto inverso, , para as permutaes anteriores,
1 2 3
1 2 3
e
.
2 3 1
1 3 2
Observe que
1 2 3 1 2 3
,
3 2 1 2 1 3
UERJ 2011
CURSO DE LGEBRA II
O elemento neutro da operao de composio de funes a funo identidade. Neste caso, em S3,
o elemento neutro representado pela permutao
1 2 3
.
I
1 2 3
Veja tambm que, como o conjunto {1, 2, 3} tem 3 elementos, ento existem 3! 6 bijees
possveis de {1, 2, 3}. Logo, S3 tem 6 elementos, a saber,
1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3
,
,
,
,
,
.
S 3
1 2 3 2 3 1 3 1 2 1 3 2 3 2 1 2 1 3
Na prxima atividade, vamos mostrar que S3 gerada pelas duas permutaes seguintes,
1 2 3
1 2 3
e
.
2 3 1
1 3 2
Atividade 2
Denotando por e as duas permutaes anteriores, mostre que
1 2 3
;
a) 2
3 1 2
1 2 3
;
d)
3 2 1
1 2 3
I ;
b) 3
1 2 3
1 2 3
;
e) 2
2 1 3
1 2 3
I ;
c) 2
1 2 3
1 2 3
2 .
f)
2
1
3
Na aula anterior vimos o conceito de grupo abeliano, ou seja, um G que satisfaz a propriedade
comutativa: a b b a para todo a , b G . Vejamos, agora, o conceito de grupo no-abeliano.
Proposio 1
Com as notaes anteriores, S 3 {I , , 2 , , , 2 } , munido da operao de composio de
funes, um grupo no-abeliano finito de ordem 6.
Demonstrao
Primeiramente, observe que j que uma permutao uma bijeo e a composio de duas bijees
outra bijeo, ento a operao est bem definida. Vamos, agora, verificar os axiomas.
9
UERJ 2011
CURSO DE LGEBRA II
permutao I
1 2 3
G3. Dada uma bijeo, o elemento inverso representado pela sua funo inversa. Na Atividade 3, voc
ser convidado a determinar o elemento inverso de cada elemento de S3.
Por fim, observe que a operao em S3 no comutativa, pois como vimos na Atividade 2,
1 2 3 1 2 3
.
3 2 1 2 1 3
Atividade 3
Construa a tabela de multiplicao do grupo S3 e identifique o elemento inverso de cada elemento de S3.
Exemplo 4
Seja GL2(R) o conjunto das matrizes quadradas de ordem 2 invertveis com elementos em R, isto ,
a b
; a , b, c, d R e ad bc 0 .
GL2 ( R )
c d
lgebra Linear,
A 1
1 d b
.
ad bc c a
, a 0 ,
0 1
Portanto,
10
UERJ 2011
CURSO DE LGEBRA II
a 0
Proposio 2
GL2(R), munido da operao de multiplicao de matrizes, um grupo infinito no-abeliano.
Na prxima atividade, voc ir mostrar que o grupo GL2(R) no-abeliano.
Atividade 4
Mostre que a operao de multiplicao de matizes em GL2(R) no comutativa. Para isto, voc dever
encontrar duas matrizes A, B GL2 ( R ) tais que AB BA .
Exemplo 5
O grupo das simetrias do tringulo eqiltero: D3. Vamos estudar, agora, um grupo formado por
transformaes geomtricas estudadas no curso de lgebra Linear II. Trata-se de um grupo de
transformaes que mantm o tringulo eqiltero da figura invariante, ou seja, que transforma o tringulo
eqiltero nele mesmo. Vamos considerar que o lado BC perpendicular ao eixo-x e a origem O o
baricentro do tringulo ABC. Portanto, nestas condies, as transformaes que transformam o tringulo
nele mesmo so compostas pela funo identidade, por algumas rotaes em torno da origem e por certas
reflexes. Vamos descrever cada uma destas transformaes.
y
B
A
x
Figura 18.1
Vamos denotar o tringulo ABC da Figura 18.1 por . As transformaes que estamos procurando so
da forma T : R 2 R 2 com T ( ) .
Inicialmente, a funo identidade, I : R 2 R 2 , claramente mantm o tringulo invariante, ou seja,
I ( ) , como ilustra a figura a seguir.
11
UERJ 2011
CURSO DE LGEBRA II
y
y
I
B
B
A
O
R R2 3
y
B
A
O
y
A
R4 3 R2 3 R2 3 R 2 .
Assim, esta rotao satisfaz R 2 R4 3 : R 2 R 2 com R 2 ( ) . A Figura 18.4 ilustra esta
transformao.
y
R 2 R4 3
A
O
y
C
R 3 R 2 R R4 3 R2 3 R6 3 R2 I .
Outro tipo de transformao que mantm o tringulo eqiltero invariante so as reflexes do plano em
torno das retas mediatrizes do tringulo. Denotamos estas retas por r1, r2 e r3, como indica a Figura 18.5.
Observe que a reta mediatriz r1 coincide com o eixo-x.
12
UERJ 2011
CURSO DE LGEBRA II
r3
B
r1
r2
A
O
A
O
B
C
r2
FR
Assim, a reflexo em torno da reta mediatriz r2 pode ser representada por FR : R 2 R 2 com
FR ( ) . Novamente, temos ( FR ) 2 I .
y
FR
B
A
O
r2
UERJ 2011
CURSO DE LGEBRA II
A
O
FR 2
r3
Assim, munindo o conjunto D3 com a operao de composio de funes obtemos o grupo das
simetrias do tringulo eqiltero.
Proposio 3
Com as notaes anteriores, D3 { I , R , R 2 , F , FR , FR 2 } , munido da operao de composio de
funes, um grupo no-abeliano finito de ordem 6.
Na prxima atividade, voc ser convidado a mostrar que D3 um grupo no-abeliano.
Atividade 5
Mostre que RF FR 2 e, portanto RF FR . Conclua que que D3 um grupo no-abeliano.
Em nosso ltimo exemplo desta aula, vamos estabelecer que o produto cartesiano de dois grupos
tambm tem uma estrutura de grupo.
Exemplo 6
Sejam (G, ) e (H, ) dois grupos. Vamos considerar o produto cartesiano G H munido da seguinte
operao:
( a1 , b1 ) ( a 2 , b2 ) ( a1 a1 , b1 b2 ) para a1 , a 2 G e b1 , b2 H .
O elemento neutro desta operao ser (eG , eH ) G H , onde eG e eH so os elementos neutros de G e
H, respectivamente, e o elemento inverso de ( a , b ) G H dado por ( a 1 , b 1 ) . Nestas condies, temos
o seguinte resultado.
Proposio 4
Com as notaes anteriores, temos que (G H , ) um grupo, chamado produto exterior de G e H.
Atividades Finais
1. Construa a tabela de multiplicao do grupo D3 e identifique o elemento inverso de cada elemento de
D3.
14
UERJ 2011
CURSO DE LGEBRA II
Resumo
Nesta aula estudamos os grupos multiplicativos ( Z 5 , ) e ( Z 8 , ). Eles so grupos finitos e abelianos.
Depois, estudamos o grupo S 3 {I , , 2 , , , 2 } das permutaes do conjunto {1, 2, 3}. Este grupo
finito e no-abeliano. No prximo exemplo, estudamos o grupo GL2(R) das matrizes invertveis de
ordem com elementos em R. Este grupo infinito e no-abeliano. No exemplo seguinte, estudamos o
grupo D3 { I , R , R 2 , F , FR , FR 2 } das simetrias do tringulo eqiltero. Este grupo tambm finito e noabeliano. Por fim, vimos o produto exterior G H dos grupos G e H.
Definio 1 (Subgrupo)
Sejam (G, ) um grupo e H um subconjunto no-vazio de G. Dizemos que H um subgrupo de G se H,
munido da operao do grupo G, um grupo, ou seja, se (H, ) um grupo.
15
UERJ 2011
CURSO DE LGEBRA II
Veja que a operao j associativa em G, logo ela j satisfaz a propriedade associativa para os
elementos de H. Portanto, as propriedades que a serem satisfeitas para que H seja um subgrupo de G so
dadas pelos seguintes axiomas.
SG1. H fechado pela operao de G, isto , a b H para todo a , b H .
SG2. eG H .
SG3. Se a H ento a 1 H .
Se H subgrupo de G, ento denotamos H G e, caso contrrio, denotamos H G .
Observao
Dado o grupo G, ento {eG } e G so subgrupos de G, chamados subgrupos triviais de G. Se H um
subgrupo de G, diferente de {eG } e G, ento dizemos que H um subgrupo prprio de G.
Exemplo 1
Pelas nossas observaes iniciais, temos a seguinte seqncia de subgrupos:
( Z, ) (Q, ) ( R , ) (C, ) .
(Q , ) ( R , ) (C , ) .
Assim como temos critrios que facilitam verificar se um subconjunto de um espao vetorial um
subespao vetorial ou se um subconjunto de um anel um subanel, temos, tambm, um critrio que facilita
verificar se um subconjunto de um grupo um subgrupo. o que vamos fazer a seguir.
Demonstrao
() Vamos supor, inicialmente, que H um subgrupo de G. Queremos provar que a b 1 H para todo
a, b H .
a, b H
b 1 H
a b 1 H
UERJ 2011
CURSO DE LGEBRA II
aH
eG a a 1 H
x 1 eG x 1 H
x y x ( y 1 ) 1 H
Observao
Quando G um grupo aditivo, (G, ), e H um subconjunto no-vazio de G, a condio a b 1 H se
transforma em
a bH ,
a b H para todo a , b H .
Atividade 1
Dado o grupo aditivo (Z, ), mostre que nZ {kn k Z} um subgrupo de Z para todo inteiro
n 1.
Exemplo 2
Seja D3 {I , R, R 2 , F , FR , FR 2 } o grupo das simetrias do tringulo equiltero visto na Aula 2. Ento
H1 {I , R, R 2 } e H 2 {I , F } so subgrupos de D3. Isso imediato pela aplicao do critrio do subgrupo.
Exemplo 3
Considere o grupo (Z4, ). Vamos mostrar que H {0 , 2} o nico subgrupo prprio de Z4. Se H
outro subgrupo prprio de Z 4 {0 , 1, 2, 3} , ento temos 1 H ou 3 H . Caso seja 1 H , ento,
aplicando SG1, temos
2 1 1H ; 3 21H e 0 31H ,
e, portanto, teramos H {0 , 1 , 2 , 3} Z 4 , o que uma contradio, j que H subgrupo prprio de Z4.
Caso seja 3 H , ento, aplicando SG3, temos 1 3 H , e, pelo argumento anterior, teramos
novamente que H {0 , 1, 2 , 3} Z 4 , que a mesma contradio. A concluso, portanto, que
H {0, 2} o nico subgrupo prprio de Z4.
Vamos desenvolver, agora, um importante tipo de subgrupos, que so os subgrupos gerados por um
nico elemento.
UERJ 2011
CURSO DE LGEBRA II
a 0 eG
n
n 1
a a a se n Z, n 1
a n ( a 1 ) n se n Z, n 0 .
na ( n 1)a a se n Z, n 1
na ( n )( a ) se n Z, n 0 ,
Demonstrao
Vamos aplicar o critrio do subgrupo. Sejam a n , a k a dois elementos, ento
a n ( a k ) 1 a n a k a n k a ,
o que prova que a um subgrupo de G.
Exemplo 4
Dado o grupo (Z, ), ento nZ {kn k Z} n . Em particular, 2Z 2 . Veja, tambm, que
Z 1
Exemplo 5
Considere o grupo (Z4, ) do Exemplo 3. Ento H {0 , 2} 2 . Veja aqui, tambm, que
Z4 1 .
Grupos, como Z ou Z4, que so gerados por apenas um elemento so muito importantes e tm uma
nomenclatura especial.
Observao
Se G um grupo cclico, ento o gerador de G, isto , o elemento a G tal que G a , em geral,
no nico. Por exemplo, Z 4 1 e Z 4 3 .
Exemplo 6
18
UERJ 2011
CURSO DE LGEBRA II
Atividade 2
Determine se os grupos multiplicativos ( Z 5 , ) e ( Z 8 , ) so grupos cclicos. Caso algum deles seja um
grupo cclico, determine seus geradores.
Para terminar esta aula, vamos enunciar um resultado que diz, no fundo, que todo grupo cclico uma
cpia de (Z, ) ou uma cpia de algum (Zn, ). Para isso precisamos definir o conceito de ordem de um
elemento.
Observao
1. Para o elemento neutro e de um grupo G, temos e {e} e, portanto, ord( e) 1 . Para qualquer outro
elemento a G ( a e ), temos ord( a ) 1 .
2. Se G um grupo cclico com gerador a, G a , ento ord( a ) G .
Exemplo 7
Considere o grupo aditivo Z 4 {0 , 1 , 2 , 3} . Pela observao anterior, j sabemos que ord( 0 ) 1 .
Agora, 1 {0, 1 , 2 , 3} Z 4 ;
2 {0 , 2} ;
Teorema 1
Seja G um grupo e seja a G .
1. Se a um elemento de ordem finita n, ento n o menor inteiro positivo que satisfaz a n eG . Mais
ainda, a {e, a , a 2 , , a n1} .
2. Se a um elemento de ordem infinita, ento a n eG para todo inteiro n 0 . Mais ainda,
a { , a 2 , a 1 , e, a , a 2 , } e todas as potncias de a so distintas.
UERJ 2011
CURSO DE LGEBRA II
Assim, se G um grupo cclico com gerador a, ou seja, G a , ento o teorema anterior diz que
Observao
Como conseqncia da caracterizao dos grupos cclicos, temos que todo grupo cclico abeliano.
No entanto, a recproca falsa, ou seja, nem todo grupo abeliano um grupo cclico. Por exemplo, o
grupo multiplicativo Z 8 abeliano mas, como voc provou na Atividade 2, ele no um grupo cclico.
Atividades Finais
1. Determine se o grupo multiplicativo Z 7 {a Z 7 mdc( a , 7) 1} {1 , 2 , 3, 4, 5, 6} cclico. Caso
seja, determine seus geradores.
2. Determine se o grupo S3, das permutaes de 3 objetos, cclico. Caso seja, determine seus geradores.
Resumo
Nesta aula vimos o conceito de subgrupo. Vimos que um subconjunto no-vazio H de um grupo G um
subgrupo de G se satisfaz os seguintes axiomas:
SG1. H fechado pela operao de G, isto , a b H para todo a , b H .
SG2. eG H .
SG3. Se a H ento a 1 H .
Depois, vimos o conceito de um subgrupo gerado por um elemento a G , que o subconjunto
a {a n n Z} G . Vimos que a ordem do elemento a G a ordem do subgrupo a . Em
seguida, vimos que um grupo G um grupo cclico se existe a G tal que G a . Nesse caso,
dizemos que o elemento a um gerador do grupo G.
Por fim, vimos o importante teorema que diz que se G um grupo e a G , ento
1. se a um elemento de ordem finita n, ento n o menor inteiro positivo que satisfaz a n eG . Mais
ainda, a {e, a , a 2 , , a n1} ;
2. se a um elemento de ordem infinita, ento a n eG para todo inteiro n 0 . Mais ainda,
a { , a 2 , a 1 , e, a , a 2 , } e todas as potncias de a so distintas.
Referncias
1. Introduo lgebra de Adilson Gonalves (Projeto Euclides IMPA).
2. lgebra: Um curso introdutrio de Arnaldo Garcia e Yves Lequain (Projeto Euclides IMPA).
20