Grupos de Permutações e de Simetria - PDF Agora

16
Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 21 a 24 de outubro, 2013
GRUPOS DE PERMUTAES E DE SIMETRIA

Jos Paulo Rodrigues da Silveira1, Fernando Pereira Souza
1
Universidade Federal de Mato Grosso do Sul Campus de Trs Lagoas. Bolsista do Grupo PET Conexes de Saberes
Matemtica/CPTL/UFMS. E-mail: josepapt@hotmail.com
RESUMO
O trabalho apresenta resultados de um estudo sobre A Teoria dos Grupos que foi desenvolvido
como parte das atividades de pesquisa e apresentaes de seminrios, vinculado s disciplinas de
lgebra, com o objetivo de entender o conceito de Grupos. Foram estudados alguns conceitos de
Relaes, Aplicaes e Operaes importantes para o desenvolvimento do trabalho. Em seguida,
foram estudados diversos tipos importantes de grupo, cujo os de maior foco foram os Grupo de
Permutaes e os Grupos de Simetria do Tringulo Equiltero e do Quadrado.
Palavras-chave: Grupos, Permutaes, Simetria, Tringulo Equiltero, Quadrado.
INTRODUO
O trabalho apresenta resultados de um estudo sobre o tema A Teoria dos Grupos, tema
de grande importncia num curso de Matemtica Licenciatura. Este trabalho foi desenvolvido
como parte das atividades de pesquisa do grupo Pet Conexes de Saberes da Universidade Federal
de Mato Grosso do Sul no Campus de Trs Lagoas. O tema busca desenvolver contedos de
Matemtica do Ensino Bsico e da Graduao, complementados por aplicaes e exemplos
motivadores e est vinculado s disciplinas de lgebra. O objetivo do presente trabalho
entender os conceitos de Grupos, e explorar os casos particulares dos Grupos de Permutaes e
Grupos de Simetria do Tringulo Equiltero e do Quadrado.
Para desenvolver o presente trabalho houve a necessidade de desenvolver um trabalho
terico, fazendo uma reviso de vrios conceitos de lgebra, como por exemplo, relaes e
aplicaes, tais como aplicao idntica e composio de aplicaes. Em seguida, foram estudados
com bastante ateno alguns conceitos de Operaes, necessrios ao desenvolvimento do
trabalho. Estes conceitos foram estudados com base em Hygino H.Domingues, Gelson Iezzi (2003),
cujos textos foram utilizados para apresentar, a seguir, os principais conceitos e definies de
maneira resumida.
METODOLOGIA
O trabalho resultado de uma pesquisa terica, desenvolvido atravs de discusses do
tema com o orientador e apresentaes de seminrios como parte das atividades do programa
Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048
17
PET Conexes de Saberes Matemtica UFMS/CPTL no estudo da Teoria Dos Grupos. O trabalho
incluiu uma etapa de leitura e resolues de exerccios, desenvolvimento das atividades propostas
e a tabulao dos resultados obtidos. O estudo e as atividades desenvolvidas foram avaliados
atravs da apresentao de seminrios de discusso.
RESULTADOS
Definio 1: Um sistema matemtico constitudo de um conjunto no vazio G e uma
x y sobre G chamado grupo se essa operao se sujeita aos seguintes
operao ( x, y)
axiomas:
Associatividade
(a b) c a (b c) , quaisquer que sejam a, b, c G ;
Existncia de Elemento Neutro
Existe um
e G tal que a e e a a , qualquer que seja a G ;
Existncia de Simtricos
Para todo a G existe um elemento a G tal que a a a a e .

Se alm disso, ainda se cumprir o axioma da
Comutatividade
a b b a , quaisquer que sejam a, b G ,

o grupo recebe o nome de grupo comutativo ou abeliano.
Temos que o Grupo aditivo dos inteiros ( , ) comutativo, pois a, b
ab ba
, temos que
Ainda, o grupo linear de grau n
) ), no comutativo se n>1, pois, por exemplo, se
1 1 ... 1
1 1 ... 1
n ... 1
0 1 ... 1
0 1 ... 1
e B
. Ento AB
A
1 ... 1
0 0 ... 1
0 0 ... 1
1 ... 1
,
BA
1 ... n
Grupos de Permutaes
18
Permutao um termo utilizado na Teoria dos Grupos para designar uma bijeo de um
conjunto nele mesmo. Se E indica um conjunto no vazio, denotaremos por S(E) o conjunto das
permutaes dos elementos de E.
A composio de aplicaes uma operao sobre S(E), pois se f e g so permutaes de E,
ou seja, se f : E E e g : E E so bijees, ento g f : E E tambm uma bijeo.
Vejamos a demonstrao de tal fato:
DEM: Sejam x1 , x2 E tais que ( g f )( x1 ) ( g f )( x2 ) . Ento g ( f ( x1 )) g ( f ( x2 )) e,
como
g injetora,
f ( x1 ) f ( x2 ) , e do fato de f ser injetora, temos x1 x2 . Logo,
g f
injetora.
Agora, seja z E . Como
sobrejetora, y E tal que g ( y) z . Sendo
sobrejetora, x E tal que f ( x) y . Assim, temos:
z g ( y) g ( f ( x)) ( g f )( x).
Ainda, temos que vale a associatividade para essa operao e que iE : E E (aplicao
idntica de E), que tambm uma bijeo, elemento neutro, pois: (iE
x E , o que garante que iE
f )( x) iE ( f ( x)) f ( x) ,
f f . Analogamente, temos que f iE f .
Ainda, temos que, pelas definies de aplicaes, se f uma permutao de E, ento o

mesmo ocorre com f 1 (aplicao inversa de f). Assim, f 1 f f
f 1 iE .
Ainda, a ordem de um grupo (G, ) , onde G finito, o nmero de elementos do conjunto

G. Caso G seja um conjunto infinito, dizemos que (G, ) tem ordem infinita.
Desta maneira, temos que (S ( E ), ) um grupo, chamado de grupo das permutaes
sobre E. Ainda, esse grupo Abeliano se, e somente se, sua ordem 1 ou 2.
De fato, se a ordem 1, S ( E ) s possui a aplicao idntica como elemento que,
naturalmente, comuta consigo mesma. Se a ordem 2 e os elementos de E forem a e b , ento
S ( E ) tambm s tem dois elementos: a aplicao idntica e a aplicao que leva a em b , e vice-
versa. Como obviamente esta ltima aplicao comuta consigo mesma e com iE , ento (S ( E ), )
tambm comutativo neste caso.
Suponhamos agora que a ordem de S ( E ) maior que 2 e que, portanto, E tenha mais do
que 2 elementos. Designando por a, b, c trs elementos distintos de E, consideremos as
permutaes f e
de S ( E ) definidas da seguinte maneira:
19
f (a) b, f (b) a e f ( x) x , x a, b,
g (a) c, g (c) a e g ( x) x , x a, c.
g so permutaes de E,
claro que f e
pela maneira como foram construdas. Alm
disso,
( f g )(a) f ( g (a)) f (c) c,

( g f )(a) g ( f (a)) g (b) b.
Isso mostra que f
g g f e, portanto, que S ( E ) no comutativo.
Grupo Simtrico de Grau n

O Grupo em que E {1, 2,..., n} , com n 1 um caso particular do grupo de permutaes.
Neste caso, costuma-se utilizar a notao S n para indicar o conjunto das permutaes sobre E. Tal
grupo, ( Sn , ) denomina-se Grupo Simtrico de Grau n.
Pela anlise combinatria, podemos concluir que esse grupo tem ordem n ! .
Notao: Seja g Sn e g (1) i1 , g (2) i2 , ..., g (n) in ento usa-se a notao:
1 2 ... n
g
.
i1 i2 ... in
Vejamos o grupo
S3 . Faamos
1 2 3
1 2 3
1 2 3
S3 f 0
,
f
,
f
1
2
,
1 2 3
2 3 1
3 1 2
1 2 3
1 2 3
1 2 3
g1
, g2
, g3
.
1 3 2
3 2 1
2 1 3
Observemos como se obtm f1 g3 por exemplo:
1 2 3 1 2 3 1 2 3
f1 g3

g2 .
2 3 1 2 1 3 3 2 1
De modo anlogo, obtemos as demais composies. Feito isso, observemos a tbua deste
grupo:
20
f0
f1
f2
g1
g2
g3
f0
f0
f1
f2
g1
g2
g3
f1
f1
f2
f0
g2
g3
g1
f2
f2
f0
f1
g3
g1
g2
g1
g1
g3
g2
f0
f2
f1
g2
g2
g1
g3
f1
f0
f2
g3
g3
g2
g1
f2
f1
f0
Temos que este grupo no abeliano. Basta observar que f1 g1 g1 f1 . Podemos

observar tambm que o conjunto C3 f 0 , f1 , f 2 , tambm um grupo quando considerado com
a composio de permutaes. De fato, alm de ser fechado para a operao, vale a
associatividade porque vale em
S3 , o elemento neutro a permutao f 0 , alm disso,
f01 f0 , f11 f 2 , f 2 1 f1.
Grupos de Simetrias
(i)
O grupo
das simetrias espaciais de um tringulo equiltero.
Considere um tringulo equiltero e denote os vrtices por 1, 2,3 . Seja G o baricentro do

tringulo, ou seja, se x, y, z so as retas do espao passando pelas medianas do tringulo, ento
G a intercesso das medianas conforme a figura abaixo:
As transformaes que preservam o tringulo so:

R0 , R1 , R2 : As rotaes planas centradas em G, no sentido anti-horrio, de ngulos
, respectivamente.
X , Y , Z : As rotaes espaciais de ngulo
Vejamos geometricamente, como se obtm
com os eixos
x, y, z , respectivamente.
R1 Y e Y R1 , por exemplo:
21
fcil ver atravs da tbua que
R0
R1
R2
X
Y
Z
S um grupo. Vejamos:
R0 R1 R2 X Y Z
R0 R1 R2 X Y Z
R1 R2 R0 Z X Y
R2 R0 R1 Y Z X
X Z Y R0 R2 R1
Y X Z R1 R0 R2
Z Y X R2 R1 R0
Por meio dela se verifica o fechamento, que
R0
elemento neutro e que
R01 R0 , R11 R2 , R2 1 R1 , X 1 X , Y 1 Y e Z 1 Z . Valendo a associatividade por se

tratar de composio de transformaes, logo trata-se de um grupo.
Denotamos esse grupo por S R0 , R1 , R2 , X , Y , Z . Ainda, como a tbua de
no
simtrica em relao diagonal principal, ento ele no comutativo.
(ii)
O grupo
D das simetrias espaciais de um quadrado
Seja um quadrado com vrtices consecutivos 1,2,3,4. Denotemos por O
centro de
gravidade do quadrado e chame de x, y, z, w as retas do espao determinadas pelas diagonais e

pelas mediatrizes do quadrado
22
As transformaes espaciais que preservam o quadrado so:
R0 , R1 , R2 , R3 : as rotaes planas centradas em O, no sentido anti-horrio, de ngulos

, respectivamente.
X , Y , Z ,W : as rotaes espaciais de ngulo
com os eixos
x, y, z, w, respectivamente.
Vejamos, geometricamente, como se obtm Z R2 e R2 Z :
Efetuando-se as demais composies, a tabela obtida a seguinte:
23
Atravs desta tbua temos que a composio de simetrias uma operao em
D .A
associatividade da operao vale por se tratar de particular composio de aplicao, temos R0

como elemento neutro e todos os elementos possuem simtrico. Logo,
( D , ) um grupo. Este
grupo no abeliano, pois, por exemplo, X Z R1 e Z X R3 .
DISCUSSO
O conceito de simetria de um tringulo e de um quadrado pode ser estendido
naturalmente para um polgono regular qualquer de n lados. Temos que o nmero das simetrias
de um polgono regular de n lados o dobro do nmero de lados, portanto 2n no caso geral.
Para descrever essas simetrias, denotemos os vrtices do polgono consecutivamente por
1, 2,..., n e o conjunto das simetrias por Dn . Duas simetrias bastam para geral Dn : a rotao R de
radianos em torno do centro O do polgono
e a reflexo X de
radianos em torno de x pelo vrtice 1 e pelo centro do polgono
(Consideremos n mpar)
Isto posto, pode-se demonstrar que o conjunto das simetrias do polgono

Dn R0 , R, R 2 ,..., R n1 , X , X R, X R 2 ,..., X R n1
CONCLUSO
Atravs do trabalho foram obtidos resultados que permitem um aprofundamento em
estudos sobre a Teoria dos Grupos, bem como uma iniciao em contedos bsicos de lgebra
Linear, possibilitando assim um maior conhecimento sobre reas diversas de matemtica.
24
REFERNCIAS
DOMINGUES, Hygino H; IEZZI, Gelson. lgebra Moderna- 4. Edio reformulada So Paulo: Atual,
2003.
GARCIA, Arnaldo e LEQUAIN, Yves. Elementos de lgebra. Rio de Janeiro: Projeto. Euclides, IMPA,
2005.
GONALVES, Adilson, Introduo lgebra, 5.ed, IMPA, 2011.

Grupos de Permutações e de Simetria - PDF Agora

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Grupos de Permutações e de Simetria - PDF Agora

Enviado por

Direitos autorais:

Formatos disponíveis

16

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 21 a 24 de outubro, 2013

GRUPOS DE PERMUTAES E DE SIMETRIA

x y sobre G chamado grupo se essa operao se sujeita aos seguintes

(a b) c a (b c) , quaisquer que sejam a, b, c G ;

Existncia de Elemento Neutro

e G tal que a e e a a , qualquer que seja a G ;

Para todo a G existe um elemento a G tal que a a a a e .

a b b a , quaisquer que sejam a, b G ,

Ainda, o grupo linear de grau n

) ), no comutativo se n>1, pois, por exemplo, se

f ( x1 ) f ( x2 ) , e do fato de f ser injetora, temos x1 x2 . Logo,

sobrejetora, y E tal que g ( y) z . Sendo

sobrejetora, x E tal que f ( x) y . Assim, temos:

x E , o que garante que iE

f f . Analogamente, temos que f iE f .

Ainda, temos que, pelas definies de aplicaes, se f uma permutao de E, ento o

Ainda, a ordem de um grupo (G, ) , onde G finito, o nmero de elementos do conjunto

de S ( E ) definidas da seguinte maneira:

pela maneira como foram construdas. Alm

( f g )(a) f ( g (a)) f (c) c,

g g f e, portanto, que S ( E ) no comutativo.

Grupo Simtrico de Grau n

Temos que este grupo no abeliano. Basta observar que f1 g1 g1 f1 . Podemos

S3 , o elemento neutro a permutao f 0 , alm disso,

f01 f0 , f11 f 2 , f 2 1 f1.

das simetrias espaciais de um tringulo equiltero.

Considere um tringulo equiltero e denote os vrtices por 1, 2,3 . Seja G o baricentro do

As transformaes que preservam o tringulo so:

Vejamos geometricamente, como se obtm

fcil ver atravs da tbua que

Por meio dela se verifica o fechamento, que

elemento neutro e que

R01 R0 , R11 R2 , R2 1 R1 , X 1 X , Y 1 Y e Z 1 Z . Valendo a associatividade por se

simtrica em relao diagonal principal, ento ele no comutativo.

D das simetrias espaciais de um quadrado

Seja um quadrado com vrtices consecutivos 1,2,3,4. Denotemos por O

gravidade do quadrado e chame de x, y, z, w as retas do espao determinadas pelas diagonais e

As transformaes espaciais que preservam o quadrado so:

R0 , R1 , R2 , R3 : as rotaes planas centradas em O, no sentido anti-horrio, de ngulos

X , Y , Z ,W : as rotaes espaciais de ngulo

Vejamos, geometricamente, como se obtm Z R2 e R2 Z :

Efetuando-se as demais composies, a tabela obtida a seguinte:

Atravs desta tbua temos que a composio de simetrias uma operao em

associatividade da operao vale por se tratar de particular composio de aplicao, temos R0

grupo no abeliano, pois, por exemplo, X Z R1 e Z X R3 .

radianos em torno do centro O do polgono

radianos em torno de x pelo vrtice 1 e pelo centro do polgono

Isto posto, pode-se demonstrar que o conjunto das simetrias do polgono

Você também pode gostar