Você está na página 1de 10

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

26

GRUPOSDEPERMUTAESEALGUMASDEPROPOSIES

ThiagoMarianoViana1,MarcoAntnioTravasso2&AntnioCarlosTamarozzi3

1
AlunodoCursodeLic.emMatemticadaUFMS;email:tmviana2000@gmail.com;
2
AlunodoCursodeLic.emMatemticadaUFMS;3ProfessordaUFMS,Departamentosde
CinciasExatas;

RESUMO
As permutaes de elementos de um determinado conjunto E, surgem em diversas situaes
dentroeforadaMatemtica.SevisualizadascomoaplicaesentreelementosdeE,formamum
exemplo de estrutura de Grupo com repercusses de impacto para o desenvolvimento da
Matemtica, em particular da lgebra Abstrata. Neste trabalho apresentamos um
desenvolvimentointrodutriodaTeoriadosGruposdePermutaesdenelementos(Sn),visando
demonstrar algumas proposies importantes, para o estudo dos mesmos. Foram exploradas as
caractersticas do Sn quanto a sua construo e sua notao cclica, o que facilita o estudo das
propriedadesdaspermutaeseaobtenodoobjetivoprincipaldotrabalhoqueoestudoda
paridadedaspermutaese,emconsequncia,acriaodogrupoalternadodepermutaes.
Palavraschave:GrupoSimtrico,TeoremadeCayley,GruposAlternados.

INTRODUO
A Teoria dos Grupos comeou a ser estudada, quando entre 1500 e 1515, o matemtico
italianoScipionedelFerro(14561526)descobriuqueaequaocbicaerasolvelporradicais.E
dissosurgiuodesafiodedeterminarsetodasasequaesalgbricassosolveisporradicais.Os
matemticos desse perodo viram na Teoria dos grupos uma grande ferramenta para a soluo
desse problema. Ento o matemtico francs Evariste Galois (18111832), usou grupos de
permutaesparaesclareceraquestoderesolubilidadeporradicaisdasequaesdegrau>4.
Assimnessetrabalho,mostraremoscomoestudadonaTeoriadosGrupos,oconjuntode
todasasbijeesdeumconjuntonelemesmo,ochamadogrupodaspermutaes.Equepodeser
estabelecido entre um grupo qualquer finito e um conveniente subgrupo de permutaes, um
isomorfismo, tornando possvel estudar at mesmo os grupos mais abstratos de difcil
manipulao.
Tambmvistoanotaoemrciclosdaspermutaes,oquefacilitaademonstraode
outraspropriedadesquantodecomposiodaspermutaesemciclosetransposies,quenos
leva a definio de permutaes pares e o Grupo Alternado. A explorao dos Grupos de
permutaes e Alternados ocupa um interesse crucial para o desenvolvimento da Teoria dos
Gruposeemconsequnciaparatodaamatemtica.

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

27

METODOLOGIA
Ao longo do trabalho, foi considerada que a operao entre duas permutaes a
operao de composio, no entanto, sem perda de generalidade, utilizaremos a notao
multiplicativa. Assim sendo, dadasas permutaes e,temos que: = , enquanto1
denotaosimtricode.ParaanotaodeumaaplicaobijetorafsobreE{1,...,n}emquef(1)
=i1,f(2)=i2,...f(n)=in,utilizaremosaseguintenotao:

Ao longo do trabalho desenvolvemos a teoria inicial dos grupos de permutaes e as


ferramentas da Teoria dos Grupos necessria para a compreenso de algumas das proposies
estudadas. Nossa linha de pesquisa segue os trabalhos desenvolvidos em [1] para a reviso da
teoria elementar dos Grupos e Teorema de Cayley, [2], [3] para Grupos de permutaes e a
construodosgruposalternados.

RESULTADOS
Nateoriadosgruposchamadadepermutaoumabijeodeumconjuntonelemesmo.
SeEumconjuntonovaziodenotaremosporS(E)oconjuntodetodasaspermutaes(bijees)
deE.AcomposiodeaplicaesconsideradaumaoperaosobreS(E).Poisacomposiode
duasbijeestambmserumabijeo,i.e.sef:EEeg:EEsobijees,entogf:EE
tambmumabijeo.

Temos nessa operao a propriedade associativa, pois f, g, e h,

h(gf)=(hg)f.ObservemostambmqueiE:EE,aaplicaoidentidade,queobviamente

uma bijeo, o elemento neutro, visto que (iE f) (x) = iE (f(x)) =f(x), para todo x E, que

garanteaigualdadeiEf=f.AnalogamentefiE=f.

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

28

Por fim, se f uma permutao de E ento f 1(aplicao inversa) tambm ser, pois a
inversa de uma bijeo tambm uma bijeo, e esta ser o elemento inverso de f para a
composiodeaplicaes,vistoqueff1=f1f=iE.
Portanto (S(E), ) um grupo, o grupo das permutaes sobre E. Esse grupo s
comutativoseasuaordemfor1ou2.Sesuaordemfor1,entoogruposteraidentidadeque
claramente comuta consigo mesma. Isto ocorre porque se o(S(E), )2 ento E tem mais de 2
elementos,assimsejaa,becelementosdistintoseconsideremosaspermutaesfegdeS(E)
definidaspor:
f(a)=b,f(b)=aef(x)=xqualquerquesejaxa,be
g(a)=c,g(c)=aeg(x)=xqualquerquesejaxa,b.
TemosquefegsopermutaesdeE,pelaformacomoforamconstrudas.Noentanto,
(fg)(a)=f(g(a))=f(c)=cenquanto(gf)(a)=g(f(a))=g(b)=b
Oquemostraquefggf,portantoS(E)nocomutativo.
Um caso particular importante de grupos de permutaes, aquele que
E={1,2,...,n},en1.EnessecasoanotaoS(E)simplificadaporSn,paraindicaroconjunto
daspermutaessobreE.Eogrupo(Sn,)temonomeespecial:gruposimtricodegraun.Uma
visualizaosimplescomanalisecombinatriapodesemostrarqueessegrupotemordemn!
TeoremadeCayley
O

teorema

de

Cayley

garante

que

todo

grupo

isomorfo

um grupo de permutaes conveniente, o que facilita a trabalhar com vrios grupos por mais
abstratosqueelessejam.

Definio:sejaGumgrupo.ParacadaaG,aaplicao:

a:GG

talqueg(x)=axparaqualquerxG,serchamadadetranslaoesquerdadefinidapor

a.Demaneiraanlogasedefinetranslaodireita.

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

29

Proposio:Todatranslaoumabijeo,ouseja,umapermutaodoselementosde
G.
Demonstrao: Seja a uma translao de G e suponhamos a(x) = a(y). Ento ax=ay e,
portanto, x=y, uma vez que todo elemento de um grupo regular. Assim a injetora. Para

mostrarquesobrejetorabastatomarumyG,sempreserpossvelencontrarxG,talque

ax=y.Eessaequaotemsoluonogrupo:oelementoa1yG.Entoasobrejetora.

Assim notaremos por T(G) o conjunto das translaes de G e como S(G) o conjunto de

todasaspermutaesdoselementosdeG,entotemosqueT(G)S(G).

Proposio:(TeoremadeCayley)SeGumgrupo,aaplicao:GT(G)queassociaa
cadaelementogatranslaog(isto(g)=g)umisomorfismodegrupos.
Demonstrao: Seja G um grupo e sejam as translaes g:G G tal que

x gx, para cada g G. ento a, b G, ab= a b a b(x) = (a b) (x), para qualquer

elementoxemG,masab(x)=(ab)x=a(bx)=a(b(x))=(ab)(x).Portanto,a,bG,ab=a

b.
SendoentoGumgrupoeafuno:
Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

:GT(G)

gg:GG

xgx

(i)umHomomorfismo,poisa,bG,ab=ab

(ii)injetora,poisa,bG,temos(a)=(b)a=ba(x)=b(x),eento

xG,temosax=bxa=b

(iii)sobrejetora,poisgS(G),gGtalque(g)=g.

Logoumisomorfismo.Portanto,GeS(G)soisomorfos.

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

30

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

31

Ciclosenotaocclica

Definio: Sejam a1, a2, ..., ar In= {1, 2, ..., n},n 2, inteiros distintos. Se Sn uma

permutaotalque(a1)=a2,(a2)=2(a1)=a3,(ar1)=r1(a1)=ar,(ar)=r(a1)=a1e(x)=x,para

todoxIn {a1,a2,...,ar},assimchamasedeciclodecomprimentoreque{a1,a2,...,ar}o

conjuntosuportede.Parapermutaesdefinidasdessaformausaremosanotao(a1,a2,...,
ar).Ser=2,entochamadotransposio.
Exemplo:ConsideremosemS5apermutao:

Como(1)=4,(4)=2,(2)=1,(3)=3,(5)=5,entoumciclodecomprimento3
cujoconjuntosuporte{1,2,4}.Portantopodemosescrever:=(142)
Definio:sejaumrcicloeumsciclopertencentesaSn.Osciclosedisjuntosse
nenhum

elemento

movido

ao

mesmo

tempo

por

ambos,

x{1,2,...,n},(x)=xe(x)=x.Ouseja,cicloscujossuportessodisjuntos.

Proposio:Doisciclosdisjuntoscomutam.
Demonstrao:SejameciclosdisjuntosdeSn,temosque:

(a)a(a)=ae(a)a(a)=a

Assim(x)=()(x)=((x)),ondetemos3casos:

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

ou

seja,

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

32

1casoSe(x)=y,yx(y)ye(y)=y

Ento((x))=(y)=y=(x)=((x))=()(x)=(x)

2casoSe(x)=y,yx(y)y,(x)=xe(y)=y

Ento((x))=(x)=y=(y)=((x))=()(x)=(x)
3casoSe(x)=xe(x)=x
Ento((x))=(x)=x=(x)=((x))=()(x)=(x)

Assim(x)=(x),x{1,2,...,n}.Portanto=.

Proposio:SejaSnumapermutao.Entopodeserescritacomoumprodutode

ciclosdisjuntos.Eessafatoraonica,anoserpelaordemdosciclos.Porsemuitoextensaa
demonstraodestaseromitida,maspodeservistaem[1].

DISCUSSO
Obtemos assim o Sn, cuja continuidade dessa linha de trabalho no permite construir o
grupo alternado An ferramenta usada por Galois na resoluo de equaes de grau > 4, e aqui
apresentamosalgumasdaspropriedadesqueforamestudadas.
Proposio: a) Todo Elemento de Sn produto de transposies, isto
Sn=<{transposies}>.
b)Sn=<(12),(13),...,(1n)>.
c)Sn=<(12),(23),...,(n1n)>.
Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

33

Demonstrao:a)Temosqueid=(12)(12)<{transposies}>comotodapermutao
produto de ciclos disjuntos como vimos na proposio anterior, ento basta mostrar que todo
ciclo(a1,a2,...,ar)produtodetransposies.Edefato,temos:
Sejaumrciclo.Aplicaremosinduosobrer.Ser=2ento=(a1a2)umatransposio,
enquantoqueser=n>2,porhiptesedeinduo:
=(a1a2...an)=(a1an)...(a1a3)(a1a2)
Parar=n+1temos:
=(a1a2...anan+1)=(a1an+1)(a1a2...an)=(a1an+1)(a1an)...(a1a3)(a1a2)
Assim,todorciclo(a1,a2,...,ar)produtodetransposies,eportantotodapermutao
produtodetransposies.
b)

De

a)

temos

apenas

que

mostrar

que

toda

transposio

(ij)<(12),(13),...,(1n)>,edefato,temosque(ij)=(1i)(1j)(1i),se1,iejsodistintos.
c) Para todo inteiro i 2, temos (1 i+1)= (1 i) (i i+1) (1 i), logo o subgrupo
<(12),(23),...,(n1n)>contem(1i),paracadai=2,...,n.Assimpeloitemb),estesubgrupo
igualaSn.
Exemplo:SejaS5,talque:
.
Ento

podeserescritocomo:

Produtodeciclosdisjuntos:=(142)(35).
Produtosdetransposies:=(12)(14)(35).
Produtosdetransposiespertencentesa<(12),(13),...,(1n)>.
=(12)(14)(13)(15)(13).
Produtosdetransposiespertencentesa<(12),(23),...,(n1n)>.
=(23)(34)(23)(34)(23)(45)(23)(12)(34).
Observaes:
1)UmelementoSnpodeseescritocomoumprodutodetransposiesdisjuntassee
somentesesuaordemforiguala2.
Demonstrao:()SejaSnumprodutodetransposiesdisjuntasento:
=11...no()=m.m.c.(o(1),o(1),...,o(n))
comoo(i)=2,i=1,2,...,n.Entoo()=2
() Seja Sn, e o() = 2, como toda permutao pode ser escrita como produto de
ciclos disjuntos, ento: = 1 2 ... n. Sabendo que o() =m.m.c.(o(1), o(1), ..., o(n)), temos
Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

34

o(i)|2,i=1,2,...,no(i)=1ouo(i)=2.Seo(i)=1i=id,enquantoqueseo(i)=2i
transposio.
Assimseo()=2,entopodeseescritocomotransposies.
2)AdecomposiodeumelementoSncomoprodutodetransposiesnonica,
mesmo

se

exigirmos

um

numero

mnimo

de

transposies;

por

exemplo,

(1 2 3) = (1 3) (1 2) = (2 3) (1 3). No entanto, a paridade do numero de transposies em uma


decomposiobemdefinida
3) Se = t ... 1= u ... 1 so duas fatoraes distintas de como produto de
transposies,entotumod2.
Definio: um elemento Sn uma permutao par quando se decompe em um
numeropardetransposies,eumapermutaoimparquandosedecompeemumnumero
impardetransposies.
Proposio:SejaAn={Sn|umapermutaopar}.EntoAnumsubgrupodeSnde
ordemn!/2endice2.
Demonstrao: Seja : Sn{1,+1} a funo definida por () = 1 se par e
() = 1 se impar. claro que a funo um homomorfismo sobrejetor cujo ncleo
exatamenteogrupoalternadoAn.AssimAnumsubgrupodeSn.
Sejamronumerodetodasaspermutaesparesesonumerodetodasaspermutaes
impares

de

Sn,

que

denotaremos

respectivamente

por

1,

2,

...,

r,

1, 2, ..., s. multiplicando as permutaes pares por uma transposio , obteremos as


permutaes:
1,2,...,r
Comotodoelementodeumgruporegular,onumerodessestambmr.Mascomoo
produto de uma permutao impar (a transposio) por uma par, todos esses produtos so
impares.Logo,rs.
Analogamente, se multiplicarmos as permutaes impares por , obteremos as s
permutaespares:
1,2,...,s
Assimsr.Deonde,r=s,ecomor+s=n!,entoo(An)=n!/2econsequentemente(Sn:An)=
2.

CONCLUSO
Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012

Encontro de Ensino, Pesquisa e Extenso, Presidente Prudente, 22 a 25 de outubro, 2012

35

Este trabalho de pesquisa possibilitou o contato com algumas aplicaes dos grupos de
permutaesparaestudodeoutrosgruposfinitos,tomandoporbaseoTeoremadaCayley,em
quetodogrupofinitopodeserisomorficamenteimersoemumgrupodepermutaes.Ogrupode
permutaes foi usado por Evariste Galois como ferramenta para determinar a possibilidade de
resolver equaes de grau 5, em termos de seus coeficientes, usando apenas adies,
subtraes,multiplicaes,diviseseradiciao.
Assimduranteodesenvolvimentodapesquisafoiintroduzidoasproposiesrelacionadas
aos grupos das permutaes e aos seus subgrupos. Foi identificada sua classificao em nciclo
quantoasuasnotaescclicaseobservadoadecomposioemciclosdisjuntosetransposies.A
decomposioemtransposiesnosauxilianaidentificaodaspermutaespareseimparese,
emconsequnciapodeseobterogrupoalternadoAn,formadoportodasaspermutaespares
de Sn. Desta forma, outra consequncia importante do trabalho apoderarmos de algumas das
ferramentas usadas por Evariste Galois, no esclarecimento da questo de resolubilidade por
radicaisdasequaesdegrau5.

REFERNCIAS
[1].DOMINGUES,HYGINOH.;IEZZI,G.lgebraModerna,SoPaulo,AtualEditoraLTDA,1995.
[2].GARCIA,A.;LEAQUIM,I.lgebra,umCursodeIntroduo,RiodeJaneiro,Impa,1989.
[3].GONALVES,A.Introduolgebra,RiodeJaneiro,Impa,1980.

Colloquium Exactarum, vol. 4, n. Especial, jul-dez, 2012