MARGARITA MATHEMATICA EN MEMORIA DE

JAVIER (CHICHO) GUADALUPE HERNANDEZ

JOSE
(Luis Espa
nol y Juan L. Varona, editores),
Servicio de Publicaciones, Universidad de La Rioja,
Logro
no, Spain, 2001.

EL TEOREMA DE ENUMERACION
DE POLYA

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO
Abstract. We wish to oer here a didactic presentation, mainly based on
G. P
olyas original paper and by the light of various examples, of a topic of
Combinatorics: P
olyas (and Redelds) enumeration theorem. Our excuses
for it just being that an oral version was exposed in one of the sessions corresponding to the year 1991 of the Seminario Permanente de Actualizaci
on en
Matem
aticas de Logro
no, a meeting place for secondary teachers and university professors that as much owes to Chichos passion for Mathematics.

El a
no 1937, la revista Acta Mathematica publica un extenso trabajo de investigaci
on del reconocido profesor George P
olya (18871985) titulado Enumeraci
on
combinatoria para grupos, grafos y compuestos qumicos, [11]. Consta de una introducci
on, que comienza:
Este artculo presenta una continuaci
on del trabajo hecho por Cayley. Cayley
investig
o repetidamente problemas combinatorios relativos a la determinaci
on del
n
umero de ciertos a
rboles. Algunos de sus problemas se prestan a interpretaci
on
qumica: el n
umero de a
rboles en cuesti
on es igual al n
umero de ciertos (te
oricamente posibles) compuestos qumicos . . .
y de cuatro captulos, titulados sucesivamente Grupos, Grafos, Compuestos
qumicos y Evaluaci
on asint
otica del n
umero de combinaciones, que termina
dando una estimaci
on asint
otica del . . . curioso n
umero n de paranas estructuralmente is
omeras Cn H2n+2 que intrig
o a Cayley.
La primera traducci
on al ingles publicada, el a
no 1987, se debe a Ronald C. Read,
que la acompa
na (en [13]) de un estudio, de antecedentes y consecuentes, titulado
El legado del artculo de P
olya: cincuenta a
nos de la teora de P
olya, con mas de
doscientas referencias bibliogr
acas. Es en el primer captulo ([13, p
ags. 1720])
donde P
olya expone, demostr
andolo de dos maneras, su teorema fundamental,
hoy da un resultado cl
asico de la enumeracion combinatoria. En la p
agina 118, Read
da noticia de los trabajos menos conocidos del matem
atico americano J. H. Redeld,
que ya en 1927 public
o un resultado equivalente, [14].
Nuestro objetivo en este artculo es hacer una exposici
on did
actica del teorema de
P
olya, a la luz de unos problemas de combinatoria recreativa y basada esencialmente
en las primeras p
aginas de [13].
Para nosotros, de hecho, todo empezo al leer la Revista que, con la nalidad
de motivar, interesar y entretener, formaba las p
aginas amarillas de los libros
2000 Mathematics Subject Classication. 0501, 05A15.
Key words and phrases. P
olyas enumeration theorem, necklaces problem.
123

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

124

de Matematicas de B.U.P. que Miguel de Guzman, Jose Colera y Adela Salvador

publicaron el a
no 1987. En la p
agina 175 del libro de primero [9] quedaba planteado
el siguiente problema:
Tienes cuentas (todas las que quieras) de tres colores (verdes, rojas y amarillas).
Cu
antas sortijas distintas puedes hacer con 5 cuentas?
Por otra parte, en libros de matem
atica recreativa se poda encontrar la f
ormula
para el n
umero de collares de n perlas de k colores ([8, p
ag. 323]), o enterarse de que
hay 2226 cubos con las caras pintadas de alguno de entre seis colores posibles, de los
que 30 tienen un color distinto en cada cara ([8, p
ag. 242]), que hay 24 cuadrados de
fondo negro con la cara dividida en cuadrantes de 3 colores ([8, p
ag. 241]), que hay
n3+2n
tri
a
ngulos
de
fondo
negro
y
cara
dividida
en
3
partes
triangulares
identicas
3
de n colores ([7, p. 255]), o que con 12 varillas de colores distintos y de la misma
longitud se pueden formar hasta 19958400 entramados c
ubicos ([1, p
ag. 48]).
Por fortuna, el a
no 1990 encontramos en la librera Pons de Zaragoza el libro de
R. C. Read.
Problema A1.
Tenemos un monton de cuentas de collar de la misma forma, unas blancas
y otras negras. Cu
antos collares distintos se pueden formar engarzando 6
de ellas? ([13, p
ag. 98]).
Llamemos conguraci
on (hexagonal bicolor) en este problema a cada una de
las disposiciones de 6 cuentas, blancas o negras, en los vertices de un hex
agono
regular plano que los tiene distinguidos, por ejemplo, numerados. O bien, una conguraci
on hexagonal bicolor es una aplicaci
on : {1, 2, 3, 4, 5, 6} {, }. Nos
convendr
a, para abreviar, llamar al conjunto de las conguraciones. Hay en total
26 = 64 conguraciones distintas, por ejemplo
2
1

2
3

6
5

2
3
4

4
5

Figura 1
Las conguraciones no enumeran los diferentes collares, pues hay conguraciones
distintas, como las tres primeras de la gura anterior, que constituyen, espacialmente, el mismo collar. Pero enseguida nos damos cuenta de que dos conguraciones
constituyen el mismo collar si se puede transformar una en otra mediante alguno
de los elementos del grupo di
edrico D6 de las simetras de un hex
agono regular
que presentamos en la gura siguiente (las reexiones planas de D6 hacen el papel
de los giros espaciales, de 180 en torno a los mismos ejes, que dan la vuelta al
collar):

 DE POLYA

EL TEOREMA DE ENUMERACION

125

m3
n2

n1
1

m2

5
n3


D6 = 1, g, g2 , g3 , g4 , g5 , m1 , m2 , m3 , n1 , n2 , n3

m1

Figura 2
As, en el caso de las conguraciones , y de la gura 1, se tienen las relaciones
que escribiremos
= g4 () ;
= m3 (),
y las tres constituyen, desde luego, el mismo collar.
Como D6 es un grupo, la relaci
on binaria en denida por s D6
tal que s() = , es de equivalencia, y produce una partici
on de en clases disjuntas.
Estas clases s enumeran los collares espacialmente diferentes, y se llaman las
orbitas
en la accion del grupo D6 sobre el conjunto .
Por ejemplo, la orbita de la conguraci
on de la gura 1, que designaremos por
O , es el conjunto formado por las doce conguraciones siguientes:

g5 ()

g4 ()

g3 ()

g2 ()

g()

m1 ()

m2 ()

m3 ()

n1 ()

n2 ()

n3 ()

g2 ()

g()

Figura 3
y O es el conjunto formado por estas otras seis:

g5 ()

g4 ()

g3 ()

Figura 4

126

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

En este segundo caso, la orbita consta de menos conguraciones; el motivo es que

hay, adem
as de la identidad, otra simetra, la reexi
on m1 , que deja invariante
(m1 () = ), y las demas reexiones convierten en alguna de las conguraciones
gi (); visto de otro modo, cada una de las 6 conguraciones de O es invariante
por dos simetras: la identidad y la conjugada de la simetra m1 por el giro gi
correspondiente, es decir, la simetra gi m1 (gi )1 . Por ejemplo, la conguraci
on
g() es invariante por la identidad y por gm1 g1 = m2 , ya que gm1 g1 (g()) =
gm1 () = g().
En ambos casos, y adelantando un primer resultado general que veremos a continuaci
on, la suma, extendida a todas las conguraciones de una orbita, del n
umero
de simetras del grupo D6 que dejan cada conguraci
on invariante, es igual al orden
del grupo D6 : en el primer caso hay 12 conguraciones distintas, siendo cada una de
ellas solo invariante por la identidad; en el segundo hay 6 conguraciones distintas,
cada una de ellas invariante por dos simetras.
Las observaciones siguientes son de rapida comprobacion:
Para cada , las simetras que dejan invariante constituyen un subgrupo H de D6 .
Para cada , el n
umero de conguraciones de la orbita O es
N (O) =

|D6 |
|H|

(donde hemos usado aqu y en lo que sigue las notaciones N (A), |G|
para designar el n
umero de elementos del conjunto nito A o del grupo G).
Esto es as puesto que la aplicaci
on entre el grupo cociente D6 /H de los
cogrupos a izquierda m
odulo H y el conjunto de conguraciones O dada
|D6 |
por sH s() es biyectiva, y se sabe que |D6 /H| =
.
|H|
Para cada conguraci
on equivalente a (sea s D6 tal que = s()),
el subgrupo de las simetras que dejan invariante es H = sHs1 , que
tiene el mismo orden que H.
De modo que, para una orbita cualquiera O, se tiene
 

N {s D6 | s() = } = N (O ) |H| = |D6 | = 12.
O

Y as, la suma, extendida a las 64 conguraciones de , del n

umero de simetras
on invariante ser
a igual al n
umero de orbitas,
de D6 que dejan cada conguraci
multiplicado por el valor constante, 12, de dicha suma sobre cada orbita, o sea,
 

N {s D6 | s() = } = 12 (n
umero de orbitas).

Pero podemos hacer esta suma de otro modo; en vez de contar, para cada conguraci
on, el n
umero de simetras que la dejan invariante, podemos contar, para cada
simetra, el n
umero de conguraciones que deja invariantes; el n
umero (nito) total

 DE POLYA

EL TEOREMA DE ENUMERACION

127

obtenido ser
a el mismo, y se tiene as nalmente:
 

N { | s() = } = 12 (n
umero de orbitas).
sD6

De manera que para hallar el n

umero de collares se puede, simplemente, promediar el n
umero de conguraciones invariantes por cada simetra de D6 .
Nota. Este resultado, v
alido en general para la acci
on de un grupo nito G sobre
un conjunto nito K,

1  
n
umero de orbitas =
N { K | g() = } ,

|G|
gG

se conoce como lema de Burnside (aparece en [4]; vease [13, pag. 101]).
Es esencial, para calcular f
acilmente el n
umero de conguraciones que deja invariantes cada simetra, y para lo que seguir
a, representar las 12 simetras del grupo
D6 como permutaciones de los 6 vertices de un hex
agono regular (se esta considerando, pues, D6 S6 , donde S6 es el grupo sim
etrico de 6 letras; diremos que D6
act
ua sobre como grupo de permutaciones de grado 6), y adem
as, presentar
estas permutaciones como producto de ciclos disjuntos de la manera siguiente (vease
la gura 2):


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


1 2 3 4 5 6
g=
= (165432);
6 1 2 3 4 5
g2 =


1 2
5 6


1 2
g =
3 4
4

3 4 5 6
1 2 3 4

3 4 5 6
5 6 1 2


= (153)(264);

1 2 3 4
g3 =
4 5 6 1

5 6
2 3


= (14)(25)(36);


= (135)(246);

1 2
g =
2 3
5

m1 = (12)(36)(45);

m2 = (16)(25)(34);

n1 = (1)(4)(26)(35);

n2 = (3)(6)(24)(15);

3 4 5 6
4 5 6 1


= (123456);

m3 = (14)(23)(56);
n3 = (2)(5)(13)(46).

Por ejemplo, la permutaci

on n1 deja jos los vertices 1 y 4, e intercambia el
2 con el 6, y el 3 con el 5; n1 es, as, el producto de dos ciclos de longitud 1, y
de dos ciclos de longitud 2. Podemos contar el n
umero de conguraciones bicolores
que quedan invariantes por esta permutaci
on si nos damos cuenta que, en una tal
conguraci
on, el vertice 1 y el vertice 4 pueden tener cualquier color, los vertices 2

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

128

y 6 deben ser del mismo color para que su intercambio no altere la conguraci
on,
y lo mismo para los vertices 3 y 5. Luego el n
umero de conguraciones invariantes
por n1 es 24 = 16.
Si, en general, la permutacion s se descompone en k ciclos disjuntos, el n
umero
de conguraciones bicolores invariantes por s ser
a 2k . De modo que, si agrupamos
las permutaciones que se descomponen en el mismo n
umero de ciclos, sin importar
la longitud de los mismos, como hay
1
3
4
2
2
se tiene

permutacion compuesta de
permutaciones compuestas de
permutaciones compuestas de
permutaciones compuestas de
permutaciones compuestas de

6
4
3
2
1

ciclos,
ciclos,
ciclos,
ciclos,
ciclos,

{1}
{n1 , n2 , n3 }
{g3 , m1 , m2 , m3 }
{g2 , g4 }
{g, g5 }

N ({ | s( = }) = 1 26 + 3 24 + 4 23 + 2 22 + 2 = 156,

sD6

156
y, por lo tanto, el n
umero de orbitas es
= 13. Estos son los 13 collares bicolores
12
de 6 cuentas:

Figura 5
De modo que una forma de resolver el problema es hallar el valor, para s = 2,
1
del polinomio contador C(s) = 12
(s6 + 3s4 + 4s3 + 2s2 + 2s); aqu, 12 es el orden del grupo D6 , y cada simetra de D6 contribuye a la suma entre parentesis

 DE POLYA

EL TEOREMA DE ENUMERACION

129

con un termino sk si, en su presentaci

on como permutacion de grado 6, est
a compuesta por un total de k ciclos disjuntos. M
as en general, el n
umero de collares de
6 cuentas de n colores (n 1) sera C(n).
No supone ahora ning
un esfuerzo, y a cambio su utilidad, como veremos en los
pr
oximos problemas Bi , es mayor, construir otro polinomio contador que contiene mas informacion sobre la estructura combinatoria del grupo, y al que P
olya
denomin
o ndice de ciclos del grupo de permutaciones (D6 en este caso, como
grupo de permutaciones de grado 6); se trata del polinomio en 6 variables, cuyo
n
umero esta indicado por el grado del grupo,
1 6
(s + 3s21 s22 + 4s32 + 2s23 + 2s6 ),
12 1
al que una permutaci
on de tipo [j1 , j2 , . . . , j6], es decir, que se descompone en
j1 ciclos de longitud 1, j2 ciclos de longitud 2, . . . , j6 ciclos de longitud 6 (siendo
j1 + 2j2 + + 6j6 = 6), contribuye con un monomio de la forma sj11 sj22 sj66 . El
n
umero de collares de 6 cuentas y n colores es, ahora,
D6 (s1 , s2 , s3 , s4 , s5 , s6 ) =

C(n) = D6 (n, n, n, n, n, n).

Nota. En general, el ndice de ciclos del grupo nito G como grupo de permutaciones de grado n es

1
G (s1 , . . . , sn ) =
hj1 ...jn sj11 sj22 sjnn ,
|G|
j1 ,...,jn 0
j1 +2j2 ++njn =n

donde hj1 ...jn es el n

umero de elementos de tipo [j1 , j2 , . . . , jn ] que hay en G. (El ndice de ciclos caracteriza combinatoriamente el grupo de permutaciones; vease [13,
p. 27].)
Problema A2.
Cu
antos collares distintos, de n cuentas, se pueden formar con cuentas de
k colores? ([6, n
um. 275]).
Vamos a calcular el ndice de ciclos del grupo diedrico Dn de orden 2n, de las
simetras del n-gono regular, que act
ua aqu como grupo de permutaciones de grado
n sobre el conjunto de las k n conguraciones posibles.
El grupo Dn esta formado por n reexiones y n giros, en estos se incluye la
identidad. Si n es impar, cada una de las n reexiones se descompone en producto
de 1 ciclo de longitud 1 y n1
on
2 ciclos de longitud 2, siendo entonces la contribuci
n1
1
2
total de las reexiones al ndice de ciclos igual a s1 s2 .
2
En cambio, si n es par (recordemos el caso hexagonal), la mitad de las reexiones
son producto de n2 ciclos de longitud 2, y la otra mitad son producto de 2 ciclos de
ciclos de longitud 2; la contribuci
on de las reexiones al ndice de
longitud 1 y n2
2
ciclos es, en este caso,
n n 1 1 n 1
1  n n2
s2 + s22 s21 = s22 (s21 + s2 ).
2n 2
2
4

130

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

Los n giros de Dn , que constituyen el subgrupo cclico Cn , son, sobre los vertices
i = 1, 2, . . . , n, las permutaciones gm (i) = i + m (modulo n), para m = 1, 2, . . . , n.
Fijemos m; si k 1 es el menor entero tal que km 0 (modulo n), es f
acil ver
que entonces gm se descompone en nk ciclos de longitud k. Sea mcd(m, n) = d, tal
menor entero k 1 es obviamente k = nd , y la permutaci
on gm se descompone,
pues, en d ciclos de longitud nd .
Agrupemos las gm que tienen el mismo tipo de descomposicion en producto de
ciclos. Para ello, denotemos con (h) al n
umero de enteros positivos menores que h
y primos con h (funci
on de Euler). De este modo, para cada divisor d de n hay
( nd ) n
umeros m, entre 1 y n, tales que mcd(m, n) = d.
De modo que, por cada divisor d de n, hay ( nd ) permutaciones que contribuyen
on de los n giros es, entonces,
con un termino sdn al ndice de ciclos. La contribuci
d

n
1
1  n d
1 
s nd =

(d)sdd ,
Cn (s1 , s2 , . . . , sn ) =
2
2n
d
2n

d|n

d|n

y, nalmente, el ndice de ciclos de Dn actuando como grupo de permutaciones de

grado n es ([13, p
ag. 22])

n1
2

s
si n es impar,
s

1
2

n
1
1
d
Dn (s1 , s2 , . . . , sn ) =
(d)sd +
2n
2
1 n2 1 2
d|n
s
(s1 + s2 ) si n es par.
2 2
Luego, el n
umero de collares de n cuentas y k colores es ([8, pag. 323])
n+1
si n es impar,
k 2

n
1
1
(n
d
Dn (k, k, . . ., k) =
(d)k +
2n
2 1 n
d|n
k 2 (k + 1) si n es par.
2
Si k = 2 y n es un n
umero primo impar, el n
umero de collares es ([8, pag. 320])
n1
1 n
1 n+1
2n1 1
(2 + 2(n 1)) + 2 2 =
+ 2 2 + 1.
2n
2
n

Adjuntamos una peque

na tabla de ndices de ciclos que permitir
a resolver alguno
de los problemas mencionados al principio:
C3 (s1 , s2 , s3 ) = 13 (s31 + 2s3 )

D3 (s1 , s2 , s3 ) = 16 (s31 + 3s1 s2 + 2s3 )

C4 (s1 , . . . , s4 ) = 14 (s41 + s22 + 2s4 )

D4 (s1 , . . . , s4 ) = 18 (s41 + 2s21 s2 + 3s22 + 2s4 )

C5 (s1 , . . . , s5 ) = 15 (s51 + 4s5 )

D5 (s1 , . . . , s5 ) =

1
(s51
10

+ 5s1 s22 + 4s5 )

En problemas n-gonales bicolores, el menor n para el que el n

umero de orbitas en la
accion de los grupos Cn y Dn es distinto es precisamente n = 6, el caso presentado
en el problema A1 .

 DE POLYA

EL TEOREMA DE ENUMERACION

131

Problema A3.
(a) Queremos pintar cada cara de un cubo con un color, pudiendo repetir
colores, y tenemos n colores distintos. Cu
antos cubos distintos podramos
conseguir? ([8, p
ag. 242 y 315]).
(b) Lo mismo, pero con un octaedro regular.
Sobre el conjunto de conguraciones del apartado (a) act
ua el grupo octa
edrico O, de orden 24, de los giros que dejan invariante un cubo (o un octaedro), como
grupo de permutaciones, de grado 6, de las 6 caras del cubo (o de los 6 vertices del
octaedro inscrito en las caras del cubo). En cambio en (b), es el mismo grupo O,
pero como grupo de permutaciones, de grado 8, de las 8 caras del octaedro (o de los
8 vertices del cubo circunscrito).
El grupo completo de las simetras de un cubo, o de un octaedro, es de orden 48,
pues tambien estan las simetras especulares. Pero tendremos dos cubos (octaedros)
distintos cuando no se pueda hacer coincidir uno con otro por un giro espacial, y
las simetras actuantes se reducen a los 24 elementos del grupo octaedrico. En el
lado derecho de la siguiente gura tabulamos el tipo de cada uno de ellos, como
permutaci
on de grado 6 y como permutacion de grado 8:
Tipo en S6
...
..
.
Giros en los 3 ejes
..
..
...
..
.
(6) giros 90 : [2, 0, 0, 1, 0, 0]
..
.
..
.
..
(3) giros 180: [2, 2, 0, 0, 0, 0]
.. . ...
.. ...
.. ...
.............
Giros en los 4 ejes

...... ..........................
...
.................
..
...
...
...
..
....
(8) giros 120 : [0, 0, 2, 0, 0, 0]
.. .
.. . ...
.. ..
..
Giros en los 6 ejes
.

Tipo en S8
[0, 0, 0, 2, 0, 0, 0, 0]
[0, 4, 0, 0, 0, 0, 0, 0]

[2, 0, 2, 0, 0, 0, 0, 0]

(6) giros 180: [0, 3, 0, 0, 0, 0] [0, 4, 0, 0, 0, 0, 0, 0]

Figura 6
(a) El ndice de ciclos del grupo de permutaciones es (ver la tabla)
O (s1 , s2 , s3 , s4 , s5 , s6 ) =

1 6
(s + 6s21 s4 + 3s21 s22 + 8s23 + 6s32 ),
24 1

y el n
umero de cubos,
O (n, n, n, n, n, n) =

1 6
1 2
(n + 3n4 + 12n3 + 8n2 ) =
n (n + 1)(n3 n2 + 4n + 8).
24
24

(b) En este caso, el ndice de ciclos del grupo de permutaciones es

O (s1 , s2 , . . . , s8 ) =

1 8
(s + 9s42 + 8s21 s23 + 6s24 ),
24 1

132

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

y el n
umero de octaedros,
O (n, n, .(8. ., n) =

n2 6
(n + 17n2 + 6).
24

Nota 1. La representacion del grupo O como grupo de permutaciones de menor

grado es la de grado 4, ya que O
= S4 , a cada giro de O le corresponde en este isomorsmo una de las 4! permutaciones de las diagonales del cubo (o del octaedro). El
ndice de ciclos de O como grupo de permutaciones de grado 4 es (la formula siguiente se generaliza de modo obvio para conseguir el ndice de ciclos Sn (s1 , . . . , sn )):

4!
1
O (s1 , s2 , s3 , s4 ) =
sj1 sj2 sj3 sj4
j
2
24
j1 ! 2 j2 ! 3j3 j3 ! 4j4 j4 ! 1 2 3 4
j1 ,j2,j3 ,j4 0
j1 +2j2+3j3 +4j4 =4


1  4
s1 + 6s21 s2 + 8s1 s3 + 3s22 + 6s4 .
24
Por otro lado, tambien se puede considerar la actuaci
on de los elementos del grupo
O permutando las doce aristas del cubo. El ndice de ciclos de O como grupo de
grado 12 es

1  12
s1 + 9s34 + 8s43 + 6s21 s52 .
O (s1 , s2 , . . . , s12 ) =
24
=

Nota 2. El grupo tetra

edrico T , de los 12 giros que dejan invariante un tetraedro
as de los 4 ejes
regular1 (el grupo completo de simetras es de orden 24, pues adem
de giro ternarios que pasan por un vertice y el centro de la cara opuesta, y los 3
binarios que pasan por los puntos medios de dos aristas opuestas, hay simetras
especulares respecto de los planos perpendiculares a una arista que pasan por su
punto medio), es isomorfo al grupo alternado A4 de grado 4 (los giros son las
permutaciones pares de las caras del tetraedro). El ndice de ciclos de T como grupo
de permutaciones de grado 4 es



4! 1 + (1)j2 +j4
1
T (s1 , s2 , s3 , s4 ) =
sj1 sj2 sj3 sj4
24
j1 ! 2j2 j2 ! 3j3 j3 ! 4j4 j4 ! 1 2 3 4
j1 ,j2,j3 ,j4 0
j1+2j2 +3j3 +4j4 =4


1  4
s + 8s1 s3 + 3s22 .
12 1
Esta f
ormula se puede generalizar para el ndice de ciclos An (s1 , . . . , sn ); vease [13,
p
ag. 22]).
=

Nota 3. Los ndices de ciclos del grupo icosa

edrico I, de los 60 giros que dejan
invariante un icosaedro (o un dodecaedro) regular, como grupo de permutaciones
de grado 12 (vertices del icosaedro o caras del dodecaedro) o de grado 20 (caras del
icosaedro o vertices del dodeacaedro) son, respectivamente,
I (s1 , s2 , . . . , s12 ) =

1 12
(s + 24s21 s25 + 20s43 + 15s62 ),
60 1

1 V
ease un problema relacionado con este grupo en [8, p
ag. 315].

 DE POLYA

EL TEOREMA DE ENUMERACION

133

y
1 20
(s + 24s45 + 20s21 s63 + 15s10
2 ),
60 1
como se pueden escribir a partir de la tabla siguiente:
I (s1 , s2 , . . . , s20 ) =

...

Tipo en S12

Tipo en S20

Giros en los 6 ejes

[2, 0, 0, 0, 2, 0, . . ., 0] [0, 0, 0, 0, 4, 0, . . . , 0]

.....

Giros en los 10 ejes 

[0, 0, 4, 0, . . ., 0]

[2, 0, 6, 0, . . ., 0]

Giros en los 15 ejes

[0, 6, 0, . . . , 0]

[0, 10, 0, . . . , 0]

Figura 7

El grupo I es isomorfo (vease, por ejemplo, [5, pag. 50]) al alternado A5 de grado 5,
y su ndice de ciclos como grupo de permutaciones de grado 5 puede obtenerse a
partir de la f
ormula general se
nalada en la nota anterior.
Si ahora queremos resolver problemas como, cuantos collares distintos hay, de
n cuentas y k colores, pero que contengan 1 cuentas de color 1,. . . , k cuentas
de color k (siendo 1 + 2 + + k = n)? o bien, cu
antos cubos hay con tres
caras rojas, dos azules y una amarilla?, necesitamos dar un paso mas. La solucion
no requiere una tecnica muy complicada, solo subirnos a hombros de P
olya, que
ahora muestra toda la potencia del ndice de ciclos de un grupo de permutaciones,
al poderse conjugar con el uso de funciones generatrices en su teorema.
Lo expondremos en la soluci
on del problema siguiente. Es oportuno empezar con
palabras del propio P
olya ([12], Sobre pictografa):
. . . La pictografa es quiz
a la fuente remota de los alfabetos griego, latino y g
otico
cuyas letras utilizamos corrientemente como smbolos matem
aticos. Deseo observar
que tambien la pictografa primitiva puede ser de alguna utilidad en la matem
atica.
En lo que sigue, quiero mostrar c
omo el metodo de funciones generatrices, importante en el an
alisis combinatorio, puede desarrollarse de un modo bastante intuitivo
a partir de series guradas, en las que los terminos son dibujos (o, con m
as precisi
on, variables representadas por dibujos) . . .
Problema B1.
Cu
antos collares distintos, de n cuentas, se pueden hacer con k cuentas
blancas y n k negras, siendo 0 k n?

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

134

Llamemos Akl a los n

umeros que buscamos. Construyamos2 su, como la llama
P
olya, serie generatriz gurada

F (, ) =
Akl k l ,
0k,ln
k+l=n

que vendra a ser la suma de los collares del problema A2 , con los terminos
semejantes (collares que tienen la misma composicion de cuentas blancas y negras)
agrupados; por ejemplo, en el caso n = 6 (problema A1 ), dicha serie es
1 6 0 +1 5 1 +3 4 2 +3 3 3 +3 2 4 +1 1 5 +1 0 6 ,
donde k indica la presencia de k cuentas blancas, y l la de l negras, en el collar
(la concatenacion de cuentas se asimila a un producto algebraico conmutativo de
las guras que las representan).
Ahora, Akl es (recordemos el problema A2 ) el n
umero de orbitas correspondientes
a conguraciones n-gonales bicolores formadas con k cuentas blancas y l negras,
conguraciones que llamaremos, para abreviar, de contenido (k, l).
Aplicando un lema de Burnside parcial a la accion de Dn sobre el conjunto kl
de las conguraciones de contenido (k, l), se tiene
1 
N ({ kl | s() = }),
Akl =
|Dn |
sDn

de manera que


1 
F (, ) =
N ({ kl | s() = }) k l
2n
sDn
k,l



1

=
N ({ kl | s() = }) k l .
2n


sDn

k,l

Veamos que, si la permutacion s Dn de grado n es de tipo [j1 , j2 , . . . , jn ],

entonces

N ({ kl | s() = }) k l = ( + )j1 (2 + 2 )j2 (n + n )jn .
k,l

Una tal permutaci

on s puede visualizarse en la forma siguiente:
j1

j2

jn 1

  






(n
s = (x)(x) (x) (xx)(xx) (xx) (x x) .
Una conguraci
on , de contenido cualquiera, sera invariante por esta permutaci
on
s si y solo si su expresion gurada es
jn 1

j1
j2
  





= ()() . . . () ()() . . . () . . . (.(n
. .) ,
2 De acuerdo con [12], hemos modicado la forma de la serie gurada que se da en [13].

 DE POLYA

EL TEOREMA DE ENUMERACION

135

donde, dentro de cada parentesis, las bolitas son del mismo color (condici
on necesaria y suciente para que el correspondiente ciclo de s deje la conguraci
on
invariante).
As que poniendo () = 2 , () = 2 , etc., las conguraciones invariantes por
s (en n
umero de 2j1+j2 ++jn , como se ha visto en el problema A1 ) son todas las
de la forma
j2
jn 1
j1

    2 2 2
= . . . . . . . . . n ,
luego son, en efecto, los terminos del producto algebraico
( + )j1 (2 + 2 )j2 (n + n )jn .
Ahora, si se introduce la funci
on auxiliar
f(, ) = +
a la que P
olya llama funci
on generatriz de la colecci
on de guras y se pone
fi (, ) = f(i , i ), se tiene nalmente

j1

jn

1
F (, ) = 2n
hj1 j2 ...jn f1 (, ) fn (, )
= Dn (f1 , f2 , . . . , fn ),
j1 ++njn =n

umero de permutaciones de Dn de tipo [j1 , j2 , . . . , jn ].

donde hj1 j2 ...jn 0 es el n
El resultado al que se ha llegado, que constituye la forma particular del teorema de
P
olya para el caso que estamos tratando, dice que la funci
on generatriz del n
umero
de collares de contenido (k, l) se obtiene substituyendo la correspondiente fi (, )
en el lugar de la indeterminada si en el ndice de ciclos del grupo Dn .
En particular, para n = 6, como el ndice de ciclos del grupo D6 era:
1 6
D6 (s1 , s2 , . . . , s6 ) =
(s + 3s21 s22 + 4s32 + 2s23 + 2s6 ),
12 1
la funci
on generatriz F (, ) queda, en este caso reescrita, en la forma

1
F (, ) =
( + )6 + 3( + )2 (2 + 2 )2 + 4(2 + 2 )3 + 2(3 + 3 )2 + (6 + 6 ) ,
12
y el coeciente de k 6k en el polinomio homogeneo de grado 6 que se obtiene es,
desde luego, el n
umero de collares de 6 cuentas con k cuentas blancas y 6 k cuentas
negras.
En el caso general, sustituyendo la generatriz de guras f(, ) = + 1 + x
en el ndice de ciclos Dn (s1 , . . . , sn ), se obtiene la funci
on generatriz de los n
umeros
que buscamos, llamemosles solamente Ak , en la siguiente forma:
n

F (x) =
Ak xk = Dn (1 + x, 1 + x2 , . . . , 1 + xn )
k=0


n
1
(d)(1 + xd ) d +
=

2n
d|n

n1
2

1
(1
2

+ x)(1 + x2 )

1
(1
2

+ x + x2 )(1 + x2 ) 2 1

Igualando los coecientes de x , se sigue:

si n es impar,
n

si n es par.

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

136

A0 = 1; ya que

(d) = n, basta contar las fracciones

d|n

1 2
n
, , . . ., .
n n
n

Y, para k 1, teniendo en cuenta que:

k
En (1 + xd )n/d solo aparecera untermino
 x si k= rd, es decir si d tambien
n/d
n/d
divide a k, y el coeciente sera
=
.
r
k/d
En la expresi
on que aparece en el caso n impar,
n1
2

 n1 

x4 + + xn1
 n1 
3
2
+ x + n1
x
+
x5 + + xn ,
2
2
 n1 
 n1 
2
2
el coeciente de xk es
si
k
es
par,
o
si k es impar.
k
k1
2

(1 + x )

(1 + x) = 1 +

n1 2
2 x

En la expresi
on que aparece en el caso n par,
(1 + x2 ) 2 1 (1 + x + x2 ) = (1 + x2 ) 2 + x(1 + x2 ) 2 1
n


n
n/2 
2 1

1 2l+1
n/2 2l 
2
x
x +
=
,
l
l
l=0
l=0
n

n
1
si k es impar.
el coeciente de xk es k2 si k es par, o 2k1
n

Por lo tanto, abreviando algo la expresi

on nal mediante la funci
on parte entera,
n

1 2
si n es par y k es par,



2 k2

1
n/d
Ak =
(d)
+
 n1 

k/d
2n
 2 

1
d| mcd(n,k)

en otro caso.
2
 k2 
Por ejemplo (tomado de [15]) cuando n = 12, 0 k 12, la f
ormula anterior da
 

1 6

si k es par,



2 k


1
12/d
2
Ak =
(d)
+



k/d
24
5

1
d| mcd(12,k)

2 k
si k es impar,
2
as que, sucesivamente, A0 = A12 = 1, A1 = A11 = 1, A2 = A10 = 6, A3 = A9 = 12,
A4 = A8 = 29, A5 = A7 = 38 y A6 = 50.
Problema B2.
(a) Vamos a suponer que tenemos seis bolas de tres colores distintos, tres
rojas, dos azules, una amarilla. Las bolas del mismo color no se pueden
distinguir. De cu
antas maneras se pueden asignar las seis bolas a los seis

 DE POLYA

EL TEOREMA DE ENUMERACION

137

vertices de un octaedro regular que se puede mover libremente en el espacio? ([13, p

ag. 2].) 3
(b) Tenemos 6 colores para pintar las caras de un cubo, cu
antos cubos
distintos se pueden hacer, cuyas caras tengan entre todas los 6 colores, uno
en cada cara? ([10, p
ags. 4246], seg
un [8, p
ag. 239]).
(a) El ndice de ciclos del grupo O actuando como grupo de permutaciones sobre
los 6 vertices de un octaedro es
1 6
O (s1 , s2 , s3 , s4 , s5 , s6 ) =
(s + 6s21 s4 + 3s21 s22 + 8s23 + 6s32 ).
24 1
La funci
on generatriz de la colecci
on de guras (bola roja, bola azul, bola amarilla) es f(x, y, z) = x + y + z, y el n
umero que queremos es el coeciente de x3 y2 z
en el polinomio generador
1
(x + y + z)6 + 6(x + y + z)2 (x4 + y4 + z 4 )
24

+ 3(x + y + z)2 (x2 + y2 + z 2 )2 + 8(x3 + y3 + z 3 )2 + 6(x2 + y2 + z 2 )3 .

F (x, y, z) =

Dicho coeciente es
A321

1
=
24

6!
+322
3! 2! 1!


= 3,

lo que contesta el problema.

(b) Con el mismo ndice de ciclos que en el apartado (a), la funci
on generatriz de
la coleccion de guras es ahora f(a, b, c, d, e, f) = a + b + c + d + e + f, y queremos
el coeciente de abcdef en el correspondiente polinomio generador F (a, b, c, d, e, f);
para esto, es obvio que nos podemos limitar a considerar s
olo el primer termino,
1
1
6
(a
+
b
+
c
+
d
+
e
+
f)
,
donde
dicho
coeciente
es
6!.
Son
30 los cubos, y este
24
24
problema, en particular, admite una soluci
on m
as sencilla (vease [8, pag. 242]). 4
Nota. M
as en general, sea [] un conjunto nito o numerable de distintos objetos
 ,  , . . ., () , . . . llamados guras; hay una propiedad de las guras, llamada su
contenido, expresable mediante un multindice = (k1 , . . . , km ), donde m 1 y los
ki (i = 1, . . . , m) son enteros no negativos, que divide [] en subconjuntos nitos.
La serie

f(x1 , . . . , xm ) =
a xk1 1 xkmm ,

donde a es el n
umero de guras de contenido , se llama funci
on generatriz de [].5
3 Este es el primer ejemplo que da, e inmediatamente resuelve, presentando as su teorema,
P
olya.
4 Con un c
alculo del todo similar, utilizando el ndice de ciclos O (s1 , . . . , s12 ), se puede probar
1
que son 24
12!, como cit
abamos al comienzo, los diferentes entramados c
ubicos formados por 12
varillas de distinto color.
5 En [13], P
olya considera tambi
en conjuntos innitos de guras. Por ejemplo, dado un objeto B,
el conjunto [] = {n | n }, donde n es la gura formada por n copias de B, cuya funci
on
1
generatriz es f (x) =
.
1x

138

EMILIO FERNANDEZ
MORAL Y MERCEDES SANCHEZ
BENITO

Sea G un grupo de permutaciones de grado n, y G (s1 , . . . , sn ) su ndice de ciclos.

Sea A el n
umero de orbitas de contenido en la accion de G sobre el conjunto
de las aplicaciones : {1, 2, . . . , n} [], o conguraciones. (El contenido de la
conguraci
on es la suma de los contenidos de las guras (1), . . ., (n).) Se tiene
que



A xk1 1 xkmm = G f1 (x1 , . . . , xm ), . . . , fn (x1 , . . . , xm ) ,

siendo fi (x1 , . . . , xm ) = f(xi1 , . . . , xim) para i = 1, 2, . . ., n. Es decir:

Teorema de P
olya. La funci
on generatriz para las conguraciones no equivalentes
con respecto a G se obtiene sustituyendo la funci
on generatriz de [] en el ndice de
ciclos de G.
El lector interesado puede ampliar su informaci
on sobre el teorema de Polya
en libros como [17], [3] y [2]. Adem
as, en el artculo [16] se puede encontrar una
exposicion del tema que, en algunos aspectos, se asemeja a la aqu efectuada.
Referencias
[1] W. W. R. Ball y H. S. M. Coxeter, Mathematical recreations and essays, Dover, Nueva York,
1987.
[2] C. Berge, Principes de combinatoire, Dunod, Pars, 1968.
[3] N. L. Biggs, Discrete mathematics, Oxford University Press, Nueva York, 1991.
[4] W. Burnside, Theory of groups of nite order, 2.a ed., Cambridge Univ. Press, Cambridge,
1911.
[5] H. S. M. Coxeter, Regular polytopes, 3.a ed., Dover, Nueva York, 1973.
[6] H. E. Dudeney, 536 Puzzles and curious problems, Londres, 1931.
[7] M. Gardner, Festival m
agico-matem
atico, Alianza, Madrid, 1984.
[8] M. Gardner, Nuevos pasatiempos matem
aticos, 5.a ed., Alianza, Madrid, 1984.
[9] M. de Guzm
an, J. Colera y A. Salvador, Matem
aticas. Bachillerato 1, Anaya, Madrid, 1987.
[10] P. A. McMahon, New mathematical pastimes, Cambridge, 1921.
[11] G. P
olya, Kombinatorische Anzahlbestimmungen f
ur Gruppen, Graphen und chemische Verbindungen, Acta Mathematica 68 (1937), 145254.
[12] G. P
olya, On picture-writing, Amer. Math. Monthly 63 (1956), 689697.
[13] G. P
olya y R. C. Read, Combinatorial enumeration of groups, graphs, and chemical compounds, Springer-Verlag, Nueva York, 1987.
[14] J. H. Redeld, The theory of group reduced distributions, Amer. J. Math. 49 (1927), 433455.
[15] D. L. Reiner, Enumeration in music theory, Amer. Math. Monthly 92 (1985), 5154.
[16] A. Tucker, Polyas enumeration formula by example, Mathematical Magazine 47 (1974), 248
256.
[17] A. Tucker, Applied combinatorics, John Wiley and Sons, Nueva York, 1980.
xedes Mateo Sagasta, Glorieta del Dr. Zuba s/n, 26003 Logron
o (La
I. E. S. Pra
Rioja), Spain
ticas y Computacio
n, Universidad de La Rioja, Edi, Departamento de Matema
o, Spain
ficio J. L. Vives, Calle Luis de Ulloa s/n, 26004 Logron
Correo electr
onico: emilio.fernandez@dmc.unirioja.es
tica Aplicada, Facultad de Matema
ticas, Universidad ComDepartamento de Matema
plutense de Madrid, 28040 Madrid, Spain
Correo electr
onico: merche sanchez@mat.ucm.es