Você está na página 1de 9

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
Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 21 a 24 de outubro, 2013

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
Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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:

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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:

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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:

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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:

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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.

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048

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

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.

Colloquium Exactarum, vol. 5, n. Especial, JulDez, 2013, p. 16-24. ISSN: 2178-8332. DOI: 10.5747/ce.2013.v05.nesp.000048