Você está na página 1de 152

Aprendendo lgebra com o Cubo

Mgico

Waldeck Schutzer
www.dm.ufscar.br/waldeck/
V Semana da Matematica da UFU
FAMAT, 25 a 28 de Outubro de 2005

Aprendendo Algebra
com o Cubo Magico p.1/34

Resumo

1. Conhecendo melhor o Cubo Mgico


2. Permutaes, grupos e as configuraes do Cubo
3. Aplicao da Teoria de Grupos ao Cubo

Aprendendo Algebra
com o Cubo Magico p.2/34

Aula 2

Permutaes, grupos e as Configuraes do Cubo

Aprendendo Algebra
com o Cubo Magico p.3/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?

Aprendendo Algebra
com o Cubo Magico p.4/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?
Quais so? Como demonstr-las?

Aprendendo Algebra
com o Cubo Magico p.4/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?
Quais so? Como demonstr-las?
Sabemos que o nmero total de configuraes
finito, mas como calcular esse nmero?

Aprendendo Algebra
com o Cubo Magico p.4/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?
Quais so? Como demonstr-las?
Sabemos que o nmero total de configuraes
finito, mas como calcular esse nmero?
A resposta a essas questes ser surpreendente.

Aprendendo Algebra
com o Cubo Magico p.4/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?
Quais so? Como demonstr-las?
Sabemos que o nmero total de configuraes
finito, mas como calcular esse nmero?
A resposta a essas questes ser surpreendente.
Com as noes de permutaes e de grupos
podemos respond-las efetivamente.

Aprendendo Algebra
com o Cubo Magico p.4/34

Motivao
Na aula anterior, vimos que h algumas
configuraes do Cubo que so obviamente
inatingveis. Ser que h outras?
Quais so? Como demonstr-las?
Sabemos que o nmero total de configuraes
finito, mas como calcular esse nmero?
A resposta a essas questes ser surpreendente.
Com as noes de permutaes e de grupos
podemos respond-las efetivamente.
Outro ganho: mtodo algbrico.

Aprendendo Algebra
com o Cubo Magico p.4/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.
A nfase est no rearranjo, no os objetos em si.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.
A nfase est no rearranjo, no os objetos em si.
Por exemplo, b, a, c uma permutao do conjunto
{a, b, c}.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.
A nfase est no rearranjo, no os objetos em si.
Por exemplo, b, a, c uma permutao do conjunto
{a, b, c}.
Outro exemplo, 2, 1, 3 uma permutao do
conjunto {1, 2, 3}.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.
A nfase est no rearranjo, no os objetos em si.
Por exemplo, b, a, c uma permutao do conjunto
{a, b, c}.
Outro exemplo, 2, 1, 3 uma permutao do
conjunto {1, 2, 3}.
Ambas as permutaes so essencialmente iguais,
pois trocam o 1o e o 2o objetos do conjunto.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao um rearranjo de um conjunto de
objetos.
A nfase est no rearranjo, no os objetos em si.
Por exemplo, b, a, c uma permutao do conjunto
{a, b, c}.
Outro exemplo, 2, 1, 3 uma permutao do
conjunto {1, 2, 3}.
Ambas as permutaes so essencialmente iguais,
pois trocam o 1o e o 2o objetos do conjunto.
Ento podemos sempre pensar que o conjunto
permutado {1, 2, . . . , n}.

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Podemos pensar em arranjos como um conjunto de
caixas numeradas 1, 2, . . . , n, cada uma contendo
uma nica bola.

...

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Podemos pensar em arranjos como um conjunto de
caixas numeradas 1, 2, . . . , n, cada uma contendo
uma nica bola.

...

Permutar tirar todas as bolas para fora . . .


...

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Podemos pensar em arranjos como um conjunto de
caixas numeradas 1, 2, . . . , n, cada uma contendo
uma nica bola.

...

Permutar tirar todas as bolas para fora . . .


...
. . . depois recoloc-las na mesma caixa ou em outra
diferente, cada caixa contendo exatamente uma bola.

...

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao pode ser descrita por uma srie de
afirmaes como
A bola que estava na caixa 1 foi para a caixa 2
A bola que estava na caixa 2 foi para a caixa 1
..
.
A bola que estava na caixa n foi para a caixa n
Antes:

Depois:

...

...

Aprendendo Algebra
com o Cubo Magico p.5/34

Permutaes
Uma permutao pode ser descrita pelo seguinte
esquema


1 2 n
2 1 n
onde cada coluna representa uma das afirmaes
acima.
Essa matriz d uma descrio precisa da
permutao.
Torna fcil fazer a composio de permutaes.

Aprendendo Algebra
com o Cubo Magico p.5/34

Contando permutaes
Suponhamos que as bolas sejam indistinguveis.

...

...

Aprendendo Algebra
com o Cubo Magico p.6/34

Contando permutaes
Suponhamos que as bolas sejam indistinguveis.

...

...
No comeo, podemos escolher qualquer uma das n
bolas para pr na caixa 1.

Aprendendo Algebra
com o Cubo Magico p.6/34

Contando permutaes
Suponhamos que as bolas sejam indistinguveis.

...

...
No comeo, podemos escolher qualquer uma das n
bolas para pr na caixa 1.
Depois, qualquer uma das n 1 bolas restantes para
pr na caixa 2, etc.

Aprendendo Algebra
com o Cubo Magico p.6/34

Contando permutaes
Suponhamos que as bolas sejam indistinguveis.

...

...
No comeo, podemos escolher qualquer uma das n
bolas para pr na caixa 1.
Depois, qualquer uma das n 1 bolas restantes para
pr na caixa 2, etc.
Portanto, o total de permutaes
n (n 1) 2 1.

Aprendendo Algebra
com o Cubo Magico p.6/34

Contando permutaes
Suponhamos que as bolas sejam indistinguveis.

...

...
No comeo, podemos escolher qualquer uma das n
bolas para pr na caixa 1.
Depois, qualquer uma das n 1 bolas restantes para
pr na caixa 2, etc.
Portanto, o total de permutaes n (n 1) 2 1.
Esse nmero chamado n-fatorial, tambm escrito
n!. Temos 0! = 1, 1! = 1, 2! = 2, 3! = 6, 4! = 24,
5! = 120, 6! = 720, 7! = 5040, . . .

Aprendendo Algebra
com o Cubo Magico p.6/34

Notao de ciclos
Matrizes so convenientes para descrever
permutaes.
Mas h uma modo mais simples: a notao de
ciclos.
Um ciclo pode ser pensado como uma srie de
transies de estado que acaba por retornar ao
estado inicial.
S1 S 2 S n S 1

Aprendendo Algebra
com o Cubo Magico p.7/34

Notao de ciclos
Por exemplo, considere a permutao


1 2 3 4
=
3 2 4 1
Voltando a pensar nas caixas com bolas, esta
permutao faz o seguinte:
A bola que estava na caixa 1 vai para a caixa 3.
A bola que estava na caixa 3 vai para a caixa 4.
A bola que estava na caixa 4 vai para a caixa 1.
A bola que estava na caixa 2 vai para a caixa 2.
Repare no modo como as bolas das caixas 1,3 e 4
transitam em crculo.

Aprendendo Algebra
com o Cubo Magico p.7/34

Notao de ciclos
Notando que a bola na caixa 2 permanece onde est,
podemos representar o trnsito das demais bolas por
: 1341
significando que a bola da caixa 1 vai para a caixa 3,
a da caixa 3 vai para a caixa 4 e a da caixa 4 vai para
a caixa 1.
Melhor ainda, podemos simplesmente escrever
= (1 3 4)
significando a mesma coisa. Esta a chamada
notao de ciclos de .

Aprendendo Algebra
com o Cubo Magico p.7/34

Notao de ciclos
Na notao de ciclos, os n elementos entre
parnteses formam um n-ciclo.
Interpretao do ciclo: o primeiro objeto sai da caixa
onde est e vai para caixa seguinte, e assim por
diante, at que o ltimo objeto vai ocupar a primeira
caixa do ciclo.
Os seguintes 3-ciclos so todos iguais:
= (1 3 4) = (3 4 1) = (4 1 3)
H ma vantagem evidente em usar ciclos:


1 2 3 4 5 6
=
= (1 2)(4 6 5)
2 1 3 6 4 5

Aprendendo Algebra
com o Cubo Magico p.7/34

Notao cannica de ciclos


Na notao cannica de ciclos o menor objeto entre
parnteses deve iniciar o ciclo.
= (1 2)(3 5 4) est na forma cannica.
Mas = (4 3)(2 1 5) no est.
No entanto, girando os elementos do ciclo, podemos
reescrev-lo na forma cannica: = (3 4)(1 5 2).

Aprendendo Algebra
com o Cubo Magico p.8/34

Permutaes das facetas do Cubo


Os movimentos R, L, F, B, U, D permutam o
conjunto das facetas.

Aprendendo Algebra
com o Cubo Magico p.9/34

Permutaes das facetas do Cubo


Os movimentos R, L, F, B, U, D permutam o
conjunto das facetas.
Por exemplo,

Lf

Lf

Ld

Ld

f 20 Urf16
U
f
15
Ul
1
14 4
8
ur
Fu F
Ful
5
19
7
Fr
Fl
2
13
6
rd
F
3
d
F
Fld

Lu

Lu

f 17 Urf 10
U
f
9
Ul
2
5
16 1
ur
Fu F
Ful
6
20 8
Fr
Fl
3
7
15
rd
F
4
d
F
Fld

Aprendendo Algebra
com o Cubo Magico p.9/34

Permutaes das facetas do Cubo


Os movimentos R, L, F, B, U, D permutam o
conjunto das facetas.
Por exemplo,

Lf

Lf

Ld

Ld

f 20 Urf16
U
f
15
Ul
1
14 4
8
ur
Fu F
Ful
5
19
7
Fr
Fl
2
13
6
rd
F
3
d
F
Fld

Lu

Lu

f 17 Urf 10
U
f
9
Ul
2
5
16 1
ur
Fu F
Ful
6
20 8
Fr
Fl
3
7
15
rd
F
4
d
F
Fld

F = (F ur F rd F ld F ul)(F r F d F l F u)
(Ruf Drf Ldf U lf )(Rf d Dlf Luf U rf )
(Rf Df Lf U f )

Aprendendo Algebra
com o Cubo Magico p.9/34

Permutaes das facetas do Cubo

Lf

Lf

Ld

Ld

rf16
Uf 20 U
f
15
l
U
1
14 4
8
r
u Fu
F
l
Fu
5
19
7
Fr
Fl
2
13
6
rd
F
3
d
F
Fld

Lu

Lu

rf 10
Uf 17 U
f
9
l
U
2
5
16 1
r
u Fu
F
l
Fu
6
20 8
Fr
Fl
3
7
15
rd
F
4
d
F
Fld

Usando os nmeros {1, 2, . . . 48} ao invs dos


nomes das facetas, temos
F =(1 2 3 4)(5 6 7 8)(9 11 13 15)(10 12 14 16)(17 18 19 20)

As facetas centrais giram em torno de si mesmas,


por isso no aparecem nos ciclos.

Aprendendo Algebra
com o Cubo Magico p.9/34

Decomposio em ciclos
Um fato importante surge quando usamos a notao
de ciclos: toda permutao se decompe como
produto de ciclos disjuntos.

Aprendendo Algebra
com o Cubo Magico p.10/34

Decomposio em ciclos
Um fato importante surge quando usamos a notao
de ciclos: toda permutao se decompe como
produto de ciclos disjuntos.
Por exemplo, a permutao


1 2 3 4 5 6 7 8 9 10 11
1 3 6 8 7 2 10 9 4 11 5
consiste de dois 3-ciclos e um 4-ciclo:
(2 3 6)(4 8 9)(5 7 10 11)

Aprendendo Algebra
com o Cubo Magico p.10/34

Decomposio em ciclos
Um fato importante surge quando usamos a notao
de ciclos: toda permutao se decompe como
produto de ciclos disjuntos.
Por exemplo, a permutao


1 2 3 4 5 6 7 8 9 10 11
1 3 6 8 7 2 10 9 4 11 5
consiste de dois 3-ciclos e um 4-ciclo:
(2 3 6)(4 8 9)(5 7 10 11)
Para ver por que isso importante, estudemos
aplicaes repetidas de um ciclo.

Aprendendo Algebra
com o Cubo Magico p.10/34

Repetio de ciclos
I:

(1 2 3):

(1 2 3)2 = (1 3 2):

(1 2 3)3 = I:

Aprendendo Algebra
com o Cubo Magico p.11/34

Repetio de ciclos
O que est acontecendo?

Aprendendo Algebra
com o Cubo Magico p.11/34

Repetio de ciclos
O que est acontecendo?
A cada aplicao de (1 2 3), as bolas avanam para a
caixa seguinte no ciclo.

Aprendendo Algebra
com o Cubo Magico p.11/34

Repetio de ciclos
O que est acontecendo?
A cada aplicao de (1 2 3), as bolas avanam para a
caixa seguinte no ciclo.
Mas h apenas 3 caixas no ciclo. Por isso, aps trs
aplicaes as bolas retornam para onde estavam no
incio.

Aprendendo Algebra
com o Cubo Magico p.11/34

Repetio de ciclos
O que est acontecendo?
A cada aplicao de (1 2 3), as bolas avanam para a
caixa seguinte no ciclo.
Mas h apenas 3 caixas no ciclo. Por isso, aps trs
aplicaes as bolas retornam para onde estavam no
incio.
Isso no acontece com menos de trs aplicaes,
portanto a ordem de (1 2 3) 3.

Aprendendo Algebra
com o Cubo Magico p.11/34

Repetio de ciclos
O que est acontecendo?
A cada aplicao de (1 2 3), as bolas avanam para a
caixa seguinte no ciclo.
Mas h apenas 3 caixas no ciclo. Por isso, aps trs
aplicaes as bolas retornam para onde estavam no
incio.
Isso no acontece com menos de trs aplicaes,
portanto a ordem de (1 2 3) 3.
Em geral a ordem do n-ciclo (i1 i2 in ) igual a
n. Para compreender a ordem de uma permutao
qualquer, vamos recordar o conceito de MMC.

Aprendendo Algebra
com o Cubo Magico p.11/34

MMC
Considere os conjuntos M (4) = {4, 8, 12, 16, . . .} e
M (6) = {6, 12, 18, . . .} dos mltiplos de 4 e de 6.

Aprendendo Algebra
com o Cubo Magico p.12/34

MMC
Considere os conjuntos M (4) = {4, 8, 12, 16, . . .} e
M (6) = {6, 12, 18, . . .} dos mltiplos de 4 e de 6.
12 o primeiro nmero comum entre os dois, i.e, o
menor elemento de
M (4) M (6) = {12, 24, 36, . . .} = M (12).

Aprendendo Algebra
com o Cubo Magico p.12/34

MMC
Considere os conjuntos M (4) = {4, 8, 12, 16, . . .} e
M (6) = {6, 12, 18, . . .} dos mltiplos de 4 e de 6.
12 o primeiro nmero comum entre os dois, i.e, o
menor elemento de
M (4) M (6) = {12, 24, 36, . . .} = M (12).
Dizemos que 12 o Mnimo Mltiplo Comum de 4 e
6, e escrevemos MMC(4,6)=12.

Aprendendo Algebra
com o Cubo Magico p.12/34

MMC
Considere os conjuntos M (4) = {4, 8, 12, 16, . . .} e
M (6) = {6, 12, 18, . . .} dos mltiplos de 4 e de 6.
12 o primeiro nmero comum entre os dois, i.e, o
menor elemento de
M (4) M (6) = {12, 24, 36, . . .} = M (12).
Dizemos que 12 o Mnimo Mltiplo Comum de 4 e
6, e escrevemos MMC(4,6)=12.
Como 4 = 22 e 6 = 2 3, vemos que o MMC o
produto dos fatores comumns e no-comuns
elevados maior potncia, isto 12 = 22 3.

Aprendendo Algebra
com o Cubo Magico p.12/34

Repetio de permutaes
Agora consideremos = (1 2)(3 4 5), que consiste
de um 2-ciclo e um 3-ciclo.

Aprendendo Algebra
com o Cubo Magico p.13/34

Repetio de permutaes
Agora consideremos = (1 2)(3 4 5), que consiste
de um 2-ciclo e um 3-ciclo.
Observe que esses ciclos no tem elementos em
comum. Por isso a cada aplicao de podemos
olhar apenas para {1, 2} ou apenas para {3, 4, 5}.

Aprendendo Algebra
com o Cubo Magico p.13/34

Repetio de permutaes
Agora consideremos = (1 2)(3 4 5), que consiste
de um 2-ciclo e um 3-ciclo.
Observe que esses ciclos no tem elementos em
comum. Por isso a cada aplicao de podemos
olhar apenas para {1, 2} ou apenas para {3, 4, 5}.
Aps 2 aplicaes, os elementos de {1, 2} voltam
posio original. Isso ocorre para 2 , 4 , 6 , . . .

Aprendendo Algebra
com o Cubo Magico p.13/34

Repetio de permutaes
Agora consideremos = (1 2)(3 4 5), que consiste
de um 2-ciclo e um 3-ciclo.
Observe que esses ciclos no tem elementos em
comum. Por isso a cada aplicao de podemos
olhar apenas para {1, 2} ou apenas para {3, 4, 5}.
Aps 2 aplicaes, os elementos de {1, 2} voltam
posio original. Isso ocorre para 2 , 4 , 6 , . . .
Aps 3 aplicaes, os elementos de {3, 4, 5} voltam
posio original. Isso ocorre para 3 , 6 , 9 , . . .

Aprendendo Algebra
com o Cubo Magico p.13/34

Repetio de permutaes
Agora consideremos = (1 2)(3 4 5), que consiste
de um 2-ciclo e um 3-ciclo.
Observe que esses ciclos no tem elementos em
comum. Por isso a cada aplicao de podemos
olhar apenas para {1, 2} ou apenas para {3, 4, 5}.
Aps 2 aplicaes, os elementos de {1, 2} voltam
posio original. Isso ocorre para 2 , 4 , 6 , . . .
Aps 3 aplicaes, os elementos de {3, 4, 5} voltam
posio original. Isso ocorre para 3 , 6 , 9 , . . .
6 o primeiro a aparecer em ambas as listas.
Portanto, a ordem de 6.

Aprendendo Algebra
com o Cubo Magico p.13/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).
Se consiste de ciclos de tamanhos 2, 3, 6, 7, ento
sua ordem M M C(2, 3, 6, 7) = 42.

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).
Se consiste de ciclos de tamanhos 2, 3, 6, 7, ento
sua ordem M M C(2, 3, 6, 7) = 42.
Considere = (1 2)(3 4 5), que tem ordem 6.

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).
Se consiste de ciclos de tamanhos 2, 3, 6, 7, ento
sua ordem M M C(2, 3, 6, 7) = 42.
Considere = (1 2)(3 4 5), que tem ordem 6.
O que acontece se repetirmos trs vezes?

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).
Se consiste de ciclos de tamanhos 2, 3, 6, 7, ento
sua ordem M M C(2, 3, 6, 7) = 42.
Considere = (1 2)(3 4 5), que tem ordem 6.
O que acontece se repetirmos trs vezes?
O 3-ciclo desaparece, mas no o 2-ciclo, logo
3 = (1 2).

Aprendendo Algebra
com o Cubo Magico p.14/34

Ordem de permutaes
Observe que 6 o MMC de 2 e 3.
Se uma permutao consiste de m-ciclos e de
n-ciclos disjuntos ento sua ordem o MMC(m, n).
Se consiste de ciclos de tamanhos 2, 3, 6, 7, ento
sua ordem M M C(2, 3, 6, 7) = 42.
Considere = (1 2)(3 4 5), que tem ordem 6.
O que acontece se repetirmos trs vezes?
O 3-ciclo desaparece, mas no o 2-ciclo, logo
3 = (1 2).
Embora mova 5 elementos, 3 move apenas 2.

Aprendendo Algebra
com o Cubo Magico p.14/34

Aplicao de ciclos no Cubo


E se os objetos permutados fossem os cubinhos do
cubo?
A macro S = F 2 L2 move exatamente 13 cubinhos,
mas vimos na aula anterior que S 3 move apenas 4:
S:

S3 :

Ela troca dois pares de cubinhos.

Aprendendo Algebra
com o Cubo Magico p.15/34

Aplicao de ciclos no Cubo


S:

S3 :

Dando nomes aos cubinhos, a macro S faz:


(DF UF )(DL UL)(FL FR BL)(DFL UFR UBL)(DLB ULB DRF )

Aps executar a macro S trs vezes, os elementos


presentes nos 3-ciclos voltam sua posio original.
No entanto, os elementos dos 2-ciclos foram
permutados um nmero mpar de vezes, por isso
permanecem trocados. Logo,
S 3 = (DF UF )(DL UL).

Aprendendo Algebra
com o Cubo Magico p.15/34

De permutaes a grupos
O que alcanamos at o momento?
At agora aprendemos o que so permutaes e
como represent-las convenientemente usando a
notao de ciclos.

Aprendendo Algebra
com o Cubo Magico p.16/34

De permutaes a grupos
O que alcanamos at o momento?
At agora aprendemos o que so permutaes e
como represent-las convenientemente usando a
notao de ciclos.
Aplicamos essa noo ao Cubo para estudar certas
macros, aprendendo como e por que elas funcionam.

Aprendendo Algebra
com o Cubo Magico p.16/34

De permutaes a grupos
O que alcanamos at o momento?
At agora aprendemos o que so permutaes e
como represent-las convenientemente usando a
notao de ciclos.
Aplicamos essa noo ao Cubo para estudar certas
macros, aprendendo como e por que elas funcionam.
Mas isso no o bastante para respondermos s
questes acima.

Aprendendo Algebra
com o Cubo Magico p.16/34

De permutaes a grupos
O que alcanamos at o momento?
At agora aprendemos o que so permutaes e
como represent-las convenientemente usando a
notao de ciclos.
Aplicamos essa noo ao Cubo para estudar certas
macros, aprendendo como e por que elas funcionam.
Mas isso no o bastante para respondermos s
questes acima.
Precisamos de alguma coisa para captar mais
informaes sobre as propriedades do Cubo.

Aprendendo Algebra
com o Cubo Magico p.16/34

De permutaes a grupos
O que alcanamos at o momento?
At agora aprendemos o que so permutaes e
como represent-las convenientemente usando a
notao de ciclos.
Aplicamos essa noo ao Cubo para estudar certas
macros, aprendendo como e por que elas funcionam.
Mas isso no o bastante para respondermos s
questes acima.
Precisamos de alguma coisa para captar mais
informaes sobre as propriedades do Cubo.
Precisamos de Grupos.

Aprendendo Algebra
com o Cubo Magico p.16/34

O que um grupo?
Um grupo um objeto matemtico abstrato que
pode ser definido de modo muito elegante com
apenas alguns poucos axiomas.

Aprendendo Algebra
com o Cubo Magico p.17/34

O que um grupo?
Um grupo um objeto matemtico abstrato que
pode ser definido de modo muito elegante com
apenas alguns poucos axiomas.
A partir desses poucos axiomas, muitos teoremas
interessantes podem ser provados.

Aprendendo Algebra
com o Cubo Magico p.17/34

O que um grupo?
Um grupo um objeto matemtico abstrato que
pode ser definido de modo muito elegante com
apenas alguns poucos axiomas.
A partir desses poucos axiomas, muitos teoremas
interessantes podem ser provados.
O conjunto de todas as permutaes das facetas do
Cubo um grupo, bem grande e complexo (mas no
infinito).

Aprendendo Algebra
com o Cubo Magico p.17/34

O que um grupo?
Um grupo um objeto matemtico abstrato que
pode ser definido de modo muito elegante com
apenas alguns poucos axiomas.
A partir desses poucos axiomas, muitos teoremas
interessantes podem ser provados.
O conjunto de todas as permutaes das facetas do
Cubo um grupo, bem grande e complexo (mas no
infinito).
A seguir vamos dar a definio formal de grupo e
estudar alguns exemplos familiares de grupos.

Aprendendo Algebra
com o Cubo Magico p.17/34

O que um grupo?
Um grupo um objeto matemtico abstrato que
pode ser definido de modo muito elegante com
apenas alguns poucos axiomas.
A partir desses poucos axiomas, muitos teoremas
interessantes podem ser provados.
O conjunto de todas as permutaes das facetas do
Cubo um grupo, bem grande e complexo (mas no
infinito).
A seguir vamos dar a definio formal de grupo e
estudar alguns exemplos familiares de grupos.
A teoria de grupos bastante poderosa. Na prxima
aula vamos us-la us-la para resolver o Cubo.

Aprendendo Algebra
com o Cubo Magico p.17/34

Definio de Grupo
Um grupo um conjunto G com uma operao binria
possuindo as seguintes propriedades:
A operao fechada: se g, h G ento
g h G.

Aprendendo Algebra
com o Cubo Magico p.18/34

Definio de Grupo
Um grupo um conjunto G com uma operao binria
possuindo as seguintes propriedades:
A operao fechada: se g, h G ento
g h G.
A operao associativa: se f, g, h G ento
(f g) h = f (g h).

Aprendendo Algebra
com o Cubo Magico p.18/34

Definio de Grupo
Um grupo um conjunto G com uma operao binria
possuindo as seguintes propriedades:
A operao fechada: se g, h G ento
g h G.
A operao associativa: se f, g, h G ento
(f g) h = f (g h).
Existe elemento identidade e G: para todo g G,
temos g e = e g = g.

Aprendendo Algebra
com o Cubo Magico p.18/34

Definio de Grupo
Um grupo um conjunto G com uma operao binria
possuindo as seguintes propriedades:
A operao fechada: se g, h G ento
g h G.
A operao associativa: se f, g, h G ento
(f g) h = f (g h).
Existe elemento identidade e G: para todo g G,
temos g e = e g = g.
Todo elemento tem inverso: se g G ento existe
g 1 G tal que g g 1 = g 1 g = e.

Aprendendo Algebra
com o Cubo Magico p.18/34

Observaes
Note que algumas propriedades familiares podem
no estar presentes num grupo.

Aprendendo Algebra
com o Cubo Magico p.19/34

Observaes
Note que algumas propriedades familiares podem
no estar presentes num grupo.
Por exemplo, em G pode ser que existam elementos
g e h tais que g h 6= h g.

Aprendendo Algebra
com o Cubo Magico p.19/34

Observaes
Note que algumas propriedades familiares podem
no estar presentes num grupo.
Por exemplo, em G pode ser que existam elementos
g e h tais que g h 6= h g.
Como s h uma operao em G, por simplicidade
escrevemos apenas gh ao invs de g h.

Aprendendo Algebra
com o Cubo Magico p.19/34

Observaes
Note que algumas propriedades familiares podem
no estar presentes num grupo.
Por exemplo, em G pode ser que existam elementos
g e h tais que g h 6= h g.
Como s h uma operao em G, por simplicidade
escrevemos apenas gh ao invs de g h.
Assim, definimos tambm g 2 = g g = gg,
g 3 = ggg, g 0 = e e g n = (g n )1 .

Aprendendo Algebra
com o Cubo Magico p.19/34

Conseqncias imediatas
O elemento identidade nico: se e0 fosse outra
identidade, ento ee0 = e, mas tambm ee0 = e0 ,
logo e0 = e.

Aprendendo Algebra
com o Cubo Magico p.20/34

Conseqncias imediatas
O elemento identidade nico: se e0 fosse outra
identidade, ento ee0 = e, mas tambm ee0 = e0 ,
logo e0 = e.
O elemento inverso nico: se h fosse outro inverso
de g, ento gh = hg = e. Mas gg 1 = e, logo
h = he = h(gg 1 ) = (hg)g 1 = eg 1 = g 1 .

Aprendendo Algebra
com o Cubo Magico p.20/34

Conseqncias imediatas
O elemento identidade nico: se e0 fosse outra
identidade, ento ee0 = e, mas tambm ee0 = e0 ,
logo e0 = e.
O elemento inverso nico: se h fosse outro inverso
de g, ento gh = hg = e. Mas gg 1 = e, logo
h = he = h(gg 1 ) = (hg)g 1 = eg 1 = g 1 .
Portanto, em um grupo G, a equao gx = e tem
nica soluo x = g 1 .

Aprendendo Algebra
com o Cubo Magico p.20/34

Conseqncias imediatas
O elemento identidade nico: se e0 fosse outra
identidade, ento ee0 = e, mas tambm ee0 = e0 ,
logo e0 = e.
O elemento inverso nico: se h fosse outro inverso
de g, ento gh = hg = e. Mas gg 1 = e, logo
h = he = h(gg 1 ) = (hg)g 1 = eg 1 = g 1 .
Portanto, em um grupo G, a equao gx = e tem
nica soluo x = g 1 .
De fato, podemos trocar os dois ltimos axiomas
pelo seguinte: dados quaisquer g, h G, existe
soluo x G para a equao gx = h.

Aprendendo Algebra
com o Cubo Magico p.20/34

Exemplos de Grupos
Talvez o exemplo mais conhecido de grupo seja o
conjunto dos inteiros Z com a operao de adio.

Aprendendo Algebra
com o Cubo Magico p.21/34

Exemplos de Grupos
Talvez o exemplo mais conhecido de grupo seja o
conjunto dos inteiros Z com a operao de adio.
Os conjuntos dos racionais Q, reais R e complexos
C com a adio tambm so grupos.

Aprendendo Algebra
com o Cubo Magico p.21/34

Exemplos de Grupos
Talvez o exemplo mais conhecido de grupo seja o
conjunto dos inteiros Z com a operao de adio.
Os conjuntos dos racionais Q, reais R e complexos
C com a adio tambm so grupos.
O conjunto dos naturais N com a adio no
grupo. Apesar de ter identidade (0), nenhum de seus
elementos positivos tem inverso.

Aprendendo Algebra
com o Cubo Magico p.21/34

Exemplos de Grupos
Talvez o exemplo mais conhecido de grupo seja o
conjunto dos inteiros Z com a operao de adio.
Os conjuntos dos racionais Q, reais R e complexos
C com a adio tambm so grupos.
O conjunto dos naturais N com a adio no
grupo. Apesar de ter identidade (0), nenhum de seus
elementos positivos tem inverso.
Todos esses grupos so infinitos e comutativos, i.e,
vale a b = b a para todo a e b no grupo.

Aprendendo Algebra
com o Cubo Magico p.21/34

Exemplos de Grupos
Talvez o exemplo mais conhecido de grupo seja o
conjunto dos inteiros Z com a operao de adio.
Os conjuntos dos racionais Q, reais R e complexos
C com a adio tambm so grupos.
O conjunto dos naturais N com a adio no
grupo. Apesar de ter identidade (0), nenhum de seus
elementos positivos tem inverso.
Todos esses grupos so infinitos e comutativos, i.e,
vale a b = b a para todo a e b no grupo.
Um grupo muito importante o grupo trivial. Ele
consiste apenas do elemento 1, e satisfaz 1 1 = 1.

Aprendendo Algebra
com o Cubo Magico p.21/34

Aritmtica Modular
Considere o conjunto Zn = {0, 1, . . . , n 1}.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Considere o conjunto Zn = {0, 1, . . . , n 1}.
Defina nesse conjunto a seguinte operao: para
todo a, b Zn , a b o resto da diviso da adio
usual a + b por n.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Considere o conjunto Zn = {0, 1, . . . , n 1}.
Defina nesse conjunto a seguinte operao: para
todo a, b Zn , a b o resto da diviso da adio
usual a + b por n.
Por exemplo, se n = 4, ento 2 2 = 0, pois
(2+2=4) tem resto 0 quando dividido por 4. Do
mesmo modo, 2 3 = 1 e 3 3 = 2.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Considere o conjunto Zn = {0, 1, . . . , n 1}.
Defina nesse conjunto a seguinte operao: para
todo a, b Zn , a b o resto da diviso da adio
usual a + b por n.
Por exemplo, se n = 4, ento 2 2 = 0, pois
(2+2=4) tem resto 0 quando dividido por 4. Do
mesmo modo, 2 3 = 1 e 3 3 = 2.
Pode ser verificado que Zn com a operao forma
um grupo comutativo finito. Se no houver
confuso, costuma-se escrever + ao invs de .

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Agora considere Zn = {1, 2, . . . , n 1}.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Agora considere Zn = {1, 2, . . . , n 1}.
Defina a b como sendo o resto da diviso do
produto usual a b por n.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Agora considere Zn = {1, 2, . . . , n 1}.
Defina a b como sendo o resto da diviso do
produto usual a b por n.
Se n = p um nmero primo, ento isso define um
grupo comutativo finito, mas no se n for composto.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Agora considere Zn = {1, 2, . . . , n 1}.
Defina a b como sendo o resto da diviso do
produto usual a b por n.
Se n = p um nmero primo, ento isso define um
grupo comutativo finito, mas no se n for composto.
Por exemplo, se n = 6, ento 2 no tem inverso
pois: 2 1 = 2, 2 2 = 4, 2 3 = 0 6 Zn , 2 4 = 2
e 2 5 = 4. Ou seja 2 x = 1 no tem soluo nesse
conjunto.

Aprendendo Algebra
com o Cubo Magico p.22/34

Aritmtica Modular
Agora considere Zn = {1, 2, . . . , n 1}.
Defina a b como sendo o resto da diviso do
produto usual a b por n.
Se n = p um nmero primo, ento isso define um
grupo comutativo finito, mas no se n for composto.
Por exemplo, se n = 6, ento 2 no tem inverso
pois: 2 1 = 2, 2 2 = 4, 2 3 = 0 6 Zn , 2 4 = 2
e 2 5 = 4. Ou seja 2 x = 1 no tem soluo nesse
conjunto.
Tanto Zn , quanto Zp so grupos cclicos: seus
elementos so da forma 1, g, g 2 , . . . para algum
g 6= e.

Aprendendo Algebra
com o Cubo Magico p.22/34

Um grupo no-comutativo
Todos os grupos vistos acima so comutativos, isto
, a b = b a para todo a, b no grupo.

Aprendendo Algebra
com o Cubo Magico p.23/34

Um grupo no-comutativo
Todos os grupos vistos acima so comutativos, isto
, a b = b a para todo a, b no grupo.
Considere agora o conjunto



a b
| ad bc 6= 0 .
GL2 (R) =
c d

Aprendendo Algebra
com o Cubo Magico p.23/34

Um grupo no-comutativo
Todos os grupos vistos acima so comutativos, isto
, a b = b a para todo a, b no grupo.
Considere agora o conjunto



a b
| ad bc 6= 0 .
GL2 (R) =
c d
Esse conjunto forma um grupo com a multiplicao
de matrizes, pois det(AB) = det(A) det(B).

Aprendendo Algebra
com o Cubo Magico p.23/34

Um grupo no-comutativo
Todos os grupos vistos acima so comutativos, isto
, a b = b a para todo a, b no grupo.
Considere agora o conjunto



a b
| ad bc 6= 0 .
GL2 (R) =
c d
Esse conjunto forma um grupo com a multiplicao
de matrizes, pois det(AB) = det(A) det(B).




1 1
1 0
,
eB =
No entanto, se A =
0 1
1 1




1 1
2 1
ento AB =
mas BA =
.
1 2
1 1

Aprendendo Algebra
com o Cubo Magico p.23/34

Lembram-se das simetrias?


Uma simetria um movimento de um objeto
geomtrico que o faz parecer sempre o mesmo.
Por exemplo, h quatro simetrias de uma elipse que
a faz parecer sempre a mesma:
(1) No fazer nada com a elipse.
(r) Girar a elipse 180 graus por seu centro.
(a) Refletir a elipse pelo seu eixo-menor.
(b) Refletir a elipse pelo seu eixo-maior.
a
b

Aprendendo Algebra
com o Cubo Magico p.24/34

Lembram-se das simetrias?


O conjunto G = {1, r, a, b} com a operao
definida por fazer o primeiro movimento depois o
segundo, forma um grupo.
Podemos descrever a tabuada de :
1 r a b
1 1 r a b
r r 1 b a
a a b 1 r
b b a r 1

Aprendendo Algebra
com o Cubo Magico p.24/34

Grupos de Permutaes
Certos conjuntos de permutaes tambm formam
grupos. A operao simplesmente aplicar a
primeira permutao depois aplicar a segunda.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
Certos conjuntos de permutaes tambm formam
grupos. A operao simplesmente aplicar a
primeira permutao depois aplicar a segunda.
Isto , se a uma permutao e b outra, ento a b
aplicar a depois aplicar b. Por simplicidade,
costuma-se escrever apenas ab.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
Certos conjuntos de permutaes tambm formam
grupos. A operao simplesmente aplicar a
primeira permutao depois aplicar a segunda.
Isto , se a uma permutao e b outra, ento a b
aplicar a depois aplicar b. Por simplicidade,
costuma-se escrever apenas ab.
O conjunto de todas as permutaes das facetas do
Cubo forma um grupo R chamado Grupo de Rubik.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
Certos conjuntos de permutaes tambm formam
grupos. A operao simplesmente aplicar a
primeira permutao depois aplicar a segunda.
Isto , se a uma permutao e b outra, ento a b
aplicar a depois aplicar b. Por simplicidade,
costuma-se escrever apenas ab.
O conjunto de todas as permutaes das facetas do
Cubo forma um grupo R chamado Grupo de Rubik.
Ele consiste dos movimentos L, R, F, B, U, D e de
todas as macros S, assumindo que duas macros que
produzem o mesmo resultado so vistas como
iguais, por exemplo F e F 5 so o mesmo elemento
do grupo R.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
O nmero total de elementos do grupo R
exatamente o nmero de todas as possveis
configuraes do Cubo.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
O nmero total de elementos do grupo R
exatamente o nmero de todas as possveis
configuraes do Cubo.
Isso no significa que R deva conter todas as
permutaes das facetas, mas apenas aquelas que
podem ser atingidas por meio dos movimentos
acima.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
O nmero total de elementos do grupo R
exatamente o nmero de todas as possveis
configuraes do Cubo.
Isso no significa que R deva conter todas as
permutaes das facetas, mas apenas aquelas que
podem ser atingidas por meio dos movimentos
acima.
Achando o tamanho de R responderemos segunda
pergunta feita no incio.

Aprendendo Algebra
com o Cubo Magico p.25/34

Grupos de Permutaes
O nmero total de elementos do grupo R
exatamente o nmero de todas as possveis
configuraes do Cubo.
Isso no significa que R deva conter todas as
permutaes das facetas, mas apenas aquelas que
podem ser atingidas por meio dos movimentos
acima.
Achando o tamanho de R responderemos segunda
pergunta feita no incio.
Se uma permutao no est em R ento a
configurao correspondente impossvel no Cubo.
Isso responde primeira pergunta.

Aprendendo Algebra
com o Cubo Magico p.25/34

Multiplicando Permutaes
Suponhamos que o conjunto a ser permutado seja
{1, 2, 3, 4, 5}.

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Suponhamos que o conjunto a ser permutado seja
{1, 2, 3, 4, 5}.
Desejamos fazer = (1 2 4)(3 5) seguido de
= (1 3 5)(2 4), isto , obter o produto dessas
permutaes.

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Suponhamos que o conjunto a ser permutado seja
{1, 2, 3, 4, 5}.
Desejamos fazer = (1 2 4)(3 5) seguido de
= (1 3 5)(2 4), isto , obter o produto dessas
permutaes.
Basta seguir, cada elemento do conjunto e ver onde
ele ir parar.

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Suponhamos que o conjunto a ser permutado seja
{1, 2, 3, 4, 5}.
Desejamos fazer = (1 2 4)(3 5) seguido de
= (1 3 5)(2 4), isto , obter o produto dessas
permutaes.
Basta seguir, cada elemento do conjunto e ver onde
ele ir parar.
Por exemplo, leva 1 no 2 e leva 2 no 4, logo 1
vai no 4, ou seja = (1 4 . . .

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Suponhamos que o conjunto a ser permutado seja
{1, 2, 3, 4, 5}.
Desejamos fazer = (1 2 4)(3 5) seguido de
= (1 3 5)(2 4), isto , obter o produto dessas
permutaes.
Basta seguir, cada elemento do conjunto e ver onde
ele ir parar.
Por exemplo, leva 1 no 2 e leva 2 no 4, logo 1
vai no 4, ou seja = (1 4 . . .
Em seguida, leva o 4 no 1 e leva o 1 no 3, o que
d = (1 4 3 . . .

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Depois leva 3 no 5 e leva 5 no 1, fechando o
ciclo, ou seja, = (1 4 3) . . .

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Depois leva 3 no 5 e leva 5 no 1, fechando o
ciclo, ou seja, = (1 4 3) . . .
Ainda, leva 2 no 4 e leva 4 no 2, logo o 2 no se
move. Como temos apenas 5 elementos, o 5 tambm
no se move.

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Depois leva 3 no 5 e leva 5 no 1, fechando o
ciclo, ou seja, = (1 4 3) . . .
Ainda, leva 2 no 4 e leva 4 no 2, logo o 2 no se
move. Como temos apenas 5 elementos, o 5 tambm
no se move.
Concluso: (1 2 4)(3 5) (1 3 5)(2 4) = (1 4 3).

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Depois leva 3 no 5 e leva 5 no 1, fechando o
ciclo, ou seja, = (1 4 3) . . .
Ainda, leva 2 no 4 e leva 4 no 2, logo o 2 no se
move. Como temos apenas 5 elementos, o 5 tambm
no se move.
Concluso: (1 2 4)(3 5) (1 3 5)(2 4) = (1 4 3).
Daqui por diante vamos abandonar a e escrever
apenas (1 2 4)(3 5)(1 3 5)(2 4) = (1 4 3).

Aprendendo Algebra
com o Cubo Magico p.26/34

Multiplicando Permutaes
Depois leva 3 no 5 e leva 5 no 1, fechando o
ciclo, ou seja, = (1 4 3) . . .
Ainda, leva 2 no 4 e leva 4 no 2, logo o 2 no se
move. Como temos apenas 5 elementos, o 5 tambm
no se move.
Concluso: (1 2 4)(3 5) (1 3 5)(2 4) = (1 4 3).
Daqui por diante vamos abandonar a e escrever
apenas (1 2 4)(3 5)(1 3 5)(2 4) = (1 4 3).
bom lembrar que a ordem faz diferena:
(1 2)(1 3) = (1 2 3) mas (1 3)(1 2) = (1 3 2).

Aprendendo Algebra
com o Cubo Magico p.26/34

O Grupo Simtrico Sn
O grupo simtrico Sn o grupo de todas as
permutaes do conjunto {1, 2, . . . , n}. J sabemos
que ele tem n! elementos.

Aprendendo Algebra
com o Cubo Magico p.27/34

O Grupo Simtrico Sn
O grupo simtrico Sn o grupo de todas as
permutaes do conjunto {1, 2, . . . , n}. J sabemos
que ele tem n! elementos.
Por exemplo, se n = 3, temos
S3 = {1, (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}, que
tem exatamente 3! = 6 elementos.

Aprendendo Algebra
com o Cubo Magico p.27/34

O Grupo Simtrico Sn
O grupo simtrico Sn o grupo de todas as
permutaes do conjunto {1, 2, . . . , n}. J sabemos
que ele tem n! elementos.
Por exemplo, se n = 3, temos
S3 = {1, (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}, que
tem exatamente 3! = 6 elementos.
Em Sn curioso notar o seguinte:
(1 2) = (1 2)
(1 2)(1 3) = (1 2 3)
(1 2)(1 3)(1 4) = (1 2 3 4)
(1 2)(1 3)(1 4)(1 5) = (1 2 3 4 5)
e no difcil ver que esse padro continua.

Aprendendo Algebra
com o Cubo Magico p.27/34

O Grupo Simtrico Sn
Portanto, todo n-ciclo se escreve como produto de
2-ciclos. Mais ainda, se n par, o nmero de
2-ciclos impar e se n impar o nmero de dois
ciclos par.

Aprendendo Algebra
com o Cubo Magico p.27/34

O Grupo Simtrico Sn
Portanto, todo n-ciclo se escreve como produto de
2-ciclos. Mais ainda, se n par, o nmero de
2-ciclos impar e se n impar o nmero de dois
ciclos par.
Como cada permutao pode ser escrita como
produto de ciclos disjuntos, toda permutao se
escreve como produto de 2-ciclos.

Aprendendo Algebra
com o Cubo Magico p.27/34

O Grupo Simtrico Sn
Portanto, todo n-ciclo se escreve como produto de
2-ciclos. Mais ainda, se n par, o nmero de
2-ciclos impar e se n impar o nmero de dois
ciclos par.
Como cada permutao pode ser escrita como
produto de ciclos disjuntos, toda permutao se
escreve como produto de 2-ciclos.
claro que h infinitas maneiras de se fazer isso,
por exemplo:
(1 2 3) = (1 2)(1 3) = (1 2)(1 3)(1 2)(1 2) = ,
mas pode ser mostrado que o nmero total de
2-ciclos sempre par ou sempre impar.

Aprendendo Algebra
com o Cubo Magico p.27/34

Permutaes Pares e mpares


Dizemos que uma permutaao par se ela se
escreve como produto par de 2-ciclos. Caso
contrrio, dizemos que mpar.

Aprendendo Algebra
com o Cubo Magico p.28/34

Permutaes Pares e mpares


Dizemos que uma permutaao par se ela se
escreve como produto par de 2-ciclos. Caso
contrrio, dizemos que mpar.
(1 2 4)(3 5) = (1 2)(1 4)(3 5) mpar, mas
(1 4 3) = (1 4)(1 3) par. claro que
1 = (1 2)(1 2) par.

Aprendendo Algebra
com o Cubo Magico p.28/34

Permutaes Pares e mpares


Dizemos que uma permutaao par se ela se
escreve como produto par de 2-ciclos. Caso
contrrio, dizemos que mpar.
(1 2 4)(3 5) = (1 2)(1 4)(3 5) mpar, mas
(1 4 3) = (1 4)(1 3) par. claro que
1 = (1 2)(1 2) par.
Talvez no seja muito surpreendente que metade dos
elementos de Sn par e a outra metade mpar.

Aprendendo Algebra
com o Cubo Magico p.28/34

Permutaes Pares e mpares


Dizemos que uma permutaao par se ela se
escreve como produto par de 2-ciclos. Caso
contrrio, dizemos que mpar.
(1 2 4)(3 5) = (1 2)(1 4)(3 5) mpar, mas
(1 4 3) = (1 4)(1 3) par. claro que
1 = (1 2)(1 2) par.
Talvez no seja muito surpreendente que metade dos
elementos de Sn par e a outra metade mpar.
A metade par, An , forma um grupo por si mesma,
chamado grupo alternante. A metade mpar no
grupo pois 1 An . Dizemos que An um subgrupo
de Sn .

Aprendendo Algebra
com o Cubo Magico p.28/34

Paridade no Cubo
Recordemos que o efeito de F nas facetas da face
frontal exatamente
(F ur F rd F ld F ul)(F r F d F l F u), ou seja, uma
permutao par.

Aprendendo Algebra
com o Cubo Magico p.29/34

Paridade no Cubo
Recordemos que o efeito de F nas facetas da face
frontal exatamente
(F ur F rd F ld F ul)(F r F d F l F u), ou seja, uma
permutao par.
Portanto, no existe nenhuma combinao de
movimentos que consiga trocar apenas um par de
cubinhos, pois isso s pode ser conseguido com uma
permutao impar.

Aprendendo Algebra
com o Cubo Magico p.29/34

Paridade no Cubo
Recordemos que o efeito de F nas facetas da face
frontal exatamente
(F ur F rd F ld F ul)(F r F d F l F u), ou seja, uma
permutao par.
Portanto, no existe nenhuma combinao de
movimentos que consiga trocar apenas um par de
cubinhos, pois isso s pode ser conseguido com uma
permutao impar.
No entanto, vimos acima que (F 2 L2 )3 troca 2 pares
de cubinhos. Tambm j vimos na aula anterior que
existem macros para trocar ciclicamente 3 cubinhos
de mesmo tipo. Claramente, essas permutaes so
todas pares.

Aprendendo Algebra
com o Cubo Magico p.29/34

Paridade e cubinhos de aresta


Observe atentamente a configurao dos cubinhos
de aresta antes e depois do movimento F :
z

x
y

x
y

Para cada cubinho de aresta, exatamente um par de


flexas (em azul) foi invertido.

Aprendendo Algebra
com o Cubo Magico p.30/34

Paridade e cubinhos de aresta


Sempre exatamente um nmero par de cubinhos
girado.
z

x
y

x
y

Portanto no possvel girar um nico cubinho de


aresta deixando os demais como esto.

Aprendendo Algebra
com o Cubo Magico p.30/34

Paridade dos cubinhos de canto


Sempre a rotao total dos oito cubinhos de canto
deve ser congruente a zero mdulo 360 .

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Sempre a rotao total dos oito cubinhos de canto
deve ser congruente a zero mdulo 360 .
Para ver isso, marcamos os 4 cubinhos do topo e os
4 cubinhos de baixo e giramos uma face adjacente:

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:
A marca est em cima ou em baixo: o cubinho
no sofreu rotao (0 ).

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:
A marca est em cima ou em baixo: o cubinho
no sofreu rotao (0 ).
A marca est girada 120 no sentido horrio.

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:
A marca est em cima ou em baixo: o cubinho
no sofreu rotao (0 ).
A marca est girada 120 no sentido horrio.
A marca est girada 240 no sentido horrio.

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:
A marca est em cima ou em baixo: o cubinho
no sofreu rotao (0 ).
A marca est girada 120 no sentido horrio.
A marca est girada 240 no sentido horrio.
Se somarmos todos esses nmeros para os oito
cantos, teremos um mltiplo de 360 , ou seja a
rotao total ser congruente a zero.

Aprendendo Algebra
com o Cubo Magico p.31/34

Paridade dos cubinhos de canto


Olhando para um canto ao longo de uma reta
passando pelo vrtice e pelo centro do cubinho, h 3
possveis orientaes para um cubinho:
A marca est em cima ou em baixo: o cubinho
no sofreu rotao (0 ).
A marca est girada 120 no sentido horrio.
A marca est girada 240 no sentido horrio.
Se somarmos todos esses nmeros para os oito
cantos, teremos um mltiplo de 360 , ou seja a
rotao total ser congruente a zero.
De fato, observe que dois cantos foram girados de
120 e dois de 240 .

Aprendendo Algebra
com o Cubo Magico p.31/34

O tamanho do grupo R
Primeiro desconsideremos todas as restries: h 8
posies possveis para um cubinho de canto e 12
posies possveis para um cubinho de aresta, num
total de 8! 12! rearranjos.

Aprendendo Algebra
com o Cubo Magico p.32/34

O tamanho do grupo R
Primeiro desconsideremos todas as restries: h 8
posies possveis para um cubinho de canto e 12
posies possveis para um cubinho de aresta, num
total de 8! 12! rearranjos.
Cada cubinho de canto deve estar em uma das 3
possveis rotaes, num total de 38 possibilidades.

Aprendendo Algebra
com o Cubo Magico p.32/34

O tamanho do grupo R
Primeiro desconsideremos todas as restries: h 8
posies possveis para um cubinho de canto e 12
posies possveis para um cubinho de aresta, num
total de 8! 12! rearranjos.
Cada cubinho de canto deve estar em uma das 3
possveis rotaes, num total de 38 possibilidades.
Cada cubinho de aresta deve estar girado ou no,
num total de 212 possibilidades.

Aprendendo Algebra
com o Cubo Magico p.32/34

O tamanho do grupo R
Primeiro desconsideremos todas as restries: h 8
posies possveis para um cubinho de canto e 12
posies possveis para um cubinho de aresta, num
total de 8! 12! rearranjos.
Cada cubinho de canto deve estar em uma das 3
possveis rotaes, num total de 38 possibilidades.
Cada cubinho de aresta deve estar girado ou no,
num total de 212 possibilidades.
At agora isso d um total de 8! 12! 38 212
rearranjos.

Aprendendo Algebra
com o Cubo Magico p.32/34

O tamanho do grupo R
Mas apenas 1/3 desses rearranjos ter a orientao
correta dos cantos. Desses apenas 1/2 ter a
orientao das arestas correta e finalmente, destes
apenas 1/2 ter a paridade correta (par).

Aprendendo Algebra
com o Cubo Magico p.32/34

O tamanho do grupo R
Mas apenas 1/3 desses rearranjos ter a orientao
correta dos cantos. Desses apenas 1/2 ter a
orientao das arestas correta e finalmente, destes
apenas 1/2 ter a paridade correta (par).
Portanto, o tamanho de R
8! 12! 212 38
= 43.252.003.274.489.856.000,
322
ou aproximadamente 4 1019 elementos.

Aprendendo Algebra
com o Cubo Magico p.32/34

19

Quo grande 4 10 ?
Para se ter uma idia do tamanho de R, estima-se que o
nmero total de estrelas no universo conhecido seja 10 21 ,
ou seja apenas 25 vezes mais do que o nmero total de
configuraes do cubo.
A Companhia de Brinquedos Ideal afirmava na
caixa do Cubo Mgico original que ele poderia
atingir mais de trs bilhes de possveis
configuraes. Isto o mesmo que o
MacDonalds orgulhosamente anunciar que eles
j venderam mais de 120 hamburgers.
J. A. Paulos, Innumeracy

Aprendendo Algebra
com o Cubo Magico p.33/34

Fim da aula 2

Permutaes, grupos e as Configuraes do Cubo


www.dm.ufscar.br/waldeck/rubik/

Aprendendo Algebra
com o Cubo Magico p.34/34