 ##  [Teorema de Enumeración de Pólya](/es/node/63492) 

 Definición

Un teorema que cuenta coloraciones inequivalentes o configuraciones combinatorias bajo un grupo finito de permutaciones sustituyendo variables de conteo de colores en el polinomio índice de ciclos del grupo.

 

 

 

 

 

 





## Principio

Principio

Codificar la descomposición cíclica de cada elemento del grupo en un monomio formal (el índice de ciclos); sustituir las variables por sumas o polinomios que representen las elecciones de color para obtener una función generadora cuyos coeficientes cuentan configuraciones distintas hasta la acción del grupo.

 

 

 

 

 





## Demostración

Demostración

Para contar coloraciones distintas de un collar de n cuentas bajo rotación, calcular el índice de ciclos del grupo de rotaciones y sustituir x_k = número de opciones de color para un ciclo de longitud k, obteniendo el número de coloraciones inequivalentes.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Usar la sustitución del índice de ciclos con pesos o dependencias de color que violen la suposición de asignación independiente de colores en posiciones de ciclos, o aplicar el teorema cuando la acción permuta posiciones de manera no capturada por ciclos.

 

 

 

 

 





## Consecuencia

Consecuencia

Produce funciones generadoras en forma cerrada o recuentos explícitos para clases combinatorias simétricas, maneja coloraciones ponderadas y conteo de patrones tipo químico, y generaliza el promediado de Burnside a una herramienta algebraica potente.

 

 

 

 

## Inversión

Inversión

Visto al revés, la expansión de coeficientes del índice de ciclos sustituido recupera las contribuciones de puntos fijos de cada elemento del grupo: Burnside aparece como la especialización de Pólya con sustituciones triviales.

 

 

 

 

 





## Límite

Límite

Requiere un grupo finito de permutaciones actuando sobre un conjunto finito de posiciones y la independencia de las elecciones de color a lo largo de los ciclos; no trata directamente simetrías continuas o acciones con restricciones dependientes de la posición sin adaptación.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión entre técnicas algebraicas de funciones generadoras (índice de ciclos) y clasificación combinatoria constructiva; los métodos de índice de ciclos sustituyen el listado explícito por un codificado algebraico que puede oscurecer la intuición combinatoria mientras permite cálculos generales.

 

 

 

 

 





## Síntesis

Síntesis

El teorema de Pólya eleva el promediado de Burnside a un marco algebraico: el índice de ciclos reúne la estructura cíclica y la sustitución traduce las elecciones de color en una función generadora que cuenta configuraciones inequivalentes.