Grupos de Simetria PDF

Universidade Federal de So Carlos
Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica
Grupos de Simetria I
Autor:
Lucas Fabiano Lima
Orientadora:
Prof. Dra. Natalia Andrea Viana Bedoya
Disciplina: Trabalho de Concluso do Curso A
Curso:
Licenciatura em Matemtica
Professores Responsveis:
Karina Schiabel Silva

Tomas Edson Barros
Vera Lcia Carbone
So Carlos, 15 de julho de 2011.
Grupos de Simetria I
Autor:
Lucas Fabiano Lima
Orientador:
Prof. Dra. Natalia Andrea Viana Bedoya
Disciplina: Trabalho de Concluso do Curso A
Curso:
Licenciatura em Matemtica
Professores Responsveis:
Karina Schiabel Silva

Tomas Edson Barros
Vera Lcia Carbone
Instituio:
Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica
Lucas Fabiano Lima
Natalia Andrea Viana Bedoya
Agradecimentos
Agradeo a todos que me ajudaram neste trabalho. Principalmente aos mais prximos.
Resumo
Neste trabalho estudamos o conceito de grupo de simetria apoiados na geometria de
uma placa hexagonal, de uma pirmide e dos slidos de Plato. Podemos resumir o contedo estudado em dois resultados principais:
1.
Os grupos de simetria rotacional do tetraedro, da pirmide de base dodecagonal e da
placa hexagonal no so isomorfos.
2.
O grupo de simetria rotacional do tetraedro isomorfo a
so isomorfos a
S4 ,
A4 ,
o do cubo e do octaedro
enquanto que os do dodecaedro e icosaedro so isomorfos a
A5 .
iv
Sumrio
Introduo
vii
1 Simetrias do tetraedro
1.1
Exerccios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Axiomas
2.1
Exerccios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Nmeros
3.1
11
18
Exerccios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 Grupos Diedrais
Dn
4.1
O grupo
4.2
Exerccios
20
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
5 Subgrupos e Geradores
36
5.1
Geradores
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
5.2
Exerccios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
6 Permutaes
6.1
Exerccios
48
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7 Isomorsmos
53
57
7.1
Comparando grupos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
7.2
Buscando isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
7.3
Resultados Sobre os trs primeiros slidos
61
. . . . . . . . . . . . . . . . . .
8 Slidos de Plato e o Teorema de Cayley

8.1
Exerccios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
72
Lista de Figuras
1.1
Tetraedro com os eixos de rotao.
[1]
. . . . . . . . . . . . . . . . . . . . .
1.4
[1]
Pirmide com seu nico eixo de rotao.[1]
Aplicao das rotaes r e s.[1] . . . . . .
1.5
Slido obtido aps colarmos dois tetraedros.
1.6
Cubo com seus trs tipos de eixos de simetria rotacional.
1.7
srs comparada a rotao com eixo passando pelo 4. . . . . . . . . . . .

rsrr comparada a rotao com eixo passando pelos pontos mdios de 12
34. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
1.3
1.8
Placa hexagonal com eixos de rotao.
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
[1] .
. . . . . . . .
. .
5
6
6
e
. .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9
Igualdade de rotaes.
2.1
Cristal de Neve.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Sobrejeo de uma isometria . . . . . . . . . . . . . . . . . . . . . . . . . .
15
4.1
Placa triagonal.
4.2
5.1
Placa hexagonal com triangular inscrita
5.2
Hexgono regular e suas simetrias.
7.1
Tabuleiro de xadrez e suas simetrias planas.
7.2
Tetraedro com vertices enumerados.
8.1
Slidos de Plato.
8.2
Cubo com os eixos de rotao.
8.3
Octaedro inscrito no cubo.
8.4
Um dos 5 cubos inscritos no dodecaedro.
8.5
Tetraedro inscrito.
8.6
Cubo com faixas.
[1]
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
aplicadas na placa triangular.
[1]
[1]
O smbolo
[1]
. . . . . . . . . . . . . . . . . . . . .
[1] .
25
26
. . . . . . . . . . . . . . . . .
36
. . . . . . . . . . . . . . . . . . . . . .
44
[1]
. . . . . . . . . . . . . . .
57
. . . . . . . . . . . . . . . . . . . .
59
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
[1]
Observao:
ograa.
[1]
[1]
[1]
. . . . . . . . . . . . . . . . . . . . . . .
69
. . . . . . . . . . . . . . . . . . . . . . . . .
70
[1]
. . . . . . . . . . . . . . . . .
71
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
[1] indica que a gura foi retirada da referncia [1] da bibli-
vi
Lista de Tabelas
4.4
D3 .
Tbua de multiplicao de D4
Ordem dos elementos em Z5 . .
Ordem dos elementos em Z9 .
4.5
Inversos de cada elemento
. . . . . . . . . . . . . . . . . . . . . . . . . . .
31
4.6
Ordem de cada elemento . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
6.1
Tbua de multiplicao de
. . . . . . . . . . . . . . . . . . . . . . . . .
53
7.1
Tbua de multiplicao simetrias planas do tabuleiro. . . . . . . . . . . . .
58
7.2
Tbua de multiplicao do conjunto denido acima. . . . . . . . . . . . . .
58
7.3
Tbua de multiplicao do conjunto
A.
. . . . . . . . . . . . . . . . . . . .
62
7.4
Tbua de multiplicao do conjunto.
. . . . . . . . . . . . . . . . . . . . .
62
4.1
4.2
4.3
Tbua de multiplicao de
S3 .
. . . . . . . . . . . . . . . . . . . . . . . . .
27
. . . . . . . . . . . . . . . . . . . . . . . . .
29
. . . . . . . . . . . . . . . . . . . . . . . . .
30
. . . . . . . . . . . . . . . . . . . . . . . . .
31
vii
Introduo
A teoria de grupos um ramo da Matemtica que estuda estruturas algbricas chamadas
de grupos. Podemos estudar estas estruturas desconexas de qualquer tipo de aplicao,
apenas visando o desenvolvimento da prpria teoria. Por outro lado esta teoria aparece
tambm em outras cincias, como na Fsica e na Qumica, onde utilizada principalmente
para capturar simetrias internas de uma estrutra, atravs de isomorsmos de grupo.
Simetrias
no Tetraedro, Axiomas, Nmeros, Grupos Diedrais, Subgrupos e Geradores,
Permutaes, Isomorsmos, Slidos de Plato e o Teorema de Cayley, seguindo
O presente trabalho est dividido em oito captulos cujos ttulos so :
a referncia
[1](
Armstrong Mark Anthony.
Groups and symmetry
. Undergraduate Texts
in Mathematics, Springer-Verlag, New York, 1988.). Visando um melhor aproveitamento

desta oportunidade de estudar um novo assunto, nosso alvo neste trabalho so os exerccios propostos, e nosso objetivo principal tentar resolv-los.
A motivao deste projeto est no desejo do aluno em conhecer aplicaes da estrutura

algbrica de grupo em um contexto diferente do matemtico.
Captulo 1
Simetrias do tetraedro
Comearemos nosso trabalho tentando responder a uma pergunta: Quantas simetrias o
tetraedro possui?
Para respondermos esta pergunta devemos primeiro entender qual o conceito de simetria.
Simetria, em nosso trabalho signicar a preservao da estrutura geomtrica de um
determinado elemento de um espao arbitrrio.
Abordaremos simetrias em slidos e
tambm em guras planas. Por exemplo, uma simetria do tetraedro seria uma cpia do
tetraedro com a mesma estrutura original mas com os vrtices, lados ou arestas trocados
de lugar.
Note que estas novas posies do tetraedro so obtidas atravs de rotaes,
reexes, etc, operaes que atuam em eixos diferentes.
Associaremos assim, a cada
simetria a operao que induziu tal disposio das arestas, vrtices e faces.
esta relao, nos referiremos a rotaes, reexes, etc, como simetrias.
tetraedro na gura abaixo notamos quatro eixos do tipo
Devido a
Observando o
de simetria rotacional. Cada
um destes eixos nos gera duas rotaes no sentido anti-horrio, proporcionando um total
de
simetrias. Existem ainda trs eixos do tipo
M,
onde existe apenas uma rotao de
em cada um, portanto resultando em mais trs simetrias.
identidade, que pode ser obtida a partir de uma rotao de

Somando-se todas estas simetrias, temos um total de
Por m, existe a simetria

em qualquer um dos eixos.
12 simetrias rotacionais no tetraedro.
[1]
Figura 1.1: Tetraedro com os eixos de rotao.
1. Simetrias do tetraedro
Podemos ainda contar da mesma forma quanta simetria existe em uma placa hexagonal
como a da gura abaixo. Observe que existem
eixos do tipo
M,
cada um destes eixos
nos fornecem apenas uma simetria ( no sentido anti-horario). Existem ainda trs eixos
do tipo
L,
cada um descrevendo tambm apenas uma simetria cada ( no sentido anti-
P no centro da placa hexagonal, que nos

simetrias, (as rotaes de /3,2/3, , 4/3 ,5/3 no sentido anti-horrio).
esquecendo da identidade, temos um total de 12 simetrias.
horario).
Temos tambm um eixo
Figura 1.2: Placa hexagonal com eixos de rotao.
fornece
No nos
[1]
Observemos agora um terceiro slido, a pirmide de base dodecadrica evidenciada

pela gura abaixo. Note que nesta pirmide existe apenas um eixo de rotao, que passa
pelo vrtice de encontro das arestas e pelo centro da base.
obtidas a partir das
12
12 simetrias
1 k 12).
Temos ento
rotaes no sentido anti-horrio (k/6 para
[1]
Figura 1.3: Pirmide com seu nico eixo de rotao.
Podemos notar o mesmo nmero de simetrias rotacionais nestes trs slidos, mas claramente estas simetrias no so as mesmas.
A diferena mais gritante o fato de que a
pirmide possui apenas um eixo de simetria, onde apenas uma rotao de

anti-horrio repetida
/6
no sentido
12 vezes faz com que a pirmide volte a sua posio inicial.
Olhando
para a placa ou o tetraedro, no existe uma rotao que, quando repetida nos fornece as
outras rotaes, diferentemente da pirmide, onde isto ocorre.
Podemos notar ainda outras diferenas, basta nos atentarmos a forma como combinamos as simetrias em cada um dos casos. Note que na pirmide as rotaes comutam,
isto , se tomarmos quaisquer duas rotaes e executarmos uma depois a outra o resultado ser o mesmo se invertermos a ordem de execuo, isto se deve ao fato de todas as
rotaes serem em torno do mesmo eixo. Propriedade que j no acontece no tetraedro
nem na placa hexagonal. Faamos um experimento com o tetraedro.
r (2/3 em L) e
depois s ( em M ). E depois invertendo a ordem, aplicando primeiro s depois r , obtemos
o esquema da Figura 1.4.
Marcando seus vrtices com os nmeros
1, 2, 3, 4
e aplicando a rotao
Figura 1.4: Aplicao das rotaes
Ambas rotaes
s.[1]
so pensadas como movimentos rgidos no espao, cada uma
delas possui um eixo xo no espao e rotacionam o tetraedro

Uma observao valiosa que a placa hexagonal possui
sobre si mesmo.
simetrias que, quando combi-
nadas consigo mesmas, fornecem a identidade, so elas: as trs rotaes de

anti-horario dos trs eixos
de
e dos trs eixos
M,
no sentido
resultando em 6, existe ainda a rotao
em torno do eixo central. J no tetraedro existem apenas 3, que so as trs rotaes
de
em torno de cada um dos trs eixos
M.
Geometricamente vemos que estas trs rotaes do tetraedro comutam entre si, enquanto
6,
que apenas uma da placa comuta com as outras
esta rotao a de
em torno do eixo
central.
Observe que queremos uma medida que nos fornea mais informaes sobre as simetrias
em cada um dos slidos, para isto no basta apenas cont-las, mas tambm saber qual
o comportamento quando combinadas entre si.
Grupo de Simetria.
Para isto introduziremos o conceito de
O conjunto das simetrias rotacionais de
possui uma certa estrutura
algbrica.
Dadas duas rotaes
, podemos "combin-las"operando primeiro
produzirmos uma nova rotao que tambm atua em

si mesmo, escrevemos esta rotao como
uv
e depois
para
T , fazendo-o rotacionar em torno de
(convencionalmente a notao utilizada para
composio de funes).
A rotao identidade, que denotamos por
se comporta de maneira especial, sempre
u, independentemente da ordem em que se faa

rotao u. Ou seja temos sempre ue = u e eu = u para
quando combinada com outra rotao

isto, o resultado sempre ser a
toda simetria
Cada rotao
u possui a rotao chamada inversa, u1
de
T.
que tambm gera uma simetria de
e satisfaz
uu1 = e = u1 u.
Para obter tal rotao
u1 ,
basta rotacionar no mesmo eixo de que
mento mas no sentido oposto de

rotao de
u.
rr,
ou seja a
no sentido horrio.
as duas rotaes
vw,
pelo mesmo argu-
Por exemplo, a rotao inversa de
Por m, se tomarmos trs rotaes
de
u,
u, v
e o resultado operado
T , no importa se operarmos primeiro

com w , ou se operamos u com o resultado
de
o resultado sempre a mesma rotao, ou seja
(uv)w = u(vw).
para quaisquer
u, v
rotaes de
T.
Resumindo o que zemos at agora: Oservamos que as 12 rotaes do tetraedro representam 12 simetrias rotacionais diferentes do tetraedro
T.
Sendo assim, podemos colocar
todas estas rotaes em um conjunto e munir este conjunto pela operao de composio
de funes, neste caso rotaes.
Conseguimos algumas propriedades dentro deste con-
junto, que nos garantem que este conjunto munido desta operao consiste em ser o
Grupo de simetria rotacional

captulo seguinte.
do tetraedro.
Vamos formalizar a estrutura de grupo no
1.1 Exerccios
1.1) Cole duas cpias de um tetraedro regular de forma que eles possuam uma face triangular em comum, trabalhe ento em todas as simetrias rotacionais que este novo slido
possui.
Soluo:
Figura 1.5: Slido obtido aps colarmos dois tetraedros.
Observando a gura acima, notamos que nosso novo slido possui um eixo central
nos gera 2 simetrias a partir das rotaes de
tipo
2/3 4/3
que
existem ainda mais dois eixos do
cada um gera apenas uma simetria aps um giro de
totalizando 3 simetrias.
Sendo assim temos um total de cinco simetrias diferentes da identidade. Ou seja, contando todas, temos apenas seis simetrias rotacionais.
1.2) Encontre todas as simetrias rotacionais de um cubo.

Soluo:
A gura abaixo evidencia os eixos de simetria do cubo, no captulo
de simetrias rotacionais no cubo so 24.
veremos que o total
Figura 1.6: Cubo com seus trs tipos de eixos de simetria rotacional.
[1]
1.3) Adotando a notao da Figura 1.4, mostre que os eixos da rotao composta srs
passa pelo vrtice 4 e o eixo de rsrr determinado pelos pontos mdios das arestas 12 e
34.
Soluo:
As imagens abaixo ilustram o pedido :
Figura 1.7:
srs
comparada a rotao com eixo passando pelo 4.
Figura 1.8:
rsrr
comparada a rotao com eixo passando pelos pontos mdios de
12 e 34.
1.5) Novamente, com a notao utilizada na Figura 1.4, cheque que r1 = rr, s1 =
s, (rs)1 = srr, e(sr)1 = rrs.
Soluo: Assumindo que (rs)1 = s1 r1
temos o seguinte esquema:
Figura 1.9: Igualdade de rotaes.
Captulo 2
Axiomas
No captulo anterior denimos a noo de grupo usando as simetrias do tetraedro como
guia. O primeiro ingrediente para obtermos um grupo um conjunto , o segundo, uma
regra que nos permite combinar qualquer par ordenado
x, y de elementos de um conjunto e
obter um nico "produto"xy que tambm pertence ao conjunto. Esta regra geralmente
chamada de
multiplicao
Denio 2.1.
em um determinado conjunto.
Um grupo
um conjunto munido de uma multiplicao em
que
satisfaz trs axiomas
i)
A multiplicao associativa, ou seja , para quaisquer
x, y, z G
temos
(xy)z = x(yz).
ii) Existe um elemento e G chamado elemento neutro, ele tal que , para qualquer
x G temos
xe = x = ex.
iii)
Para cada
xG
existe o chamado elemento inverso de
que satisfaz
x1 x = e = xx1 .
Observao
2.2
Note que por simplicidade no exibiremos nenhum caractere para a ope-
rao de multiplicao em um grupo.

Esta estrutura de grupo aparece em muitas outras situaes alm do grupo de simetria
rotacional do tetraedro. Por exemplo se munirmos a reta real com a operao usual de
adio.
Teremos a associativa, a reta contm o
tambm para todo nmero real
R.
existe
que atuar como elemento neutro e
que tambm real. Assim obtemos o grupo
Note que neste caso as palavras "produto" e "multiplicao" se levadas ao p da
letra, no fazem sentido, mas em termos de grupos, a "multiplicao" ser utilizada para
nomear a operao do grupo, assim como a palavra "produto" que ser utilizada para
2. Axiomas
Figura 2.1: Cristal de Neve.
[1]
quando dois elementos so operados.

Onde as simetrias podem ser teis?
simetrias uma molcula em particular
Um qumico pode estar interessado em quantas
CH4
por exemplo (metano) pode ser pensada como
tendo um ncleo de carbono no centro do tetraedro regular, com quatro hidrognios nos
vrtices do tetraedro.
A molcula de Benzeno
C6 H6
por outro lado modelada por
uma estrutura hexagonal, com um carbono e um hidrognio em cada vrtice.(A simetria

hexagonal comum na natureza, acima o cristal de neve).
De nossa experincia com
o tetraedro, e o hexgono, sabemos que a ordem em que se combinam duas simetrias

importa. Desta forma existe uma diferena quando tomamos um par de elementos de um
grupo na ordem
x, y
ou na ordem oposta
e no segundo o elemento
yx,
y , x.
No primeiro caso, obtemos o elemento
xy ,
que no precisam necessariamente serem iguais.
Outro exemplo pode ser um fsico aprendendo relatividade, ele conhecer o grupo de
Lorentz, cujo os elementos so matrizes da forma
"
A=
cosh(u)
senh(u)
senh(u)
cosh(u)
#
()
Estes elementos so combinados atravs da operao de multiplicao usual de matrizes.
2. Axiomas
10
Note que cosh(u), e senh(u) so funes hiperblicas, assim chamadas pois as equaes
paramtricas
x =
cosh(u) e
y =
senh(u) determinam a hiprbole
x2 y 2 = 1.
Estas
funes satisfazem tambm as relaes
cosh(u
v) = cosh(u)cosh(v) senh(u)senh(v),
senh(u
v) = senh(u)cosh(v) cosh(u)senh(v).
Se operarmos ento duas destas matrizes com a multiplicao usual de matrizes , atravs
destas relaes acima, obteremos tambm uma matriz com a mesma estrutura.
Note
ainda que a matriz identidade pertence ao conjunto pois tem a forma dos elementos do
conjunto de Lorentz, basta observarmos que senh(t)
temos
"
Id =
t
t
= e 2e
cosh(0)
senh(0)
senh(0)
cosh(0)
e cosh(t)
t
t
= e +2e
ento
#
.
Para cada matriz da forma de Lorentz, existe uma inversa, pois o determinante sempre
diferente de zero, e mais, esta inversa possui tambm a estrutura de uma de Lorentz. O
inverso da matriz
()
"
A1 =
cosh(u)
senh(u)
senh(u)
cosh(u)
#
.
Sabendo que a multiplicao de matrizes associativa, o conjunto destas matrizes de

Lorentz formam de fato um grupo.
Podemos pensar nas propriedades geomtricas do plano, em particular aquelas que so
deixadas inalteradas por funes, estas funes so elementos de um grupo particular, o
grupo de similaridades
do plano.
Denio 2.3. Uma similaridade no plano uma transformao que aumenta ou encolhe
guras, enquanto conserva o formato, a estrutura desta gura .
Note que em nossa denio a noo de similaridade est bem vaga, no especicamos
os espaos onde ela est denida, englobando assim uma grande quantidade de funes,
isto porque estamos interessados apenas na propriedade relacionada a simetria.
Outra
caracterstica decorrente da denio que uma similiaridade preserva segmentos retos,

apenas os multiplicando por um escalar.
Tringulos so enviados em tringulos, onde
temos que os ngulos so preservados em magnitude, mas no necessariamente em sentido.

O exerccio
2.4
nos fornecer a informao de que o conjunto de todas as similaridades
constitui um grupo pela operao de composio de funes.

Podemos agora, a partir dos axiomas de grupo, determinar uma quantidade considervel
de propriedades comuns a todos eles, que podem ser utilizadas todas as vezes que os
axiomas forem satisfeitos. Isto nos d uma grande vantagem, pois no temos que car
vericando para grupos diferentes.
Seguem duas propriedades comuns a todos os grupos:
2. Axiomas
11
1)O elemento neutro em um grupo nico.
Demonstrao.
Suponhamos que
e e e0
sejam dois elementos neutros em um grupo (nunca
e alinhadas fazendo tanto sentido) .

e elemento neutro, e por outro temos que ee0 = e
0
temos que e = e .
se viram 3 letras
Por um lado temos que

pois
e0
ee0 = e0
pois
elemento neutro, portanto
2)O elemento inverso de cada grupo nico.
Demonstrao.
Sejam
y, z
elementos inversos de
y = ey =
(pois
em um grupo. Ento
o elemento neutro)
= (zx)y =
(pois
= z(xy) =
(associativa do grupo)
o inverso de
= ze =
(como
= z.
(pois
e vice versa)
o tambm inverso de
x)
o elemento neutro).
2.1 Exerccios
2.1) Compare a simetria de um cristal de neve com a simetria da placa hexagonal na
Figura 2.1.
Soluo:
Podemos observar que assim como a placa, o cristal possui seis vrtices e tambm, em seu
interior a forma de um hexgono. Desta forma, podemos armar que a simetria obtida
na placa a mesma observada no cristal de neve.
2.2) Mostre que o conjunto R+ munido da operao usual de multiplicao grupo.

Soluo:
Devemos mostrar trs propriedades de grupo:
i)
Associativa: Sejam
em
ii)
x, y
associativa temos que
R+ .
(x.y).z = x.(y.z)
elementos de
Como a operao usual de multiplicao
Existncia de um elemento neutro: Basta observarmos que
para todo
1 R+
e que
1x = x = x1
R+ .
iii)
Existncia de um elemento inverso para cada
que
x>0
temos ento que para cada
x R+ :
Como todo
x R+
tal
o elemento inverso com relao a operao de
2. Axiomas
12
1
. Basta observarmos que:
x
multiplicao
x
R+
Portanto
1
1
=1= x
x
x
grupo, como queramos.
2.3) Qual das colees de matrizes 2 2 com entradas reais formam um grupo com a
multiplicao usual de matrizes?

Soluo:
(i)
"
Matrizes da forma
a b
b c
#
onde
ac 6= b2 .
No
um"grupo,#basta observarmos
das seguintes matrizes
" constitui
#
" que o produto
#
1 2
2 3
A=
B=
das matrizes da forma

conjunto no
4 5
5 6
(i), ou
que no pertence ao conjunto
seja, a operao de multiplicao usual de matrizes neste
fechada.
"
(ii)
14 17
23 28
D=
a matriz
Matrizes da forma
a b
c a
onde
a2 6= bc.
Este conjunto munido da operao de multiplicao usual de matrizes no constitui

um grupo.
Basta observarmos que tal operao no
fechada,
ou seja, quando oper-
armos dois elementos deste conjunto, podemos obter uma matriz que no seja da forma
acima. Para
" tanto#exibimos"o seguinte
# caso:
Seja
a b
d e
e B =
c a
f d
"
#
ad + bf ae + bd
C=
cd + af ce + ad
A=
obtemos
com
a 6= b 6= c 6= d 6= e 6= f 6= 0.
Operando
A.B
que no pertence ao conjunto das matrizes da forma
(ii).
"
(iii)
Matrizes da forma
a b
c d
#
onde
ad bc 6= 0.
De fato este conjunto munido da operao de multiplicao usual de matrizes constitui um grupo.
Observemos primeiramente que a operao fechada.
Sejam
"
Para associativa sejam
"
C =
matriz
det(A) 6= 0 e det(B) 6= 0. Operando A.B obtemos a matriz

det(C) = det(A.B) = det(A).det(B) 6= 0. Portanto a operao fechada.
matrizes satisfazendo
Como
j k
l m
A=
a b
c d
"
,
B=
e f
g h
B
C.
#
,
#
elementos do conjunto descrito em
(iii).
Operando
(A.B).C
obtemos a
2. Axiomas
13
"
aej + bgj + af l + bhl aek + bgk + af m + bhm

cej + dgj + cf l + dhl cek + dgk + cf m + dhm
D=
por outro lado, operando
"
F =
A.(B.C)
obtemos a matriz
aej + af l + bgj + bhl aek + af m + bgk + bhm

cej + cf l + dgj + dhl cek + cf m + dgk + dhm
a, b, c, d, e, f, g, h, j, k, l, m
como as entradas so reais, temos que os nmeros
pela operao de multiplicao e tambm adio dos nmeros reais.
(A.B).C = D = F = A.(B.C)
comutam
Assim temos que
ou seja, a associativa como queramos.
Para o elemento neutro, basta observarmos que a matriz identidade
"
I=
1 0
0 1
#
da forma de
(iii)
, com
Para o elemento
a condio de que
" inverso,
#
matriz
A.A1
a b
c d
1
= I = A .A
A =
a = 1, b = 0 = c
ad bc 6= 0
existir uma matriz inversa

onde
A1 =
d = 1.
nos garante
que para
cada
"
#
1
det(A)
d b
c a
tal que
a matriz identidade.
2.4)Seja f uma similaridade do plano. Mostre que f uma bijeo e que a funo
inversa f 1 tambm uma similaridade. Verique que a coleo de todas as similaridades do plano formam um grupo com a operao de composio de funes.
Soluo:
De fato, denimos a similaridade
xo. Aqui o vetor
como
f (v) = v , v R2
e com
R+
interpretado como o vetor que representa um segmento reto, ou
seja, representa o vetor diferena

injetora sejam
f : R2 R2
v1 , v2 R
wu
, suponhamos
w, v R2 . Para
f (v1 ) = f (v2 ). Ento temos
para alguns
v1 = v2 v1 = v2 ,
Para provarmos a sobrejeo, seja
x R2 ,
pois
provarmos que
>0
devemos encontrar
v R2
tal que
f (v) = x.
Ora, ento
v = x,
como
>0
temos que
v=
Assim, como
1
x.
sobrejetora e injetora temos que
Para mostrarmos que
f 1 : R2 R2
bijetora.
tambm uma similaridade, basta observarmos que
f 1 (v) =
1
v,
2. Axiomas
como
>0
14
1
ento
>0
e assim
f 1
tambm uma similaridade.
Para a segunda parte do exerccio, considere agora o conjunto

conjunto de todas as similaridades no plano e
Provemos que
(G, )
(G, ),
onde
a operao de composio de funes.
grupo.
f, g G,
f g(v) = a(bv) = (ab)v que
Note primeiramente que a operao est bem denida, ou seja, fechada. Sejam
com
f (v) = av
g(v) = bv v R2
a, b R.
Ento
tambm uma similaridade.
i) Associativa:
a, b, c R.
Sejam
f, g, h G,
tais que
f (v) = av, g(v) = bv, h(v) = cv
com
f (g h)(v) = f (g(h(v))) = f (g(cv)) = f (bcy) =

= abcv = (ab)cv = (ab)h(v) =
= (f g) h(v).
ii) Existncia do elemento neutro: Basta mostrarmos que a funo identidade Id :
R R2 tambm uma similaridade. Mas isto trivial, basta atentarmos que Id(x) = 1x
x G.
iii) Elemento inverso: Como provamos que toda similaridade f G bijeo, ento
1
1
existe f
tambm similaridade como provado acima. Basta vericarmos se f f
=
1
2
Id = f f para todo v R .
2
1
1
f f 1 (v) = f ( v) = v = v = Id(v).
Por outro lado ,
f 1 f (v) = f 1 (v) =
Assim conclumos que
(G, )
1
v = v = Id(v).
de fato um grupo.
2.5)Uma funo do plano em si mesmo, que preserva a distncia entre quaisquer dois
pontos chamada isometria. Prove que uma isometria deve ser, necessariamente uma
bijeo,e cheque que a coleo de todas as isometrias do plano formam um grupo com a
operao de composio.
Soluo:
R2 como um espao
f : R2 R2 tal que
Consideraremos neste exerccio

tria no plano, uma funo
||x y|| = ||f (x) f (y)||
vetorial normado. Assim uma isome-
para quaisquer
x, y R2 .
x, y R2 , suponhamos f (x) = f (y),

propriedade de isometria, temos que ||f (x) f (y)|| = ||x y|| observe que
||f (x) f (y)|| = 0 assim ||x y|| = 0 e isto ocorre x = y .
Provemos primeiro que
injetora: Sejam
pela
2. Axiomas
15
Figura 2.2: Sobrejeo de uma isometria
Para provarmos que

que
f (A) 6= f (B)
sobrejetora, sejam
A, B R2 , A 6= B ,
ento da injeo temos
||A B|| = ||f (A) f (B)||.

Seja
D R2 (contra-domnio).
Considere
C R2 ,
||A C|| = ||f (A) D||

Ento
f (C) = D
ou
f (C)
simtrico a
tal que
||B C|| = ||f (B) D||.
em relao ao segmento
f (A)f (B).
De fato se
f no isometria. Se f (C) = D acabou, caso contrrio

seja C simtrico a C em relao a AB . Ento f (C) simtrico a D em relao a f (A)f (B).
Como a segunda no pode ocorrer, f (C) = D . E ento temos o resultado. A gura acima
nenhuma das duas ocorre, ento
ilustra tal situao.

Concluso: Toda isometria no plano uma bijeo.
Para a segunda parte do exerccio, considere
(H, )
o conjunto de todas as isometrias
no plano munido da operao de composio de funes. Provemos que
i)
Associativa: Sejam
f, g, h H .
Segue do fato de que
(H, )
grupo.
associativa para todas as
funes, em particular as isometrias.
ii)
Existncia do elemento neutro: Basta mostrarmos que
Id : R2 R2
tambm uma
isometria. Mas de fato, basta observarmos que pela prpria denio de
Id
temos que:
||Id(x) Id(y)|| = ||x y|| para quaisquer x, y R .

iii) Existncia do elemento inverso em (H, ): Provamos primeiramente que toda isometria
1
1
uma bijeo, portanto para cada f (H, ) existe f
tal que f f
= Id = f 1 f .
1
2
Basta ento, mostrarmos que f
e tambm uma isometria. Sejam x, y R tais que
f 1 (x) = u e f 1 (y) = v ento temos que
||f 1 (x) f 1 (y)|| = ||u v||
como
isometria temos ainda
||u v|| = ||f (u) f (v)|| = ||x y||
2. Axiomas
16
Observando os extremos das igualdades temos
||f 1 (x) f 1 (y)| = ||x y|| portanto f 1
uma isometria como queramos mostrar.
2.6)Mostre que a coleo de todas as rotaes do plano em torno da origem formam

um grupo com a operao de composio de funes.
Soluo:
Podemos entender uma rotao
: R2 R2
como sendo uma mudana de base, cuja
matriz de mudana
"
=
Para
0 2
cos() sen()
sen() cos()
#
.
.Observe que a operao de composio
fechada. Basta observarmos
que
"
=
# "
#
cos() sen()
cos() sen()
.
=
sen() cos()
sen() cos()
"
#
cos( + ) sen( + )
=
,
sen( + ) cos( + )
que tambm uma rotao em torno da origem.

A associativa segue da associatividade da multiplicao de matrizes. Temos que a matriz
identidade tambm uma matriz de rotao, basta observar que
"
Id =
cos(2) sen(2)
sen(2) cos(2)
#
.
Por m, como cada uma destas matrizes possui determinante diferente de zero, so inversveis, e como no grupo de Lorentz, o inverso de uma matriz de rotao
no sentido horrio por um argumento de
"
1 =
com o eixo
x.
cos() sen()
sen() cos()
ser a rotao
Assim temos
#
.
Com isto, conclumos que o conjunto de rotaes do plano com relao a origem constitui
um grupo.
2.7)Sejam x e y elementos de um grupo G. Prove que G contm elementos w, z que

satisfazem wx = y e xz = y . Mostre ainda que estes elementos so nicos
Soluo:
Sejam
x, y G.
Para mostrarmos a existncia de
basta observar que podemos escrever
da seguinte forma:
y = ye = y(xx1 ) = y(x1 x) = (yx1 )x.
2. Axiomas
17
Temos ento que
w = yx1 .
Para vericarmos a unicidade de
w0 x = y ,
Temos ento
mostremos que
w0 = w.
suponhamos que exista
w0 G
tal que
wx = y = w0 x
wx = w0 x
(wx)x1 = (w0 x)x1
w(xx1 ) = w0 (xx1 )
we = w0 e w = w0 .
Mostremos agora a existncia de
z G.
De modo anlogo, podemos escrever
da
seguinte forma
y = ey = (xx1 )y = x(x1 y).

Temos ento que
z = (x1 y).
Veriquemos agora a unicidade de

mostremos que
z0 = z.
z.
Suponhamos que existe
z0 G
tal que
xz 0 = y ,
Para tanto basta observarmos que , se ambos satisfazem a mesma
propriedade ento
xz = y = xz 0
x1 (xz) = x1 (xz 0 )
(x1 x)z = (x1 x)z 0
ez = ez 0 z = z 0 .
como queramos.
2.8)Se x e y so elementos de um grupo, prove que (xy)1 = y1 x1 .

Soluo:
Para tanto observemos as seguintes igualdades
y 1 x1 (xy) = y 1 y = e.
Temos ento que
y 1 x1 (xy) = e.
Operando com
(xy)1
pela direita em ambos os lados da equao acima obtemos
(y 1 x1 (xy))(xy)1
(y 1 x1 )((xy)(xy)1 )
y 1 x1 e
y 1 x1
A ltima equao nos d a igualdade procurada.
=
=
=
=
e(xy)1
(xy)1
(xy)1
(xy)1 .
18
Captulo 3
Nmeros
Podemos observar que se munirmos cada um dos seguintes conjuntos com a operao de
adio obteremos grupos:
Z,
Q,
R,
()
C,
Note que o elemento neutro de todos estes grupos o zero. A associativa segue da adio,
e os inversos da prpria estrutura de cada conjunto. Se munirmos agora os conjuntos
Q {0},
R {0},
Q+ ,
R+ ,
{1, 1},
C {0},
{1, i},
com a operao de multiplicao usual, transformaremos todos eles em grupos onde
1
o inverso do elemento
elemento neutro e
x
x.
Mas note que o processo de se obter um grupo no to trivial quanto acima, um

exemplo, quando tomamos o conjunto dos nmeros inteiros mpares munido da operao
de soma, este conjunto no grupo, pois no existe o elemento neutro
0.
Outro exem-
plo que merece ateno quando tomamos o conjunto dos nmeros reais munido com a
multiplicao usual. Note que devemos tirar o
sendo assim
pois no existe
xR
tal que
x.0 = 1,
no possui inverso. Note que os reais, racionais , e complexos no nulos,
todos formam grupos se munidos com a operao de multiplicao. Um exemplo que nos
mostra que nem todo conjunto sem o zero munido da operao de multiplicao constitui
um grupo
Z {0}
com a multiplicao. Seja
xZ
tal que
x.2 = 1 x =
1
2
/Z
assim
no possui inverso.
Denotamos por
o crculo unitrio no plano complexo, ou seja ,
nmeros complexos que possuem mdulo

ento
|zw| = |z|.|w| = 1
Munindo
consiste dos
com a multiplicao, temos que
zw C . O nmero 1 C , ele
1
1
far o papel de elemento neutro. Por m , se z C ento | | =
= 1 ento z1 C assim
z
|z|
cada elemento z possui seu inverso tambm em C . Assim conclumos que os trs axiomas
se
z, w C ,
1.
o que mostra que
3. Nmeros
19
de grupo so satisfeitos por
munido da multiplicao, portanto
um grupo. Note
que no mencionamos a propriedade associativa acima, se aceitarmos que ela vale para
quaisquer trs nmeros complexos, em particular valer para quaisquer trs elementos de
C.
Observao
um grupo
3.1
Note que geralmente a notao mais formal quando nos referimos a
por exemplo
(G, .)
onde o ponto pode ser substitudo pelo caractere que
representa a operao com a qual o conjunto
G est munido e o confere o status de grupo.
Por praticidade a utilizaremos somente quando for imprescindvel saber qual a operao
denida no grupo.
Existe uma propriedade que um grupo pode possuir, est na seguinte denio.
Denio 3.2.
temos
Um grupo
dito comutativo ou
abeliano se para quaisquer x, y G
xy = yx.
Na lista
(),
todos so abelianos, pois
x+y = y+x
x.y = y.x
para quaisquer
x, y
reais ou complexos.
Seja agora
0, 1, 2, . . . , n 1 pode se tornar um
x e y pertencem a este conjunto temos
um inteiro positivo. O conjunto
se o munirmos com a adio mdulo
(
x +n y =
n.
Se
x + y,
x + y n,
que
0x+y n
x+y n
Tal operao atua da seguinte maneira, por exemplo,
grupo
5 +6 3 = 8 6 = 2.
Note que
+n
fechada, ou seja, se operarmos dois nmeros x e y do conjunto, o resultado ser ainda
um elemento deste conjunto, pois
x +n (y +n z)
0 x +n y n + 1.
Se tomarmos
(x +n y) +n z
veremos que ambos so iguais a
x + y + z,
x + y + z n,
x + y + z 2n,
se 0 x + y + z n
se n x + y + z 2n
se x + y + z 2n
0 o elemento neutro , o inverso de um elemento x 6= 0

este grupo abeliano pois x +n y = y +n x, assim temos o
Isto nos d a associativa, note que

o elemento
n x.
Note que
grupo abeliano nito
Zn .
Dois nmeros inteiros so ditos
congruentes modulo n
se eles diferem por um mltiplo
n. Claramente cada inteiro x congruente mdulo n a exatamente um dos inteiros

0, 1, 2 . . . , n 1, ou seja, o resto da diviso de x por n. Geralmente utilizamos denotar
por x(mod n) o elemento correspondente a x no conjunto acima. Assim x +n y apenas
x + y (mod n).
O conjunto dos inteiros {0, 1, 2, . . . , n 1} pode tambm ser munido pela multiplicao
de
3. Nmeros
mdulo
20
n
x.n y = xy(mod n).
5.6 3 = 3.
Para que o conjunto {0, 1, 2, . . . , n 1} se torne um grupo com a operao de multiplicao mdulo n devemos remover o nmero 0, pois o produto de 0 com qualquer um dos
elementos 0, se ele estivesse no conjunto teramos problemas em encontrar seu inverso,
ou seja, um nmero que multiplicado por zero resulta em 1 que o elemento neutro desta
Por exemplo
operao. Observe que a remoo do nmero zero no o bastante. Por exemplo, seja
n = 10
ento
2.10 5 = 0
ou seja, esta operao quando aplicada nos elementos
1, 2, . . . , 9
pode produzir um nmero inteiro que no est entre 1 e 9. A operao no fechada,

portanto no temos um grupo.
{1, 2, . . . , n 1} quando munido da multiplicao modulo n constituir

um grupo apenas quando n for primo. Este resultado est expresso no Exerccio 3.10.
A operao de adio mdulo n uma sada rpida e prtica para transformarmos tal
O conjunto
conjunto em um grupo. Na verdade ela um outro caminho para que no seja preciso
denirmos relao de equivalncia, classes de equivalncia e conjunto quociente, que seria
a maneira mais algbrica de construirmos o grupo
Zn .
3.1 Exerccios
3.1)Mostre que cada uma das seguintes colees de nmeros formam um grupo com a
operao de adio.
Soluo:
a)
Os nmeros inteiros pares.
Primeiro observemos que a operao fechada, pois a soma de dois nmeros pares ainda
um nmero par. Sejam agora
x = 2k , y = 2p
z = 2l,
com
k, l, p Z.
i)Associativa:
(x + y) + z = (2k + 2p) + 2l = 2k + (2p + 2l) = x + (y + z)
a segunda igualdade segue da associativa em
Z.
ii) Existncia do elemento neutro: De fato, 0 par, pois pode ser escrito como 2(0).
iii) Existncia de um elemento inverso para cada inteiro par: Basta observarmos que
1
inverso de x = 2p com p Z x
= 2(p) pois:
x + x1 = 2p + 2(p) = 2p 2p = 0 = 2p + 2p = 2(p) + 2(p) = x1 + x.

b)
Todos os nmeros reais da forma
a+b 2
onde
a, b Z.
A associativa segue pois os nmeros desta forma, so, antes de mais nada nmeros reais,
sendo assim a associatividade segue de brinde. Note que o elemento neutro
da forma
3. Nmeros
21
acima, basta tomarmos
o inverso de
a+b 2
a = b = 0. Por m, cada um destes elementos possui inverso,
o nmero a + (b 2), isto completa nossos argumentos para
provar que tal conjunto um grupo com a operao de adio.
3.2)Chamaremos Q( 2) o conjunto que possui a mesma caracterstica do descrito no
item b) do Exerccio 3.1, mas com a, b Q. Dado um elemento no-nulo a + b 2 de
Q( 2), exprima 1/(a + b 2) na forma c + d 2, onde c, d Q. Prove que a multiplicao
torna Q( 2) {0} em um grupo.

Soluo:
a + b 2 6= 0 com a, b Q, para escrevermos 1/(a + b 2)

a, b Q, basta observarmos as igualdades
Dado
na forma
c+d 2
com
1
ab 2
ab 2
a
b

= 2
= 2
+ 2
2
a + 2b
a + 2b a + 2b
a+b 2 a 2
b
a
e d = 2
que obtemos o desejado.
c = a2 +2b
a +2b
Mostremos agora que Q( 2){0} munido da operao de multiplicao usual dos nmeros
basta ento escrever
reais, forma um grupo:
A associatividade segue dos nmeros reais. O elemento neutro

tomarmos
a=1
b = 0.
O inverso de um elemento
a + b 2,
da forma acima, basta
ser o elemento que satisfaz
(a + b 2)(e + f 2) = 1.
(3.1)
a + b 2 o elemento e+f12 .
Pergunta: Este elemento pertence ao conjunto Q( 2) {0}? Sim, pela primeira parte
do exerccio, temos que ele pode ser escrito na forma c + d 2. Assim conclumos que
Q( 2) {0} um grupo pela operao de multiplicao.

A Equao(3.1) nos diz ento que o elemento inverso de
3.3)Seja n um inteiro positivo, e seja G o conjunto que consiste de todos os nmeros

complexos z que satisfazem z n = 1. Mostre que G forma um grupo pela operao de
multiplicao dos nmeros complexos.
Soluo:
Podemos interpretar os nmeros complexos que satisfazem a igualdade
zn = 1
como os
n lados inscrito na circunferncia de centro na origem e raio 1.

n
Assim |z| = 1 para todo z que satisfaz a igualdade z = 1.
Veriquemos primeiramente que a operao fechada. Seja x, y G para vericarmos que
x.y pertence tambm a G basta observarmos se (xy)n = 1 para tanto segue a igualdade
vtices do polgono de
(xy)n = xn y n = 1.1 = 1.
3. Nmeros
portanto
22
xy G.
i)Associativa: Segue da associatividade da multiplicao dos nmeros complexos.

ii)Exitncia de um elemento neutro: Basta observarmos que 1 G pois 1n = 1 e
1.z = z = z.1 para todo z G.
iii)Existncia de um elemento inverso para cada z G: Como todo z G tal
|z| = 1 ento z 6= 0 para todo z G. Ento o inverso de z , ou seja, z 1 z1 . Note
z 1 pertence a G pois
n
1n
1
1
1 n
= n = = 1.
(z ) =
z
z
1
que
que
que
Fazendo a seguinte multiplicao
z 1 =
vemos que
z 1 = z
para todo
1 z
z
z
= 2 = = z.
z z
|z|
1
z G.
Isto mostra que o elemento inverso de

Assim podemos concluir que
(G, )
em
z.
de fato um grupo.
3.4)Varie n no exerccio anterior e cheque que a unio(U ) de todos estes grupos

U=
{z C|z n = 1}
n=1
munido da operao de multiplicao complexa tambm um grupo.

Soluo:
Primeiro veriquemos que a operao de multiplicao de nmeros complexos pertencentes
a
fechada. Sejam
z1 , z2 U ,
ento
z1
deve pertencer a algum conjunto tal que
z1k = 1
p Z tal que z2p = 1. Para provarmos que

z1 z2 U devemos encontrar j inteiro tal que (z1 z2 )j = 1. Basta tomarmos j = m.m.c(k, p)
assim j = k.n1 e j = p.n2 como U abeliano temos
para algum
k Z.
Da mesma forma existe um
(z1 .z2 )j = z1k.n1 .z2p.n2 = 1n1 .1n2 = 1.1 = 1.

A associatividade segue do fato de que em cada um dos conjuntos ela vlida, e como
a operao em
fechada, sempre ir valer.
O elemento neutro
est presente em todos os conjuntos, assim tambm em
U.
O ele-
mento inverso existe em todos os grupos, segue tambm do fato da operao ser fechada
que qualquer elemento possui seu inverso em
Conclumos ento que
(U, )
U.
grupo.
3.5)Seja n um inteiro positivo. Prove que

(x n y) n z = x n (y n z),
3. Nmeros
23
para todos x, y, z Z.
Soluo:
Basta observarmos que
(x n y) n z = [xy(mod n)] n z(mod n).

Pelas propriedades de congruncias mdulo
temos que
[xy(mod n)] n z(mod n) = (xy)z(mod n) = x(yz)(mod n) = x(mod n) n [yz(mod n)] =

= x n (y n z),
como queramos.
3.8)Mostre que se um subconjunto A
{1, 2, . . . , 21}(*) contm um nmero par, ou
contm o nmero 11, ento este conjunto no pode formar um grupo com a operao de
multiplicao mdulo 22.
Soluo:
Observemos o primeiro caso, se um subconjunto possui um nmero par. Neste caso este
o nmero par ser da forma
2k
com
inteiro e
1 k 10.
Para que este subconjunto
seja um grupo , este elemento deve possuir inverso, ou seja, deve existir um inteiro
com
1 z 21 tal que 2k .22 z = 2kz(mod 22) = 1, esta igualdade equivalente a dizermos

que 22 divide 2kz 1, ou seja , que 22 divida um nmero mpar. Isto no acontece,
portanto tal z no existe, o que impede que o subconjunto com o nmero par 2k seja um
grupo.
Podemos utilizar o mesmo argumento para mostrar que
11
no possuir inverso se mu-
nirmos um subconjunto com a operao 22 . Suponhamos que o inverso de
11
seja
com
1 z 21 tal que 11 22 z = 11z(mod 22) = 1. Equivalentemente devemos ter que

22 divide 11z 1. Como z inteiro, temos duas possibilidades, quando z par, e quando
z mpar.
Se z par, ele da forma 2k para algum k Z, assim 11z = 22k pela observao sublinhada acima temos que 22 divide 22k 1, um absurdo.
A segunda possibilidade quando z mpar, portanto tem a forma z = 2k + 1 para algum
k Z. Assim temos que 11z = 22k + 11, ainda pela observao sublinhada, temos que 22
divide 22k + 10 um absurdo.
Chegamos ento em dois absurdos, o que mostra que um subconjunto do conjunto (*) que
contenha o nmero
11
munido da operao de multiplicao mdulo
22
no pode ser um
grupo.
3.9)Seja p um nmero primo e seja x um inteiro que satisfaz 1 x p 1. Mostre que

nenhum dos nmeros x, 2x, . . . , (p 1)x um mltiplo de p. Deduza a existncia de um
inteiro z tal que 1 z p 1 e xz(mod p)= 1.
3. Nmeros
24
Soluo:
k1 Z com 1 k1 p 1 tal que k1 x = lp

para algum l Z. Sabemos ento que p|k1 ou p|x, pois p primo, mas isto um absurdo,
pois ambos so inteiros menores do que p.
Para a primeira parte suponhamos que exista
A segunda parte pode ser interpretada como a propriedade do elemento inverso no grupo
Zp . Queremos mostrar ento a existncia de um inteiro z com 1 z p 1 com

xz(mod p) = 1. Como 1 x p 1, temos que mdc(x, p) = 1 logo existem n1 , n2 , tais
que
n1 x + n2 p = 1
n1 x 1 = n2 p
n1 x(mod p) = 1.
Note que
n1 6= p.
Se
n1 > p
temos que
n1 = kp + r
onde
r < p,
assim basta tomarmos
idia e tomarmos
r=z
r = z.
Se
n1 < 0
n1 < p,
basta utilzarmos a mesma
novamente. Isto conclui nossa prova.
3.10)Usando os resultados dos exerccios 3.5 e 3.9 verique que a multiplicao mdulo
n faz o conjunto {1, 2, . . . , n 1} se tornar um grupo se n primo. O que acontece de
errado quando n no um nmero primo?
Soluo:
A propriedade associativa segue do Exerccio
3.5,
o elemento neutro claramente
1,
elemento inverso de cada um dos elementos do conjunto foi encontrado no Exerccio
e o
3.9.
n no primo, o problema
que existem divisores de n que esto no conjunto {1, 2, . . . , n 1}. Suponhamos ser l tal
divisor. Ento n = lm, como m tambm divide n, temos m, l {1, 2, . . . , p 1} operando
Quanto a pergunta sobre o que acontece no caso em que
l n m = 0
acabamos caindo no fato da operao no ser fechada, impedindo ento o conjunto de ser
um grupo com a operao de multiplicao mdulo
n.
25
Captulo 4
Grupos Diedrais
Introduzimos anteriormente uma gura geomtrica que chamamos de
placa hexagonal.
Encontramos ao total 12 simetrias rotacionais. A indagao que pode aparecer se existe

algum resultado mais geral, ou seja, que esta simetrias possam ser observadas em guras
com a mesma estrutura que a placa, mas que contenham mais lados.A resposta para esta
pergunta que para cada inteiro
placa que possui
positivo, igual ou maior a 3 podemos produzir uma
lados iguais.
Figura 4.1: Placa triagonal.
[1]
Desta forma , produzimos uma famlia de grupos de simetria que no so abelianos.

Os grupos de simetria associados a cada placa de
Diedrais.
Quando temos
n = 3
n lados iguais so os chamados Grupos
temos uma placa triangular que possui
geradas pelos eixos do tipo
M, N
e pelo central.
simetrias rotacionais,
Podemos fazer uma lista com tais
simetrias
e, r, r2 , s, rs, r2 s
()
4. Grupos Diedrais
26
Note que todos os elementos desta lista so combinaes de

exemplo, representa a composio
j o elemento
rs
s.
O elemento
r2
representa a composio de
por
r. Note que a simetria identidade

2
representada pela letra e, que pode ser obtida de r e s . estes so na verdade os elementos
do grupo D3 , ou seja, o grupo diedral da placa de 3 lados iguais.
Estes seis elementos se combinados nos fornecero ainda um elemento da lista (), uma
i
observao que pode surgir que em nossa lista () no existem elementos da forma sr ,
i
isto se deve ao fato de conseguirmos sempre, em um grupo diedral obter a relao sr =
rni s para todo 0 i n. Tal armao ser provada no Exerccio 4.1. Geometricamente
2
podemos conferir em nossa placa triangular que sr = r s atravs da seguinte gura que
, onde
rr,
aplicado primeiramente e em seguida
mostra a viso de cima da placa: A partir disto, podemos realizar algumas manipulaes
Figura 4.2:
aplicadas na placa triangular.
algbricas , por exemplo mostrar que
sr2
[1]
sr2 = rs:
= s(rr) = (sr)r = (r2 s)r = r2 (sr) =

= r2 (r2 s) = r4 s = r3 (rs) = e(rs) = rs.
Realizando observaes geomtricas conclumos que
r3 = e,s2 = e
sr = r2 s,
a partir
disto, mostraremos no seguinte exemplo que qualquer produto realizado entre elementos
da lista
()
nos fornece ainda um elemento da lista .
r(r2 s) = r3 s = es = s.
(r2 s)(rs) = r2 (s(rs)) = r2 ((sr)s) = r2 ((r2 s)s) =

= r2 (r2 s2 ) = r4 s2 = re = r.
Ao manipularmos algebricamente os produtos entre estes elementos, usamos a lei associativa indiscriminadamente. Ou seja, estamos dizendo que os parnteses, quando operamos elementos de um grupo diedral, no fazem sentido.
4. Grupos Diedrais
27
Teorema 4.1. Sejam x1 , x2 , . . . , xn elementos de um grupo , a propriedade associativa

vlida para quaisquer produtos de k destes elementos com 1 k n 1.
Proposio 4.2. Se x e y so elementos de um grupo, ento (xy)1 = y1 x1 .

Demonstrao.
xyy 1 x1 = xex1 = xx1 = e,
assim como
y 1 x1 xy = e.
Proposio 4.3. Se x1 , . . . , xn so elementos de um grupo ento

1
1 1
(x1 , x2 . . . xn )1 = x1
n x 2 . . . x2 x 1 .
Demonstrao.
1
1 1
x1 , x2 . . . xn x1
n xn1 . . . x2 x1 = e.
E tambm
1
1 1
x1
n xn1 . . . x2 x1 x1 , x2 . . . xn = e.
E nossa prova est completa.
Escreveremos
xm
para um elemento que um produto de
o elemento que o produto de
m n
(x ) = x
mn
com
cpias de
, para quaisquer inteiros
tbua de multiplicao
de
que chamada
xy
x1 .
x,e xn para
xm xn = xm+n e
cpias de
Assim temos que
n. Denotaremos x0 = e. Abaixo exibimos o

D3 , que exibe as 36 possibilidades de produtos
x, y D3
e r r2 s rs r2 s
e
e r r2 s rs r2 s
r
r r2 e sr s rs
r2 r2 e r rs r2 s s
s
s rs r2 s e r
r2
rs rs s r2 s e
r
2
2
2
r s r s s rs r r
e
Tabela 4.1: Tbua de multiplicao de
Nesta tbua, o produto
y.
D3 .
xy , o elemento presente na interseco da coluna x com a linha
Esta estrutura de tbua pode ser construda para qualquer grupo diedral (ou nito),
observe que cada elemento do grupo aparece uma vez em cada linha e tambm exatamente
uma vez em cada coluna, esta caractersta estar presente tambm em qualquer tbua de
4. Grupos Diedrais
28
um grupo. Em particular, podemos observar que o elemento neutro aparece apenas uma
vez em cada linha, o que nos evindencia que o inverso de cada elemento nico.
4.1 O grupo Dn
Formalizando a estrutura que foi explorada acima, podemos ento denir
diedral Dn ,
ele o grupo de simetria rotacional da placa com
elementos possuem as mesmas caracterscas que os elementos de
2/n
D3 .
lados iguais.
Seja
em torno do eixo perpendicular a placa passando pelo centro, e
em torno dos eixos de simetria que atravessam o plano da placa , como

elementos de de
Dn
O grupo
Seus
a rotao de
s a rotao de
N e M . Assim os
so
e, r, r2 , . . . , rn1 , s, rs, r2 s, . . . , rn1 s.

Claramente
rn = e
s2 = e
vlida. Todos os produtos de elementos

fatos.
Ento um elemento deste grupo
0 a n 1,
sri = rni s para 0 i n tambm se faz

de Dn podem ser manipulados utilizando estes
a
a
ter uma destas duas formas: r ou r s onde
e a propriedade
temos ento
)
ra rb
= rk
onde k = a +n b,
ra (rb s) = rk s
)
(ra s)rb
= rl s
onde l = a +n (n b),
(ra s)(rb s) = rl s
Assim temos que todos os elementos so produtos da forma
0i1
quando isto acontece, dizemos que
Denio 4.4.
ordem
com
1 j n 1,
s geram Dn .
de um grupo nito, o nmero de elementos que o grupo
possui, ou seja, sua cardinalidade.
ordem innita.
r j si
Um grupo que possu innitos elementos dito de
Geralmente utilizamos a notao
|G|
para a ordem de
G.
Denio 4.5. Se x G e se xn = e para algum n inteiro positivo, dizemos que x possui

ordem nita, e o menor m tal que xm = e dita a ordem de x. Se tal m no existe,
dizemos que
possui ordem innita.
Abaixo temos alguns exemplos:
D3 seis. Existem
2
dois s, rs, r s
1. A ordem de
de ordem
2. A ordem de
Z6
dois elementos de ordem trs
tambm seis. Os elementos
possuem ordem trs, e
possui ordem dois.
r, r2
e trs elementos
possuem ambos ordem seis,2 e
4. Grupos Diedrais
3.
29
R possui ordem innita, e todo elemento (exceto o 0) possui tambm ordem innita,
pois se adicionando repetidamente um nmero real a ele mesmo, nunca obteremos
4.
0,
a menos claro que o nmero seja zero.
o crculo unitrio no plano complexo, transformado em um grupo aps ser munido
pela multiplicao de nmeros complexos um grupo de ordem innita. Este grupo

possui elementos de ordem nita e tambm de ordem innita. Um elemento tpico
de
C,
da forma
racional de
2 ,
ei
isto ,
possui ordem nita precisamente quando
2m
para alguns inteiros
n
um mltiplo
n.
4.2 Exerccios
4.1)Trabalhe com a tbua de multiplicao do grupo diedral D4 . Quantos elementos de
ordem 2 existem em Dn ?
Soluo:
A tbua de multiplicao em
D4
a seguinte:
e
r
r2 r3
s rs r2 s r3 s
e
e
r
r2 r3
s rs r2 s r3 s
r
r
r2 r3
e r3 s s rs r2 s
r2 r2 r3
e
r r2 s r3 s s rs
r3 r3
e
r
r2 rs r2 s rs s
s
s r3s r2s r3s e
r
r2 r3
rs rs s r3 s s r3
e
r
r2
r2 s r2 s rs s rs r2 r3 s e
r
r3s r3s r2s s r2s r r2s r3
e
Primeiro temos que observar que a propriedade

inteiros
n3
0in
para os elementos de
Faremos a prova por induo.
Para
n = 3
D4
sri = rni s
vlida para quaisquer
Dn .
sri = r3i s
para n 1 e
sabemos geometricamente que
0 i 3. Assumiremos como hiptese de induo vlido

i
ni
provaremos para n. Temos ento sr = r
s operando com r em ambos os lados obtemos
vlida para
sri r =
rni sr
= rni rn1 s = rni rn1 s =
= rn rn1i s = ern1i s =
= rn(i+1) s.
Olhando para o primeiro e o ltimo termo obtemos a igualdade procurada
sr
i+1
= rn(i+1) s,
ou seja a propriedade vlida para
arbitrrio e para
1 i + 1 n,
4. Grupos Diedrais
para
i=0
30
trivial. ca assim demonstrada a propriedade.
Para a segunda parte, sobre a quantidade de elementos de ordem dois em

dividir o problema em dois casos, quando
Quando
par existe um nmero
p Z tal
par e quando
que
p=
Dn
teremos que
mpar.
n
, assim a potncia
2
rp
possui ordem
dois, pois
n
(rp )(rp ) = (r 2 )(r 2 ) = r

Se
n+n
2
= rn = e.
p, ento nenhuma potncia de r possui ordem dois. Mas, por

i
de n mpar ou par, todo elemento da forma r s, 1 i n 1
mpar no existe tal
outro lado, independente

possui ordem dois, pois
(ri s)(ri s) = ri rni ss = rn e = ee = e.

Assim podemos concluir que : Quando
se
mpar teremos apenas
n+1
em Dn .
par, teremos
elementos de ordem dois
elementos de ordem dois,
4.2)Encontre a ordem de cada elemento de Z5 e Z9 .

Soluo:
Z5 = {0, 1, 2, 3, 4} e de Z9 = {0, 1, 2, 3, 4, 5, 6, 7, 8}. Estamos

+5 em Z5 e +9 em Z9 . Assim temos as seguintes tabelas
Exibamos os elementos de
considerando a operao
Elemento de
Z5
ordem
Tabela 4.3: Ordem dos elementos em
Elemento de
Z9
ordem
Z5 .
4. Grupos Diedrais
31
Tabela 4.4:
Ordem dos elementos em
Z9
4.3)Cheque que os inteiros 1, 2, 4, 7, 8, 11, 13, 14 formam um grupo com a multiplicao

mdulo 15. Trabalhe com a tbua de multiplicao gerada neste conjunto e encontre a
ordem de cada elemento.
Soluo:
A propriedade associativa segue do Exerccio 3.5, o elemento neutro claramente
1, basta
exibirmos os inversos de cada elemento. Basta observarmos que o inverso de um elemento
deste conjunto o fator que quando multiplicado por
resulta em um nmero que
congruente mdulo 15 a 1. Assim temos a seguinte tabela
11
13
14
13
11
14
Tabela 4.5: Inversos de cada elemento
A ordem de cada elemento descrita pela tabela
11
13
14
Ordem
Tabela 4.6: Ordem de cada elemento
4.4) Seja g um elemento de um grupo G. Mantenha g xo e deixe x variar por G. Prove
que os produtos gx so distintos e preenchem G.
Soluo:
Suponhamos por absurdo que existam dois produtos
gx
gx0
iguais com
x0
distintos.
Temos ento
gx = gx0 =
(g 1 g)x = (g 1 g)x0 =
( operando com o inverso de
g)
x = x0 .
Os produtos preenchem
xG
pois a operao em
fechada, assim ,
, como j provamos que estes produtos so distintos para
gx G
para todo
distintos , temos ento
4. Grupos Diedrais
32
que os produtos de fato preenchem
G.
4.5) Um elemento x de um grupo satisfaz x2 = e precisamente quando x = x1 . Use

esta observao para mostrar que um grupo de ordem par deve conter um nmero mpar
de elementos de ordem 2.
Soluo:
Suponhamos por absurdo que um grupo
mentos com ordem
Seja
de ordem par contm um nmero par de ele-
2.
a ordem de um grupo
G,
e, x1 , x2 , . . . , xn1 ,
os elementos de
G,
onde
representa o elemento neutro.
Temos que analisar especicamente a ordem dos elementos
x1 , . . . , xn1 .
Note que como
par , esta quantidade de elementos uma quantidade mpar.
e, x1 , x2 , . . . , xn1
{z
}
|
quantidade mpar
Como supomos que existe uma quantidade par de elementos de ordem

par destes elementos marcados possui ordem
2.
2, uma quantidade
Retirando os elementos que possuem or-
dem 2 desta quantidade mpar, nos resta ainda uma quantidade mpar de elementos que
no possuem ordem 2, ou seja so os elementos que vericam
destes elementos de ordem diferente de
x 6= x1 .
Como cada um
deve possuir seu inverso, deveramos ter uma
quantidade par, mas isto no acontece. Assim, chegamos em um absurdo e o exerccio

est completo.
4.6)Se x, y so elementos de um grupo G, e se todos os seguintes elmentos x, y e xy

possuem ordem 2, prove que xy = yx.
Soluo:
Como os trs elementos possuem ordem
temos as seguintes equaes
x = x1
(4.1)
y = y 1
(4.2)
xy = (xy)1 = y 1 x1 .
(4.3)
Temos ento pela Equao( 4.3) que
(xy)(xy) =
e
1 1
xy
= y x e.
Pelas duas primeiras equaes aplicadas na anterior temos nalmente que
xy = yx
como
4. Grupos Diedrais
33
queramos.
4.8)Sejam x e g elementos de um grupo G. Mostre que x e gxg1 possuem a mesma

ordem. Prove tambm que xy e yx possuem a mesma ordem para quaisquer x, y G.
Soluo:
x e gxg 1 possuem respectivamente

n = n0 . Para tanto observemos que
Suponhamos que
mostrar que
(gxg 1 )n
gxg 1
n0
2 1
n0
2 1
n0 ,
nosso intento
gx g gx g . . . gx2 g 1 gx2 g 1 =
gx4 g 1 . . . gx4 g 1 =
0
gxn g 1 .
temos que
0
xn = e ,
vezes
gxn g 1 = e.
Note tambm que
= (gxg 1 )(gxg 1 ) . . . (gxg 1 )(gxg 1 ) =

|
{z
}
=
=
=
Como a ordem de
ordens nitas
substituindo esta equao em
(4.4)
4.4 temos
gxn g 1 = xn ,
operando com
g 1
pela esquerda e depois pela direita temos

0
xn = xn n0 = n
xy e yx possuem a mesma ordem,
suponhamos que xy tenha ordem k , mostraremos que yx tambm possui ordem k , ou seja
k
queremos mostrar que (yx) = e. Para tanto basta observarmos as seguintes igualdades
o que conclui a primeira parte. Para mostrarmos que
(xy)k =
xyxy . . . xyxy
= x(yxyxyx . . . yxyx)y =
=
x(yx)k1 y.
Como a ordem de
xy
temos que
x(yx)k1 y = e.
(4.5)
4. Grupos Diedrais
34
Trabalhando na Equao (4.5) obtemos
x(yx)k1 y = e
x(yx)k (yx)1 y = e
x(yx)k x1 y 1 y = e
(pois
(yx)1 = x1 y 1 )
x(yx)k x1 = e
x(yx)k = ex
(operando com
(yx)k = x1 x = e.
pela direita)
(operando com
x1
pela esquerda)
A ltima igualdade a procurada.
4.9)Cheque que as matrizes 2 2

"
a b
c d
#
onde
a, b, c, d Z
ad bc = 1
formam um grupo pela operao de multiplicao usual de matrizes. Sejam ainda

"
0 1
1 0
A=
"
B=
0
1
1 1
encontre as ordens de A, B e AB .
Soluo:
Para mostrarmos que o conjunto de tais matrizes formam um grupo basta atentarmos que
a propriedade associativa segue da multiplicao usual de matrizes, a matriz identidade
ad bc = 1 pois a = 1, b = 0, c = 0 e d = 1, assim temos o elemento neutro. A

igualdade ad bc = 1 nos diz que o determinante destas matrizes "sempre diferente
de
#
d b
1
1
.
. Para a
zero, assim o inverso de uma matriz A ser a matriz A
= det(A)
c a
satisfaz
segunda parte segue que :
"
A2 =
1 0
0 1
"
,
A3 =
Assim vericamos que a ordem de
"
B2 =
1 1
1
0
e = Id.
AB
"
Assim conclumos que a

A matriz
0 1
1 0
"
,
A4 =
1 0
0 1
4.
1 0
B3 =
0 1
ordem de B 3.
possui ordem innita, ou seja, no existe um inteiro
tal que
(AB)m =
4. Grupos Diedrais
4.10)Lei
35
associativa geral. Seja G um grupo por meio de induo mostrar que
os produtos x1 , x2 , . . . , xk de elementos de G sempre fazem sentido sem nenhum parnteses quando 1 k n 1. Devemos vericar que um produto arbitrrio x1 , . . . , xn
de comprimento n est to bem denido independente da forma em que quebramos este
produto atravs dos parnteses. Suponhamos combinar estes elementos em duas maneiras
diferentes, de forma que as multiplicaes nais nos dois procedimentos so
(x1 x2 xr )(xr+1 xn ),
(x1 x2 xs )(xs+1 xn ),
(1)
(2)
onde 1 r < s n 1. Estes termos dentro dos parnteses fazem sentido devido a nossa
hiptese de induo. Escrevendo (1) como
(x1 x2 xr )[(xr+1 xs )(xs+1 xn )]
expresse (2) de maneira similar , e use a lei associativa para trs elementos para terminar
o argumento.
Soluo:
Temos ento, mais claramente
(x1 x2 xn ) = (x1 x2 xr ) (xr+1 xn )

|
{z
}
aplicando a H.I.
= (x1 x2 xr ) [(xr+1 xs )(xs+1 xn )].

Por outro lado temos que
(x1 x2 xn ) = (x1 x2 xs )(xs+1 xn )

{z
}
|
aplicando a H.I.
= [(x1 x2 xr )(xr+1 xs )] (xs+1 xn ).

Por m utilizamos a lei associativa para trs elementos e mostramos que
[(x1 x2 xr )(xr+1 xs )] (xs+1 xn ) = (x1 x2 xr ) [(xr+1 xs )(xs+1 xn )].
36
Captulo 5
Subgrupos e Geradores
Retomando a noo de grupo diedral, tomemos os seguintes elementos de
D6
e, r2 , r4 s, r2 s, r4 s
o subconjunto de
D6
ou seja, a mesma de
que contm estes elementos, se munido da operao de composio,
D6
constitui um grupo. Isto fcil de ser vericado. O produto de
dois elementos desta lista ainda um deles, o elemento neutro
tambm est presente, e
como
e1 = e, (r2 )1 = r4 , (r4 )1 = r2 , s1 = s, (r2 s)1 = r2 s, (r4 s)1 = r4 s,

temos que todos os inversos de cada elemento deste conjunto tambm pertencem a este
conjunto. Se olharmos para a gura abaixo veremos que estes elementos formam o grupo
de simetria rotacional do tringulo inscrito no hexgono. Ento, acabamos de obter uma
cpia de
D3
dentro de
D6 ,
neste caso, ele ser visto como um subgrupo de
Figura 5.1: Placa hexagonal com triangular inscrita
Denio 5.1.
G,
de G.
Um subgrupo de um grupo
constitui um grupo com a mesma operao
D6 .
[1]
um subconjunto de
que por si s
5. Subgrupos e Geradores
Suponhamos que
H G,
37
queremos saber quando
um subgrupo ou no de
G.
Precisamos ento responder apenas a trs questes.

1. Dados
x, y H ,
o produto
2. O elemento neutro de
3. Cada elemento de
a
xy
pertence tambm a
pertence tambm a
H?
H?
certamente possui inverso, mas ser que este inverso pertence
H?
Se as respostas a estas trs perguntas forem um sonoro "sim", ento de fato

subgrupo de
G.
um
Note que no necessrio que chequemos a associativa, pois os elementos
de
subgrupo de
G,
so antes de tudo, elementos de
Exemplo 5.2.
utilizamos a notao
Os elementos
G
H < G.
como
grupo, a associativa vlida. Quando
e, r, r2 , r3 , r4 , r5
formam um subgrupo de
D6 .
Este
subgrupo consiste das rotaes que deixam a placa com a mesma face virada para cima.
O exemplo acima pode ser generalizado como segue :
Teorema 5.3. Dado um grupo G e um elemento x de G, o conjunto de todas as potncias

de x um subgrupo de G.
Demonstrao.
e
xn
Para a prova, basta respondermos as trs perguntas. Note que dados
potncias de
xk
xm xn = xm+n que tambm uma potncia de x. O

0
potncia de x, no caso, x . E por m, o inverso de uma
, temos que
elemento neutro tambm uma

potncia
xm
a potncia
xk
o que conclui nossa demosntrao.
x geralmente denotado por hxi. Se x possui ordem

2
1
2
3
innita, ento hxi consiste dos elementos . . . x , x , e, x, x , x , . . . Se x possui ordem
2
m1
nita, digamos m, os elementos de hxi so e, x, x , . . . , x
. Ento conclumos que a
ordem de x exatamente a ordem do subgrupo gerado por x. Temos um caso
O subgrupo gerado pelo elemento
especial, que ser apresentado pela seguinte denio.
Denio 5.4. Seja G um grupo, se existe um elemento x G tal que hxi = G, dizemos
que G um grupo cclico.
Exemplo 5.5. O grupo Z cclico (relembrando que neste caso Z est munido da operao
de adio), gerado por
1,
ou
1.
Isto segue do fato de que qualquer elemento em
ser escrito como uma potncia de
1,
pode
lembrando que o termo potncia pode ser utilizado
neste contexto, pois para ns a operao em um grupo denida como multiplicao, por
exemplo
4 = 1 + 1 + 1 + 1 = 14 .
Exemplo 5.6.
em
Zn
n.
O nmero
gera
Zn ,
assim
Zn
cclico de ordem
n.
Pois a ordem de
Exemplo 5.7.
Em
Z6
38
temos
h0i = {0}
h1i = h5i = Z6
h2i = h4i = {0, 2, 4}
h3i = {0, 3}
Por exemplo, os elmentos de
Exemplo 5.8.
Em
D3
h4i
so
4, 4 +6 4 = 2,e 4 +6 4 +6 4 = 0.
temos
hei = {0}
hri = hr2 i = {e, r, r2 }
hsi = {e, s}
hrsi = {e, rs}
hr2 si = {e, r2 , s}
5.1 Geradores
Dn
O grupo diedral
termos de
s,
no cclico, mas cada um de seus elementos pode ser escrito em
dizemos assim que
Denio 5.9.
Seja
geram
Dn
um subconjunto no vazio de um grupo
G.
Uma expresso da
forma
mk
2 m3
x1m1 xm
2 x 3 . . . xk
onde
xi X
()
1 i k , no necessariamente distintos, com inteiros mi com 1 i k

palavra nos elementos de X .
para
chamada uma
Proposio 5.10. A coleo de todas estas palavras um subgrupo de G.

Demonstrao.
neutro
Note que o produto de duas palavras ainda uma palavra, o elemento
a palavra
x0 .
O inverso da palavra
mk
1 m2 m3
xm
1 x 2 x 3 . . . xk
k
2 m1
x1
xm
xk1k1 . . . xm
2
k
que tambm uma palavra.
subgrupo gerado por X. Se esta coleo preenche todo

o G, dizemos que X um conjunto de geradores para G, ou que os elementos de X
Este subgrupo chamado de
juntos geram
G.
Observao
39
G e Y um outro
subconjunto de G. Ento se Y contm X , temos que todo elemento de X pode ser escrito
como uma palavra composta por elementos de Y , ento Y um conjunto de geradores
para G.
5.11
Suponha que
Exemplo 5.12. r
Dn . Note que r e s no so
por exemplo, rs e s juntos geram Dn pois r = (rs)s e ento
convertida em uma palavra em termos de rs e s.
Exemplo 5.13.
um conjunto de geradores para
Seja
inteiros em inteiros.
geram
os nicos geradores de
toda palavra em
Dn ,
pode ser
o conjunto de funes reais que preservam distncia e levam
Ento
um grupo com a operao de composio de funes.
Pelo Exerccio 5.9 , este grupo composto por, translaes para a direita ou esquerda
por uma distncia inteira, reexes em um nmero inteiro ou uma reexo em um ponto
que est entre dois inteiros. Seja
t(x) = x + 1,
e seja
uma translao para a direita de uma unidade, ento
a reexo na origem, ento
s(x) = x.
Ento os elementos de
so
. . . , t2 , t1 , e, t, t2 , . . .
. . . t2 s, t1 s, s, ts, t2 s, . . .
()
2
2
onde e a funo identidade. Por exemplo, t (x) = x 2, mostrando que t
uma
translao para a esquerda por duas unidades, e ts(x) = t(x) = x + 1, mostrando que
ts a reexo no ponto 21 . A translao t e a reexo s juntas geram G. Assim como as
duas reexes ts e s tambm geram G. Note que
st(x) = s(x + 1) = x 1
e
t1 s(x) = t1 (x) = x 1,
o que implica que
st = t1 s,
sabendo que
quaisquer dois elementos da lista
()
s2 = e
foi trocada pela translao
grupo diedral innito e
st = t1 s
, conseguimos multiplicar
e manipular o produto para tenha a mesma forma.
Este ltimo exemplo nos lembra muito o grupo

ordem
Dn .
de ordem innita. Por esta razo,
o denotamos por
D .
r de
chamamos G o
A diferena que a rotao
Apresentamos por m, dois teoremas
muito teis sobre subgrupos.
Teorema 5.14. Um subconjunto H de um grupo G um subgrupo de G se, e somente

se, xy 1 pertence H sempre que x e y pertencem a H .
Demonstrao. ()
em
Se
um subgrupo de
H , assim como o produto xy
G,
x, y H ,
tambm deve pertencer a
sabemos que
y 1
deve estar
H , pois a operao fechada
40
H.
() Suponhamos que H seja um subconjunto no-vazio de G, e que xy 1 H sempre que
x, y H . Se x H , ento e = xx1 H , e x1 = ex1 H . Por m, se y H , ento
y 1 H pelo mesmo argumento utilizado acima para x1 , assim xy = x(y 1 )1 H .
Portanto, H um subgrupo de G.
em
Teorema 5.15. A interseco de dois subgrupos de um grupo por si prpria um subgrupo.

Demonstrao.
G. O elemento neutro pertence a

ambos, portanto a interseco H K no vazia. Se x e y so elementos da interseco
H K , so ambos elementos de H e K . Como H, K so subgrupos, o produto xy 1
1
pertence a H e K . Portanto xy
H K pelo Teorema 5.14 temos que a interseco
H K de fato um subgrupo.
Sejam
subgrupos do grupo
Teorema 5.16. (a) Todo subgrupo de Z cclico.

(b)Mais geralmente, todo subgrupo de um grupo cclico tambm cclico.
Demonstrao. Parte (a)
H = {0} ento H cclico.

Se H 6= {0}, ento H contm um inteiro no nulo x, como H subgrupo, deve conter o
1
elemento x
= x. Ento H contm um inteiro positivo. Seja d o menor inteiro positivo
em H . Armamos que d gera H . Se n H , divida n por d, para obter n = qd + m onde
q e m so inteiros e 0 m d. Em outras palavras, m = n(mod d). Sabemos que n H
e d H . Como H um subgrupo qd H , portanto qd H , assim
Seja
um subgrupo de
Z.
Se
m = n qd = n + (qd)
H . Isto contradiz nossa escolha de d a menos que m seja zero. Consequentemente n = qd, o que mostra que cada elemento de H um inteiro mltiplo de d, ou seja
d gera H como queramos.
pertence a
Demonstrao. Parte (b)

{e}.
um grupo cclico e
Se
um gerador para
5.2 Exerccios
5.1)Encontre todos os subgrupos de Z4 , Z7 e Z12
Soluo:
G,
um subgrupo de
diferente do
G, e consen
quentemente, todo elemento de K uma potncia de x. Seja H = {n Z | x K}.
trivial o fato de que H um subgrupo de Z. A soma de dois elementos de H tambm
0
um nmero inteiro, zero pertence a H pois x = e que pertence a K , e se n pertence a H ,
n tambm pertence a H , pois o inverso de xn xn . Assim por (a), H cclico e , se d
d
gera H , ento x gera K . O que completa nossa prova.
subgrupo trivial
Seja
ento todo elemento de
41
Omitiremos de cada coleo de subgrupos os subgrupos triviais

o prprio grupo. Assim em
Z4
{0} e tambm omitiremos
temos apenas um subgrupo,
{0, 2}.
Para
Z7
no temos nenhum subgrupo no trivial e diferente dele prprio. Para
{0, 6},
{0, 2, 4, 6, 8, 10},
{0, 4, 8},
Z12
temos
{0, 3, 9, 6}.
5.2)Se m e n so inteiros positivos, e se m um divisor de n, mostre que Zn contm

um subgrupo de ordem m. O grupo Zn contm mais de um subgrupo de ordem m?
Soluo:
m divide n ento existe k Z com 1 k n1 tal que n = mk . Tomemos o conjunto

gerado por k . Armamos que H = hki um subgrupo de Zn de ordem m.
A operao denida em H a mesma que em Zn , ou seja, a operao +n . trivial que a
operao fechada em H pois quaisquer dois elementos de H quando operados, resultam
ainda em um mtiplo de k .
O elemento neutro de H tambm o mesmo de Zn , 0 H pois
Se
0=k
. . + k}
| + .{z
m
vezes
Quanto a existncia de um elemento inverso para cada elemento de
basta observarmos
que o oposto de
x = (k + . . . + k)
{z
}
|
p
vezes
x1 = (k + . . . + k)
|
{z
}
mp
vezes
pois ao operarmos tanto pela direita quanto pela esquerda com o elemento
teremos o elemento neutro
Note que
em
x,
e.
cclico, portanto sua ordem a ordem do elemento que o gerou, neste
H m como queramos. Quanto a pergunta se este o

nico subgrupo de Zn de ordem m a resposta armativa, pois, pelo algoritmo da diviso
n
euclidiana, o quociente k =
nico, ou seja, s existe tal k que faz com que o nico
m
subgrupo de Zn com ordem m seja hki.
caso,
k,
x1
desta forma a ordem de
5.3)Com a notao do Captulo 4, cheque que rs e r2 s juntos geram Dn .

Soluo:
Como qualquer elemento de
mos que a partir de
rs
r s
Dn
obtido a partir de produtos entre
podemos obter
s.
s,
basta mostrar-
Para tanto observe que podemos obter
s
42
atravs dos seguintes produtos respectivamente
rs(r2 s)rs = rrn2 ssrs = rn1 ers = rn r1 rs = er1+1 s = es = s

Obtemos ento a seguinte equao
rs(r2 s)rs = s.
Da mesma forma obtemos
(5.1)
por
r2 s(rs) = r2 rn1 ss = rn ree = er = r,

isto
r2 s(rs) = r.
(5.2)
5.4)Encontre um subgrupo de Dn gerado por r2 e r2 s, distinguindo cuidadosamente os

casos em que n par e em que n mpar.
Soluo:
G tal subgrupo de Dn . Abordemos o primeiro caso em que n par. Como

n
2
temos ento que r
vimos no Exerccio 4.1 quando n par existe um p Z tal que p =
2
possui ordem p, com isto garantimos em nosso subgrupo as potncias
Denotemos por
r2 , r4 , r6 . . . , r2p4 , r2p2 .
s
Garantimos tambm
n2 2
r s
obtemos
s.
pois o inverso de
r2 , rn2
tambm pertence a
G,
assim operando
Daqui podemos garantir todas as seguintes potncias
r2 s, r4 s, r6 s, . . . , r2p2 s.
Mas no existe mais elementos alm destes, pois, como
par, qualquer produto entre
r s com elementos da mesma forma, ou nos fornecem potncias pares

2
de r ou o elemento s. O elemento neutro claramente pertence a este grupo porque s = e.
2
2
Estes so os elementos do subgrupo gerado por r e r s quando n par.
Para o caso em que n mpar, suponhamos n da forma n = 2k + 1 para algum k Z+ .
elementos da forma
Podemos garangir a priori os seguintes elementos
r2 , r4 , . . . , r2k , r2 s, r4 s, . . . , r2k s.
Note que
r2k s
rG
r2k r2 = r2k+2 = r. Como r est presente, basta operarmos r com

s pois, rr2k s = r2k+1 s = rn s = s, como r e s geram Dn e veri-
pois
para obtermos
s pertencem a G, conclumos que quando n mpar, o subgrupo gerado por

r e r na verdade o prprio Dn . Ou seja r2 e r2 s so geradores de Dn quando n mpar.
camos que
43
5.5)Suponha que H um subconjunto nito no-vazio de um grupo G. Prove que H

um subgrupo de G se, e somente se xy pertence a H sempre quando x e y pertencem a
H.
Soluo:
()
()
Segue dos axiomas de grupo, que exigem que a operao seja fechada.
Como
nito, tome
tambm pertencem a
H.
x H,
por hiptese temos que todas as potncias de
Armamos que existem
i, j, k N,
com
i<j
j = i+k
tais
que
xi = xj
(5.3)
Note que a Equao (5.3) verdadeira, seno teramos
innito.
Como
j = i + k,
desenvolvendo o lado direito da Equao (5.3) obtemos
xi = xi xk xk = e.
x e seu inverso xk1
de G.
A Equao (5.4) nos diz que o produto de

5.14 temos que
(5.4)
de fato um subgrupo
esto em
H.
Pelo Teorema
5.6)Desenhe uma diagonal em hexgono regular. Liste as simetrias planas do hexgono

que deixam a diagonal xa, e aquelas que enviam a diagonal em si mesmo. Mostre que
ambas colees destas simetrias so subgrupos do grupo de todas as simetrias planas do
hexgono.
Soluo:
Utilizando a notao na gura abaixo,
enquanto que
a rotao de
2/3
no sentido anti-horrio,
a reexo na diagonal assinalada. Temos que as nicas simetrias que
deixam a diagonal xa so as rotaes
r3
r6
e a reexo que denotaremos por
s.
Temos
ento os seguintes subgrupos
{s, e}, {e, r3 }, {e, s, r3 , sr3 , r3 s}, {e, sr3 , r3 s}.

Para vericar se estes conjuntos so de fato subgrupos do grupo de todas as simetrias
planas do hexgono, basta observarmos que a operao fechada em cada um deles, o
elemento neutro, a simetria
aparece em todos, e seus inversos esto presentes tambm,
basta observar que o inverso de
o prprio
s,
o de
r3
o prprio, de
r3 s
sr3 ,
o que
termina nossos argumentos.
5.7)Seja G um grupo abeliano e seja H o conjunto que consiste nos elementos de G que
possuem ordem nita. Prove que H um subgrupo de G.
Soluo:
44
Figura 5.2: Hexgono regular e suas simetrias.
Para provarmos que
i)
subgrupo basta observarmos os seguintes axiomas
A operao fechada em
Tomemos
como
k = m.m.c(n, p),
H:
x, y H ,
escrever k das
Sejam
podemos
suponhamos que
seguintes formas
xn = e
k = n1
e
e
y p = e.
k = p2
abeliano temos
(xy)k = xk y k = xn1 y p2 = e
(5.5)
ii) O elemento neutro e pertence a H : De fato, pois e possui ordem 1.

iii) Para cada x H o elemento inverso x1 tambm pertence a H : Basta observarmos
que cada x H possui ordem nita, seja ento a ordem de x, assim x = e, como G
abeliano temos
xx1 = e = x1 x
desta forma observamos que o elemento
tanto pertence a
Por
i), ii)
iii)
x1 = x1
(5.6)
que tambm de ordem nita, por-
H.
conclumos que
de fato constitui um subgrupo de
G.
5.8)Quais elementos do grupo diedral innito possuem ordem nita? O conjunto destes
elementos um subgrupo de D ?
Soluo:
Para relembrar quais so os elementos de
D ,
segue a lista abaixo
. . . , t2 , t1 , s, e, , t, t2 , . . .
os nicos elementos desta lista que possuem ordem nita so
de fato um subgrupo, pois o inverso de
e.
O conjunto
{s, e}
ele mesmo.
5.9)Seja f uma funo real que preserva a distncia entre todo par de pontos, e que manda
nmeros inteiros neles mesmos.
a)
Assumindo que
no possui pontos xos, mostre que
uma
translao
por
uma distncia inteira.
b) Se f
deixa exatamente um ponto xo, mostre que este ponto um inteiro ou est
45
entre dois inteiros, mostre ainda que
c)
Finalmente, cheque que
uma
reexo
neste ponto.
deve ser a identidade se deixa mais de um ponto xo.
Soluo:
a) f
de fato uma translao. Como
preserva distncia, seja
(
|x 0| = |f (x) f (0)|
()
temos que
x = f (x) f (0)
x = f (x) f (0)
ou
f (0) um nmero
inteiro, assim para o primeiro caso temos f (x) = x + f (0) e no segundo f (x) = x + f (0)
Como
xR
envia nmeros inteiros em nmeros inteiros, temos que
em ambos os casos temos uma translao por um nmero inteiro como queramos.
b)
Seja
tal ponto xo, seja
yR
arbitrrio. Como
(
|x y| = |x f (y)|
()
Se tivermos
x y = x f (y)
teramos que
preserva distncias temos que
x y = x f (y) (1)
x + y = x f (y) (2)
f (y) = y
ou
contradizendo o fato de que o ponto
xo nico. Teremos ento que
x + y = x f (y)
2x = f (y) + y
(5.7)
x por y em () teremos duas possibilidades para y : (i) y = f (y) f (0)

y = f (y) f (0). Substituindo a (i) na Equao (5.7) temos que
Se substituirmos
ou (ii)
x = f (y)
f (0)
.
2
Este caso nos fornece dois outros subcasos:
(i1 ) y
inteiro e
f (0)
par.
(i2 ) y
inteiro e
f (0)
mpar.
Para o caso
Para o caso
(i1 ),
(i2 ),
temos que
notamos que
inteiro.
est entre os inteiros
f (y)
f (y) f (0).
Por outro lado, se substituirmos (ii) na Equao 5.7 temos que
x=
x est entre dois inteiros, 0 e f (0), e, quando f (0) par, x um inteiro.

fato uma reexo em x pois f (x) = x.
O que mostra que

Por m,
de
f (0)
.
2
c) Se f deixa
f (z) = z . Seja
46
mais de um ponto xo, sejam

tambm
f (y) 6= y.
x, z
com
x 6= z ,
tais que
f (x) = x
Temos ento que
|x y| = |x f (y)|
|z y| = |z f (y)|
x y = f (y) x
z y = f (y) z
f (y) = 2x y
f (y) = 2z y
Segue que
x=y
Desta duas equaes conclumos que

absurdo. Conclumos ento que
mas isto contradiz nossa hiptese, portanto
deve necessariamente ser a identidade.
5.10)Faa uma lista dos elementos de Z12 , que geram Z12 . Responda a mesma questo
para Z5 e Z9 . As respostas sugerem um resultado geral?
Soluo:
Os elementos que geram
{1, 2, 4, 5, 7, 8}.
so
Z12
{1, 5, 7, 11}
para
Z5
temos
{1, 2, 3, 4},
para
Z9
temos
Observando estas respostas podemos sugerir um resultado geral: O con-
junto dos geradores do grupo
Zn
o conjunto
{x Zn |m.d.c(x, n) = 1}.
5.11)Mostre que Q no cclico. Alm disto, mostre que Q no pode ser gerado por
um nmero nito de elementos.
Soluo:
Suponhamos por absurdo que
que seu inverso
cclico, seja
pQ
tal que
a
nunca poder ser obtido por potncia de
b
operao de soma). Portanto
Q no cclico.
hpi = Q. Seja ab Q, note

p(Estamos vendo Q com a
Suponhamos agora por absurdo novamente,
que ele gerado por uma coleo nita de racionais
a1 a2
an
, ,...,
b 1 b2
bn

.
m.d.c(ai , bi ) = 1 para i = 1, 2, . . . , n1, n. Seja q = ab Q tal que mdc(a, bi ) = 1

m.d.c(b, ai ) = 1 , note que podemos ter ento ab como sendo o nmero racional
Note que
e
a
a1 a2 a3 ...an1 an
=
b1 b2 b3 ...bn1 bn
b
a(b1 b2 b3 . . . bn1 bn ) = b(a1 a2 a3 . . . an1 an )
Sabendo que
mdc(a, bi )
mdc(b, ai )
so iguais a
1,
temos que
b|a
um absurdo pois
mdc(a, b) = 1.
Portanto conclumos que
no nitamente gerado.
5.12)Se a, b Z so ambos diferentes de zero e se H = {a + b | , Z}, mostre

que H um subgrupo de Z. Seja d o menor inteiro positivo em H . Cheque que d o
47
maior divisor comum de a e b.

Soluo:
Para mostrarmos que
H e se
= = 0.
em
subgrupo, basta vericarmos se
os inversos esto tambm em
Sejam agora
u, v H
tais que
H.
u = 1 a + b1
Note que
0H
pertence a
v = 2 a + 2 b
u + v = (1 + 2 )a + (1 + 2 )b
e se a operao fechada
H,
basta tomarmos
note que
v = i a + i b H , note que v H pois v = (i )a + (i )b. Portanto H

subgrupo de Z. Para a segunda parte, seja d a + b para quaisquer , Z. Como
d H suponhamos
d = p a + p b
para algum p
(5.8)
Seja
Note que a equao 5.8 Diofantina, temos ento que
mdc(a, b)
divide todos os elementos de
temos que
d = mdc(a, b)
H,
como queramos.
mas como
mdc(a, b)|d.
Observe ainda que
o menor inteiro que ele divide,
48
Captulo 6
Permutaes
Para os devidos ns de encontrarmos relaes entre os grupos de simetria, introduziremos
um novo grupo, o grupo das permutaes. Antes disto, devemos entender o que uma
permutao.
Denio 6.1.
bijeo de
SX
Uma permutao de um conjunto arbitrrio
ser entendida como uma
nele prprio. A coleo de todas as permutaes de
constituir o grupo
com a operao de composio de funes.
SX de fato um grupo. Se tivermos e permutaes de X ,

a funo composta : X X denida por (x) = ((x)) ainda uma permutao.
Note que a composio de funes associativa, e a funo identidade tambm uma
fcil checarmos que
permutao, sendo assim atuar como elemento neutro em nosso grupo.
SX
antes de mais nada unma bijeo, para cada
existe
Como cada
tal que
1 = = 1 .
Isto completa nossos argumentos para mostrar que
Denio 6.2.
Quando
um conjunto innito, ento
1 2 3
1 2 3
Os seis elementos de
"
,
1 2 3
2 1 3
"
,
de fato um grupo.
SX
tmbm um grupo innito.
primeiros inteiros positivos,
Grupo simtrico de grau n.
Exemplo 6.3.
=
consiste em ser os
chamado de
"
Se
SX
S3
A ordem de
Sn
SX
escrito como
claramente
n!.
so:
1 2 3
3 2 1
"
,
1 2 3
1 3 2
"
,
1 2 3
2 3 1
Cada uma destas matriz representa uma permutao, por exemplo a matriz
"
Sn ,
1 2 3
3 1 2
"
,
1 2 3
3 1 2
6. Permutaes
49
interpretado como a permutao que envia o nmero

nmero
e o nmero
no nmero
3,
o nmero
no
2. E quanto a composio de duas permutaes,

elemento signica a permutao atuando primeiro e
no nnmero
devemos nos lembrar que o

depois
Por exemplo
"
#"
1 2 3
2 1 3
1 2 3
1 3 2
"
=
1 2 3
2 3 1
#
,
enquanto que
"
1 2 3
1 3 2
#"
Com isto podemos concluir que

abeliano para
n 3,
1 2 3
2 1 3
S3
em
"
=
1 2 3
3 1 2
S6
#
()
no abeliano. Podemos assim dizer que
basta provarmos por induo sobre
Quando aumentamos o valor de

um elemento
no
n.
n esta notao matricial se torna invivel, por exemplo
denido por
"
1 2 3 4 5 6
5 4 3 6 1 2
#
.
Podemos obter as mesmas informaes contidas nesta matriz escrevendo
= (15)(246).
Sn
como
Em cada um dos parnteses o inteiro que vem logo aps o outro a
imagem do anterior.
Neste exemplo, 1 enviado em 5, e 5 em 1. O 2 enviado em 4, 4 em 6 e 6 em 2. Os
elementos que permanecem xos durante a permutao, isto , aqueles que so enviados
em si prprios no so mencionados com esta notao, neste caso , por exemplo o nmero 3.
Podemos descrever qualquer permutao desta forma, o procedimento o seguinte:
Abra
um par de parnteses, escreva ento a imagem do menor inteiro movido pela permutao.
Liste ento a imagem deste inteiro pela permutao, repita o processo com este inteiro
ciclo esteja
ciclo, repita
at que o
completo. Se sobraram inteiros que no foram evidenciados neste
primeiro
o processo abrindo um novo parnteses e iniciando com o menor
inteiro que no foi mencionado anteriormente.
Temos abaixo alguns exemplos que nos
ajudam a entender o processo
"
"
1 2 3 4 5 6 7 8 9
1 8 9 3 6 2 7 5 4
1 2 3 4 5 6 7 8
8 1 6 7 3 5 4 2
Aplicando este processo a
S3
#
= (2856)(394)
#
= (182)(365)(47)
obtemos que os elementos so representados por
(12),
(13),
(23),
(123),
(132)
6. Permutaes
50
()
Desta forma o clculo
se torna
(12)(23) = (123),
Com esta nova notao, uma permutao

parnteses chamada
a3 , . . . , ak1
ak
em
ak
permutao cclica.
em
a1 .
(a1 a2 . . . ak )
dentro de um nico par de
Esta permutao envia
a1
Deixando todos os outros inteiros xos.
comprimento, e uma permutao de comprimento

geralmente chamada
(23)(12) = (132).
enquanto que
transposio.
chamada
k-ciclo.
a2 , a2 em
O nmero k o
Uma 2 ciclo
em
O procedimento descrito acima, nos mostra que
todo
elemento de Sn pode ser escrito como produto de permutaes cclicas disjuntas, disjuntas
no sentido de que nenhum inteiro movido por mais de uma permutao cclica.
Observemos no exemplo onde obtemos
(2856)
(394),
o primeiro ciclo afeta apenas os
inteiros 2,5,6 e 8, e a segundo move apenas 3,4 e 9. Como estas permutaes so disjuntas,
comutam entre si. Existe ento um resultado geral aqui: Se e so elementos de

Sn e se nenhum inteiro movido por e simultaneamente, ento = .
elas
Observao
6.4
A decomposio de um elemento de
Sn
como produto de permutaes
cclicas disjuntas nico.
Teorema 6.5. O conjunto das transposies em Sn , um connjunto de geradores para

Sn .
Demonstrao.
Cada elemento de
Sn
pode ser escrito com produto de permutaes ccli-
cas, e cada permutao cclica pode ser escrita como produto de transposies pois
(a1 a2 . . . ak ) = (a1 ak ) . . . (a1 a3 )(a1 a2 ).

Portanto, cada elemento de
Sn
pode ser escrito como produto de transposies. Note que
as transposies no precisam ser necessariamente disjuntas, e esta decomposio no

nica.
Exemplo 6.6.
Observe que
"
Como
1 2 3 4 5 6
5 4 3 6 1 2
#
= (15)(246) = (15)(26)(24).
(246) = (624) = (462) podemos ter , equivalentemente

"
#
1 2 3 4 5 6
= (15)(624) = (15)(64)(62) =
5 4 3 6 1 2
= (15)(46)(26)
Teorema 6.7. (a) As transposies (12), (13), (14), . . . (1n) juntas, geram Sn
(b) As transposies (12), (23), . . . , (n 1 n) geram Sn
6. Permutaes
51
Demonstrao. (a)
Note que
(ab) = (1a)(1b)(1a) e pelo Teorema 6.5 temos que qualquer
permutao escrita como produto de transposies. Assim, pela frmula acima, as transposies so escritas como produto de
{1, 2 . . . , n}
(1a)
representam transposies da
(1b), como a, b so inteiros perntencentes a

forma (12), (13), . . . (1n) o que completa nosso
e
argumento.
(b) Pela parte (a), sabemos que toda permutao de Sn escrita em funo de (12), (13), . . . (1n),
(1k),
(1k) = (k 1
sendo assim, nosso problema se resume a escrever cada uma das transposies
1 k n em funo de (12), (23), . . . , (n 1 n). Mas note que

k) . . . (34)(23)(12)(23)(34) . . . (k 1 k), o que resolve nosso problema, com
com
isto conclu-
mos nosso argumento.
Teorema 6.8. A transposio (12) e o n-ciclo (123 . . . n) geram Sn .

Demonstrao.
Pelo Teorema 6.5 parte
transposio da forma
(k k + 1)
(b),
Nosso problema se resume a escrever cada
como uma palavra constituida por
(12)
(12 . . . n).
Observe ento que podemos escrever
(k k + 1) = (12 . . . n)k1 (12)(12 . . . n)1k ,
para
2 k n.
O que completa nossa demonstrao.

Um elemento de
Sn pode ser escrito como produto de transposies de vrias maneiras.
No entanto, o nmero de transposies que ocorre em cada uma destas maneiras sempre
par ou mpar. Para checarmos se uma dada permutao par ou mpar introduziremos o
polinmio
P = P (x1 , x2 , . . . , xn ) = (x1 x2 )(x1 x3 ) . . . (x1 xn )(x2 x3 . . . (xn1 xn ).

Em outras palavras, o polinmio
consiste do produto de todos os fatores
(xi xj )
com
1 i n, 1 j n e i j .
Se Sn , denimos P como todos os produtos (x(i) x(j) ) novamente com 1 i n,
1 j n e i j . O efeito de permutar os termos de P , ao mesmo tempo que tambm
troca o sinal de alguns destes termos. Portanto P positivo ou negativo, isto determina
o que chamamos de sinal de . ser positivo, +1, se P = P , se P = P ento o
sinal de negativo, -1.
Exemplo 6.9.
Para
n=3
= (132)
P = (x1 x2 )(x1 x3 )(x2 x3 )

P = (x3 x1 )(x3 x2 )(x1 x2 ) = +P
Assim o sinal de
igual a
+1.
6. Permutaes
Em geral , se
da transposio
52
, Sn o sinal de
(12) -1. Como
o produto dos sinais de
(1a) = (2a)(12)(2a)
Pouco nos importa o sinal de
(2a),
(ab)
(1a)
Note que o sinal
n 2,
sabendo que o sinal de
concluir que o sinal de uma transposio

transposio
para
e .
(12)
sempre -1.
negativo, podemos
Observe ainda que uma
pode ser escrita como
(ab) = (1a)(1b)(1a).
Como o sinal de cada uma destas transposies -1, conclumos que
transposio negativo.
Consequentemente, se um elemento de
Sn
o sinal de qualquer
pode ser escrito como
produto de um nmero par de transposies, ento seu sinal ser positivo. Se o nmero
de transposies em sua decomposio for mpar, ento seu sinal ser negativo.
Denio 6.10.
Um elemento
Sn
que pode ser escrito como produto de um nmero
par de transposies, ser chamado permutao par, e o sinal associado a ele ser positivo
+1. Se o nmero de transposies for mpar, ento o elemento ser chamado permutao
mpar, e o sinal associado a ele ser -1.
Como
(a1 a2 . . . ak ) = (a1 ak ) . . . (a1 a3 )(a1 a2 )

Temos que uma permutao cclica ser par quando seu comprimento for mpar, analogamente, ser mpar se seu comprimento for par.
Teorema 6.11. As permutaes pares em Sn formam um subgrupo de ordem n!/2 chamado

de grupo alternado An de grau n.
Demonstrao.
Se
so permutaes pares, podemos escrev-las como produto de
um nmero par de transposies. Quando compomos as duas permutaes,

resentao conter um total par de transposies, isto mostra que
produto das transposies que compem
sua rep-
par. Escrevendo o
na ordem inversa, mostramos que
uma
permutao par.
= (12)(12). Assim conclumos que as permutaes formam de fato um subgrupo de Sn . Note que se par, (12) mpar,
analogamente se mpar, ento (12) par.Note que nenhum elemento da forma (12)
que seja par e mpar. Ou seja, assim dividimos nosso grupo Sn em exatamente dois conjuntos disjuntos, as permutaes pares, e as mpares, como a ordem de Sn n!, temos que
a ordem do subgrupo constitudo pelas permutaes pares possui ordem n!/2.
A identidade
()
claramente par, pois
Teorema 6.12. Para n 3 os 3-ciclos geram An .
6. Permutaes
Demonstrao.
An ,
53
Cada 3-ciclo certamente uma permutao par. Dado um elemento de
usando o Teorema 6.7 (a), para escrev-lo como o produto de um nmero par de
(1a). Colocando estas

usando (1a)(1b) = (1ab).
transposies da forma
binando cada par
transposies em pares adjacentes e com-
Fizemos com que nosso elemento expresso como produto de 3-ciclos como queramos.
Exemplo 6.13.
Os doze elementos de
A4
so
,
(12)(34), (13)(24), (14)(23)
(123), (124),
(134),
(234),
(132), (142),
(143),
(243).
Os outros elementos de
S4
so as permutaes mpares
(12), (13), (14), (23), (24), (34),
(1234), (1243), (1324),

(1432), (1342), (1423).
6.1 Exerccios
6.1)Escreva a tbua de multiplicao para S3 .
Soluo:
Sejam os elementos de
S3
nomeados da seguinte forma
1 = (12) 2 = (13) 3 = (23) 4 = (123) 5 = (132) = identidade
1
2
3
4
5
1
2
3
4
5
1
1
5
4
3
2
2
2
4
5
1
3
3
3
5
4
2
1
4
4
2
3
1
5
5
5
3
1
2
S3 .
6.2)Expresse cada um dos seguintes elementos de S8 como produto de permutaes cclicas

disjuntas, e tambm como produto de transposies
Soluo:
"
a)
12345678
76418235
#
= (1734)(26)(58) = (14)(13)(17)(26)(58)
b) (4568)(1245) = (125)(468) = (15)(12)(48)(46)
6. Permutaes
54
c) (624)(253)(876)(45) = (25346)(876)(45) = (2534687)(34) = (253687) = (27)(28)(26)(23)(25)
Alguma destas permutaes pertence a A8 ?

Sim, apenas
(b)
pois par.
6.3)Mostre que os elementos de S9 que enviam os nmeros 2, 5, 7 neles mesmos, formam um subgrupo de S9 . Qual a ordem deste grupo?
Soluo:
Denotemos por
tal conjunto.
Note que a composio de dois elementos de
preservam a imagem dos nmeros

que a permutao identidade
2, 5, 7,
ainda
portanto a operao fechada. Observe ainda
pertence a
pois ela deixa
mento inverso de cada uma das permutaes de
2, 5, 7
xos. E por m, o ele-
tambm pertence a
G,
basta observar
que o inverso de uma permutao pode ser escrito com os mesmos nmeros colocados na
ordem inversa em cada ciclo, assim no elemento inverso teremos um ciclo apenas com os
nmeros2, 5, 7 escritos na ordem inversa, sendo assim o elemento inverso tambm restringe
a imagem de tais nmeros ao conjunto que os contm.
Por contagem temos que a ordem deste grupo
6!3! = 4320.
6.4)Encontre um subgrupo de S4 que possua seis elementos. Quantos subgrupos de ordem

seis existem em S4 ? Soluo:
Para encontrarmos um subgrupo de ordem
basta construirmos o conjunto das permu-
taes que possuem a imagem de um dos 4 primeiros inteiros xa.

por exemplo. A prova de que este conjunto um subgrupo de
S4
1, 2, 3, 4.
Fixando
anloga ao exerccio
anterior.
A priori, encontramos quatro destes subgrupos, variando o inteiro que pode permanecer
xo em cada permutao.
6.5)Calcule P (x1 x2 x3 x4 ) quando = (143) e quando = (23)(412).

Soluo:
Quando
= (143)
P (x1 , x2 , x3 , x4 ) = (x1 x2 )(x1 x3 )(x1 x4 )(x2 x3 )(x2 x4 )(x3 x4 )

P = (x4 x2 )(x4 x1 )(x4 x3 )(x2 x1 )(x2 x3 )(x1 x3 )
Quando
= (23)(412) = (1234)
assim
P = (x3 x4 )(x3 x2 )(x3 x1 )(x4 x2 )(x4 x1 )(x2 x1 )

Conclumos que
(143)
par e
(1234)
mpar.
6. Permutaes
55
6.8)Se , Sn mostre que 1 1 sempre pertence a An e que 1 petence a

An sempre que uma permutao par.
Soluo:
Para pertencer a
An
basta que a permutao seja par, ou equivalentemente, seu sinal seja
positivo. Dividiremos em 4 casos

i)
ii)
par e
iii)
mpar e
par (negativo e positivo)
iv)
mpar e
mpar (negativo e negativo)
pares( positivos)
mpar (positivo e negativo)
Sabendo que o sinal de um produto de permutaes igual ao produto dos sinais temos
que em todos os casos acima
E de fato quando
1 1 positivo, ou seja, par.
1 1 An .
1 pertence a An .
Portanto
par, o sinal associado a ela positivo, ento
6.11)Encontre a ordem da permutao a) do exerccio 6.2

Soluo:
(1734)(26)(58)(1734)(26)(58) = (1734)(1734) = (13)(47) = 2

(13)(47)(1734)(26)(58) = (1437)(26)(58) = 3
(1437)(26)(58)(1734)(26)(58) = . Portanto conclumos que a ordem de = (1734)(26)(58)
quatro.
6.12)Prove que a ordem de um elemento Sn o mmc do comprimento de cada

um dos ciclos quando escrito como produto de permutaes cclicas disjuntas.
Soluo:
Primeiro, observemos que a ordem de um ciclo
(a1 a2 . . . al )
exatamente seu compri-
mento. Isto segue pois ao compormos sussecivamente este ciclo, cada composio faz com
que ele mude sua imagem para o elemento que o sucede, ou seja, a imagem de
uma composio ser
ai+1
fazendo assim
ai
ai ,
aps
percorrer os elementos a partir das potncias.
Para que tenhamos a ordem deste ciclo, devemos observar quando os elementos
ai
que
aparecem no ciclo, voltaro a sua posio original, neste caso isto ocorrer apenas aps
percorrerem todos os elementos do ciclo, ou seja aps compormos o ciclo
Suponhamos agora,
Sn ,
note que
vezes.
pode ser escrito como produto de permutaes
cclicas disjuntas, sendo assim ele tem a forma
= (a1 . . . am )(b1 . . . bj ) . . . (c1 . . . cf )

Para encontrarmos a ordem de
Ao elevarmos
p-sima
devemos descobrir qual potncia
de
satisfaz
p = .
potncia, elevamos tambm cada um dos ciclos, sendo assim,
6. Permutaes
56
temos que encontrar uma potncia que
anule
todos os ciclos, sabendo que o comprimento
de cada um dos ciclos a sua ordem, basta tomarmos

tenhamos a igualdade
de fato o
mmc
decomposio.
p =
satisfeita.
p = mmc(m, j . . . , f
para que
Sendo assim conclumos o que a ordem de
dos comprimentos das permutaes cclicas disjuntas presentes em sua
57
Captulo 7
Isomorsmos
7.1 Comparando grupos
Observe o tabuleiro de xadrez, ele possui 4 simetrias planas, a identidade
em torno do centro e as reexes
q1
q2
e,
a rotao de
nas diagonais. Estas quatro simetrias formam
Figura 7.1: Tabuleiro de xadrez e suas simetrias planas.
[1]
um grupo com a operao de composio, cuja tbua de multiplicao evidenciada na

Tabela
7.1.
Observe tambm que o conjunto dos nmeros
1, 3, 5, 7, se munido da operao
de multiplicao mdulo 8, constitui um grupo, cuja tbua de multiplicao est abaixo

da tbua de multiplicao a Tabela
7.2
Observando estas tabelas podemos notar algumas semelhanas. Em cada caso, o grupo
possui quatro elementos, e estes elementos aparecem combinados da mesma maneira nas
duas tbuas, basta igualarmos os nomes para vericar que de fato o comportamento de
cada um dos elementos o mesmo independente do grupo ao qual pertence. Chamemos
7. Isomorsmos
58
e r q1 q2
e r q1 q2
r e q2 q1
q 1 q2 e r
q 2 q1 r e
e
r
q1
q2
Tabela 7.1: Tbua de multiplicao simetrias planas do tabuleiro.
1
1
3
5
7
1
3
5
7
3
3
1
7
5
5
5
7
1
3
7
7
5
3
1
Tabela 7.2: Tbua de multiplicao do conjunto denido acima.
o primeiro grupo de
e o segundo de
e 1,
x x0 .
G0 ,
r 3,
e consideremos a correspondncia
q1 5,
q2 7,
Quando dizemos que os elementos se combinam da mesma maneira, estamos
dizendo que se
x x0
Denio 7.1.
y y0
Dois grupos
xy x0 y 0 .
ento
e
G0
so isomorfos se existe uma bijeo
de
em
G0
que satisfaz
(xy) = (x)(y)
A funo
chamada um
Em outras palavras um
para a de
G.
para quaisquer
x, y G.
isomorsmo entre G e G0 .
isomorsmo
uma bijeo que carrega a multiplicao de
Conclumos ento que os grupos associados s tabelas
7.1 e 7.2 so isomorfos.
Para as caractersticas em que estamos interessados, ou seja, algbricas, consideraremos
G0
iguais.
7.2 Buscando isomorsmos

G0 implica que G e G0 devem possuir o mesmo
tamanho. Se, alm disso tivermos que (xy) = (x)(y) para quaisquer x, y , signica
que no importa se primeiro combinamos dois elementos em G e depois enviamos para
G0 por , ou se primeiro enviamos separadamente por os elementos x e y para G0 ,
para depois combinar suas imagens, o resultado o mesmo. Se existir tal , conclumos
0
1
que G de fato G disfarado. Note que a funo inversa
: G0 G tambm um
0
isomorsmo, assim nossa denio simtrica, isto , dizer que G e G so isomorfos,
Procurar por uma bijeo entre
7. Isomorsmos
59
equivalente a dizer que

escrevemos
G0
so isomorfos.
Para indicar que
G0
so isomorfos,
G
=G.
0
Exemplo 7.2. : R R+
(x) = ex
denido por
um isomorsmo.
Note que
claramente uma bijeo. Note tambm que
(x + y) = ex+y = ex ey = (x)(y)
para quaisquer
x, y R.
Assim conclumos que
R+
so isomorfos. Observe que em
a operao a adio usual e em R+ a multiplicao usual.
Exemplo 7.3.
J sabemos um pouco sobre as simetrias no tetraedro. So
12
simetrias
G. Podemos aprender mais com o que

segue. Enumerando os vrtices com os nmeros 1, 2, 3 e 4, como na Figura 7.2. Cada simetria rotacional induz uma permutao destes 4 primeiros inteiros. Por exemplo, a rotao
r, induz a permutao cclica (234) e s induz (14)(23). Trabalhando sistematicamente por
rotacionais que compem o grupo no abeliano
todas as outras possibilidade de rotaes e combinaes desta rotaes, conseguimos uma

identicao com os doze elementos de
, ,
respectivamente, ento
uv
A4 .
claramente induz
simetria rotacional
mostra que
Se duas rotaes,
u, v induzem as permutaes
Portanto a correspondncia
permutao induzida,
G
= A4 .
[1]
Figura 7.2: Tetraedro com vertices enumerados.
7. Isomorsmos
Exemplo 7.4.
Qualquer grupo cclico innito isomorfo a
innito, gerado por

Note que
60
x.
:GZ
Denimos
por
Z.
(x ) = m.
G um grupo cclico
um isomorsmo.
Seja
Ento
uma bijeo e preserva a operao pois:
(xm xn ) = (xm+n ) = m + n = (xm ) + (xn )
Exemplo 7.5.
para quaisquer elementos de
G.
n isomorfo a Zn . Se G um
: G Zn por (xm ) = m(mod n).
Qualquer grupo cclico nito de ordem
grupo cclico de ordem
n,
e se
G,
gera
denimos
Esta aplicao de fato uma bijeo, a prova de que conserva a operao anloga a
prova acima, mas com a operao
+n .
Exemplo 7.6. D3 e S3 so isomorfos.
Para obtermos tal isomorsmo basta reproduzirmos
o procedimento feito para o tetraedro no Exemplo 7.3, numerando cada um dos vrtices
de um tringulo equiltero da placa triangular com os nmeros de 1 a 6.
Proposio 7.7. Se uma funo : G G0 um isomorsmo, ento G e G0 tm a

mesma ordem. Mais ainda, leva o elemento neutro de G no elemento neutro de G0 .
Demonstrao.
Suponhamos
x0 G0
(x) = x0
ento
x0 (e) = (x)(e) = (xe) = (x) = x0 .

Analogamente mostramos que
G.
(e)x0 = x0 ,
mostrando que
(e)
o elemento neutro de
Outro argumento que pode ser usado que
(e)(e) = (ee) = (e)
Se multiplicarmos a equao acima, em ambos os lados pelo inverso de
(e) o elemento neutro de G0 .

ser uma bijeo, apenas de que
(e)
em
G0 ,
obtermos que
Note que este ltimo argumento no utiliza
o fato de
conserva a operao.
Proposio 7.8. O isomorsmo manda elementos inversos de G em elementos inversos

de G0 , no sentido que
(x)1 = (x1 ),
Demonstrao.
x G.
(x1 )(x) = (x1 x) = (e) = e.

Analogamente, mostramos que
(x)
em
(x)(x1 ) = e.
Portanto
(x1 )
de fato o inverso de
G0 .
Proposio 7.9. Se G abeliano, ento G0 tambm o . Ou seja, o isomorsmo conserva

a propriedade comutativa da operao.
Demonstrao.
Sejam
x0 , y 0 G0 ,
se
(x) = x0 ,e (y) = y 0
ento
7. Isomorsmos
61
x0 y 0 = (x)(y) = (xy) =
= (yx) =
= (y)(x) = y 0 x0
(pois
abeliano) .
Proposio 7.10. Se : G G0 um isomorsmo, e se H um subgrupo de G, ento

(H) um subgrupo de G0 .
Demonstrao.
encontrar
xy
Usaremos o Teorema 5.14.
x, y H
H,
tais que
(x) = x0
Suponhamos
(y) = y 0 .
Como
x0 , y 0 (H), ento podemos

H subgrupo de G, temos que
mais ainda
(xy 1 ) = (x)(y 1 ) = (x)(y)1 = x0 (y 0 )1 .

Assim vemos que
x0 (y 0 )1 (H)
como queramos.
Se na proposio acima, tivermos ainda que
cclico, gerado por um elemento
g G e x0 (H) ento x0 = (g m ) = (g)m . Portanto (H) gerado pelo elemento

(g). Alm disso Um isomorsmo preserva a ordem de cada elemento. e se : G G0
e : G0 G00 so ambos isomorsmos, ento a composio : G G00 tambm um
isomorsmo.
7.3 Resultados Sobre os trs primeiros slidos

No captulo
1 introduzimos trs slidos:
O tetraedro regular, a placa hexagonal com lados
iguais e uma pirmide regular com base dodecagonal.

A observao geomtrica de que estes trs slidos possuem tipos de simetrias diferentes
trazida para o contexto algbrico com o fato de que os grupos de simetrias destes trs
no so isomorfos.
slidos
Para mostrarmos este resultado, precisamos mostrar que o grupo de simetria rotacional
do tetraedro isomorfo a
A4 , o que j foi feito no Exemplo 7.3.
Note que o grupo da placa,
D6 , e o da pirmide cclico, portanto isomorfo a Z12 . Destes trs grupos,

abeliano Z12 portanto no isomorfo a D6 nem a A4 , o que j mostra que o
por denio
o nico
grupo de simetria rotacional da pirmide no isomorfo a nenhum dos outros dois grupos
de simetria rotacional. Por m, note que
ordem
6,
D6 ,
ao contrrio de
A4
contm um elemento de
o que impede que ambos sejam isomorfos.
Exerccios
7.1)Cheque que o conjunto A = {1, 2, 4, 5, 7, 8} constitui um grupo pela multiplicao
mdulo 9, mostre tambm que este grupo isomorfo a Z6 .
7. Isomorsmos
62
Soluo:
A propriedade associativa segue do Exerccio
3.5.
os inversos, observando a tbua de multiplicao temos que:
51 = 2, 71 = 4
81 = 8.
1. Para
= 5, 41 = 7,
O elemento neutro claramente
11 = 1, 21
Por outro lado,
0 1, 1 2, 2 4, 5 5, 3 8, 4 7,
um isomorsmo de
Z6
em
{1, 2, 4, 5, 7, 8}.
De fato , pois uma bijeo e conserva a
operao. Este isomorsmo foi construdo pensando em levar o elemento neutro de um

grupo no elemento neutro do outro e tambm na preservao da ordem de cada elemento.
9
1
2
4
5
7
8
1
1
2
4
5
7
8
2
2
4
8
1
5
7
4
4
8
7
2
1
5
5
5
1
2
7
8
4
7 8
7 8
5 7
1 5
8 4
4 2
2 13
Tabela 7.3: Tbua de multiplicao do conjunto
A.
7.2)Verique que o conjunto B = {1, 3, 7, 9, 11, 13, 17, 19} formam um grupo pela multiplicao mdulo 20. Explique por que este grupo no isomorfo a Z8 .
Soluo:
20
1
3
7
9
11
13
17
19
1
1
3
7
9
11
13
17
19
3
3
9
1
7
13
19
11
17
7
7
1
9
3
17
11
19
13
9
9
7
3
1
19
17
13
11
11
11
13
17
19
1
3
7
9
13
13
19
11
17
3
9
1
7
17
17
11
19
13
7
1
9
3
19
19
17
13
11
9
7
3
1
Tabela 7.4: Tbua de multiplicao do conjunto.
Novamente temos a associativa atravs do exerccio

mente
1.
3.5
. O elemento neutro clara-
Para os inversos basta observarmos a tbua de multiplicao:
11 = 1, 31 = 7, 71 = 3, 91 = 9, 111 = 11, 131 = 17, 171 = 13, 191 = 19.
7. Isomorsmos
63
O isomorsmo entre o conjunto e
Z8
no ocorre pelo seguinte fato. Um isomorsmo deve
preservar a ordem de cada elemento, note que no primeiro conjunto temos

alm do elemento neutro que possuem ordem dois, enquanto que em
identidade possui ordem
2.
Z8
elementos,
4 alm da
apenas
Sendo assim, tal isomorsmo no existe.
7.3)Mostre que o subgrupo {, (12)(34), (13)(24), (14)(23)} de A4 isomorfo ao grupo

de simetrias planas do tabuleiro de xadrez.
Soluo:
O grupo das simetrias planas do tabuleiro de xadrez o seguinte conjunto
{e, r, q1 , q2 }
munido da operao de composio de funes. Observando a ordem de cada elemento,

podemos ter a seguinte correspondncia
(14)(23) r
(12)(34) q1
(13)(24) q2 .
Note que esta correspondncia uma bijeo, e trivial o fato de que ela conserva a
operao. Portanto isomorsmo, garantido que os dois grupos so isomorfos.
7.4)Produza um ismorsmo especco entre S3 e D3 . Quantos isomorsmos diferentes

existem de S3 em D3 ?
Soluo:
Relembrando que
S3 = {(12), (13), (123), (132), (23), }
D3 = {r, r2 , s, rs, r2 s, e},
a re-
lao
r2 (132)
r (123)
s (12)
r2 s (23)
rs (13)
e ,
claramente uma bijeo que conserva a operao, e portanto um isomorsmo.

A pergunta sobre quantos isomorsmos diferentes existem entre
S3
D3
se resume a re-
sponder a pergunta de quantas opes de imagens temos para os elementos

Para o elemento
de
D3 .
temos a opo de duas imagens, em que gira a placa uma ou duas
vezes, produzindo duas permutao distintas dos vrtices. Para o elemento
temos trs
opes, como existe um eixo para cada vrtice, o que acaba resultando em 3 permutaes
diferentes dos vrtices. Assim combinando as opes para
temos
3.2 = 6
isomors-
mos diferentes.
7.5)Seja G um grupo. Mostre que a correspondncia x x1 um isomorsmo de

G em G se, e somente se, G abeliano.
() Se x x1 um isomorsmo sabemos
que para quaisquer
x1 y 1 = (xy)1 .
x, y G
temos que
(7.1)
7. Isomorsmos
64
pela equao 7.1 temos que
(xy)x1 y 1 = e
(xy)x1 = ey
xy = yx.
O que nos mostra que
abeliano.
()Para vericarmos que x x1 um isomorsmo , devemos mostrar que uma bijeo

e que conserva a operao. Provemos a injeo. Suponhamos (x1 ) = (x2 ) temos ento
= x1
x1
2
1
1
x1
1 x2 = x2 x2
1
x1
1 x 2 = e = x2 x1
1
= x2
(x1
1 )
x1 = x2 .
Agora a sobrejeo. Seja

tome
x=y
y G, existe x G tal que (x) = y ?
De fato, como
G grupo,
temos ento
(x) = (y 1 )1 = y.
Provemos agora que
conserva a operao. Como por hiptese
(xy) = (xy)1 = y 1 x1 =
como
abeliano temos que
abeliano
= x1 y 1 = (x)(y).
Assim terminamos nosso exerccio.
7.6)Mostre que Q+ no isomorfo a Z.

Soluo:
exemplo
(1)
cclico, portanto se existisse um isomorsmo, o elemento por
em Q+ deveria gerar
Q+
, mas isto um absurdo, pois ja provamos que
Q+
no nitamente gerado, muito menos cclico.
7.7)Se G um grupo, e se g um elemento de G, mostre que a funo : G G

denida por (x) = gxg 1 um isomorsmo.
Soluo:
Novamente, devemos mostrar que
bijeo e conserva a operao.
7. Isomorsmos
65
injetora: Sejam
(x) = (y)
elementos de
G.
Temos ento que
(x) = (y)
gxg 1 = gyg 1
operando com
gx = gy
(operando agora com
em ambos os lados pela direita
g 1
pela esquerda)
x = y.
Para a sobrejeo, devemos mostrar que para cada
(x) = y .
Basta tomarmos
a bijeo.
Mostremos agora
y G
existe um
x G
tal que
x = g yg , que tal igualdade satisfeita. Temos ento

que conserva a operao. Sejam x, y elementos de G,
tomemos
(xy) = gxyg 1 =
(como
possui elemento inverso temos que)
= gxg 1 gyg 1 =
= (x)(y).
Com isto conclumos que
7.8) Diremos que H um
de fato um isomorsmo.
subgrupo prprio do grupo G se H no apenas {e} e
tambm no todo G. Encontre um exemplo de um grupo que isomorfo a um dos seus

subgrupos prprios.
Soluo:
Um exemplo o grupo
(Z, +)
que isomorfo ao subgrupo
2Z
que consiste de todos os
elementos pares de
Z munido da operao de soma. Para tanto basta estabelecermos

f : Z 2Z denida por f (x) = 2x. Claramente f uma bijeo
seguinte funo :
conserva a operao de soma.
7.9)Suponha que G um grupo cclico. Se x gera G, e se : G G um isomorsmo, prove que completamente determinada por (x) e que (x) tamb gera G. Use
estes fatos para encontrar todos os isomorsmos de Z em Z, e todos os isomorsmos de
Z12 em Z12 .
Soluo:
Note que como
conserva a operao temos que para um
(a) G
arbitrrio
(a) = (xm ) = (xxxx

. . . xxx}) =
{z
|
m vezes
= (x) . . . (x) =
= (x)m .
Estas igualdades nos armam que qualquer elemento presente na imagem de
gerado
7. Isomorsmos
66
(x). Como
Im() = G, se (x)
por
Sabendo que
um isomorsmo, temos que

gera
Im() (x)
gera
1.
So
ou
1,
uma bijeo, o que implica que
G.
cclico, sabemos que o elemento
para achar todos os isomorsmos de

temos para
em
(1)
gera toda a imagem, portanto
basta contar quantas opes de imagem
portanto temos um total de dois isomorsmos.
a Z12 s pode gerar este

conjunto se possuir ordem exatamente 12, pois Zn cclico. Se mdc(a, 12) 6= 1 a no
pode ser um gerador, pois como existe um c Z12 diferente de 12, que a ordem de a.
Portanto os elementos que podem gerar Z12 so :{1, 5, 7, 11}. Sendo assim temos um total
de quatro opes para (1), gerando um total de quatro isomorsmos distintos entre Z12
e Z12 .
Para o caso de
Z12
devemos observar que um elemento
7.10)Mostre que R no isomorfo a Q e que R {0} no isomorfo a Q {0}. R

isomorfo a R {0}?
Soluo:
Suponhamos primeiramente que exista um isomorsmo entre
Q,
teramos ento uma
bijeo entre tais conjuntos, o que um absurdo, pois por um resultado de anlise, temos
que
R no-enumervel enquanto que Q enumervel. Pelo mesmo argumento mostramos

que R {0} e Q {0} no so isomorfos. Suponhamos agora que exista um isomorsmo
entre R e R {0}. Note que o primeiro grupo deve estar necessariamente munido da
operao de soma usual, enquanto que o segundo deve estar munido da operao de multiplicao. Seja um elemento
Como
a R e suponhamos que sua imagem por seja (a) = 1.
isomorsmo temos
(2a) = (a + a) = (a)(a) =
= (1)(1) = 1.
Mas note que como
um isomorsmo, ele deve levar elemento neutro em elemento
neutro, sendo assim temos que

que
(2a) = (0),
como
(0) = 1
bijeo, isto implica que
absurdo, pos havamos suposto que

isomorfo a
. Substituindo na equao acima temos ento
(a) = 1.
a = 0,
(a) = 1 () um
conclumos que R no
assim
Sendo assim,
R 0.
7.11)Prove que o subgrupo de S6 gerado por (1234) e (56) isomorfo ao grupo descrito
no exerccio 7.2.
Soluo:
Para tanto, basta exibirmos o isomorsmo nos elementos
tbua de multiplicao obtida no exerccio
7.2
(1234)
(56).
Observando a
podemos identicar a ordem de cada um
7. Isomorsmos
67
daqueles elementos. Sendo assim um ismorsmo seria uma aplicao bijetora
((1234)) = 3
((56)) = 11.
tal que
Este isomorsmo uma bijeo entre o subgrupo de
S6
7.2 pois conserva a ordem de cada elemento, leva

geradores em geradores. Os elementos 11 e 3 so geradores do grupo descrito no Exerccio
7.2, pois : 112 = 1, 32 = 9, 33 = 7, 11 20 3 = 13, 7 20 11 = 17, e 3 20 13 = 19. Esta funo
e o conjunto evidenciado no exerccio
ainda leva elemento neutro em elemento neutro e tambm bijeo.
7.12)Mostre que o subgrupo de S4 gerado por (1234) e (24) isomorfo a D4 .

Soluo:
Pelo mesmo processo do exerccio anterior, basta levarmos por uma aplicao
mento
(1234) em r
e o elemento
(24) em s,
portanto um isomorsmo denido.
o ele-
sendo assim, levamos geradores em geradores,
68
Captulo 8
Slidos de Plato e o Teorema de
Cayley
Existem apenas cinco slidos regulares convexos, o
tetraedro
(com faces triangulares),
cubo (com faces quadradas),octaedro (com oito faces triangulares),dodecaedro (com

doze faces pentagonais) e o icosaedro (com vinte faces triangulares). Eles so os chamados Slidos de Plato.
Mostramos at agora que o grupo de simetrias rotacionais do
tetraedro isomorfo ao grupo alternado
A4 .
Mostraremos resultados anlogos para os
outros quatro slidos restantes.
Figura 8.1: Slidos de Plato.
[1]
Um cubo possui exatamente vinte e quatro simetrias rotacionais, elas podem ser contadas da mesma maneira como contamos no tetraedro. Encontramos os tipos de eixo de
8. Slidos de Plato e o Teorema de Cayley
N . Existem trs eixos do tipo L, cada um nos fornece trs simetrias, ou

seja, um total de 9. Existem ainda seis eixos do tipo M , cada um nos fornece apenas uma
simetria. Por m existem quatro eixos do tipo N , cada um nos fornecem duas rotaes, a
de 2/3 ou 4/3, ou seja um total de 8. Ao somarmos todas estas simetrias, obtemos um
simetria
L, M
69
total de vinte e trs simetrias rotacionais diferentes da identidade, obtida a partir de uma
rotao de
2 em qualquer um dos eixos.
Sendo assim totalizamos 24 simetrias rotacionais.
Figura 8.2: Cubo com os eixos de rotao.
[1]
Enumerando os vrtices do cubo, podemos produzir um isomorsmo entre o grupo

de simetrias rotacionais do cubo e um subgrupo de
S8 .
Para tanto, temos que observar
que cada simetria rotacional no cubo permuta as quatro diagonais principais do cubo.
Podemos utilizar este fato para mostrar que este grupo de simetria rotacional isomorfo a
S4 .
Se eunumerarmos os vrtices do cubo da forma como a gura acima mostra, denimos
a diagonal
Nk
como sendo a diagonal que une
rotacional permuta as diagonais
N1 ,N2 ,N3
N4 ,
k0,
para
1 k 4.
Cada simetria
consequentemente, nos d a permutao
1, 2, 3, 4. Por exemplo, rerindo-nos a Figura 8.2, r envia N1 em N2 , N2 em

N3 , N3 em N4 e N4 em N1 , o que induz a permutao (1234) enquanto que a rotao s
induz a permutao (143).
Por t, as diagonais N1 e N2 so trocadas enquanto N3 em N4 so matidas xas. Sendo
assim a rotao t induz a permutao (12).
Seja G o grupo de simetria rotacional do cubo, e : G S4 onde a funo construda
dos nmeros
acima. Como o produto de duas rotaes claramente induz o produto de permutaes,

basta checarmos que
uma bijeo.
Para tanto, basta lembrarmos que uma sobrejeo entre dois conjuntos nitos que possuem
70
o mesmo nmero de elementos uma bijeo. Mostremos que
sobrejetora. Note que
(1234) e (12) pertencem a (G), e (G) um subgrupo de S4 pois manda a operao de

G em S4 . Portanto, uma palavra que pode ser formada por (1234) e (12) deve pertencer
a (G). Como (1234) e (12) geram todo S4 , (G) = S4 o que completa nosso argumento.
Unindo os centros de cada par de lados adjacentes de um cubo, podemos produzir um
octaedro regular inscrito no cubo. O mesmo procedimento repetido dentro do octaedro nos
fornece um cubo inscrito no octaedro. Dizemos ento que o cubo e o octaedro so
duais.
slidos
Eles claramente possuem a mesma quantidade de simetrias. Basta observar que
qualquer simetria do cubo uma simetria do octaedro, e vice-versa, pois os eixos de

simetria de cada um deles tambm um eixo de simetria do segundo.
Podemos dizer
ento, que os grupos de simetria rotacional do cubo e do octaedro so isomorfos.
[1]
Figura 8.3: Octaedro inscrito no cubo.
Existem ainda outros dois slidos regulares, o dodecaedro e o icosaedro. Ambos so

duais um do outro, estamos interessados apenas nos grupos de simetria rotacional , portanto, basta estudarmos um deles. Escolhemos o dodecaedro.
Observe na Figura 8.4 que cada vrtice do cubo um vrice do dodecaedro, e cada
aresta do cubo uma diagonal de uma face pentagonal. Se olharmos para uma face pentagonal especca, exatamente uma das cinco diagonais uma aresta do cubo inscrito.
Sendo assim sabemos que existem mais quatro cubos diferentes inscritos no dodecaedro. Existem cinco cubos, que so permutados a cada simetria rotacional do dodecaedro.
Usando-os, como usamos as diagonais do cubo, conseguimos concluir que o grupo de simetria rotacional do dodecaedro isomorfo a
A5 .
O grupo de simetria rotacional do

tetraedro isomorfo a A4 , o cubo e o octaedro possuem os grupos de simetria rotacional
isomorfos a S4 . O dodecaedro e o icosaedro possuem grupos de simetria rotacional isomorfos a A5 .
Resumimos nossos resultados da seguinte forma.
71
[1]
Figura 8.4: Um dos 5 cubos inscritos no dodecaedro.
Temos conseguido resultados de isomorsmos entre os grupos de simetria rotacional

e grupos de permutaes. Mostraremos agora um resultado geral que garante que todo
grupo isomorfo a um subgrupo de um grupo de permutaes.
Teorema 8.1.
Teorema de Cayley. Seja G um grupo, ento G isomorfo a um
subgrupo de SG .
Demonstrao.
Lg : G G denida
por Lg (x) = gx. Lg injetora pois, se tivermos Lg (x) = Lg (y) gx = gy x = y .
Lg tambm sobrejetora, seja z G, ento Lg (g 1 z) = gg 1 z = z . Chamamos Lg de
uma translao a esquerda por g . Note que se se G = R temos de fato uma translao
0
fsica. Seja G = {Lg | g G} subconjunto de SG . A operao em SG a composio de
Cada elemento
gG
nos fornece uma permutao
funes, e
Lg (Lh (x)) = Lg (hx) = ghx = Lgh (x) x G.

Isto nos mostra que o produto de dois elementos de
G0
est em
G0 .
O elemento neutro de
SG pertence a G pos igual a Le , o inverso de Lg em SG Lg1 que tambm pertence a

G0 . Assim conclumos que G0 um subgrupo de SG , a correspondncia estabelecida entre
G e G0 denida por
g Lg
Certamente sobrejetora, pois
G0
o conjunto imagem desta aplicao, note ainda que
ela preserva a operao pois
gh Lgh = Lg Lh
Lg = Lh g = Lg (e) = Lh (e) = h.
0
subgrupo G de SG como queramos.
Por m, mostramos que tal aplicao injetora, pois

Portanto , temos um isomorsmo entre
e um
Teorema 8.2. Se G um grupo nito de ordem n, ento G isomorfo a algum subgrupo

de Sn .

Demonstrao.
Se os elementos de
72
forem enumerados com
1, 2, . . . , n,
ento cada per-
G induz uma permutao dos inteiros 1, 2, . . . , n. Este argumento nos fornece

0
um isomorsmo de SG em Sn e consequentemente, o subgrupo G de SG isomorfo a
00
0
algum subgrupo G de Sn pela Proposio 7.10. Como G isomorfo a G , e a composio
de isomorsmos tambm um isomorsmo, temos que G
= G0 . Assim temos que
mutao de
G
= G0
= G00
Ou seja temos um isomorsmo de
em um subgrupo
G00
de
Sn
como queramos.
8.1 Exerccios
8.1)Enumere as arestas de um tetraedro regular de 1 a 6, de forma que cada simetria
rotacional do tetraedro produza um elemento de S6 . Trabalhe com os doze elementos de
S6 identicados desta forma, e mostre que eles formam um subgrupo de S6 .
Soluo:
Podemos identicar cada uma das rotaes
e , r , r2 , s , rs , r2 s
com uma permutao em
S6 .
Numerando cada uma das arestas, cada rotao induz uma
permutao, desta forma temos a relao
r (312)(645)
r2 (321)(654)
s (51)(62)
rs (163)(245)
r2 s (614)(253)
e
Mostremos agora que o conjunto
um subgrupo de
S6 .
{(312)(645), (321)(654), (51)(62), (163)(245), (614)(253), }
Para tanto basta vericarmos que o elemento neutro pertence a
este conjunto, o que j visto. Precisamos vericar a presena do elemento inverso para
cada um dos elementos deste conjunto. Para tanto observe que a relao denida acima
um isomorsmo, sendo assim, os inversos de cada um dos elementos do conjunto de
simetrias rotaes tambm est presente no subconjunto de
tal conjunto um subgrupo de
S6 .
S6 .
Com isto, conclumos que
73
8.2)Unindo os centros de cada par de faces adjacentes do tetraedro regular, observe

que o resultado um segundo tetraedro regular inscrito de ponta cabea no primeiro.
Soluo:
O resultado a seguinte Figura:
Figura 8.5: Tetraedro inscrito.
8.3)Enumere as faces do cubo de 1 a 6. Encontre os elementos de S6 que correspondem

as rotaes r, s e t na Figura 8.2
Soluo:
Observando a Figura 8.2 com os vrtices numerados, e examinando o efeito das rotaes
nas faces temos a seguinte relao
r (1234)
s (643)(215)
t (15)(24)(63).
8.4)Observe o cubo com um trao marcada em cada uma de suas faces. Quais simetrias rotacionais do cubo, enviam traos em traos? A qual subgrupo de S4 estas rotaes
correspondem?
Soluo:
Operando com as rotaes neste cubo com os traos obtemos que apenas as rotaes
74
Figura 8.6: Cubo com faixas.
s2
[1]
levam traos em traos. Se enumerarmos os vrtices do cubo, produzindo as quatro
N1 , N2 , N3 , N4 . As rotaes s
(134) das diagonais N1 , N3 e N4 .
s2
diagonais
(143)
Assim estas permutaes correspondem ao sub-
grupo gerado por estes dois elementos, ou
induzem, respectivamente as permutaes
h(143)i.
8.6)Utilize o procedimento do Teorema de Cayley para obter um subgrupo de S6 que seja

isomorfo a D3 .
Soluo:
D3 = {e, r, r2 , s, rs, r2 s}. Denimos a mesma funo utilizada na demonstrao

do Teorema de Cayley, onde associa cada rotao, por exemplo r , a permutao Lr sendo
0
assim, denimos o conjunto G = {Lg | g D3 }. Pelo teorema temos que D3
= G0 SG .
0
Mas note que SD3 isomorfo a S6 , assim G isomorfo a algum subgrupo de S6 , portanto
D3 tambm isomorfo a este subgrupo.
Note que
8.7)Mostre que o Teorema de Cayley, quando aplicado a R, produz o subgrupo de SR

que contm todas as translaes da reta real.
Pelo Teorema de Cayley temos que
AFIRMAO: Tal
R
= B SR
com
possui todas as translaes de
B
R.
subgrupo de
Note que toda translao uma permutao dos elementos de

se resume a denir uma funo
:RB
R.
SR .
Portanto nossa tarefa
que seja bijetora em um subconjunto
A B.
Denamos
: RB
x 7 x
x (y) = y + x. Note que desta forma estamos tentando
englobar todas as translaes em R. Denimos agora o conjunto A = {x | x R}. Para
mostrarmos que A possui todas as translaes de R, basta mostrarmos que injetora
Onde
a translao

em
A.
75
Sejam
x = y
t+x = t+y
para todo
tR
x = y
Desta forma conseguimos mostrar que o conjunto
reta real, e est contido em um subgrupo de
AB
contm todas as translaes da
SR .
8.8)Converta cada elemento Sn em um elemento de Sn+2 como segue. A nova

permutao se comporta como nos inteiros 1, 2, . . . , n. Se uma permutao par,
ento xa n + 1 e n + 2, por outro lado, se mpar, troca n + 1 e n + 2. Verique que sempre uma permutao par, e que a correspondencia dene um
isomorsmo de Sn a um subgrupo de An+2 .
Soluo:
Primeiramente devemos mostrar que
sempre par. Para isto, basta observarmos os
como produto de transposies

aparecero apenas as transposies de , pois n + 1 e n + 2 esto xos, como este nmero
par, temos que par.
Quando mpar, na decomposio de em produto de transposies aparecero todas
as transposies de , um nmero mpar, mas alm destas existe ainda a transposio
(n + 1 n + 2), resultando em um nmero par, portanto tambm par.
seguintes casos. Quando
par, na decomposio de
Devemos mostrar que a funo
: Sn A Sn+2
7
um isomorsmo, onde
A = {() | Sn }.
Note que
conserva a operao pela sua
prpria denio.
Provemos a injeo de
Sejam
se, ambas permutaes mantm

e
ento
= , note que
n + 1 e n + 2 xos
esta igualdade valida se, e somente

ou no. Se esto xos, ento
= .
Se no esto xos temos a transposio
(n + 1 n + 2)
aparece em ambos os elementos,
mas fora ela, as transposies presentes em cada decomposio exatamente igual, o que
implica que
= .
A sobrejeo segue pois
o conjunto imagem. Portanto
de fato um isomorsmo.
A claramente um subgrupo de Sn+2 , e A An+2 pois como foi provado, todas

as permutaes em A so pares. Como leva o elemento neutro em elemento neutro, e
tambm os inversos, assim temos os inversos de cada um dos elementos presentes em A
Note que
Sn isomorfo a um subgrupo de An+2 .

8.9)Se G um grupo nito de ordem n, prove que G isomorfo a um subgrupo do grupo
alternado An+2 .
tambm contidos em
A,
76
com isto conclumos que
Soluo:
Sn
= B An+2 , pelo Teoentre SG e Sn ento, como com-
Basta observarmos que pelo exerccio anterior temos que

rema 8.2, como
n,
tem ordem
existe um isomorsmo
posio de isomorsmo, ainda isomorsmo temos que
G
= B Sn
= C An+2
G
= C An+2 onde C em um subgrupo de An+2 .
8.10)Se um elemento de Sn , seja ] a permutao em S2n denida por
Portanto
(
] (k) =
1kn
n + 1 k 2n.
(k),
(k n) + n,
Mostre que ] sempre par e que ] um isomorsmo de Sn em A2n .

Soluo:
Para mostrarmos que
] sempre par, devemos observar os casos em que par e tambm
em que mpar.
par sua imagem est descrita por uma quantidade par de transposies. Precisamos
observar as imagens dos inteiros n + 1, . . . , 2n. Note que a imagem dos elementos desta
ltima lista , ser a imagem dos elementos 1, 2, . . . , n acrescida de n, isto uma bijeo,
Se
assim o nmero de transposies que descrever a imagem destes elementos ser tambm
par. Na decomposio de
implica que
teremos ento uma quantidade par de transposies, o que
par.
mpar, pelo mesmo argumento utilizado anteriormente, teremos na decomposio

de ] duas quantidades mpares de transposies, o que resultar em um total par de
transposies, implicando que ] par.
Se
Mostremos agora que
: Sn B A2n
7 ]
B = {() | Sn }, de fato um isomorsmo.
preserva a operao. Sejam e Sn temos ento
() = ()] =
Onde
(
=
()(k),
()(k n) + n,
1kn
=
n + 1 k 2n
Por outro lado temos que :
Provemos primeiramente que
((k)),
((k n)) + n,
1kn
.
n + 1 k 2n

(
] ] = ]
(
=
(k),
(k n) + n,
77
1kn
=
n + 1 k 2n
((k)),
1kn
=
()(k n) + n n) + n,
n + 1 k 2n
(
((k)),
1kn
=
.
()(k n)) + n,
n + 1 k 2n
Ou seja,
() = ()]
= ] ]
= ()().
() e () elementos
de B tais que () = ().
(
1kn
(k),
1kn
=
n + 1 k 2n
(k n) + n,
n + 1 k 2n
Mostremos agora a injeo. Sejam
(
Temos ento
(k),
(k n) + n,
= .
Como
o conjunto imagem temos a sobrejeo.B claramente um subgrupo de
assim conclumos que
de fato um isomorsmo entre
Sn
e um subgrupo de
A2n ,
A2n .
8.12)Trabalhando com o grupo de todas as simetrias do cubo, mostre que cada permutao das diagonais principais podem ser realizadas por precisamente duas simetrias.
Soluo:
S4 , seja f o isomorsmo
Pelo Teorema 6.8 sabemos que (1234) e (12) geram S4 , como existe
Sabemos que o grupo de todas as simetrias do cubo isomorfo a

entre estes dois grupos.
f , basta considerarmos a imagem inversa de cada uma destas permutaes.

Neste caso so respectivamente as rotaes r e t. Portanto as duas simetrias que induzem
as duas permutaes que geram o grupo de todas as permutaes das diagonais so r e t.
o isomorsmo
78
Referncias Bibliogrcas
[1] Mark
Anthony.
Groups and symmetry
Undergraduate
Texts
in
Mathematics,
Springer-Verlag, New York, 1988.

[2] Csar Polcino; COELHO, Snia Pitta.
Nmeros: Uma introduo Matemtica.3 ed.,
So Paulo, Edusp, 2006.

Grupos de Simetria PDF

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Grupos de Simetria PDF

Uploaded by

Copyright:

Available Formats

Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia

Lucas Fabiano Lima

Prof. Dra. Natalia Andrea Viana Bedoya

Disciplina: Trabalho de Concluso do Curso A

Karina Schiabel Silva

So Carlos, 15 de julho de 2011.

Lucas Fabiano Lima

Prof. Dra. Natalia Andrea Viana Bedoya

Disciplina: Trabalho de Concluso do Curso A

Karina Schiabel Silva

Universidade Federal de So Carlos

So Carlos, 15 de julho de 2011.

Lucas Fabiano Lima

Natalia Andrea Viana Bedoya

Os grupos de simetria rotacional do tetraedro, da pirmide de base dodecagonal e da

placa hexagonal no so isomorfos.

O grupo de simetria rotacional do tetraedro isomorfo a

enquanto que os do dodecaedro e icosaedro so isomorfos a

Resultados Sobre os trs primeiros slidos

8 Slidos de Plato e o Teorema de Cayley

Tetraedro com os eixos de rotao.

Slido obtido aps colarmos dois tetraedros.

Cubo com seus trs tipos de eixos de simetria rotacional.

srs comparada a rotao com eixo passando pelo 4. . . . . . . . . . . .

Placa hexagonal com eixos de rotao.

Sobrejeo de uma isometria . . . . . . . . . . . . . . . . . . . . . . . . . .

Placa hexagonal com triangular inscrita

Hexgono regular e suas simetrias.

Tabuleiro de xadrez e suas simetrias planas.

Tetraedro com vertices enumerados.

Cubo com os eixos de rotao.

Octaedro inscrito no cubo.

Um dos 5 cubos inscritos no dodecaedro.

Cubo com faixas.

aplicadas na placa triangular.

[1] indica que a gura foi retirada da referncia [1] da bibli-

Inversos de cada elemento

Ordem de cada elemento . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Tbua de multiplicao simetrias planas do tabuleiro. . . . . . . . . . . . .

Tbua de multiplicao do conjunto denido acima. . . . . . . . . . . . . .

Tbua de multiplicao do conjunto

Tbua de multiplicao do conjunto.

Armstrong Mark Anthony.

Groups and symmetry

in Mathematics, Springer-Verlag, New York, 1988.). Visando um melhor aproveitamento

A motivao deste projeto est no desejo do aluno em conhecer aplicaes da estrutura

Abordaremos simetrias em slidos e

Note que estas novas posies do tetraedro so obtidas atravs de rotaes,

reexes, etc, operaes que atuam em eixos diferentes.

Associaremos assim, a cada

de simetria rotacional. Cada

simetrias. Existem ainda trs eixos do tipo

onde existe apenas uma rotao de

em cada um, portanto resultando em mais trs simetrias.

identidade, que pode ser obtida a partir de uma rotao de

Por m, existe a simetria

12 simetrias rotacionais no tetraedro.

Figura 1.1: Tetraedro com os eixos de rotao.

cada um destes eixos

cada um descrevendo tambm apenas uma simetria cada ( no sentido anti-

P no centro da placa hexagonal, que nos

[1] indica que a gura foi retirada da referncia [1] da bibli-

Tbua de multiplicao do conjunto denido acima. . . . . . . . . . . . . .

reexes, etc, operaes que atuam em eixos diferentes.

Por m, existe a simetria

delas possui um eixo xo no espao e rotacionam o tetraedro

Por m, se tomarmos trs rotaes