N 000 AES DE GRUPOS E PROBLEMAS DE CONTAGEM

Aluno de Iniciao Cientfica: Clauciane Dias de Lima (PROBEM UFPR)

N de Registro do Projeto de Pesquisa no BANPESQ/THALES: 2008022573
Orientador: Marcelo Muniz Silva Alves
Departamento: Matemtica Setor: Cincias Exatas
Palavras-chave: aes de grupos, combinatria, teoria de Polya.
rea de Conhecimento: 1.01.01.00-4
Em teoria de grupos, temos o estudo da ao de um grupo em um conjunto, onde se considera
um conjunto X no vazio e um grupo G qualquer. A ao do grupo no conjunto nada mais
que uma transformao T: G XX, denotada simplesmente por T(g, x) = gx, tal que ex=x
para todo x em X, e (g1g2)x = g1 (g2 x) para todo x em X e para todo g1, g2 em G. De modo
equivalente, sendo SX o grupo das bijees de X, uma ao de G em X um homomorfismo de
grupos : G SX , e ao no sentido anterior dada por g x = (g) (x). Diremos tambm
que X um G-conjunto. Dado xX , sua rbita sob a ao de G denotada por G(x) e
definida por G(x) = {g.x X | g G}. O conjunto Gx = {g G | gx = x} dos elementos de G
que fixam x um subgrupo de G que chamado de subgrupo de isotropia ou estabilizador de
x. Se G finito, temos um primeiro teorema de contagem: |G| = |G(x)| | Gx |, ou seja, se G
um grupo finito que age no conjunto X, ento o nmero de elementos de X em cada rbita
um divisor da ordem de G. Um segundo resultado importante, que tem vrias aplicaes a
problemas de contagem, diz respeito ao nmero de rbitas em uma ao. Este o teorema de
Burnside, que diz que se G um grupo finito agindo em um conjunto X, ento o nmero N de
rbitas distintas dado por N = (1/|G|) g G Fix(g) . No entanto, este resultado no nos exibe
informaes sobre as rbitas. Para fazer esse complemento, apresentaremos um mtodo
algbrico para descrever coloraes de conjuntos, utilizando funes geradoras, onde o
objetivo obter uma funo geradora que determine o nmero de padres(rbitas) distintos
para cada situao apresentada. Para poder listar efetivamente estas rbitas, usaremos as
definies de ndices de ciclos, pesos de coloraes e armazenador de padres. , inventrios
para poder construir o resultado mais importante deste trabalho, o teorema de Plya, que
fornece a funo geradora contendo as informaes sobre as rbitas das coloraes.
Mostraremos aplicaes deste resultado a problemas concretos de contagens de padres.