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

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

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

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

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

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

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 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

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.