UNIVERSIDADE FEDERAL DE SANTA CATARINA

PS GRADUAO EM ENSINO DE MATEMTICA

Graciela Siegloch

AES DE GRUPOS E GEOMETRIA

Foz do Iguau
2010

Graciela Siegloch

AES DE GRUPOS E GEOMETRIA

Monografia submetida ao Programa de Ps Graduao em Matemtica Formao

do Professor da Universidade Federal de Santa Catarina para a obteno do Grau de
Especialista em Matemtica - Formao do Professor.
Orientador: Prof. Dr.Eliezer Batista

Foz do Iguau
2010

Catalogao na fonte elaborada pela biblioteca da

Universidade Federal de Santa Catarina

A ficha catalogrfica confeccionada pela Biblioteca Central.

Tamanho: 7cm x 12 cm
Fonte: Times New Roman 9,5
Maiores informaes em:
http://www.bu.ufsc.br/design/Catalogacao.html

Dedico este trabalho a Deus e a meus pais que com muito empenho sempre
estiveram ao meu lado me apoiando e incentivando a seguir em frente.

AGRADECIMENTOS

Agradeo a Deus, ao meu orientador professor Eliezer Batista, aos meus colegas e amigos de psgraduao, e aos meus familiares que com muita pacincia me incentivaram a continuar.
Agradeo a todos que colaboraram para a concluso desta especializao, e que pela falha da memria aqui
no esto citados.

No h nada que dominemos inteiramente a no ser os nossos pensamentos.

(Ren Descartes)

RESUMO
O conceito de grupo, sem sombra de dvidas, pode ser considerado um dos mais importantes da matemtica
moderna. Tal conceito est presente em diversas reas da matemtica, como a geometria, a lgebra, a teoria dos
nmeros, em equaes diferenciais, alm de pontos da fsica e da qumica. No raro tentarmos reconhecer
padres e simetrias em formas de nosso cotidiano, desta mesma forma agimos quando analisamos algum objeto
ou conceito matemtico, como as razes de uma equao polinomial, ou um slido geomtrico, entre outros
diversos objetos a serem estudados, desta forma o fato principal que agrega aos grupos tal importncia a noo
de simetria. Quando identificamos simetrias em nosso sistema, estamos imediatamente introduzindo um grupo de
transformaes, ou uma ao de grupos. Essa ao de grupos no conjunto uma funo do grupo no conjunto das
bijees do conjunto dado de tal forma que as operaes do grupo sejam compatveis com a composio de
funes no conjunto. J o grupo uma abstrao do conjunto de bijees neste conjunto especfico, onde podemos
falar dos elementos de um grupo de maneira livre, sem qualquer referncia a um conjunto externo onde ele age.
Mas, considerando as aplicaes que estudaremos, os grupos sero relevantes somente quando fizerem parte dos
grupos de transformaes. Desta forma nosso objetivo neste trabalho, esclarecer esta inter relao entre o ponto
de vista abstrato, do grupo como uma estrutura existente por si prpria, e o ponto de vista concreto, do grupo
agindo em outros conjuntos como bijees, para isso pretendemos abordar vrios aspectos da geometria afim sob
o ponto de vista das aes de grupo.
Palavras-chave: Grupo, Geometria.

SUMRIO
INTRODUO ............................................................................................................................................................ 9
OBJETIVOS ............................................................................................................................................................... 10
1. GRUPOS, SUBGRUPOS E HOMOMORFISMOS ............................................................................................ 11
2. AES DE GRUPOS ............................................................................................................................................ 24
3. GEOMETRIA AFIM ............................................................................................................................................. 34
CONSIDERAES FINAIS..................................................................................................................................... 45
REFERNCIAS ......................................................................................................................................................... 46

INTRODUO

A partir do estudo de equaes polinomiais, teve-se a primeira apario do conceito matemtico de

grupo. O principal problema era o de encontrar frmulas para se determinar razes de um polinmio de grau
maior ou igual a 5. Desde os trabalhos desenvolvidos por Joseph Louis Lagrange, sabia-se que as
permutaes das razes de um polinmio eram consideradas importantes para a procura geral de mtodos de
soluo, e com o teorema de Niels Henrik Abel ficou claro que nem todas as equaes polinomiais admitiam
mtodos de soluo por radicais. Assim surgiu a seguinte questo Quais equaes polinomiais admitiam
soluo por radicais?. Tal pergunta foi respondida por variste Galois, que dominou grandes textos
matemticos de seu tempo com facilidade e para solucionar este problema formulou conceitos inovadores,
dos quais um deles o conceito de grupo.
Grande parte das memrias e manuscritos deixados por Galois, foram publicados aps sua morte por
Joseph Liouville (1809-1882) em 1846 em seu Journal Mathmatique, e mais tarde, em 1870, Camille
Jordan (1838-1902) publicou uma avaliao completa de seus trabalhos em seu livro Trait ds Substitutions.
O estudos dos grupos comeou essencialmente com Galois; foi ele o pioneiro no uso
(1830) da palavra grupo em seu sentido tcnico. As pesquisas em teoria dos grupos
foram ento levadas adiante por Augustin-Louis Cauchy (1789-1857) e outros que se
sucederam, para o caso particular dos grupos de substituies. Como o subseqente
notvel trabalho de Arthur Cayley (1821-1895), Ludwig Sylow (1832-1918), Sophus Lie,
George Frobenius (1848-1917), Felix Klein, Henri Poincar (1854-1912), Otto Holder
(1859-1937) e outros o estudo dos grupos assumiu sua forma abstrata idependente e se
desenvolveu rapidamente. (EVES, 2004, p.536).

Vrios estudiosos levaram a teoria desenvolvida por Galois diante, fazendo com que a teoria dos
grupos se expandisse para outras reas da matemtica. Um dos grandes colaboradores para esta expanso foi
o matemtico noruegus Sophus Lie. Lie tentou estender a teoria de Galois para equaes diferenciais, mas
as simetrias das solues das equaes diferenciais eram contnuas, ao contrrio do que acontecia com as
equaes algbricas, onde as simetrias envolvendo razes eram finitas. Com isso pela primeira vez foram
necessrias alm de tcnicas puramente algbricas para se tratar de grupos, tcnicas vindas da anlise, para
compreender melhor a estrutura dos grupos de Lie. Tais grupos so de grande relevncia em aplicaes de
vrios ramos da matemtica pura, como em equaes diferenciais e na geometria diferencial, e
particularmente em geometria, onde focaremos nossos estudos no decorrer deste trabalho.
O matemtico Flix Klein ressaltou em seus trabalhos a importncia da teoria dos grupos, e em
1871, escreveu um artigo sobre a geometria no euclidiana, dando ateno principalmente aos espaos
projetivos, ficando claro para ele que os grupos de transformaes exercem influncia capital na definio
dos objetos geomtricos. Com isso, em 1872 na universidade de Erlangen, motivou a criao de um projeto
de pesquisa com o objetivo de definir geometrias como sendo o estudo dos objetos que so invariantes por
grupos de transformaes, conhecido hoje como Programa de Erlangen.
Neste trabalho mostraremos diferentes aspectos das aes de grupos em geometria, nos restringindo
a um tipo especial da geometria: a geometria afim. Desde a antiguidade, os espaos afins so os ambientes
mais naturais para se descrever objetos geomtricos, sendo tambm muito prximo aos espaos vetoriais,
assim, a tcnica e a linguagem da lgebra linear pode ser trabalhada em paralelo com esses espaos.

10

OBJETIVOS

Neste trabalho, temos como objetivo mostrar os diferentes aspectos das aes de grupos em
geometria, em especial na geometria afim. Para isso, deveremos ter o conhecimento bsico dos conceitos de
lgebra linear, como as transformaes lineares e espao vetorial, entre outros pontos que se tornaro
necessrios no decorrer de nosso estudo. Seguiremos descrevendo no primeiro captulo as noes bsicas de
Grupos, Subgrupos e Homomorfismo de Grupos. Em seguida, no segundo captulo estudaremos as aes de
Grupos e suas respectivas propriedades. E enfim, no terceiro captulo, veremos a Geometria Afim.
Esperamos com isso estabelecer relaes entre a Geometria Afim e a lgebra de maneira a mostrar
ao leitor um pouco desta ligao que pode ser estabelecida nestas duas reas em particular.

11

1. GRUPOS, SUBGRUPOS E HOMOMORFISMOS

Iniciamos nosso estudo descrevendo algumas definies de Grupos, Subgrupos e Homomorfismos, que
se faro necessrias no decorrer deste trabalho.
Definio 1.1. Um grupo um par (G, ) em que

:G G G
(a,b) a b

uma funo, denominada operao do grupo, satisfazendo as seguintes propriedades:

1. Associatividade: Para quaisquer que sejam os elementos a, b, c G , temos (a b) c = a (b c) .
2. Existncia do Elemento Neutro: Existe um elemento e G tal que para todo a G tenhamos
ae = ea = a .

3. Existncia de Elemento Inverso: A todo elemento a G associa-se um elemento a 1 tal que

a a 1 = a 1 a = e .

Na prtica no utilizaremos a notao de par ordenado (G, ) para grupos, denotaremos um grupo apenas
por G.

Proposio 1.1. Existe um nico elemento neutro em um grupo.

Demonstrao:

Suponhamos que e e e sejam elementos neutros de (G, ) , como G grupo, imediata a propriedade
da associatividade, logo pela segunda propriedade de grupos verificamos que
e ' = e e ' = e ' e = e

Logo existe um nico elemento neutro no grupo.

Quando a operao no grupo comutativa, temos uma classe particular de grupos, definiremos a
seguir esse caso particular.

Definio 1.2. Se para todos os elementos a, b G de um grupo (G, ) tivermos a b = b a , dizemos que G
abeliano, ou comutativo.

Definio 1.3. Um subconjunto no vazio H de um grupo G um sub-grupo de G se H com a operao de G

tambm for um grupo.

12

Proposio 1.2. Se G um grupo, para que um subconjunto no vazio H G seja subgrupo de G

necessrio e suficiente que a, b H , ento a b ' H . Onde b o simtrico de b.
Demonstrao: () H subgrupo.

Indicaremos por e o elemento neutro de G e por eH o elemento neutro de H. Ento

eH eH = eH = eH e
Do fato de G ser regular temos que eH = e .
Seja a, b H . Ento:
Se b G logo existe um simtrico b '
Se b H existe um simtrico bH' em H;

bH' b = eH = e = b ' b
G regular ento bH' = b '
Logo a, b H a bH' H a b ' H

() Se a, b H , a b ' H ento H subgrupo.

Seja x0 H , pois H no vazio. Ento por hiptese
x0 x0' H e H (existncia do elemento neutro)
Dado b H temos:
e b ' H b ' H (existncia do simtrico)

A operao fechada em H. Sejam

a ( b ') ' H , por hiptese, ento a b H .

Associatividade: Sejam a, b, c H

(a b) H (a b) c H .
(b c ) H a (b c ) H
Como os elementos ( a b ) c e a ( b c ) G , em G vale a associatividade, ento temos que

( a b ) c = a ( b c ) em H. O que conclui a demonstrao.

Exemplo 1.1. O conjunto dos nmeros inteiros com a operao da adio, (Z, +) , um grupo abeliano, pois
a soma associativa, comutativa, o elemento neutro o nmero 0 e o inverso de n Z seu oposto n . E
ainda, os nmeros inteiros mltiplos de um determinado m Z so subgrupos de Z com a operao da
adio.

Exemplo 1.2. Seja n Z um nmero inteiro positivo, o conjunto das classes de congruncia mdulo n,
denotado por Z n , um grupo, induzido pela operao de adio dos nmeros inteiros: k + l = k + l , e este
um grupo abeliano com n elementos, que so 0,1,..., n 1 .

13

Exemplo 1.3. O conjunto dos nmeros reais com a operao da adio ( , + ) um grupo abeliano, e
podemos verificar ento que ( , + ) , ( , + ) so subgrupos de ( , + ) .

Exemplo 1.4. Outro conjunto que abeliano o conjunto dos nmeros complexos no nulos com a operao
da multiplicao, ( , ) , pois a multiplicao associativa, comutativa e o elemento neutro o nmero 1.
Todo nmero complexo no nulo no possui inverso multiplicativo. O conjunto dos nmeros reais no nulos

( , ) e dos nmeros racionais no nulos ( , ) so subgrupos de ( , ) .

Exemplo 1.5. O subconjunto dos nmeros complexos de mdulo unitrio, U (1) = { z | z = 1 } um

subgrupo de ( , ) . Geometricamente, este conjunto corresponde a circunferncia no plano complexo de
raio 1 e centro na origem. Se z = a + bi , ento

z = zz =

( a + bi )( a bi ) =

a 2 + b2 .

Se z = 1 , ento z 1 = a bi e z 1 = z = 1 . Alm disso, se z , w U (1) , ento

zw1 = z w1 = z w = 1 .

Logo zw1 U (1) , mostrando que U (1) subgrupo de ( , ) .

Exemplo 1.6. Seja X um conjunto qualquer e Bij ( X ) = { f : X X | f bijeo} . O que iremos verificar
que Bij ( X ) um grupo com a operao dada pela composio de funes, de fato, veremos adiante que
todo grupo pode ser visto como um subgrupo de um grupo de bijees sobre um determinado conjunto.
A princpio, a composio de funes associativa, pois, f  ( g  h ) = ( f  g )  h , sempre que a
composio seja possvel. Para o nosso caso, todas as funes possuem como domnio todo o conjunto X e
seus conjuntos imagem tambm so o conjunto X. Sabemos ainda, que a funo identidade Id X quando
composta com qualquer funo f : X X resulta na prpria f, ou seja, f  Id X = Id X  f = f . Alm disso, Id X
uma bijeo e, portanto pertence a Bij ( X ) . Temos ainda que uma funo f : X X bijeo se, e somente

se, possuir funo inversa, isto , uma funo g : X X tal que g  f = f  g = Id X , e esta inversa tambm
uma bijeo.
Resta-nos ainda, saber o principal, ou seja, se a composta de duas bijees tambm uma bijeo
para caracterizarmos Bij ( X ) como um grupo. Tomemos ento f , g Bij ( X ) , ento existem f 1 e g 1 ,
tambm pertencentes a Bij ( X ) , note que

14

f  g  g 1  f 1 = f  f 1 = Id X analogamente
g 1  f 1  f  g = Id X
Portanto,

(f

 g ) = g 1  f 1 , o que mostra que f  g Bij ( X ) , e observe que em geral o grupo

1

Bij ( X ) no abeliano.

Exemplo 1.7. Seja I n = {1,..., n} . Uma permutao em I n uma bijeo : I n I n . O conjunto

Sn : { : I n I n | permutao} com a operao dada pela composio um grupo, pois um caso
particular do exemplo anterior.
Um elemento genrico do grupo de permutaes Sn pode ser escrito da seguinte forma

2
n
1

(1) ( 2 ) ( n )

Utilizando n = 3 temos o exemplo de S3 , onde os elementos ficam

1 2 3
e=

1 2 3
1 2 3

2 =

3 1 2
1 2 3

4 =

2 3 1

1 2 3

2 1 3

1 =

1 2 3

3 =

3 2 1
1 2 3

3 1 2

1 =

Este o menor grupo no abeliano existente.

A composta de duas permutaes feita como composta de funes, onde, por exemplo, temos

1 2 3 1 2 3 1 2 3

=
= 3
2 1 3 3 1 2 3 2 1

1  2 =

Exemplo 1.8. Consideremos agora, um subconjunto interessante das bijees em : Sejam a, b

nmeros reais tais que a 0 , defina f a ,b : por f a ,b ( x ) = ax + b . Seja Aff ( ) o conjunto de tais
funes, que adiante veremos que se tratam das transformaes afins na reta, vamos verificar que Aff ( )
um subgrupo A composta de duas funes deste tipo dada por

f c ,d ( x )  f a ,b ( x ) = f c ,d ( x )( ax + b )
= c ( ax + b ) + d
= cax + ( cb + d )
= f ca ,cb + d ( x )

15

Em particular, desta expresso fcil ver que f a ,b 1 = f 1 b Aff ( ) . Tambm podemos ver que a funo
,
a a

identidade Id pode ser escrita como Id = f1,0 Aff ( ) , desta forma chegamos concluso que
Aff ( ) um subgrupo de Bij ( ) .

Definio 1.4. Sejam G e H grupos. Uma funo : G H um homomorfismo de grupos se

( a b ) = ( a ) ( b ) , para todos os elementos de a, b G . Se o homomorfismo injetivo ento o

chamamos de monomorfismo. Se o homomorfismo sobrejetivo, dizemos que ele um epimorfismo. Se o
homomorfismo for bijetor ser chamado de isomorfismo.
Para facilitar a denotaremos G H quando os grupos G e H forem isomorfos.

Proposio 1.3. Sejam G e H grupos. Se f : G H homomorfismo ento:

(i).

f ( eG ) = eH .

(ii).

f ( g ') = f ( g ) '
Demonstrao:
i.

ii.

f ( eG ) eH = f ( eG ) = f ( eG eG ) = f ( eG ) f ( eG )
eH = f ( eG ) .
f ( g ') ( f ( g ) ) ' = eH = f ( eG ) = f ( g g ') = f ( g ) f ( g ')
( f ( g ) ) ' = f ( g ')

Definio 1.5. Chamamos de endomorfismo um homomorfismo sobre o mesmo grupo. Um endomorfismo

bijetor, ou seja, um isomorfismo sobre o mesmo grupo denominado um automorfismo.

Teorema 1.1. Todo grupo G isomorfo a um sub-grupo do grupo das bijees em G.

Demonstrao: Seja a G , e definamos a funo

Fa : G G
b ab
Verifiquemos a injetividade de Fa .
De fato, se Fa ( b ) = Fa ( c ) , ou seja, a b = a c , e multiplicando a ltima igualdade esquerda por
a 1 temos a 1 a b = a 1 a c . Logo b = c , e consequentemente, Fa injetiva.
Verifiquemos agora a sobrejetividade de Fa . Para isso tomemos b G . Podemos escrever
b = a a 1 b , ou podemos escrever ainda Fa ( a 1 b ) . Portanto Fa sobrejetiva.
Conclumos, ento que F ( G ) Bij ( G ) . Sejam agora a, b, c G . Temos que

16

Fa  Fb ( c ) = Fa ( b c ) = a ( b c ) = ( a b ) c = Fa b ( c )
E ainda, para todo elemento de a G , Fe ( a ) = e a = a , portanto, Fe = IdG . Ento para todo a G
temos,
Fa 1  Fa = Fa1 a = Fe = IdG ,
De maneira anloga
Fa  Fa 1 = Faa 1 = Fe = IdG ,

Portanto Fa 1 = ( Fa ) 1 .
Sejam a, b G , temos que
Fa  ( Fb ) 1 = Fa  Fb1 = Fab1 F ( G )
desta forma, F ( G ) sub-grupo de Bij (G ) . Agora, nos resta mostrar que G est em correspondncia 1 a 1
com verificando a funo
F : G F (G ) Bij (G )
a Fa
E como j mostramos F um homomorfismo de grupos.
Suponhamos para a injetividade de F, que Fa = Fb , logo para qualquer c G temos Fa ( c ) = Fb ( c ) ,
ou a c = b c . Como caso particular em que c = e , o elemento neutro de G, teremos a = a e = b e = b . A
sobrejetividade sobre F (G ) , vem do fato de toda bijeo em F (G ) ser da forma Fa para algum a G .
Portanto G isomorfo ao subgrupo F (G ) em Bij (G ) , e por isso pode ser identificado com este subgrupo.

Definio 1.6. Dado um homomorfismo de grupos : G H , definimos o kernel de , como o

subconjunto
ker( ) = { g G \ ( g ) = eH } .

Proposio 1.4. Um homomorfismo : G H injetivo se, e somente se, ker ( ) = {eG } .

Demonstrao:

()

Se injetiva e ( g ) = eH = ( eG ) , logo pela injetividade temos que g = eG .

()

Suponhamos que g , h G tais que ( g ) = ( h ) , ento

17

eH = ( g ) ( ( h ) ) = ( g ) ( h 1 ) = ( gh 1 ) ,
1

ou seja, gh 1 ker ( ) . Como ker ( ) = {eG } ento gh 1 = eG , o que implica em g = h .

Exemplo 1.9. Para este exemplo de isomorfismo consideremos o caso particular do grupo SO ( 2 ) , que o
grupo das matrizes ortogonais 2 2 com a operao de multiplicao de matrizes. Se A SO ( 2 ) ento

a b
A=

c d
tal que

a c d b
1
AT =
=
= A
b d c a
Logo a = d e b = c , reduzindo a matriz a forma

a c
A=
.
c a
A condio det ( A ) = 1 nos fornece a igualdade

a 2 + c 2 = 1,
E chegamos a concluso que existe tal que a = cos ( ) e c = sen ( ) , ou seja,

cos ( ) sen ( )
A=

sen ( ) cos ( )

Esta a matriz de rotao de um ngulo no plano, que denominaremos por R0 .

Definamos agora a aplicao

: U (1) SO ( 2 )
ei

fcil verificar que a aplicao um homomorfismo de grupos. Para verificarmos a injetividade,

considere ei ker ( ) . Ento

1 0 cos ( 0 ) sen ( 0 )
R = Id =
.
=
0 1 sen ( 0 ) cos ( 0 )

18

Portanto, cos ( ) = cos ( 0 ) e sen ( ) = sen ( 0 ) , o que nos leva a = 0 , (ou ainda mltiplo
inteiro de 2 ), ou seja, ei = ei0 = 1 , que o elemento neutro do grupo U (1) , portanto, um morfismo
injetor. Para a sobrejetividade, seja A SO ( 2 ) . Como vimos existe um nmero real

tal que

A = R = ( ei ) .

Definio 1.7. Seja G um grupo e H G um subgrupo. Podemos definir duas relaes de equivalncia em G
a partir de H
(i).

Equivalncia esquerda
g ~ L h g 1 h H

(ii).

Equivalncia direita
g ~ R h gh 1 H

Proposio 1.5. As relaes acima definidas so, de fato, relaes de equivalncia.

Demonstrao: Vamos verificar para a relao ~ L , sendo que o outro caso anlogo.
Reflexiva: Como g G , g 1 g = e H , logo g ~ L g .
Simtrica: Sejam g , h G , tal que g ~ L h ento g 1h H , logo h ~ L g .
Transitiva: Sejam g , h, k G tal que g ~ L h e h ~ L k ento g 1h H e h 1k H logo
g 1k = ( g 1h )( h 1k ) H g ~ L k

Proposio 1.6. Se h ~ L g ento k H tal que h = gk .

Demonstrao: h ~ L g h 1 g H ento g 1h H logo k H tal que g 1h = k , multiplicando
esquerda por g temos h = gg 1h = gk .
Assim todos os elementos equivalentes pela relao ~ L a g G podem ser escritos na forma gk
para algum k H .
Analogamente para a relao ~ R podemos verificar que se h ~ R g ento k H tal que h = kg.

Definio 1.8. Seja H G , um subgrupo do grupo G, e um elemento g G . Definamos a classe lateral

esquerda de g associada ao conjunto H como o conjunto gH = {k G | k ~ L g} , e a classe lateral direita
de g em relao a H o conjunto Hg = {k G | k ~ R g} .
No decorrer deste trabalho utilizaremos classes laterais esquerda, podendo ainda, caracterizar a
classe gH como o conjunto dos elementos k G tais que podem ser escritos como k = g h para algum
hH .

19

Proposio 1.7. Sejam g1 H e g 2 H , duas classes laterais esquerda. Ento g1 H e g 2 H ou so disjuntas ou

so iguais.
Demonstrao: Suponhamos que exista um elemento k g1 H g 2 H . Ento existem h1 , h2 H tais
que
k = g1 h1 = g 2 h2 .
Seguindo da ultima igualdade, e multiplicando direita por h11 , temos g1 = g 2 h2 h11 g 2 H .
Logo para qualquer g1 h g1 H conclumos que g1 h = g 2 h2 h11 h g 2 H .
Podemos provar tambm, de forma anloga, que g 2 H g1 H e, portanto, as duas classes so iguais.

Proposio 1.8. A aplicao

Lg : H gH
h gh

uma bijeo entre H e gH.

Demonstrao:
i.

Lg injetiva: Sejam h, k H tal que Lg ( h ) = Lg ( k ) gh = gk , multiplicando

esquerda por g 1 temos
gg 1h = g 1 gk h = k
Logo Lg injetiva.

ii.

Lg sobrejetiva: x gH , h H tal que x = gh = Lg ( h )

Portanto Lg sobrejetiva.

A ordem de um elemento a o menor valor inteiro positivo n tal que an = 1 (se este valor existe). Se
este valor no existe, o elemento tem ordem infinita.
Se um grupo G tem ordem finita, ento todos os seus elementos x tem ordem finita, e a ordem de
cada elemento divide a ordem do grupo.
A ordem de um grupo G e de um elemento a representado por |G| e |a|.

Teorema 1.2.(Teorema de Lagrange) Seja H um subgrupo do grupo finito G e sejam | H | e | G | suas

respectivas ordens. Ento a quantidade de classes laterais relativas de H definida pela expresso

#C =

|G|
|H|

Demonstrao: De uma proposio anterior temos que as classes laterais so disjuntas duas a duas.
Escolhemos ento um representante para cada classe podendo ser escrito como g1 g 2 ,...g n . O que
pretendemos saber qual o valor de n.
Pela proposio anterior, temos que todas as classes laterais g1 H , g 2 H ,..., g n H esto em bijeo
com H, logo o nmero de elementos de cada classe igual ordem do subgrupo H. Desta forma, a ordem de

20

G ser o produto entre o nmero de classes laterais e o nmero de elementos de cada classe lateral, ou seja,
| G |= n | H | , logo

#C = n =

|G|
.
|H |

Corolrio 1.1. Seja G um grupo finito, e H subgrupo de G, ento a ordem de H sempre um divisor da
ordem de G.

Exemplo 1.10. Considere o grupo diedral D4 . Ele gerado por dois elementos a, e b satisfazendo as
relaes:
a 4 = b2 = e ,
e
ba k = a 4 k b .
Assim. O grupo D4 ter 8 elementos e, a, a 2 , a 3 , b, ab, a 2 b, a3b satisfazendo a seguinte tabela de
multiplicao:

Exemplo 1.11.

a2

a3

ab

a 2b

a 3b

a2

a3

ab

a 2b

a 3b

a2

a3

ab

a 2b

a 3b

a2

a2

a3

a 2b

a 3b

ab

a3

a3

a2

a 3b

ab

a 2b

a 3b

a 2b

ab

a3

a2

ab

ab

a 3b

a 2b

a3

a2

a 2b

a 2b

ab

a 3b

a2

a3

a 3b

a 3b

a 2b

ab

a3

a2

Tomemos o subgrupo H = {e, b} e calculemos a classe lateral esquerda aH = {a, ab} .

Mas temos que a classe lateral direita Ha = {a, a 3b} , logo as classes laterais so diferentes.

Podemos notar, que se um grupo G no abeliano, e H um subgrupo qualquer, nem sempre as

classes laterais direita e esquerda coincidiro. Vejamos a seguir o que ocorre quando essas classes
coincidem:

Definio 1.9. Seja H G um subgrupo do grupo G. Se as classes laterais esquerda e direita de H

coincidirem, dizemos que H subgrupo normal de G, denotado por H G .

21

Proposio 1.9. Seja H G um subgrupo do grupo G. Ento so equivalentes as afirmativas:

(i).

H subgrupo normal.

(ii).

Para qualquer g G temos gHg 1 = H .

(iii).

Para qualquer g G , temos que gHg 1 H .

Demonstrao:

( i ) ( ii ) Consideremos

as duas classes laterais gH e Hg com g G . Por hiptese para todo

h H existe k H tal que gh = kg , logo, seja ghg 1 gHg 1 , temos que

ghg 1 = kgg 1 = k H

gHg 1 H .
Por outro lado, seja h = gg 1hgg 1 . Novamente existe l H tal que hg = gl . Ento

h = gg 1hgg 1 = gg 1 glg 1 = glg 1 gHg 1 .

Logo H gHg 1 , portanto os dois subconjuntos so iguais.

( ii ) ( iii ) imediato.
( iii ) ( i ) Consideremos as classes laterais

gH e Hg . Seja gh gH . Ento temos gh = ghg 1 g e

como gHg 1 H existe k H tal que k = ghg 1 . Portanto gh = ghg 1 g = kg Hg . Seja agora hg Hg .
Como

hg = gg 1hg

g 1 Hg H ,

temos

que

existe

k H tal

que

k = g 1hg .

Portanto

hg = gg 1hg = gk gH . Assim, as duas classes so iguais. Logo H G .

Precisamos ainda, falar um pouco sobre Grupo Quociente, ento vejamos. Se H um subgrupo
normal de G, ento o quociente

= { gH | g G}

possui estrutura de grupos com a operao

( g1 H ) ( g2 H ) = g1 g2 H .
De fato, esta operao est bem definida, isto , independe do representante da classe.
Sejam

xH = xH
duas classes laterais identificadas por dois representantes distintos. Vamos provar

yH = yH

.
que xyH = xyH
: Considere a xyH . Ento h H tal que a = xyh .
Primeiramente incluso xyH xyH

22

Como H subgrupo normal, ento yH = Hy o que significa que k H tal que yh = ky . Como
temos que existe l H de forma que xk = xl
.
xH = xH

Novamente, pela condio yH = Hy , existe m H tal que y = ym .

existe n H tal que ym = yn
assim
Finalmente, como yH = yH
= xym
= xyn
xyH
.
a = xhh = xky = xly
. Com raciocnio anlogo podemos mostrar que xyH
xyH .
Portanto xyH xyH

Teorema 1.3. Seja : G H um homomorfismo de grupos. Ento existe um nico isomorfismo

: G / ker ( ) Im ( ) tal que o diagrama abaixo comute

G / ker ( )

Im ( )

e i: Im ( ) H a incluso cannica.
Demonstrao: Primeiro definamos a aplicao : g / ker ( ) Im ( ) como ( g ker ( ) ) = ( g ) .
Para verificarmos a comutatividade do diagrama precisamos verificar se a aplicao est bem definida e se
um homomorfismo. Verifiquemos, primeiramente, que a funo est bem definida, para isso consideremos
g ker ( ) = g 'ker ( ) , o que significa que g 1 g ' ker ( ) . Logo

( g 'ker ( ) ) = ( g ') = ( gg 1 g ')

= ( g ) ( g 1 g ') = ( g ) = ( g ker ( ) )

o que implica que a aplicao est bem definida.

Mostremos agora, que de fato um homomorfismo de grupos:

( g ker ( ) h ker ( ) ) = ( gh ker ( ) )

= ( gh ) = ( g ) ( h ) = ( g ker ( ) ) ( h ker ( ) )

E ainda, precisamos verificar a injetividade e sobrejetividade do homomorfismo de grupos. Para a

()

injetividade, consideremos g ker ( ) ker . Ento

( g ker ( ) ) = ( g ) = e .

23

Isso significa que g ker ( ) , ou, g ker ( ) = e ker ( ) . Logo o homomorfismo injetivo, e a sobrejetividade

()

decorre do fato de que qualquer ( g ) Im ( ) , e assim ( g ) = ( g ker ( ) ) Im , concluindo a

demonstrao do teorema.
Enunciaremos ainda um corolrio que ser muito til na obteno de isomorfismos no decorrer deste
trabalho.

Corolrio 1.2. Se : G H um epimorfismo, ento H G / ker ( ) .

24

2. AES DE GRUPOS
Como j sabemos, todo grupo isomorfo a um sub-grupo de um grupo de bijees em um conjunto,
particularmente, das bijees do prprio grupo. Podemos verificar que as situaes em que um grupo pode
ser visto como grupo de bijees so as que aparecem nas aplicaes da teoria. Agindo como um grupo de
bijees o grupo realmente se concretiza, e se incorpora tornando-se uma ferramenta poderosa para o estudo
das simetrias.

Definio 2.1. Uma ao esquerda de um grupo G em um conjunto X um homomorfismo de G no

grupo das bijees em X, que ser denotado por Bij (X).

Definiremos a seguir o grupo oposto, neste trabalho, lidaremos apenas com aes esquerda, mas
tambm possvel definirmos aes direita.
Definio 2.2. Definimos o grupo oposto, G op do grupo dado G como o conjunto G munido com uma
operao dada como:
:GG G

( g , h ) g h = hg

Definio 2.3. Uma ao direita de um grupo G em um conjunto X um homomorfismo de G op no

grupo das bijees em X.

Fixemos as notaes: Denotemos uma ao ( esquerda, a menos que se diga o contrrio) por

: G Bij ( X )
g g

onde g uma bijeo no conjunto X, que associa a cada elemento x X outro elemento g ( x ) .
Como um homomorfismo, ento temos que
I.
II.
III.

g ( h ( x ) ) = gh ( x ) para todos os elementos g , h G e x X .

e = Id X , ou seja, e ( x ) = x para todo x X .
g1 = g para todo g G .
1

Definio 2.4. Considere x X um elemento de um conjunto X, e seja uma ao de um grupo G sobre

o conjunto X. Definimos a rbita do elemento x como sendo o conjunto
Ox = { g ( x ) / g G} .

Definio 2.5. Uma relao R sobre G dita de equivalncia se:

(i).

R for reflexiva: xRx .

(ii).

R for simtrica: xRy yRx .

25

(iii).

R for Transitiva: xRy yRz xRz .

Proposio 2.1. Uma ao de um grupo G sobre um conjunto X introduz uma relao de equivalncia
em X.

Demonstrao: De fato, diremos que dois elementos x, y X sero relacionados (x ~ y) se

existir g G tal que y = g ( x ) . fcil verificar que esta uma relao de equivalncia:
1. Para qualquer x X , temos que x = e ( x ) , portanto x ~ x, sendo reflexiva.
2. Sejam

tais

x, y X

que

y.

Ento

existe

g G

tal

que

y = g ( x ) . Mas,

( y ) = g ( g ( y ) ) = x , portanto y ~ x . Logo simtrica.

1

3. Sejam x, y, z X tais que x ~ y , e y ~ z , ento existem g , h G tais que y = g ( x ) e z = h ( y ) .

Portanto z = h ( y ) = h ( g ( y ) ) = hg ( x ) , implicando em x ~ z .
As classes de equivalncia, neste caso, sero dadas pelas rbitas dos elementos.
Proposio 2.2. Duas rbitas pela ao de um grupo ou so disjuntas ou coincidentes.
Demonstrao:
Suponhamos que Ox Oy , ento existe z Ox Oy , ou seja existem g , h G tais que
z = g ( x ) = h ( y ) . E desta igualdade temos que x = g 1h ( y ) e y = h1 g ( x ) .

Considerando

u ' Ox

temos

que

existe

k G

tal

que

w = k ( x) ,

ou

seja,

w = k ( x ) = k ( g 1h ( y ) ) = kg 1h ( y ) , donde podemos concluir que u ' Oy . Analogamente, seja

t Oy ento, existe l G tal que t = l ( y ) , ou seja t = l ( y ) = l ( h 1 g ( x ) ) = lh1 g ( x ) , donde podemos

concluir que t Ox . Portanto Ox = Oy .

Pelos resultados mostrados na proposio anterior podemos concluir que o conjunto quociente do
conjunto X pela relao de equivalncia definida pela ao do grupo G igual ao conjunto das rbitas dos
elementos de X, e denotaremos este quociente por X / G.
Alm do quociente, muitas vezes importante reconhecer subconjuntos de X que contenham apenas
um representante de cada rbita definida pela ao, estes subconjuntos so denominado domnios
fundamentais.

Definio 2.6. Seja uma ao de um grupo G sobre um conjunto X. Um subconjunto F X

dito

ser

um

domnio

fundamental

se,

para

todo

x X ,

existem

nicos

y F e g G tal que x = g ( y ) .

Podemos notar que, segundo esta definio, no pode haver dois elementos da mesma rbita no
domnio fundamental e todas as rbitas devem estar contempladas neste domnio, pois por definio deve ser
possvel atingir qualquer outro ponto de X agindo sobre pontos de F. A seguir veremos alguns exemplos para
conseguirmos distinguir as definies de conjunto quociente e domnio fundamental.

26

Exemplo 2.1. Seja o grupo aditivo Z agindo sobre reta real da seguinte maneira:

n ( x ) = x + n . fcil verificar que uma ao, pois

n ( m ( x ) ) = n ( x + m ) = x + m + n = n + m ( x ) e
0 ( x ) = x + o = x .

Dado um elemento x , sua rbita ser o conjunto

Ox = { x + n / n Z} .

Desta forma, tomando um intervalo da forma [n, n + 1[ , com n Z certamente teremos

um domnio fundamental, pois para quaisquer dois pontos, x, y deste intervalo, temos que
x y < 1 , portanto no podem existir dois pontos da mesma rbita neste intervalo. Alm disso,

seja x um nmero qualquer, ento

x = n + x n = n + ( x n x n ) + x n = x n n + ( x n x n ) onde a denota o maior inteiro

menor que a, e a a [ 0,1[ que a parte fracionria do nmero a. Desta forma, o nmero x
a ao do nmero inteiro x n sobre n + ( x n x n ) [ n, n + 1[ , o que mostra que este
intervalo um domnio fundamental.
Analisando por outro ngulo, o quociente o conjunto das rbitas, e podemos
caracteriza-lo como a circunferncia unitria atravs da funo
f : / Z S1
Ox ( cos ( 2 x ) , sen ( 2 x ) )

Se, Ox = Oy ento y = x + n , para algum nmero inteiro n. Podemos ver que esta
aplicao est bem definida. De fato,
f ( Oy ) = ( cos 2 y, sen2 y ) = ( cos 2 ( x + n ) , sen2 ( x + n ) )
= ( cos 2 x, sen2 x ) = f ( Ox )

Tambm

podemos

verificar

injetividade,

( cos 2 y, sen2 y ) = ( cos 2 x, sen 2 x ) , implicando em

pois

se

cos 2 y = cos 2 x

f ( Ox ) = f ( Oy ) ,

ento

e sen2 y = sen2 x . Isto

somente ocorre quando existe um n tal que y = x + n , ou ainda quando y Ox , que equivalente
a dizer que Ox = Oy . A sobrejetividade decorre imediatamente do fato de que todo ponto p S1

possui coordenadas p = ( cos , sen ) , para [ 0, 2 [ , assim p = f O .

27

Exemplo 2.2. Considere a ao do grupo multiplicativo ( * ,) sobre o plano 2 , excluindo a

origem, dado por ( x, y ) = ( x, y ) . fcil verificar que se trata de uma ao de grupo, de fato

( ( x, y ) ) = ( x y ) = ( x y ) = ( x, y )
1 ( x, y ) = (1 x,1 y ) = ( x, y )

. Dado um ponto no plano ( x, y ) 2 \ {( 0, 0 )} sua rbita dada pelo conjunto

O( x , y ) = {( x, y ) | * } ,

ou seja, a rbita de um ponto a reta que passa pela origem ( 0, 0 ) e pelo ponto dado, excluda a origem. Um
domnio fundamental pode ser dado pelo conjunto
F = {( cos , sen ) 2 | 0 < } ,
que , a semi-circunferncia de raio 1 ao redor da origem, excluindo o ponto ( 1, 0 ) . fcil ver que cada reta
passa pela origem cruza o conjunto F apenas uma vez, portanto, no h dois pontos pertencentes mesma
rbita em F. Mas, por outro lado temos que todo ( x, y ) 2 \ {( 0, 0 )} , com y 0 pode ser escrito como

( x, y ) = sign ( y )

x2 + y 2

sign

( y)

x +y

x
sign ( y ) x 2 + y 2

, sign ( y ) x 2 + y 2

y
sign ( y )

=
x 2 + y 2

x
y

,
,
sign ( y ) x 2 + y 2 sign ( y ) x 2 + y 2

x
y
F . Se y = 0 temos que ( x, 0 ) = x (1,0 ) .
onde
,
sign ( y ) x 2 + y 2 sign ( y ) x 2 + y 2

E ainda podemos caracterizar o quociente como a circunferncia unitria pela aplicao

f : 2 \ {( 0, 0 )} / * S1
O( x, y ) ( cos 2 , sen2 )

onde o ngulo que define a rbita do ponto no domnio fundamental. A injetividade e o fato de ser bem
definido decorrem naturalmente, j que a aplicao f definida a partir do domnio fundamental. A
sobrejetividade pode ser verificada, pois qualquer ponto ( cos , sen ) S1 pode ser visto como

28

f O .
cos , sen
2 2

Dada uma ao de um grupo G sobre um conjunto X, podemos definir outros subconjuntos que
caracterizaro tipos especficos de aes.

Definio 2.7. Considere uma ao de um grupo G sobre um conjunto X. O subgrupo estabilizador de um

elemento x X definido como Stabx = { g G | g ( x ) = x} .

Proposio 2.3. Seja G um grupo e : G Bij ( X ) uma ao de G em X. Para todo x X , Stabx

subgrupo de G.
Demonstrao: Sejam g , h Stabx , primeiramente notemos que
x = e ( x ) = h1h ( x ) = h1 ( h ( x ) ) = h1 ( x )

Portanto gh1 ( x ) = g h1 ( x ) = g ( x ) = x , logo gh 1 Stabx , o que mostra que Stabx

subgrupo de G.
Analogamente podemos falar do subgrupo estabilizador de um subconjunto

YX :

Staby = { g G | g (Y ) Y } .

Os elementos de um subconjunto no precisam ficar fixos pela ao do grupo, apenas suas rbitas
precisam estar contidas neste subconjunto. Quando StabY = G , dizemos que Y X um subconjunto
invariante pela ao do grupo G. Uma definio dual o conjunto dos pontos fixos pela ao de um
determinado elemento ou subgrupo de G.

Definio

2.8.

subconjunto

dos

pontos

fixos

de

um

elemento

g G

conjunto

Fixg = { x X | g ( x ) = x} . Se H G um subgrupo de G, o conjunto dos pontos fixos pela ao de H

definido por FixH = { x X | g ( x ) = x, g H } .

Definio 2.9. Definimos uma ao de G em X como sendo

1. Fiel, se dado g G tal que Fixg = X , ento g = e .
2. Livre, se dado g G tal que Fixg , ento g = e .
3. Transitiva, se Ox = X , para todo elemento x X . Ou, equivalente, se x, y X ento existe g G
tal que y = g ( x ) .

Exemplo 2.3. Consideremos o grupo

29

Aff ( ) = { f a ,b ( x ) = ax + b, a 0 e b } ,

e o conjunto X = {( x,1) | x } .
Uma ao de Aff ( ) sobre X pode ser dada por

a ,b

a b x
= ( f a ,b ( x ) ,1)
0 1 1

( x,1) =

b
b

Podemos ver que esta ao no livre, pois se a 1 temos que fa ,b

,1 =
,1 . A ao
1 a 1 a

transitiva pois ( y,1) = f1, y x ( x,1) .

Exemplo 2.4.

Um grupo G pode agir sobre um espao vetorial atravs de transformaes lineares

invertveis, ou seja, atravs de um homomorfismo de grupos : G GL (V ) . Este tipo especial de ao de

grupos chamado de representao linear de um grupo. O estudo destas representaes lineares de grupos
tornou-se uma ferramenta poderosa tanto em matemtica pura como tambm nas aplicaes, pois associa
tcnicas e resultados oriundos da teoria dos grupos com tcnicas de lgebra linear.

Teorema 2.1. Seja uma ao de um grupo G sobre um grupo H por automorfismos, isto
g G , g Aut ( H ) . Ento, o produto cartesiano H G pode ser munido com uma operao dada por

( h1 , g1 ) ( h2 , g2 ) = ( h1 g ( h2 ) , g1 g2 )
1

Com esta operao, o produto cartesiano investido de uma estrutura de grupo, denotado por
H G denominado produto semidireto de H por G. Alm disso

i1 : H H G

As incluses

(ii).

O subgrupo i1 ( H ) subgrupo normal.

(iii).

A ao de G em H escrita como um automorfismo interno de

h ( h, eG )

,e

i2 : G H G

(i).

g ( eH , g )

so monomorfismos de grupo.

H G , isto ,

i1 ( g ( h ) ) = i2 ( g ) i1 ( h ) ( i2 ( g ) ) .
1

Mas por outro lado, se K um grupo tal que

(a) Os grupos G e H so subgrupos de K e H K .
(b) Para todo k K existem g G e todo h H tal que k = hg , isto , K = HG .
(c) Para todo g G e todo h H , temos que gh = g ( h ) g ento
K H G .

30

Demonstrao: Primeiramente verificaremos que o produto cartesiano H G com a operao , de fato um

grupo:
I. Associatividade:

( h1 , g1 ) ( ( h2 , g2 ) ( h3 , g3 ) ) = ( h1 , g1 ) ( h2 g ( h3 ) , g2 g3 )
2

)
( (
)
= ( h ( h ) ( ( h ) ) , ( g g ) g )
= h1 g1 h2 g2 ( h3 ) g1 ( g 2 g3 )
1

g1

g1

g2

(
= (h (h ), g g ) (h g )

= h1 g1 ( h2 ) g1 g2 ( h3 ) , ( g1 g 2 ) g3
1

g1

(( h , g ) ( h , g )) ( h
1

g3 ) .

II. Elemento Neutro:

O elemento neutro do produto semidireto ( eH , eG ) H G . De fato, dado qualquer ( h, g ) H G
teremos que

( eH , eG ) ( h, g ) = ( eH e ( h ) eG g ) = ( h, g ) , e
G

( h, g ) ( eH , eG ) = ( h g ( eH ) , geG ) = ( heH , g ) = ( h, g ) .
III. Elemento Inverso: Seja

( h, g ) H G ,

vamos verificar que

( h, g )

princpio temos

( ( h ) , g ) ( h, g ) = ( ( h ) ( h ) , g g )
= ( ( h h ) , e )
= ( ( e ) , e )
1

g 1

g 1

g 1

g 1

g 1

= ( eH , eG ) .
Mas, por outro lado temos

( h, g ) ( g

( h ) , g ) = ( h ( ( h ) ) , gg
= ( h ( h ) , e )
= ( hh , e )
1

g 1

eG

= ( eH , eG ) .
Portanto ( H G, ) um grupo. Agora verificaremos os itens (i), (ii) e (iii).
1. Ento vamos verificar primeiramente que i1 homomorfismo:

= g 1 ( h 1 ) , g 1 , onde a

31

i1 ( h1 ) i1 ( h2 ) = ( h1 , eG ) ( h2 , eG )

= h1 eG ( h2 ) , eG eG

= ( h1h2 , eG )
= i1 ( h1h2 )
A injetividade de i1 facilmente verificada, pois se h ker ( i1 ) ento ( h, eg ) = ( eH , eG ) , logo h = eH .
Para a aplicao i2 temos

i2 ( g1 ) i2 ( g 2 ) = ( eH , g1 ) ( eH , g 2 ) = eH g1 ( eH ) , g1 g 2 = ( eH , g1 g 2 ) .

A injetividade de i2 , segue de forma anloga a utilizada em i1 .

2. Seja k H e ( h, g ) H G , ento

( h, g ) i1 ( k ) ( h, g )

= ( h, g ) ( k , eG ) g 1 ( h 1 ) , g 1

( (

)
= ( h , g ) ( k ( h ) , g )
= ( h ( k ( h ) ) , gg )
= ( h ( k ) ( h ) , e )

= ( h, g ) k eG g 1 ( h 1 ) , eG g 1
1

g 1

g 1

gg 1

= ( h g ( k ) h 1 , eG ) i1 ( H ) .

Portanto i1 ( H ) subgrupo normal do produto semidireto.

3. Seja k H e ( h, g ) H G , ento

i1 ( g ) i1 ( h ) ( i2 ( g ) ) = ( eH , g ) ( h, eG ) ( eH , g )
1

= ( eH , g ) ( h, eG ) g 1 ( eH ) , g 1

(
= ( e , g ) ( h, g )
= ( e ( h ) , gg )
= ( ( h ) , e )
=i ( ( h ) ) .

= ( eH , g ) h eG ( eH ) , eG g 1

Por outro lado, seja K um grupo satisfazendo os itens (a), (b), e (c) do enunciado, fcil ver que
eK = eH eG . Agora defina a aplicao

32

: K H G
hg ( h, g )

Podemos verificar que um homomorfismo de grupos, pois

( h1 , g1 ) ( h2 , g 2 ) = ( h1 , g1 ) ( h2 , g 2 ) = h1 g1 ( h2 ) , g1 g 2 e

) (

( ( h1 , g1 )( h2 , g 2 ) ) = h1 g1 ( h2 ) g1 g 2 = h1 g1 ( h2 ) , g1 g 2

Isto mostra que ( h1 , g1 ) ( h2 , g 2 ) = ( ( h1 , g1 )( h2 , g 2 ) ) .

Obtemos a injetividade de tomando h, g ker ( ) , ento
( hg ) = ( h, g ) = ( eH , eG ) ,
onde podemos concluir que
h = eH e g = eG ,
ou seja,
hg = eH eG = eK .
E enfim, a sobrejetividade de bvia, pois para qualquer

( h, g ) = ( hg ) . Portanto

( h, g ) H G

temos que

K H G .

Exemplo 2.5. Se G age sobre H trivialmente, isto , g = Id H g G ento G H G H , o produto direto

( h1 , g1 )( h2 , g 2 ) = ( h1 g ( h2 ) , g1 g 2 )
= ( h1h2 , g1 g 2 )
1

o exemplo mais simples de produto semidireto.

Exemplo 2.6. Se G age sobre si mesmo pela ao adjunta, ento G Ad G G G . Este isomorfismo dado
pela aplicao
: G G G Ad G

( g , h ) ( gh1 , h )
Para verificarmos o homomorfismo, temos que

33

( g1 , h1 ) ( g 2 , h2 ) = ( g1h11 , h1 ) ( g 2 h21 , h2 )

= g1h11 Ad h1 ( g 2 h21 ) , h1h2

= ( g h h g h h , h1h2 )
1
1 1
1

1 1
2 2 1

= g1 g 2 ( h1h2 ) , h1h2

= ( g1 g 2 , h1h2 )
= ( ( g1 , h1 )( g 2 , h2 ) )

Verificamos a injetividade tomando ( g , h ) ker ( ) , ento

( g , h ) = ( gh 1 , h ) = ( eG , eG ) ,

desta forma h = eG , e por conseqncia g = eG , o que implica em

( g , h ) = ( eG , eG ) ,
o que equivale a dizer que injetiva.
A sobrejetividade vem do fato de que

( g , h ) = ( ghh 1 , h ) = ( gh, h ) ,
concluindo a demonstrao do isomorfismo.
No prximo captulo, veremos mais um exemplo de produto semidireto, o grupo afim.

34

3. GEOMETRIA AFIM
A primeira estruturao da geometria ocorreu com a obra de Euclides, onde todos os objetos
geomtricos podiam ser representados em qualquer lugar do plano, sem qualquer posio privilegiada.
Com o advento da geometria analtica, com Descartes, um ponto privilegiado foi introduzido no plano,
a origem do sistema de coordenadas, e pela primeira vez, os objetos geomtricos podiam ser descritos
por meio de equaes algbricas, o que abria um sem nmero de possibilidades no que se refere ao
aspecto computacional.
Com a evoluo natural da geometria analtica, houve o surgimento da lgebra linear,
originando a estrutura de espao vetorial, e disso veio que em todo espao vetorial, existe um ponto
privilegiado, uma origem, que o vetor nulo. Desta forma, embora a estrutura de espao vetorial
permita uma versatilidade muito grande em termos de clculos, os espaos vetoriais no so apropriados
para descrever objetos ou espaos que apresentem uma homogeneidade espacial.
Tornou-se necessrio uma nova estrutura geomtrica que unificasse os dois aspectos, de um
lado, a homogeneidade do espao existente na geometria euclidiana, de outro lado, a estrutura algbrica
de espao vetorial. E para suprir esta necessidade apresentamos a estrutura de espao afim.
Definio 3.1. Definimos um espao afim (real) como uma tripla ( A, V , T ) , onde A um conjunto, V um
espao vetorial (sobre o corpo dos reais) e T uma ao livre e transitiva do grupo aditivo do espao vetorial
V sobre o conjunto A .

Temos a seguir algumas observaes decorrentes da definio de espao afim:

1. O espao afim por um abuso de notao, acaba sendo denotado por A.
2. A ao do espao vetorial V sobre o espao afim A dita ser uma ao por translaes. E o
grupo aditivo de V chamado o grupo de translaes do espao afim.
3. Por definio, a dimenso do espao afim a dimenso do espao vetorial que nele age livre e
transitivamente.
4. Sendo p A e v V , costuma-se denotar a translao Tv ( p ) por p + v , onde o sinal de adio
no implica que o espao afim seja munido de uma operao, apenas representa o translado de p
pelo vetor v.
5. Como a ao transitiva, dados quaisquer dois pontos p, q A existe v V tal que q = Tv ( p ) .

Neste caso, tambm costuma-se denotar o vetor v por q p , deixando claro que esta no uma
subtrao, apenas um smbolo para denotar o vetor que translada o ponto p no ponto q. A
unicidade da diferena q-p entre os pontos p e q em um espao afim consequncia da ao do
grupo aditivo do espao vetorial subjacente ser livre.
6. Dentro desta notao, podemos ver que Tv ( x ) - x = v para qualquer x A e qualquer v V , e
T( y x ) ( x ) = y para quaisquer x, y A .

Proposio 3.1. Seja ( A, V , T ) um espao afim. Ento

a)

x, y, z A

( x y) + ( x z) = x z ,

35

b)

x A x x = 0 ,

c)

x, y A y x = ( x y ) ,

d)

x, y, z , t A

( x y) + (z t ) = ( x t ) + ( z y) .

Demonstrao:

T( x y ) +( y z ) ( z ) = T( x y ) T( y z ) ( z )
= T( x y ) ( y )

a)

=x

)
.

= T( x z ) ( z ) .
Pelo fato de a ao T ser livre temos que ( x y ) + ( y z ) = ( x z ) .
b) T( x x ) ( x ) = x , novamente por T ser livre, temos que x x = 0 .

c) Da definio anterior temos

( x y) + ( y x) = x x = 0 = ( x y ) ( x y )
esta igualdade em V , ento subtraindo ( x y ) de ambos os lados, temos que y x = x y .

d) Vamos aplicar T( x y ) +( z t ) e T( x t ) +( z y ) as partes t

(
) ( T(

T( x y ) +( z y ) ( t ) = T( x y ) T( z t ) ( t ) = T( x y ) ( z )
= T( x y

z y)

( y ) ) = T( x y ) +( z y ) ( y )

= T( z y ) + ( x y ) ( y ) = T( z y ) T( x y ) ( t )

= T( z y ) ( x ) = T( z y ) T( x t ) ( t )

= T( z y ) + ( x t ) ( t ) = T( x t ) +( z y ) ( t ) .
Novamente o fato de T ser livre, temos que

( x y) + ( z t ) = ( x t ) + ( z y) .

Exemplo 3.1. Seja V um espao vetorial agindo sobre si mesmo da seguinte forma: Tv ( w ) = w + v . Isso faz
com que ( V, V, + ) seja um exemplo de espao afim. As propriedades de ao decorrem diretamente das
propriedades da soma no espao vetorial. E o fato de a ao ser livre tambm direto, pois se v + w = w para
algum w V , ento v = 0 . A transitividade da ao decorre do fato que se v, w V , ento

w = v + ( w v ) = Tw v ( v ) .
Teremos ainda, como caso particular que a reta real agindo sobre si mesma pela soma torna a
reta ( , , + ) um exemplo de espao a fim.

Em matemtica, ao definirmos uma estrutura torna-se necessrio definir os morfismos desta

36

estrutura, ou seja as funes entre os objetos compatveis com a estrutura dada. Por exemplo, nos espaos
vetoriais, definimos as transformaes lineares, para os grupos, definimos os homomorfismos de grupo, para
os espaos topolgicos, definimos as funes contnuas, etc. Desta forma para os espaos afins, temos a
necessidade de definir corretamente as funes entre espaos afins que sejam compatveis com a estrutura
afim, estas so as transformaes afins.

Definio 3.2. Uma transformao afim entre dois espaos afins, ( A, V , T ) e ( B, W,S ) um par

( f , Df )

onde f : A B uma funo e Df : V W uma transformao linear tal que para qualquer par de
pontos x, y A tenhamos f ( y ) f ( x ) = Df ( y x ) . A transformao linear Df denominada derivada de

f.
Equivalentemente, podemos definir uma transformao afim como um par

( f , Df )

tal que para

qualquer ponto x A e qualquer v V temos que

f (Tv ( x ) ) = S Df ( v ) f ( x ) .
De fato, seja y = Tv ( x ) , logo v = y x . Ento a frmula acima fica f ( y ) = f (Tv ( x ) ) = S Df ( y x ) f ( x ) , o que
significa que f ( y ) f ( x ) = Df ( y x ) , o que garante que

( f , Df ) uma transformao afim. Temos por

outro lado, que se v = y x , ento f ( y ) f ( x ) = Df ( y x ) , de onde vem que

f ( y ) = S Df ( y x ) f ( x )
f (Tv ( x ) ) = S Df ( y x ) f ( x ) .
= S Df ( v ) f ( x )

Proposio 3.2. Uma transformao afim est unicamente determinada pela funo f : A B .
Demonstrao: Suponha que os pares

( f , D1 f )

( f , D2 f )

definam duas transformaes afins,

mostraremos que as transformaes lineares D1 f e D2 f so iguais. Fixemos x0 A e tomemos qualquer

v V . Ento
D1 f ( v ) = f (Tv ( x0 ) ) f ( x0 )
= D2 f ( v )

Portanto D1 f ( v ) = D2 f ( v ) , v V , o que implica na igualdade entre as derivadas.

Observando, que este resultado nos permite referir a transformao afim apenas pela funo f : A B .

Exemplo 3.2. Seja ( A, V , T ) um espao afim e v V , ento a translao por v, isto , a funo

37

Tv : A A
p Tv ( p )

uma transformao afim, com

DTv = Id V . A fim de verificar a informao, tomemos x, y A , e

definamos w = y x e z = Tv ( x ) . Logo

Tv ( y ) Tv ( x ) = Tv (Tw ( x ) ) z
= Tv + w ( x ) z
= Tw (Tv ( x ) ) z
= Tw ( z ) z
=w
= yx
= Id ( y x ) .

Portanto, obtemos o resultado enunciado.

Exemplo 3.3. A identidade uma transformao afim e DId A = Id A :

x, y A Id A ( y ) = Id V ( x )
= Id V ( y x )

Exemplo 3.4. Qualquer transformao linear T : V V , em ( V, V, + ) uma transformao afim com

DT = T :
De fato, sejam v, w V
T ( v ) T ( w) = T ( v w)

Exemplo 3.5. Sejam ( A, V , T ) um espao afim e x0 A um ponto fixo. Tome a funo

f :A V
x x x0
Esta funo afim com Df = Id V .
De fato, sejam x, y A

f ( y ) f ( x ) = ( y x0 ) ( x x0 )
= ( y x0 ) + ( x0 x )
= ( y x ) + ( x0 x0 )
= ( y x) + 0
= yx
= Id V ( y x )

38

Proposio 3.3. (Regra da Cadeia) Sejam f : A1 A 2 e g : A 2 A 3 duas transformaes afins, ento a

composta g  f : A1 A 3 tambm uma transformao afim e D ( g  f ) : Dg  Df .
Demonstrao: Seja x, y A1 , ento temos
f ( y ) f ( x ) = Df ( y x )
Logo,
g  f ( y ) g  f ( x ) = g ( f ( y )) g ( f ( x ))
= Dg ( f ( y ) - f ( x ) )

= Dg ( Df ( y x ) )
= Dg  Df ( y x )

concluindo a demonstrao.

Proposio 3.4. Sejam ( A, V , T ) e ( B, W,S ) dois espaos afins, e seja f : A B uma transformao que
uma funo bijetiva. Ento:
1.

Df : V W um isomorfismo de espaos vetoriais.

2.

f 1 : B A uma transformao afim.

3.

D ( f 1 ) = ( Df ) .
1

Demonstrao:
(1) Seja v ker Df e fixe x A , ento

f (Tv ( x ) ) f ( x ) = Df (Tv ( x ) x )
= Df ( v )
=0
Ento f (Tv ( x ) ) = S0 ( f ( x ) ) = f ( x ) . Pela injetividade de f, podemos concluir que Tv ( x ) = x , mas
como T uma ao livre, ento v deixa algum ponto fixo, e logo, que v = 0 , portanto Df uma
transformao linear injetiva.
Verifiquemos agora a sobrejetividade. Seja w W , fixe y B , pela sobrejetividade de f, temos que
y = f ( x ) para algum x A , da mesma forma que Tw ( y ) = f ( z ) para algum z A , assim
w = Tw ( y ) y = f ( z ) f ( x )
= Df ( z x )

Assim, Df uma transformao linear sobrejetora. Conclumos, ento que Df um isomorfismo

entre V e W.

39

Vejamos agora os itens (2) e (3). Sejam y1 , y2 B , ento

y2 y1 = f ( f 1 ( y2 ) ) f ( f 1 ( y1 ) )
= Df ( f 1 ( y2 ) f 1 ( y1 ) )

Mas por outro lado, temos que

y2 y1 = Df

( ( Df )

( y2 y1 ) ) ,

Das duas informaes resulta que

Df ( f 1 ( y2 ) f 1 ( y1 ) ) = Df

(( Df )

( y2 y1 ) ) ,

E ainda vimos no item (1) que Df injetiva, o que nos leva a seguinte igualdade
f 1 ( y2 ) f 1 ( y1 ) = ( Df )

( y2 y1 )

o que mostra que f 1 uma transformao afim e que D ( f 1 ) = ( Df ) .

1

Definio 3.3. Diremos que ( A, V , T ) e ( B, W,S ) so dois espaos afins isomorfos se existir f : A B
uma transformao bijetiva entre eles. Esta transformao afim ser denominada um isomorfismo de espaos
afins.

Teorema 3.1. (Teorema da Reconstruo) Sejam ( A, V , T ) e ( B, W,S ) dois espaos afins. Para todo par de
pontos x A e y B e para toda transformao linear g : V W , existem uma nica transformao afim
f : A B tal que f ( x ) = y e Df = g .
Demonstrao: Suponhamos x A e y B e g : V V uma transformao linear. Associe para
todo z A o elemento
f ( z ) = Sg ( z x) ( y ) B

Iremos verificar que a aplicao

f :A B
,
z f ( z)

uma transformao afim e que Df = g . De fato, sejam z , t A , ento

40

f ( z ) f ( t ) = S g ( z x ) ( y ) S g (t x ) ( y )
= S g ( z t +t x ) ( y ) S g ( t x ) ( y )
= S g ( z t ) + g ( t x ) ( y ) S g ( t x ) ( y )

= S g ( z t ) S g (t x ) ( y ) S g ( t x ) ( y )
= g (z t)

Para verificarmos a unicidade vamos supor que existe outra transformao afim F : A B tal que
F ( x ) = y e DF = g , ento, tomando qualquer z A temos

w = F ( z) y = F ( z) F ( x)
= DF ( z x )
= g ( z x)
= f ( z ) f ( x)
= f (z) y
Desta forma, F ( z ) = f ( z ) = S w ( y ) , como esta igualdade vale para todo z A temos que F = f .

Corolrio 3.1. Sejam ( A, V , T ) e ( B, W,S ) dois espaos afins. Duas transformaes afins f1 , f 2 : A B
possuem a mesma derivada se, e somente se, existir um vetor w W tal que f 2 = S w  f1 .
Demonstrao:

( ) Suponhamos que

Df1 = Df 2 . Fixemos x A , e sejam y1 = f1 ( x ) e y2 = f 2 ( x ) . Vamos mostrar

que f 2 = S w  f1 onde w = y2 y1 .
Tome z A , existe v V tal que z = Tv ( x ) ento

f 2 ( z ) = f 2 (Tv ( x ) )
= S Df2 ( v ) f 2 ( x )
= S Df1 ( v ) S f2 ( x ) f1 ( x ) ( f1 ( x ) )
= S Df1 ( v ) + w ( f1 ( x ) )

= S w S Df1 ( v ) f1 ( x )

= S w f1 (Tv ( x ) )
= S w ( f1 ( z ) )

( ) Se

f 2 = S w  f1 , ento fixamos x A, v V

41

Df 2 ( v ) = Df 2 (Tv ( x ) x )
= f 2 (Tv ( x ) ) f 2 ( x )

= S w f1 (Tv ( x ) ) S w ( f1 ( x ) )

= DS w f1 (Tv ( x ) ) f1 ( x )

= f1 (Tv ( x ) ) f1 ( x )
= Df1 (Tv ( x ) x )
= Df1 ( v )

O corolrio que acabamos de ver nos auxilia na caracterizao de uma transformao afim
basicamente por uma transformao linear e uma translao. Este fato nos permite escrever uma
transformao afim em coordenadas:
Sejam ( A, V , T ) e ( B, W,S ) dois espaos afins, fixe um ponto a A e um ponto a B como sendo
as respectivas origens de um sistema de coordenadas. Fixemos ainda, uma base {e1 ,..., en } em V e uma base

{ f1 ,..., f m }

em W. Desta forma, para qualquer x A temos que

x a = v = vi ei .
i =1

Considere agora uma transformao afim f : A B . Ento podemos escrever para qualquer x A

f ( x) a = f ( x) a + f (a) f (a)
= f ( x) f (a) + f (a) a
= Df ( x a ) + f ( a ) a
= Df ( v ) + b,

onde b = f ( a ) a W . Com o auxilio das duas bases podemos escrever a matriz da transformao linear
Df, que denotaremos por A = ( aij ) M mn ( ) de forma que
ij

Df ( e j ) = aij f i .
i =1

Portanto temos que

42

f ( x ) = a + Df ( v ) + b
n

j =1

i =1

= a + v j Df ( e j ) + bi f i
n m

= a + aij vi + bi f i
i =1 j =1

e em coordenadas afins teremos que

f ( x ) = aij vi + bi
i

j =1

Ou seja, uma transformao afim, essencialmente, uma transformao linear mais uma translao.

Proposio 3.5. Seja ( A, V , T ) um espao afim, e Aff ( A ) o grupo das transformaes afins bijetivas em A.
Ento Aff ( A ) / V GL ( V ) .
Demonstrao: Como demonstramos anteriormente, pela regra da cadeia temos que
D : Aff ( A ) GL ( V )
f Df

um homomorfismo de grupos, e pelo teorema da reconstruo, dado qualquer isomorfismo linear

g GL ( V ) possvel construir uma infinidade de transformaes afins f tais que Df = g , escolhendo um
par de pontos a, b A de forma que f ( a ) = b . Podemos afirmar ainda que qualquer uma destas
transformaes afins assim construdas so bijetivas, ou seja, que

f Aff ( A ) . Portanto, D um

epimorfismo. E neste caso o corolrio do teorema de homomorfismos de grupos nos afirma que
GL ( V ) Aff ( A ) / ker ( D ) . O que nos resta calcular o kernel do homomorfismo D. Para isto, tomemos
f ker ( D ) , ou seja, Df = Id V , fixemos um ponto a A e denotemos por b sua imagem pela funo f, isto ,
b = f ( a ) . Mostraremos que f = T(b a ) , de fato para qualquer x A
f ( x ) x = f ( x ) x + ( a f ( a )) + ( f ( a ) a )
= ( f ( x ) f ( a )) + ( a x ) + (b a )
= Df ( x a ) + ( a x ) + ( b a )
= ( x a) + ( a x ) + (b a)
=ba
Assim f ( x ) = T(b a ) ( x ) , e como isso vale para qualquer ponto, ento f = Tb a . Seguindo o mesmo
clculo feito acima mostra que poderamos ter iniciado com qualquer ponto c A para definirmos o vetor de

43

translao, uma vez que f ( c ) c = f ( a ) a . Identificando um vetor v V com sua translao Tv

mostramos com o que foi exposto acima que ker ( D ) V . Mas por outro lado, vimos que toda translao
possui como derivada a funo Id V implicando em V ker ( D ) . O que prova que V = ker ( D ) , e
consequentemente Aff ( A ) / V GL ( V ) .

Teorema 3.2. Seja ( A, V , T ) um espao afim, e Aff ( A ) o grupo das transformaes afins bijetivas em A.
Ento Aff ( A ) V GL ( V ) , onde este grupo o produto semidireto de V por GL ( V ) com a ao de
GL ( V ) sobre V por transformaes lineares.
Demonstrao: A principio fixemos a A como a origem do espao afim. Ento, para qualquer
f Aff ( A ) defina v f = f ( a ) a . Defina a aplicao

: Aff ( A ) V GL ( V )
f ( v f , Df )

Verificamos que esta aplicao est bem definida, pois dada uma transformao afim f, sua derivada
e o valor do ponto a por f esto unicamente definidos pelo teorema da reconstruo.
Verifiquemos que homomorfismo de grupos: Seja f , g Aff ( A ) , ento primeiramente pela
regra da cadeia, sabemos que D ( g  f ) = Dg  Df e
vg  f = g  f ( a ) a
= g ( f ( a )) a + ( g ( a ) g ( a ))

= g ( f ( a )) g ( a ) + ( g ( a ) a )
= Dg ( v f ) + vg

Assim

( g  f ) = vg + Dg ( v f ) , Dg  Df

= ( vg , Dg ) ( v f , Df )
= (g)( f )

o que significa que homomorfismo de grupos.

Para mostrarmos a injetividade, seja f ker ( ) , ento ( f ) = ( 0, Id V ) . Disso, conclumos que
Df = Id V . Como vimos anteriormente, existe v V tal que f = Tv . Por outro lado, como v f = 0 , temos que
0 = v f = f ( a ) a = Tv ( a ) a = v
desta forma, f = T0 , ou seja, para qualquer x A tem-se que f ( x ) = T0 ( x ) = x = Id A ( x ) . Portanto f = Id A .

44

A sobrejetividade de

( v, g ) V GL ( V )

decorre do teorema da reconstruo, pois dado um elemento

existe uma nica transformao linear F Aff ( A ) tal que DF = g e F ( a ) = Tv ( a ) .

Com isso temos o isomorfismo.

45

CONSIDERAES FINAIS

Com a contemplao dos conhecimentos bsicos dos conceitos de lgebra linear, seguindo pela
descrio das noes bsicas de Grupos, Subgrupos e Homomorfismo de Grupos, passamos para as Aes de
Grupos e suas propriedades, chegando enfim na Geometria Afim. Com isso encerramos nosso estudo e
esperamos ter contribudo positivamente para o enriquecimento da compreenso matemtica, motivando o
leitor a aprofundar seus estudos neste assunto.

46

REFERNCIAS

BATISTA, Elieser. Aes de Grupos e Geometria. V Bienal da Sociedade Brasileira de Matemtica

Universidade Federal da Paraba 18 a 22 de outubro de 2010.
EVES, Howard; traduo: DOMINGUES, Hygino H. Introduo Histria da Matemtica. Campinas,
SP: Editora da Unicamp, 2004.
DOMINGUES, Hyguino H. lgebra Moderna - 4. ed. reform. So Paulo, SP: Atual, 2003.
ALVES, Maria Bernardete Martins; ARRUDA, Susana Margareth. Como fazer referncias: bibliogrficas,
eletrnicas e demais formas de documento. Florianpolis: Universidade Federal de Santa Catarina, Biblioteca
Universitria, c2001. Disponvel em: <http://www.bu.ufsc.br/design/framerefer.php>. Acesso em: 19 fev.
2010.
ASSOCIO BRASILEIRA DE NORMAS TCNICAS. NBR 10520: informao e documentao:
citaes em documentos: apresentao. Rio de Janeiro, 2002.
DUZHIN, S.V.; CHEBOTAREVSKII, B.D. Transformation Groups for Beginners. AMS (2004).
KOSTRIKIN, A.I.; MANIN, Yu. I. Linear Algebra and Geometry. CRC Press (1989)
ROTMAN, J.J. A First Course in Abstract Algebras with Applications. Person Prentice Hall (2006).
SATTINGER; D.H.; WEAVER, O.L.; Lie Groups and Algebras with Applications to Physics, Geometry,
and Mechanics. Springer Verlag (1993).
SPINDLER, K.; Abstract Algebra with Applications in Two Volumes: Volume I, Vector Spaces and
Groups. Marcel Dekker (1994).