O Teorema de Burnside e Aplicações. José Plínio O. Santos e Eduardo Bovo. Universidade Estadual de Campinas



Documentos relacionados
Resolução de sistemas lineares

Exercícios Teóricos Resolvidos

N1Q1 Solução. a) Há várias formas de se cobrir o tabuleiro usando somente peças do tipo A; a figura mostra duas delas.

MD Sequências e Indução Matemática 1

1 Base de um Espaço Vetorial

Programa Olímpico de Treinamento. Aula 9. Curso de Combinatória - Nível 2. Tabuleiros. Prof. Bruno Holanda

AV1 - MA (b) Se o comprador preferir efetuar o pagamento à vista, qual deverá ser o valor desse pagamento único? 1 1, , , 980

Material Teórico - Módulo de Métodos sofisticados de contagem. Princípio das Casas dos Pombos. Segundo Ano do Ensino Médio

Notas de Cálculo Numérico

QUESTÕES COMENTADAS E RESOLVIDAS

A B C F G H I. Apresente todas as soluções possíveis. Solução

Lista 1 para a P2. Operações com subespaços

Falso: F = Low voltage: L = 0

Aluno do Curso de Lic. em Matemática da UFMS; e mail: tmviana2000@gmail.com;

INSTITUTO TECNOLÓGICO

Dicas para a 6 a Lista de Álgebra 1 (Conteúdo: Homomorfismos de Grupos e Teorema do Isomorfismo para grupos) Professor: Igor Lima.

Capítulo 5: Aplicações da Derivada

Disciplina: Introdução à Álgebra Linear

Potenciação no Conjunto dos Números Inteiros - Z

Eventos independentes

Soluções Nível 1 5 a e 6 a séries (6º e 7º anos) do Ensino Fundamental

A Torre de Hanói e o Princípio da Indução Matemática

36ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase

Prog A B C A e B A e C B e C A,B e C Nenhum Pref

Análise de Arredondamento em Ponto Flutuante

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Resoluções comentadas de Raciocínio Lógico e Estatística SEFAZ - Analista em Finanças Públicas Prova realizada em 04/12/2011 pelo CEPERJ

Material Teórico - Aplicações das Técnicas Desenvolvidas. Exercícios e Tópicos Relacionados a Combinatória. Segundo Ano do Ensino Médio

Um jogo de preencher casas

Somatórias e produtórias

Dois eventos são disjuntos ou mutuamente exclusivos quando não tem elementos em comum. Isto é, A B = Φ

Unidade 11 - Probabilidade. Probabilidade Empírica Probabilidade Teórica

A ideia de coordenatização (2/2)

Atenção: o conjunto vazio é representado por { } 1.2 Pertinência e Inclusão

Álgebra. SeM MiSTéRio

0, OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO Pablo Emanuel

Truques e Dicas. = 7 30 Para multiplicar fracções basta multiplicar os numeradores e os denominadores: 2 30 = 12 5

Retas e Planos. Equação Paramétrica da Reta no Espaço

QUESTÃO 1 ALTERNATIVA B

4Distribuição de. freqüência

Aula 4 Estatística Conceitos básicos

FUNÇÃO COMO CONJUNTO R 1. (*)= ou, seja, * possui duas imagens. b) não é uma função de A em B, pois não satisfaz a segunda condição da

Cotagem de dimensões básicas

7 - Análise de redes Pesquisa Operacional CAPÍTULO 7 ANÁLISE DE REDES. 4 c. Figura Exemplo de um grafo linear.

Notas sobre a Fórmula de Taylor e o estudo de extremos

FACULDADE DE CIÊNCIA E TECNOLOGIA. Cursos de Engenharia. Prof. Álvaro Fernandes Serafim

Exercícios 1. Determinar x de modo que a matriz

Propriedades das Funções Deriváveis. Prof. Doherty Andrade

Faculdade de Computação

Resolverei neste artigo uma prova da fundação VUNESP realizada em 2010.

Elementos de Matemática Discreta

Material Teórico - Módulo de Divisibilidade. MDC e MMC - Parte 1. Sexto Ano. Prof. Angelo Papa Neto

PROBABILIDADE Prof. Adriano Mendonça Souza, Dr.

SOCIEDADE BRASILEIRA DE MATEMÁTICA MESTRADO PROFISSIONAL EM REDE NACIONAL PROFMAT

x0 = 1 x n = 3x n 1 x k x k 1 Quantas são as sequências com n letras, cada uma igual a a, b ou c, de modo que não há duas letras a seguidas?

XXVI Olimpíada de Matemática da Unicamp. Instituto de Matemática, Estatística e Computação Científica Universidade Estadual de Campinas

Manual das planilhas de Obras v2.5

Probabilidade - aula I

Exercícios resolvidos P2

SEI Superintendência de Estudos Econômicos e Sociais da Bahia Av Luiz Viana Filho, 435-4ª avenida, 2º andar CAB CEP Salvador - Bahia Tel.

Construção dos números racionais, Números fracionários e operações com frações

Princípio da Casa dos Pombos II

Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,...

o conjunto das coberturas de dominós de uma superfície quadriculada S. Um caminho v 0 v 1...v n

36 a Olimpíada Brasileira de Matemática Nível Universitário Primeira Fase

Função. Definição formal: Considere dois conjuntos: o conjunto X com elementos x e o conjunto Y com elementos y. Isto é:

MANUAL DA SECRETARIA

Contagem I. Figura 1: Abrindo uma Porta.

Curvas em coordenadas polares

I. Princípio Fundamental da Contagem (P.F.C.)

QUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.

Laboratório de Física I - EAD- UESC 2011

elementos. Caso teremos: elementos. Também pode ocorrer o seguinte fato:. Falsa. Justificativa: Caso, elementos.

Morfologia Matemática Binária

CAPÍTULO II. Funções e Portas Lógicas

Figura 1: tela inicial do BlueControl COMO COLOCAR A SALA DE INFORMÁTICA EM FUNCIONAMENTO?

Prof. Bruno Holanda - Semana Oĺımpica Nível 1. Teoria dos Grafos

Introdução ao estudo de equações diferenciais

Simulado OBM Nível 2

Abordagem de geometria no ensino médio partindo de poliedros

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/ / 204

MÓDULO 4 DISTRIBUIÇÃO DE FREQÜÊNCIAS

Como erguer um piano sem fazer força

LIMITES e CONTINUIDADE de FUNÇÕES. : R R + o x x

[ \ x Recordemos o caso mais simples de um VLVWHPD de duas HTXDo}HVOLQHDUHV nas duas LQFyJQLWDV [ e \.

Universidade Federal do Rio Grande do Norte. Centro De Ciências Exatas e da Terra. Departamento de Física Teórica e Experimental

Universidade Federal de São Carlos Departamento de Matemática Curso de Cálculo Numérico - Turma E Resolução da Primeira Prova - 16/04/2008

Aula 9 Plano tangente, diferencial e gradiente

Faculdade de Economia Universidade Nova de Lisboa TÓPICOS DE CORRECÇÃO DO EXAME DE CÁLCULO I. Ano Lectivo o Semestre

PROPOSTAS DE TRABALHO PARA OS ALUNOS A PARTIR DE JOGOS 2º ANO. Adriana da Silva Santi Coordenação Pedagógica de Matemática

ANALISE COMBINATORIA Um pouco de probabilidade

Estruturas de Repetição

Um estudo sobre funções contínuas que não são diferenciáveis em nenhum ponto

Resíduos Quadráticos e Fatoração: uma aplicação à criptoanálise do RSA

Teoria das Probabilidades I. Ana Maria Lima de Farias Universidade Federal Fluminense

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR

1 Propriedades das Funções Contínuas 2

3.4 O Princípio da Equipartição de Energia e a Capacidade Calorífica Molar

O mercado de bens CAPÍTULO 3. Olivier Blanchard Pearson Education Pearson Education Macroeconomia, 4/e Olivier Blanchard

RELAÇÕES BINÁRIAS Produto Cartesiano A X B

Transcrição:

O Teorema de Burnside e Aplicações José Plínio O. Santos e Eduardo Bovo Universidade Estadual de Campinas

- Permutações Introduzimos, nesta seção, o conceito fundamental de permutação que servirá de base para todo nosso estudo. Com a nalidade de sermos concisos, denotamos, para todo n N, o conjunto nito f; ; :::; ng pelo símbolo [n]. Denição. do conjunto X. Dado um conjunto não-vazio X, uma bijeção : X! X é denominada uma permutação Exemplo. Considere um baralho de 5 cartas em certa ordem (b ; b ; :::; b 5 ). Qualquer embaralhamento de X = (b ; :::; b 5 ) é perfeitamente descrito por uma reindexação conveniente de seus indices (b j ; :::; b j5 ), com fj ; :::; j 5 g = [5] = f; ; ; :::; 5g. Qualquer embaralhamento das cartas possui uma ordem, geralmente diferente da anterior, se bem embaralhado, digamos (b 0 ; b ; b ; b 6 ; :::; b 4 ) mas ainda é composto das mesmas cartas fb ; :::; b 5 g. Assim podemos pensar no embaralhamento como uma permutação do conjunto X = fb ; :::; b 5 g das 5 cartas do baralho. Denotamos o conjunto S (X) como o conjunto de todas as permutações do conjunto X. Se X é nito com #X = n, isto é, X = fx ; :::; x n g, então para formar qualquer permutação destes n elementos, temos n n ::: n possibilidades de preenchimento para o primeiro quadrado da la, n possibilidades para o segundo,..., possiblidades para o (n )-ésimo e para o enésimo (último). Assim, pelo princípio multiplicativo temos n! permutações em S (X), isto é, #S (X) = n!. Na maioria dos casos, estaremos mais interessados em estudar permutações de X = [n] e denotamos S n = S ([n]). Se S n e j [n], a notação (j) denota o valor da função bijetiva no ponto j. Desta forma podemos denotar a permutação pelo seguinte diagrama ::: n = () ::: (n) exibindo visualmente o domínio e o contradomínio da bijeção considerada. 4 5 6 7 8 Exemplo. = 5 4 6 8 7 números e 4 permanecem xos. S 8. Observe que após aplicada esta permutação, os A segunda representação, muito importante para nós, é a representação por ciclos. Antes de introduzi-la,

é conveniente olharmos o exemplo acima por diagrama de setas!! 5! 4! 4 5! 6 6! 7! 8 8! 7 que é equivalente a!! 5! 6!! 4! 4 7! 8! 7 e que iremos denotar por () (56) (4) (78) De maneira geral, se S n, para todo j [n] temos que deve existir l j [n] tal que l j (j) = ( ( (::: ( (j)) :::))) {z } = j l j aplicações Se não existisse tal l j, ou l j n +, então após a n-ésima iteração teríamos o valor resultante fora do conjunto [n], um absurdo pois é uma bijeção denida em [n]. Assim, temos um ciclo de determinado por j; (j) ; (j) :::; l j (j) de comprimento l j. Tomamos um outro elemento k não contido no ciclo j; (j) ; (j) :::; l j (j) e temos que deve existir l k tal que k; (k) ; (k) :::; l k (k) seja um ciclo de comprimento l k. Aplicamos este procedimento sucessivamente aos elementos que ainda não tenham aparecido nos ciclos anteriormente construídos até que todos os membros de [n] sejam utilizados. Desta forma obtemos uma representação da permutação por meio de ciclos disjuntos. Denominamos um ciclo de comprimento k simplesmente de k-ciclo; se k = dizemos que o ciclo é um ponto xo e se k = dizemos que o ciclo é uma transposição. 4 5 6 Exemplo. A permutação pode ser representada na notação de ciclos disjuntos 6 4 5 por () () (465). O ciclo () é uma transposição e o ciclo () é um ponto xo da permutação. Observe que se permutarmos ciclicamente os elementos de um ciclo qualquer, ou se reordenarmos os ciclos isto não mudará a permutação representada. A menos destas possíveis variações, a representação por ciclos disjuntos é única. É costume omitir da composição de permutações o símbolo, e simplesmente justapor os operandos. Assim é denotada por, onde entendemos que primeiro aplicamos e depois. - Grupos de Permutações A seguir demonstramos alguns lemas elementares que versam sobre S (X), e provamos que se trata na verdade de um grupo com a operação de composição de funções.. S (X) é um grupo de permutações Consideramos nos resultados abaixo que X é um conjunto não-vazio qualquer, mas podemos te-lo em mente como sendo o conjunto [n]. Lema. O conjunto S (X) é fechado por composição de permutações, isto é, ; S (X) ) S (X)

Dem. Dadas ; S (X), mostramos que é também uma bijeção de X em X, e portanto pertence a S (X). é injetiva. De fato, se tomarmos x; y X; x 6= y, como é injetiva segue que (x) 6= (y). Assim, como é injetiva também, segue que (x) 6= (y) e portanto é também injetiva. Mostramos agora que é sobrejetiva e para isso seja z X. Como e são sobrejetivas, 9y X com (y) = z, 9x X com (x) = y. Isto é, existe x X tal que ( (x)) = z e portanto é sobrejetiva. Assim concluímos que S (X), e o conjunto é fechado por composição de permutações. Lema. A função e : X! X denida por e (x) = x para todo x X é uma bijeção e funciona como a identidade de S (X), isto é 8 S (X), temos e = e = Além disso, dada qualquer permutação S (X), existe uma permutação inversa S (X) tal que = = e Dem. É imediato vericar que a função e (x) identidade é uma permutação e que funciona como elemento neutro de S (X). Como toda função bijetiva possui inversa, e esta inversa também é bijetiva, segue a existência dos inversos em S (X). Sabemos que a composição de funções é associativa o que nos permite concluir diretamente, pela denição de operação que demos em S (X), que Lema. Dadas as permutações ; e em S (X), temos ( ) = ( ) Esses três lemas acima mostram que S (X) é um grupo com a operação de composição de funções. Na próxima seção, relembramos as denições dos axiomas de grupo e demonstramos alguns resultados fundamentais.. Axiomas de Grupo Uma operação binária em um conjunto G é entendida como uma função : G G! G que associa a cada par de elementos de G, um elemento de G. Desta forma, se uma tal operação binária puder ser denida em G, teremos que obrigatoriamente G é fechado por ela. Assim o conceito de o conjunto G ser fechado pela operação está implícito no conceito de operação binária em G. Denição. Um grupo é um par ordenado (G; ), onde G é um conjunto e é uma operação binária em G satisfazendo: (G) Identidade: Existe e G tal que 8x G ) x e = e x = x O elemento e é chamado de identidade de G. (G) Inversos: 8x G, existe x G tal que x x = x x = e Dado x, o elemento x é chamado de inverso de x. (G) Associatividade: 8x; y; z G, temos x (y z) = (x y) z 4

A associatividade nos permite abandonar os parênteses na composição de operações entre elementos de G. Temos então o seguinte teorema, que é conseqüência dos lemas da seção anterior: Teorema. Se X é um conjunto não-vazio, (S (X) ; ) é um grupo chamado de grupo de permutações de X, e denotado simplesmente por S (X). Exemplo. Como exemplos básicos, temos que os seguintes pares são grupos: (Z; +) ; (Q; +) ; (R; +) ; (C; +) Exemplo. Todos os conjuntos do exemplo acima são fechados por multiplicação, tendo como identidade. No entanto, apenas os elementos não-nulos dos conjuntos Q, R e C possuem inversos. Assim temos mais três exemplos de grupos, (Q ; ) ; (R ; ) ; (C ; ) Exemplo. Seja p um primo, Z p = 0; ; :::; p a classe dos resíduos módulo p. Então (Z p ; + p ) e Z p; p são grupos com as operações de soma e multiplicação módulo p, respectivamente. Exemplo.4 O grupo simétrico S n, formado pelas permutações dos símbolos f; ; :::; ng.. Subgrupos e o Teorema de Lagrange A seguir apresentamos a denição de subgrupo de um grupo G. Essencialmente, entendemos por um subgrupo H de G, um subconjunto H de G tal que H se comporte como um grupo pela operação herdada da denida em G. Como H G, consideramos como operação binária em H a restrição de ao domínio H H. Pelo fato de a associatividade ser válida para todos os elementos de G, em particular é válida para todos os elementos de H, H G. Denição. Dado um grupo G e H G, H é um subgrupo de G se (SG) H é fechado sob a operação, isto é, 8x; y H ) x y H (SG) H contém o elemento identidade e de G. (SG) H contém inversos, isto é, 8x H temos x H As condições da denição acima são equivalentes a uma mais concisa, que é dada na proposição abaixo Proposição. Se G é um grupo e H 6= ; é um subconjunto de G, então H é subgrupo de G () 8g; h H temos g h H. 5

A partir de agora, omitimos, como de costume o símbolo da operação do grupo G e simplesmente justapomos os elementos sendo operados, como na notação multiplicativa, onde xy signica x y. Vamos denir alguns conceitos que nos serão úteis na demonstração do Teorema de Lagrange. Denição. Seja G um grupo e H um subgrupo de G. Para cada g G, a classe lateral gh é denida como sendo o conjunto gh = fgh : h Hg Lema.4 Se H é um subgrupo de G, e g ; g G, então temos g H = g H () g g H Dem. Supomos primeiramente que g H = g H. Como a identidade e H, temos g e = g (g H) ) g (g H) Assim, existe h H tal que g = g h, o que equivale a g g = h, e portanto g g H. Agora supomos que g g H. Disto tiramos que g g = h H, ou seja, que g = g h. Vamos mostrar que g H g H. Seja x g H, isto é, x = g h para algum h H. Temos x = g h = (g h) h = g (hh ) = g h com h H, pois H é subgrupo de G Desta forma temos que x g H e portanto g H g H. Reescrevemos a equação g = g h utilizando o inverso de h em H, obtendo g = g h (lembre-se que H é subgrupo de G, e portanto h H). Assim podemos aplicar o raciocínio anterior para mostrar que g H g H. Portanto temos a igualdade g H = g H. Lema.5 Se H é um subgrupo de G então quaisquer classes laterais de H ou são idênticas, ou são disjuntas. Em símbolos: 8g ; g H, temos exclusivamente que g H = g H ou g H \ g H = ;. Dem. Suponha que g H \ g H 6= ; e seja x g H \ g H. Então existem h ; h H tais que x = g h = g h, o que signica que g g = h h. Mas h h H, pois H é subgrupo de G, o que implica que g g H e assim pelo lema.4 temos g H = g H. Denição.4 Em vista do lema anterior, denimos como índice de H em G o número de diferentes classes laterais de H em G, e denotamos por jg : Hj. Em símbolos, jg : Hj = # fgh : g Gg Agora temos as ferramentas necessárias para a demonstração do importante Teorema de Lagrange, acerca da ordem de subgrupos de G. Teorema. Se H é um subgrupo de um grupo nito G, então jg : Hj jhj = jgj 6

Dem. Como H é subgrupo de G, a identidade e está em H. Portanto, para cada g G, g = ge gh, e assim cada elemento de G está em alguma classe lateral de H em G. Mostramos agora que cada classe lateral de H em G possui ordem igual à ordem de H. Como H G e H é subgrupo, temos que jhj <. Seja H = fh ; :::; h m g com os h j todos distintos (isto é, jhj = m). Armamos que para todo g G, gh j são todos distintos com j percorrendo os valores ; :::; m. De fato, se tivéssemos gh j = gh k com j 6= k, poderíamos cancelar g à esquerda e obter h j = h k, um absurdo. Assim concluimos que para qualquer classe lateral gh, jghj = jhj. Portanto, utilizando o lema.5 temos que as diferentes classes laterais de H em G particionam G em jg : Hj conjuntos de cardinalidade jhj e concluímos nossa demonstração. Assim obtemos o importante Teorema. (Teorema de Lagrange) a ordem de G. Se H é subgrupo de um grupo nito G, então a ordem de H divide Dem. Como G e H são grupos nitos, os números jg : Hj, jhj e jgj são inteiros positivos. Portanto, pela denição de divisibilidade e pela equação do teorema anterior, temos que jgj é divisível por jhj. - Grupos de Simetria A seguir denimos o que se entenderá por simetria de guras planas ou espaciais. Denição. Entendemos por uma gura um conjunto F de pontos de R ou R. Denição. Dada uma gura F, uma simetria de F é uma aplicação f : F! F com as seguintes propriedades (i) f é uma isometria (ii) f é sobrejetiva Pela denição dada, uma simetria é uma aplicação que leva a gura nela mesma e que preserva distâncias. Exemplo. Um triângulo equilátero possui 6 simetrias: delas é a identidade, são rotações horárias centradas em seu centro de gravidade de ângulos e 4 e delas são reexões através de suas medianas. Exemplo. Um quadrado desenhado no plano possui 8 simetrias: delas é a identidade, são rotações horárias centradas em seu centro de gravidade de ângulos, e, são reexões através de suas mediatrizes e são reexões através de suas diagonais. Podemos utilizar números para marcar as guras e assim relacionar os grupos de simetrias a grupos de permutações. Fazemos isso comumente associando números aos vértices de guras, mas de uma maneira geral podemos também associar números a lados, diagonais, ou outros elementos das guras. 7

Na Figura abaixo, estão listadas as 6 simetrias do triângulo e as 8 do quadrado, bem como as permutações correspondentes de seus vértices numerados. Também denominamos as simetrias do quadrado para referência futura. TRIÂNGULO QUADRADO SIMETRIA RESULTADO PERMUTAÇÃO e / / ()()() () () SIMETRIA RESULTADO PERMUTAÇÃO e 4 4 e = ()()()(4) / 4 4 a = (4) 4 4 a = (4)() / 4 4 a = (4) ()() 4 4 p = ()(4) ()() 4 4 p = ()(4) ()() 4 4 q = ()()(4) 4 4 q = (4)()() Figura : Simetrias do triângulo e do quadrado Teorema. Seja F uma gura. Então o conjunto de todas as simetrias de F, com a operação de composição de funções, forma um grupo. Dem. Seja G o conjunto de todas as simetrias de F. Vericamos a seguir que G munido da operação de 8

composição de funções satisfaz os axiomas de grupo. A identidade I F : F! F é obviamente uma simetria, e portanto G possui um elemento identidade. Denotando por d (x; y) a distância entre os pontos x e y, suponha que f; g G. Inicialmente, temos que f g é uma isometria, pois d (f (g (x)) ; f (g (y))) = d (g (x) ; g (y)), pois f é uma isometria = d (x; y), pois g é uma isometria Como (f g) (F ) = f (g (F )) = f (F ) = F, e f g é uma isometria, segue então que f g é uma simetria e portanto está em G. Toda simetria (isometria) f é injetora, e portanto possui uma inversa f : Dados z; w F, como f é sobrejetiva também, d f (z) ; f (w) = d f f (z) ; f f (w) = d (z; w) Assim f é uma simetria e portanto pertence a G. A associatividade da composição de simetrias segue diretamente da associatividade de composição de funções. Exemplo. Temos diferentes tipos de eixos de rotação para um cubo, indicados na gura abaixo: (a) (b) (c) (a) Rotação em torno de um eixo que passa pelos centros de faces opostas, (b) Rotação em torno de um eixo que passa pelos pontos médios de arestas opostas (c) Rotação em torno de um eixo que passa por vértices opostos Assim, as 4 simetrias rotacionais de um cubo são divididas em: ) A identidade e; ) rotações de um ângulo de pelo eixo indicado em (a); ) rotações de um ângulo de pelo eixo indicado em (a); 4) rotações de um ângulo de pelo eixo indicado em (a); 5) 6 rotações de um ângulo de pelo eixo indicado em (b); 6) 4 rotações de um ângulo de pelo eixo indicado em (c) e 7) 4 rotações de um ângulo de 4 pelo eixo indicado em (c). 9

4 - Ordens de Permutações 4. Tipo cíclico e partições de inteiros Pelas observações que zemos anteriormente, uma permutação S n possui a seguinte representação por t = t () ciclos disjuntos, = j () j () :::j () l j () j () :::j () l ::: j (t) j (t) :::j (t) l t com t N, [n] particionado pela seguinte reunião disjunta [n] = t[ i= n o j (i) ; :::; j (i) l i Sabemos que esta representação é única a menos de permutações dos ciclos e de permutações cíclicas dos elementos internos de cada ciclo. Sendo G um grupo nito, a ordem de um elemento g é denida como o menor inteiro positivo k tal que g k = e. Isto implica que para qualquer múltiplo m = rk de k, tambem temos a equação g m = e. Portanto, uma permutação que seja um k-ciclo possui ordem k e este k-ciclo elevado a qualquer múltiplo de k também resulta na identidade. Como os ciclos da representação de são disjuntos, para todo k N k k k k = j () j () :::j () l j () j () :::j () l ::: j (t) j (t) :::j (t) l t Assim para encontrarmos a ordem de, precisamos que todos os ciclos de sua representação, quando elevados a k, atinjam a identidade, o que ocorrerá quando k for um múltiplo comum de l ; :::; l t. Mas pela denição de ordem de um elemento, queremos o menor k que seja um múltiplo comum. Temos então que a ordem de é igual a mmc [l ; :::; l t ]. Denimos agora um termo polinomial que de certa forma reete a estrutura cíclica de uma permutação S n. Denição 4. Denimos o tipo cíclico de S n como sendo o monômio T C () dado por ty T C () = x li () i= 4 5 6 Exemplo 4. = = () () (465) tem tipo cíclico T C () = 6 4 5 x x x = x x x. Repare que a comutatividade do produto em T C () expressa a propriedade de que a ordem dos ciclos na representação de é irrelevante. Exemplo 4. = () (76) () (4589) S 9 tem tipo cíclico T C () = x x x x 4 = x x x 4. É costume omitir da representação de os ciclos unitários, porém é fundamental para a determinação do tipo cíclico de uma permutação, que os ciclos unitários não sejam "esquecidos". Desta forma, ou devemos logo listar os ciclos unitários, ou ter em mente o grupo subjacente ao qual a permutação analisada pertence. 0

Observe que na representação () podemos ter ciclos disjuntos de mesmo comprimento. Assim os números l ; :::; l t podem não ser todos distintos. Suponha, sem perda de generalidade, que no conjunto fl ; :::; l t g tenhamos apenas s t números distintos, e os redenominamos na ordem crescente l < l < ::: < l s. Consequentemente, podemos armar que existem k ciclos de comprimento l, k ciclos de comprimento l,..., k s ciclos de comprimento l s ; onde k j ; l j [n] para j = ; ; :::; s. Desta forma, podemos concluir que para toda S n xada, temos a unicidade dos números s () ; k j () e l j (), onde j = ; ; :::; s. Assim o tipo cíclico de toma a seguinte forma, mais intuitiva e explícita, T C () = x k l x k l :::x ks l s onde k j é o número de ciclos de comprimento l j para j = ; :::; s. Aqui o total de ciclos da representação é k + k + ::: + k s. Como S n é uma permutação dos números de [n], devemos ter n símbolos distribuídos entre todos os ciclos de sua representação. Isto implica que k l + k l ::: + k s l s = n, e pela ordenação l < l < ::: < l s n, e denições de k j, temos então uma partição do inteiro n = k l + ::: + k s l s. Reciprocamente, se temos uma partição do inteiro n dada por n = k l + k l + ::: + k s l s k j ; l j [n] ; l < ::: < l s onde temos k j partes iguais a l j para j = ; ::; s, então é possível encontrar uma permutação S n com tipo cíclico T C () = x k l x k l :::x ks l s. Na verdade existem muitas permutações em S n com este tipo cíclico dado, e o teorema a seguir nos diz quantas são. A demonstração abaixo é devida a Cauchy. Teorema 4. Seja uma partição de n, dada por n = k l + k l + ::: + k s l s, com k j ; l j [n] e l < l < ::: < l s. Então existem n! l k k!l k k!:::l ks s k s! permutações S n com tipo cíclico x k l x k l :::x ks l s Dem. Seja h o número de permutações S n satisfazendo T C () = x k l x k l :::x ks l s, isto é, contendo k j ciclos de comprimento l j para j = ; :::; s. Vamos considerar as permutações com o tipo cíclico desejado, quebradas em seus ciclos componentes. Primeiro listamos os k ciclos de comprimento l e representamos cada ciclo por l quadrados, depois listamos os k ciclos de comprimento l, e representamos cada ciclo por l quadrados e assim

sucessivamente, até nalmente listarmos os k s ciclos de comprimento l s e seus quadrados. 8 k z } { l z } l { l z } { z } { z } { >< l l z } { l z } { z } { s >:.. k. k s z } { l z } s l { s l z } { z } s { Sabemos que o total de quadrados do diagrama acima é n, pois trata-se de uma permutação em S n. Então procedemos preenchendo arbitrariamente os n símbolos dentro dos n quadrados, isto é, vamos inserir as n! permutações dos números [n] dentro dos n quadrados. Assim obtemos uma aplicação do conjunto das n! permutações no conjunto das permutações com o tipo cíclico determinado acima. Claramente, ao preencher os quadrados, podemos ter mais de uma permutação determinando o mesmo resultado. Por exemplo, se n = 8, T C () = x x x, ambos os preenchimentos abaixo resultam na mesma permutação (4) () (5) (687): 4 5 7 6 8 4 5 8 7 6 Seja P uma das h permutações de S n com o tipo cíclico desejado. Como P possui k ciclos de comprimento l, a m de produzirmos P no preenchimento, suas k l -uplas de elementos devem ser colocados nos k blocos de l quadrados cada. Cada l -upla pode ser colocada em qualquer ordem entre os k blocos, assim temos k! possiblidades para isso. Cada um dos k blocos, pode ser rotacionado ciclicamente e isto pode ser feito de l maneiras por bloco, pois seu comprimento é l. Assim temos l k possibilidades para as rotações cíclicas dos elementos dos blocos e portanto no total temos k!l k maneiras de obtermos os k ciclos de comprimento l de P. O mesmo raciocínio pode ser aplicado aos demais ciclos de P, isto é, temos k j!l k j j maneiras de obter os k j ciclos de comprimento l j para j = ; :::; s. Portanto, temos um total de k!l k k!l k :::k s!ls ks permutações que quando colocadas nos quadrados geram os ciclos de P. Portanto, se plugarmos todas as n! permutações nos quadrados do diagrama, cada permutação com esse tipo cíclico é gerada exatamente o número de vezes indicado acima. Assim concluímos que de onde segue o resultado. h k!l k k!l k :::k s!l ks s = n! Corolário 4. Existe uma correspondência biunívoca entre os tipos cíclicos dos elementos de S n e as partições do inteiro n. Portanto, existem p (n) diferentes tipos cíclicos para as permutações de S n, onde p (n) é o número de partições do inteiro n. Abaixo colocamos, a título de curiosidade, uma tabela contendo alguns valores de p (n).

n p (n) n p (n) 0 4 0 67 0 5604 4 5 40 78 5 7 50 046 6 60 966467 7 5 70 4087968 8 80 5796476 9 0 90 56647 Para encontrarmos a maior ordem que um elemento de S n pode ter, por exemplo, uma maneira é procurar nas partições de n = x + ::: + x s, aquela que tem o maior valor para mmc [x ; :::; x s ]. 4. Índice de ciclos Denição 4. Se G é um grupo de permutações, o índice de ciclos de G, denotado Z (G), é denido como sendo o polinômio Z (G) = X T C () jgj Observe que a soma dos coecientes do polinomio deve ser igual a, isto porque temos jgj termos na soma, dividos pelo fator jgj. Exemplo 4. Em S temos apenas a permutação identidade que possui tipo cíclico x. Isto nos dá trivialmente Z (S ) = x Em S temos as permutações () () e (), que possuem tipos cíclicos iguais a x e x, respectivamente. Portanto, Z (S ) = x + x Para S, temos a permutação () () () com tipo cíclico igual a x, as permutações () (), () (), () () com tipo cíclico x x e as permutações (), () com tipo cíclico x. Assim, obtemos para o índice de ciclos Z (S ) = 6 x + x x + x Abaixo fornecemos a fórmula fechada para os coecientes do índice de ciclos de S n. Teorema 4. G Temos a seguinte expressão geral para o índice de ciclos do grupo simétrico S n X Z (S n ) = l k k!l k k!:::ls ks k s! xk l x k l :::x ks l s k l +:::+k sl s=n onde a soma é efetuada sobre todas as partições do inteiro n. Dem. Este resultado sai diretamente do teorema 4. e da denição de índice de ciclos. Basta somar nos p (n) diferentes tipos cíclicos possíveis para as permutações de S n.

5 - Ações de Grupos Considerando um tabuleiro temos um total de 4 = 6 colorações utilizando cores (preta e branca): C C C C4 C5 C6 C7 C8 C9 C0 C C C C4 C5 C6 Figura : 6 colorações de um tabuleiro de xadrez, nas cores preto e branco. Do total listado acima, podemos inferir os seguintes conjuntos de padrões equivalentes: fcg fc; C; C4; C5g fc6; C7; C8; C9g fc0; Cg fc; C; C4; C5g fc6g Assim, por exemplo C6 e C8 estão no mesmo conjunto, pois um pode ser obtido do outro através de uma rotação de um ângulo. Num tabuleiro por ser mais simples, não faz diferença se considerarmos ou não as reexões; isto é, basta considerarmos as rotações para diferenciar os padrões. Se tivéssemos por exemplo, considerando tabuleiros, os diagramas abaixo não poderiam ser obtidos um do outro apenas por rotações; necessitaríamos também das reexões. 4

De qualquer forma, nas nossas observações sobre padrões de coloração equivalentes são as simetrias do quadrado que estão sendo consideradas na diferenciação. O que estão implícitos em toda esta discussão são conceitos sobre a interação entre um grupo (como o de simetrias de um quadrado, por exemplo) e os membros de algum outro conjunto (como as 6 colorações do tabuleiro ). 6 - Colorações A seguir denimos rigorosamente o que se entende por colorações de objetos, sejam tabuleiros, contas, vértices, faces, etc... Primeiro, como um exemplo mais concreto, consideramos novamente o tabuleiro de xadrez. 4 Então, se estamos colorindo de branco e preto, podemos considerar uma coloração f como uma aplicação do conjunto dos quadrados f; ; ; 4g no conjunto das cores fpreto; brancog, isto é f : f; ; ; 4g! fpreto; brancog As 6 colorações diferentes correspondem então às 6 aplicações diferentes com os domínios e contradomínios denidos acima. A título de exemplo, a coloração correspondente a C0 denotada por f 0 é a coloração determinada por f 0 () = f 0 (4) = preto f 0 () = f 0 () = branco Como utilizaremos este exemplo do tabuleiro de maneira recorrente, é conveniente denotar por f j a coloração correspondente ao diagrama Cj da Figura. 5

Procedemos agora para o conceito geral. Sejam C e D dois conjuntos não-vazios (em geral são diferentes também), e X = F (D; C), o conjunto de todas as funções com domínio D e contradomínio C. Então dizemos que qualquer função f X é uma coloração de D. Este é o caso mais abstrato. Estaremos mais interessados nos casos em que C e D são nitos, e se #D = n; #C = m, temos pelo princípio multiplicativo um total de m n colorações de D diferentes, isto é #X = m n Exemplo 6. Se D é um conjunto de provas de alunos, podemos ter C como conjunto de notas (números) Exemplo 6. Se D é um conjunto de contas ou pedrinhas, podemos ter C como conjunto de cores. Exemplo 6. Se D é um conjunto de quadrados de um tabuleiro, podemos ter C como o conjunto das cores fpreto; brancog 7 - Os Axiomas de Ação de Grupos Queremos descrever a situação geral onde temos uma interação entre um grupo G e um conjunto X não vazio. Denição 7. Seja G um grupo e X um conjunto não-vazio. Dizemos que G age em X se, para todo g G e para todo x X, existir um elemento g x X satisfazendo as seguintes propriedades: (A) Para todo x X, e G x = x, onde e G é a identidade de G. (A) Para todo g; h G, x X, temos g (h x) = (gh) x O axioma A signica que a ação do elemento identidade de G é sempre trivial, isto é, xa todo elemento de X. O segundo relaciona a ação do grupo à sua operação. Sempre que um grupo age em um conjunto, dizemos que temos uma ação de grupo, e os axiomas A e A são chamados de axiomas de ação de grupos. Ao contrário do que fazemos com as operações de grupos, jamais devemos omitir o símbolo que representa a ação de grupos. Isto porque estamos combinando elementos de conjuntos que geralmente são diferentes (G e X). Exemplo 7. Tome G como o grupo das simetrias do quadrado, e seja X o conjunto das colorações de um tabuleiro nas cores preta e branca. Exemplo 7. Tome G como o grupo das simetrias rotacionais de um cubo, e X o conjunto de colorações das faces do cubo usando vermelho, preto e verde. 6

Exemplo 7. Seja G qualquer grupo e X o conjunto dos elementos de G. Denimos uma ação de grupo por 8g; x G, temos g x = gxg Esta ação é chamada de conjugação e o elemento do grupo gxg é chamado de conjugado de x. Lema 7. Seja G um grupo que age no conjunto X. Então para todo g G, x; y X, temos g x = y () g y = x Dem. Sejam g G, x; y X e suponha que g x = y. Então g y = g (g x) = g g x = e x = x A recíproca é obtida aplicando o que acabamos de demonstrar, trocando x por y e g por g. Retornamos agora ao exemplo de colorações de tabuleiros, e vamos avaliar como uma permutação age sobre uma coloração. Considere novamente o tabuleiro: 4 É fácil ver que para cada simetria do quadrado aplicada no tabuleiro, existe uma permutação correspondente do conjunto dos quadrados f; ; ; 4g. Assim, se considerarmos a rotação a do tabuleiro por um ângulo de, temos a 4 4 que corresponde à permutação = ( 4 ). Vamos tomar então nosso grupo G como sendo o das permutações dos símbolos f; ; ; 4g e considerar sua ação no conjunto de colorações X = F (f; ; ; 4g ; fpreto; brancog). Por exemplo, a permutação agindo na coloração f 0 resulta na coloração f C0 C 7

e portanto f 0 = f Desta forma notamos que f 0 designa a cor branca para o quadrado, porque esta é a cor que f 0 designa para o quadrado que acabou de ser movido para o quadrado por. Como () =, podemos concluir que este processo é equacionado por f 0 ( ) = f 0 ( ) Esta fórmula se aplica em geral, e abaixo desenvolvemos mais rigorosamente este conceito. Na notação da seção anterior, temos o conjunto de colorações X = F (D; C) e tomamos G como algum grupo de permutações de símbolos de D. Isto é, G é algum subgrupo de S (D), o grupo de todas as permutações do conjunto D. Denimos uma ação de G no conjunto das colorações X, por e vericamos que realmente isto dene uma ação de grupo. 8 G; 8f X ) f = f () Teorema 7. A fórmula () acima dene uma ação de grupo. Dem. Seja e a identidade de G. Então e é a aplicação identidade e : D! D e para toda f X, e f = f e = f e = f e assim (A) se verica. Sejam ; G e f X. Então, pela nossa denição, ( f) = f = f = f = f ( ) = ( ) f e portanto (A) também é válido concluindo a demonstração. 8 - Órbitas 8. Relações de equivalência por ação de grupos Denimos o conceito de ação de grupos, de forma a estabelecer o que entendemos por diferentes padrões de coloração. No caso do tabuleiro, o grupo relevante é o grupo de simetrias do quadrado. Consideramos que duas colorações do tabuleiro são essencialmente as mesmas se a ação de uma das simetrias leva uma coloração na outra. Agora tornamos mais precisos estes conceitos de equivalência. Denição 8. Seja G um grupo agindo em X. Denimos uma relação G em X da seguinte forma: Para todo x; y X, x G y () 9g G tal que g x = y 8

Lema 8. A relação G no conjunto X é uma relação de equivalência. Dem. Mostramos que G é reexiva, simétrica e transitiva. Sejam x; y; z X. Como e G é sua identidade, por (A) segue que e x = x e portanto temos que x G x e G é reexiva. Se tivermos que x G y, então existe g G com g x = y. Como G é grupo, existe o inverso g e pelo lema 7. temos que g y = x e portanto y G x. Assim G é simétrica. Suponhamos agora que x G y e y G z. Então existem g; h G tais que g x = y e h y = z. Como G é grupo, temos que hg G e usando (A) obtemos (hg) x = h (g x) = h y = z o que implica em x G z. Isto mostra que G é transitiva, e encerramos a demonstração do lema. No exemplo envolvendo as colorações do tabuleiro de xadrez, temos que as classes de equivalência são aqueles conjuntos que possuem colorações todas com o mesmo padrão. Em geral, as classes de equivalência da relação G são chamadas de órbitas da ação do grupo. A órbita à qual o elemento x pertence é denotada por O x. Assim O x = O y () x G y e como x G y () y = g x para algum g G, segue que O x = fg x : g Gg No exemplo 7., as classes de equivalência são chamadas de classes de conjugação do grupo em questão. Pode-se mostrar, por exemplo, que duas permutações em S n são conjugadas se, e somente se, possuirem o mesmo tipo cíclico. Assim, se G = S n, existe um total de p(n) classes de conjugação. Como as órbitas são classes de equivalência, elas particionam o conjunto X em conjuntos disjuntos. Assim nossa pergunta de quantos padrões diferentes temos ao colorir os tabuleiros é na verdade a de quantas órbitas diferentes existem. 8. Inventários de colorações Vamos desenvolver um método algébrico para descrever colorações, utilizando funções geradoras. Aqui a situação ideal é obter uma função geradora que determine o número de padrões de cada tipo para a situação em questão. Já vimos que temos um total de 6 maneiras de colorir um tabuleiro de xadrez, sem considerarmos as relações de equivalência de padrões; isto é, não estamos contando as órbitas. Observe que na expansão (p + b) 4 = (p + b) (p + b) (p + b) (p + b) = p 4 + 4p b + 6p b + 4pb + b 4 obtemos cada coeciente escolhendo de cada parênteses o símbolo p ou b, e isso corresponde às 6 colorações diferentes do tabuleiro nas cores preta e branca. Mais ainda, cada termo na expansão lista o número de colorações de acordo com quantas cores brancas e pretas estão sendo utilizadas. Deste modo, o termo p b tem como coeciente 4, que é o número de colorações (C, C, C4 e C5) contendo cores pretas e branca. O termo p 4 tem coeciente, indicando que temos apenas coloração (C6) contendo 4 cores pretas. No entanto, esta expressão algébrica não nos diz nada acerca de quantos padrões diferentes existem por equivalência; isto é, não nos exibe informações sobre as órbitas das colorações. Mais à frente, 9

enunciaremos um teorema que nos permitirá obter uma função geradora que contenha tal informação; e as denições a seguir serão necessárias para a aplicação daquele resultado. Os símbolos algébricos p e b correspondem às cores preta e branca, respectivamente, ambas elementos do conjunto C. No caso geral, entendemos por uma função peso no conjunto C, uma função! que associa a cada c C, um símbolo algébrico ou um número denotado por! (c), denominado peso de c. O enumerador de estoque é denido pela soma P cc! (c), isto é, representa de maneira algébrica todos os valores que os elementos do conjunto D podem receber através das colorações de D em C. Por exemplo, sejam C = fvermelho claro; vermelho escuro; azulg,! (vermelho claro) = r,! (vermelho escuro) = R e! (azul) = a. Então o enumerador de estoque (de tintas, ou cores, no caso) é r + R + a; isto é, interpretando a soma como função geradora, signica que temos exatamente cor vermelho clara, cor vermelho escura e cor azul. Assim, nosso enumerador de estoque é na verdade uma generalização do conceito de função geradora. Se colocarmos r = R, temos como enumerador de estoque R + a, o que signica que temos cores vermelhas e cor azul para designar aos elementos de D. Vale ressaltar que os dois tipos de tinta vermelha ainda são dois tipos distintos, mesmo que tenhamos designado o mesmo peso para as duas. Se os dois tipos de tinta vermelha fossem indistinguíveis, o enumerador de estoque seria dado por R + a, ao invés de R + a. Para cada coloração f X, denimos seu peso W (f) pela equação W (f) = Y dd! (f (d)) Finalmente, dado um subconjunto S de X, o inventário de S é denido por X W (f) fs Exemplo 8. Suponha que desejamos saber todas as maneiras de pintarmos bolas distintas nas cores sólidas vermelho claro, vermelho escuro e azul. Seja D o conjunto das bolas, e seja C o conjunto dos tipos de tinta mencionados. Designamos os pesos para as cores como anteriormente, obtendo o enumerador de estoque r + R + a que nos fornece o número de maneiras que bola pode ser pintada nas cores de C. Assim, como as bolas são distintas, (r + R + a) nos dá o total de maneiras diferentes de pintarmos bolas com as cores escolhidas. Em outras palavras, (r + R + a) é o inventário do conjunto de todas as colorações de D em C. Retornamos ao exemplo do tabuleiro para tornar claras as denições dadas acima. Relembramos que D = f; ; ; 4g, o conjunto dos 4 quadrados do tabuleiro, C = fpreto; brancog, o conjunto das cores e X = F (f; ; ; 4g ; fpreto; brancog) é o conjunto das colorações de D em C. A função peso no nosso exemplo é dada por A coloração f 0 é tal que! (preto) = p! (branco) = b f 0 () = preto f 0 () = branco f 0 () = branco f 0 (4) = preto 0

e portanto W (f 0 ) = Y dd! (f 0 (d)) =! (f 0 ())! (f 0 ())! (f 0 ())! (f 0 (4)) =! (preto)! (branco)! (branco)! (preto) = pbbp = p b O inventário de todas as 6 colorações (isto é S = X), como visto anteriormente, é dado por X W (f) = p 4 + 4p b + 6p b + 4pb + b 4 = (p + b) 4 fx O problema de maior interesse para nosso estudo é o de determinar o inventário das colorações que contém exatamente coloração de cada padrão (órbita). No caso dos tabuleiros ele seria dado por p 4 + p b + p b + pb + b 4 conforme pode ser visto na Figura da página 4. Este inventário é chamado de inventário padrão, e o teorema que determina sua função geradora é o celebrado Teorema Enumerador de Pólya. 9 - Estabilizadores Na seção 7, através do axioma (A), determinamos que a identidade e de um grupo G agindo em X, xasse todos os elementos de X. No entanto, podemos ter, além da identidade, outros elementos de g xando elementos de X. Assim, dado x X, chamamos de estabilizador de x, o conjunto dos elementos de G que na ação de grupo xam x. Em símbolos, o estabilizador de x é denido por S x = fg G : g x = xg A seguir mostramos que para qualquer x X, o estabilizador S x é um subgrupo de G. Lema 9. Seja G um grupo agindo em X. Então, para todo x X, temos que S x é subgrupo de G. Dem. Vericamos as condições de subgrupo para S x. Primeiro suponha que g; h S x. Então g x = x e h x = x, e pelo axioma (A) temos que (gh) x = g (h x) = g x = x e assim gh S x, o que mostra que S x é fechado. Por (A), e x = x e assim S x contém a identidade de G. Novamente, se g S x, temos que g x = x e pelo lema 7. temos que g x = x o que mostra que g também está em S x. Assim S x é um subgrupo de G. Abaixo colocamos um quadro com os estabilizadores e as órbitas das colorações de um tabuleiro de xadrez :

Elemento de X Estabilizador Órbita C fe; a ; a ; a ; p ; p ; q ; q g fcg C C C4 C5 fe; q g fe; q g fe; q g fe; q g C6 C7 C8 C9 C0 C C C C4 C5 fe; p g fe; p g fe; p g fe; p g fe; a ; q ; q g fe; a ; q ; q g fe; q g fe; q g fe; q g fe; q g fc; C; C4; C5g fc6; C7; C8; C9g fc0; Cg fc; C; C4; C5g C6 fe; a ; a ; a ; p ; p ; q ; q g fc6g Observe que quanto maior o estabilizador, menor a órbita e vice-versa. Mais ainda, repare que em todas as linhas (elementos x de X) temos a equação # (O x ) # (S x ) = 8. Isto não é uma coincidência e abaixo provamos este resultado, muito importante para nosso estudo. Teorema 9. (O Teorema Órbita-Estabilizador) Seja G um grupo que age em X. Então para cada x X, # (O x ) # (S x ) = # (G) Dem. Pelo lema 9., temos que S x é um subgrupo de G, e pelo teorema de Lagrange segue que jg : S x j # (S x ) = # (G) Assim precisamos mostrar que # (O x ) = jg : S x j () Os elementos de O x possuem a forma g x, para g G e as classes laterais de S x possuem a forma gs x para g G. Podemos provar a equação () mostrando que a correspondência g x $ gs x é uma correspondência um-a-um entre os elementos de O x e as classes laterais de S x em G. Em outras palavras, basta mostar que, para todo g; h G; Sejam g; h G. Então gs x = hs x () g x = h x gs x = hs x () h g S x, pelo lema.4 () (h g) x = x, pela denição de S x () h (g x) = x, por (A) () g x = h x, pelo lema 7.

Corolário 9. Seja G um grupo nito que age no conjunto X. Então o número de elementos de X em cada órbita é um divisor da ordem de G. Dem. Imediata a partir da equação multiplicativa do teorema Órbita-Estabilizador. O Teorema Órbita-Estabilizador fornece uma relação entre o número de elementos em cada órbita e o número de elementos em cada estabilizador. Abaixo provamos facilmente um teorema que modica esta relação para derivarmos uma fórmula para o número de diferentes órbitas da ação. Teorema 9. Seja G um grupo nito agindo em X. Então o número de órbitas distintas é dado por X # (S x ) # (G) xx Dem. Suponhamos que existam m órbitas distintas O x ; :::; O xm. Se j m, temos para a j-ésima órbita que X xo xj # (S x ) = X xo xj = # (G) X # (G), pelo Teorema Órbita-Estabilizador # (O x ) xo xj = # (G) # O xj X xo xj = # (G) Assim, somando para todas as órbitas obtemos, X mx X # (S x ) = # (S x ) = xx j= xo xj # O xj, pois O x = O xj para todo x O xj mx # (G) = m# (G) o que nos fornece o resultado desejado. Observe que esta fórmula ainda não é de muito uso, pois devemos listar todos os elementos de X, o que nos possibilitaria, sem nenhuma teoria elaborada, diferenciar os padrões desejados por inspeção. No caso do tabuleiro, temos que # (X) = 6, mas no caso do tabuleiro de xadrez 8 8, por exemplo, temos que # (X) = 64 > 0 9, o que torna impraticável listar todos os elementos de X. Na seção seguinte, demonstramos um resultado que nos permite obter o número de órbitas somando nos elementos de G, ao invés de X: 0 - O Teorema de Burnside Apesar do teorema (usualmente chamado de lema) a seguir ter se associado ao nome de William Burnside, ele foi primeiramente provado por Georg Frobenius em 887. Burnside publicou um livro muito inuente em teoria dos grupos e sua primeira edição foi o primeiro texto em inglês deste assunto, por exemplo. Nesta primeira edição, Burnside coloca o teorema e o atribui a Frobenius, mas essa atribuição não passou para a segunda edição, de muito maior penetração. É provável que isso tenha originado toda essa confusão histórica. j=

A m de obtermos a versão desejada para o número de órbitas, consideramos a tabela abaixo, Elementos de X x j Elementos de G g i onde as linhas correspondem a elementos de G e as colunas a elementos de X. Marcamos uma entrada na tabela na interseção de uma j-ésima coluna com uma i-ésima linha, isto é, da coluna de um elemento de X, com a linha de um elemento de G, se e somente se, isto é, se e somente se, g i S xj. g i x j = x j Assim, o número de marcas em uma coluna j é # S xj e portanto o número total de marcas na tabela é P xx # (S x). Agora ao invés de adicionarmos as marcas por colunas, adicionaremos por linhas. O número de marcas na i-ésima linha é dado pelo número de elementos do conjunto fx X : g i x = xg isto é, o número de elementos de X que são xados pelo elemento g i de G. Denição 0. Seja G um grupo agindo em X, denimos o Fix de g G como F ix (g) = fx X : g x = xg Desta forma se somarmos o total de marcas de cada linha, obtemos todas as marcas da tabela, isto é, X # (F ix (g)) = X # (S x ) gg xx Demonstramos então o seguinte teorema: Teorema 0. (Teorema de Burnside) de órbitas distintas é dado por Se G é um grupo nito agindo em um conjunto X, então o número # (G) X # (F ix (g)) gg 4

- Aplicações Problema. Obter o número de permutações circulares de n elementos; isto é, determinar o número de maneiras de arranjarmos n objetos distintos em torno de um círculo. Solução. Neste problema, o conjunto X de colorações é formado pelas n! permutações (aqui C = D = [n]) dos n objetos distintos. Para denirmos o grupo G de simetrias, basta notar que uma disposição em círculo é considerada a mesma que outra, se uma puder ser obtida da outra por alguma rotação. Portanto o grupo G é o composto pela identidade e por (n ) rotações. A identidade e xa todos os n! elementos de X, mas qualquer outro elemento g G é tal que F ix (g) = 0. Isto porque os n elementos são todos distintos e qualquer rotação não-trivial leva uma conguração de X em alguma outra diferente. Pelo teorema de Burnside temos então que o número de permutações circulares de n elementos é dado por 0 n zeros z } { @n! + 0 + ::: + 0A = (n )! n Problema. De quantas maneiras diferentes podemos pintar as faces de um cubo, utilizando c cores diferentes? Calcule o número de pinturas utilizando as cores vermelho, preto e verde. Solução. O número total de colorações presentes em X neste caso é dado por c 6, pois um cubo tem 6 faces. Entendemos por igualdade entre uma pintura e outra, se uma puder ser obtida da outra por alguma simetria de rotação do cubo. No exemplo. listamos as 4 simetrias rotacionais do cubo descrevendo-as em 7 itens. Uma coloração de X é xada por g G se, e somente se, todas as faces no mesmo ciclo de g possuem a mesma cor. Vamos calcular aqui para cada simetria de cada item quantos elementos de X ela xa: () A identidade e xa todos os elementos de X ) F ix (e) = c 6 ; () Cada rotação de pelo eixo indicado em (a) possui ciclo de comprimento 4 e ciclos de comprimento nas faces. Assim, se uma coloração destas faces permanece inalterada após a rotação, teremos c diferentes possibilidades de cores para as 4 faces que compõem o ciclo de comprimento 4 e c cores diferentes para as faces de cada ciclo unitário. Portanto pelo princípio multiplicativo, temos c c c diferentes colorações que são xadas por cada rotação de indicada em (a). A contribuição destas rotações é de c ; () Para a rotação de pelo eixo indicado em (a), temos ciclos de comprimento e ciclos de comprimento. Pelas mesmas considerações feitas no item () acima, concluímos pelo princípio multiplicativo que o F ix de cada uma das rotações é dado por c c c c. Assim a contribuição destas rotações é de c 4 ; (4) Uma rotação de pelo eixo de (a) é equivalente a uma de pelo mesmo eixo. Por simetria temos a mesma contribuição do item (), isto é, c ; (5) Cada rotação de pelo eixo indicado em (b) possui ciclos de comprimento. Assim temos uma contribuição de 6c ; 5

(6) Cada rotação de pelo eixo indicado em (c) possui ciclos de comprimento. Portanto temos uma contribuição de 4c ; (7) Uma rotação de 4 é equivalente a uma de, e por simetria temos a mesma contribuição do item (6), isto é, 4c. Pelo teorema de Burnside, temos então que o número de pinturas distintas das faces do cubo utilizando c cores é 4 c6 + c + c 4 + c + 6c + 4c + 4c = 4 c6 + c 4 + c + 8c Para cores, basta substituir c = no polinômio acima para obter 57 pinturas distintas. Problema. Quantas moléculas orgânicas diferentes da forma X X C X X existem, onde C é um átomo de carbono e cada X denota qualquer um dos 4 componentes CH (metil), C H 5 (etil), H (hidrogênio) ou Cl (cloro)? (Aqui da química sabemos que cada molécula desse tipo pode ser modelada por um tetraedro regular com o carbono ocupando seu centro e os componentes X ocupando os vértices). Solução. possui: Considere a gura abaixo exibindo os dois tipos de eixo de rotação que o tetraedro regular (a) (b) Temos um total de 4 4 = 56 colorações diferentes no conjunto X, pois neste caso estamos colorindo os vértices do tetraedro com 4 "cores" distintas. G é denido como o grupo das simetrias rotacionais do tetraedro regular e vamos calcular o F ix de cada uma elas: () A identidade xa todas as 56 colorações de X. 6

()Temos 8 simetrias de rotação pelo tipo de eixo indicado em (a), que passa por um vértice e pelo centro da face oposta. São 4 simetrias de rotação de um ângulo de e 4 simetrias de rotação de um ângulo de. Cada rotação é composta de ciclo de comprimento e ciclo de comprimento. Assim temos uma contribuição de 8 4 4 = 8 colorações xadas. () Temos simetrias de rotação de um ângulo de pelo tipo de eixo indicado em (b), que passa pelos pontos médios de arestas opostas. Cada rotação desta é composta de ciclos de comprimento. Portanto temos uma contribuição de 4 4 = 48 colorações xadas. Aplicando o teorema de Burnside obtemos que o número de moléculas distintas nas condições do problema é igual a (56 + 8 + 48) = 6 - O Teorema Enumerador de Pólya Enunciamos o teorema de Pólya e apresentamos nesta seção uma de suas aplicações aos problemas anteriores. Teorema. (Teorema de Pólya) Seja X = F (D; C) o conjunto de todas as colorações do conjunto D em C, e seja! uma função peso em C. Seja G o grupo das permutações de D que age em X de maneira usual. Se o índice de ciclos de G é Z (G; x ; x ; x ; :::) então o inventário padrão é dado por! Z G; X cc! (c) ; X cc! (c) ; X cc! (c) ; ::: Problema. De quantas maneiras podemos colorir as faces de um cubo utilizando as cores verde, amarelo e branco, de maneira que em cada pintura tenhamos exatamente faces amarelas e verdes? E a quantidade de pinturas contendo exatamente face amarela? Solução. Baseado nas considerações do problema., podemos obter facilmente a seguinte expressão para o índice de ciclos das simetrias de rotação de um cubo: 4 x6 + x x + 6x x 4 + 6x + 8x Colocamos como peso de cada cor e assim obtemos o enumerador de estoque! (amarelo) = a! (verde) = v! (branco) = b a + v + b 7

Então, pelo teorema de Pólya, temos que o inventário padrão é dado por 4 ((a + v + b)6 + (a + v + b) a + v + b + 6 (a + v + b) a 4 + v 4 + b 4 + +6 a + v + b + 8 a + v + b ) É conveniente usar algum software de álgebra simbólica para expandir esta soma e obter a 6 + b 6 + v 6 + ab 5 + a 5 b + av 5 + a 5 v + bv 5 + b 5 v + +abv 4 + ab 4 v + a 4 bv + a b 4 + a b + a 4 b + +a v 4 + a v + a 4 v + b v 4 + b v + b 4 v + +ab v + ab v + a bv + a b v + a bv + a b v + 6a b v Para responder a primeira parte do problema, buscamos o coeciente do termo a v b, que é igual a 6. Para a segunda pergunta, devemos agrupar todos os termos que contém a : totalizando então maneiras distintas: a b 5 + v 5 + bv 4 + b 4 v + b v + b v Problema. hidrogênio? No problema., qual é o número de moléculas que contém um ou mais átomos de Solução. por Designamos os pesos O índice de ciclos para o problema. é facilmente obtido de sua resolução, sendo dado x4 + 8x x + x! (CH ) = w! (C H 5 ) = w! (Cl) = w! (H) = 0 a cada um dos componentes do problema. Assim nosso enumerador de estoque é w + w + w que, pelas nosssas considerações na seção 8., é a função geradora para componente CH, componente C H 5, componente Cl e nenhum componente H. Desta forma estaremos enumerando primeiro as moléculas que não possuem átomos de hidrogênio. Pelo teorema de Pólya, temos então que o inventário padrão é dado por (w + w + w ) 4 + 8 (w + w + w ) w + w + w + w + w + w 8

que ao ser expandido resulta em: w 4 + w 4 + w 4 + w w + w w + w w + w w + +w w + w w + w w w + w w w + w w w + +w w + w w + w w Portanto temos um total de 5 moléculas não contendo átomos de hidrogênio. Repare que a expressão acima diz muito mais que isso, pois nela está determinada qual a composição em componentes de cada uma das 5 moléculas. Também é interessante observar que, na função geradora acima, temos apenas molécula para cada combinação dos componentes CH, C H 5 e Cl. Como nesta resolução estamos interessados no número total de moléculas, pouparíamos trabalho se tivéssemos logo atribuído o peso 0 ao componente hidrogênio e peso aos componentes restantes. Do teorema de Pólya obteríamos diretamente o número 4 + 8 + = 5 Assim, como o número total de moléculas obtidas no problema. é 6, temos 6 5 = moléculas que contém pelo menos átomo de hidrogênio. - Apêndice: Enumerando colares distintos Ao contar colares, necessitamos encontrar o índice de ciclos do grupo cíclico C n (se considerarmos apenas rotações) e do grupo diedral D n (se inversões são permitidas). Isto porque, num colar contendo n contas distintas, podemos considerar cada conta como ocupando cada um dos vértices de um polígono regular de n lados. Se um colar não puder ser invertido (virado, reetido), então não utilizamos as simetrias de reexões presentes em D n, nos limitando às rotações que compõe C n. Neste apêndice, denotamos o mdc (a; b) simplesmente por (a; b). Denição. A função totiente de Euler : N! N é denida por (n) = X dn (d;n)= sendo dada pelo número de inteiros positivos menores ou iguais a n que são coprimos com n. Esta função também pode ser interpretada como o número de classes de congruência módulo n que são coprimas com n. Para nossas aplicações, fazemos uso do seguinte resultado: Lema. O grupo C n (cíclico de ordem n) contém para cada divisor d de n, (d) elementos de ordem d. Cada um desses elementos possui n=d ciclos de comprimento d. Assim temos que o índice de ciclos de C n é dado por Z (C n ) = X (d) x n=d d n djn 9