Acoes de Grupos Finitos e Problemas de Contagem

Clauciane Dias de Lima, UFPR

orientador: Marcelo M.S. Alves

Em teoria de grupos, temos o estudo da acao de um grupo em um conjunto, onde se considera um conjunto X nao vazio e um grupo G qualquer.
Uma a
c
ao (`
a esquerda) de G em X e uma tranformacao : G X 7 X,
indicada por (g, x) = g x, satisfazendo os seguintes Axiomas:
(A1 ) Para todo x X temos e x = x
(A2 ) Para todo x X e para todo g, h G temos (gh) x = g (h x).
De modo equivalente, sendo SX o grupo das bijecoes de X, uma acao
de G em X e um homomorfismo de grupos : G SX , e a acao no
sentido anterior e dada por g x = (g)(x). Diremos tambem que X e um
G-conjunto. Dado x X, sua
orbita sob a acao de G e denotada por G(x)
e e definida por G(x) = {g x; g G}. O conjunto Gx = {g G|g x = x}
dos elementos de G que fixam x e um subgrupo de G que e chamado de
subgrupo de isotropia ou estabilizador de x. Se G e finito, temos
um primeiro teorema de contagem, conhecido como teorema da orbita e
estabilizador:
Teorema 1. Se o grupo finito G age no conjunto finito X, ent
ao
|G| = |G(x)||Gx |
para cada x X.
Esse resultado conta o n
umero de elementos em cada orbita. Em particular, o n
umero de elementos de X em cada orbita e um divisor da ordem
de |G|.
Um segundo resultado importante, que tem varias aplicacoes a problemas
de contagem, diz respeito ao n
umero de orbitas em uma acao e e o teorema
de Burnside.
Teorema 2. Seja G um grupo que age num conjunto X (ambos finitos),
ent
ao o n
umero de
orbitas de X e dado por:
1 X
N=
F ix( )
|G|
G

onde Fix( ) e o n
umero de x X que s
ao fixados por .
No entanto, este resultado nao nos exibe informacoes sobre as orbitas.
Para fazer esse complemento, apresentaremos um metodo algebrico para descrever colorac
oes de conjuntos, utilizando funcoes geradoras, onde o objetivo
e obter uma func
ao geradora que determine o n
umero de padroes (orbitas)
distintos para cada situacao apresentada. Para poder listar efetivamente
estas
orbitas, usaremos as seguintes definicoes:
Defini
c
ao 1. Se um grupo G age em X = {1, 2, . . . , n} e se C e um conjunto
de q cores, ent
ao a ac
ao G no conjunto C n de todas as n-uplas de cores e :
(c1 , . . . , cn ) = (c1 , c2 , . . . , cn )
para todos G e c = (c1 , . . . , cn ) C n . Uma orbita de (c1 , . . . , cn ) Cn
e chamada de (q G) coloracao de X.
Defini
c
ao 2. Se G e um grupo de permutacoes de n elementos, o ndice
de ciclos de G, denotado por Z(G), e definido como sendo o polinomio
multivariado que e a soma de estruturas de ciclo de todas as permutacoes
em G:
1 X b1 (g) b2 (g)
Pg (X1 , X2 , , Xn ) =
X1 X2
Xnbn (g)
|G|
gG

onde bi (g) e o n
umero de ciclos de comprimento i na decomposicao cclica
completa de g.
Defini
c
ao 3. Uma func
ao peso no conjunto C e qualquer funcao : C
A, onde A e uma Q-
algebra comutativa. O peso de um elemento c C e
(c).
Defini
c
ao 4. Sejam D e C conjuntos finitos, e seja : C A uma funcao
peso fixada. Como os pesos podem ser adicionados, podemos tomar a soma
de todos os pesos, que ser
a chamada de chamaremos armazenador de C:
X
Armazenador C =
(c)
cC

Portanto o armazenador representa de maneira algebrica todos os valores

que os elementos do conjunto D podem receber atraves das coloracoes de D
em C.
Defini
c
ao 5. Consideramos os conjuntos D e C e o conjunto de todas as
func
oes F(D, C) de D em C. Entao, para cada funcao f F(D, C), definimos
seu peso W (f ) pela equacao:
2

W (f )=

(f (d))

dD

Defini
c
ao 6. Uma lista de um conjunto X F(D, C) de funcoes que
chamaremos de invent
ario e a soma dos seus pesos.
X
invent
ario do conjunto X de funcoes =
W (f )
f X

Para poder construir o resultado mais importante deste trabalho, precisamos de mais uma definicao para as c
Defini
c
ao 7. Sejam D e C conjuntos finitos, onde G e um grupo que age
em D, e seja A uma Q-
algebra comutativa onde temos uma funcao (isto e,
um peso) : C A. Diremos que duas funcoes f1 e f2 de D em C sao
equivalentes se existir um g G tal que f1 = f2 g 1 .
No contexto acima, o grupo G age em F(D, C) por g f = f g 1 , e duas
func
oes s
ao equivalentes se e somente se estao na mesma orbita. As orbitas
de F(D, C) sob a ac
ao de GY
sao chamadas de padr
oes, e a cada padrao F
e associado o peso W(F)=
(f (d)), onde f e um elemento qualquer da
dD

orbita F . O peso do padr

ao esta bem definido, pois funcoes equivalentes tem
o mesmo peso. O invent
ario dos padr
oes e a soma dos pesos de todos os
padr
oes.
Teorema 3 (Polya). Sejam D e C conjuntos finitos, onde G um grupo
finito agindo em D, e : C A um peso. Entao o invent
ario dos padr
oes
e dado por:
!
X
X
X
(c) ,
(c)2 ,
(c)3
PG
cC

cC

cC

onde Pg (X1 , X2 , ) e o ndice de ciclos de G.

Esse teorema fornece a funcao geradora contendo as informacoes sobre as
orbitas das colorac
oes. Mostraremos aplicacoes deste resultado a problemas
concretos de contagens de padroes.

Refer
encias
1. J.J. Rotman, Advanced Modern Algebra, AMS.
2. J. H. van Lint, R.M. Wilson, A course in Combinatorics, Cambridge.