## [Lema de Burnside](/es/node/63490) Definición Un lema de recuento que calcula el número de órbitas distintas de un conjunto finito bajo la acción de un grupo finito promediando el número de puntos fijos de los elementos del grupo. ## Principio Principio El número de órbitas es el promedio, sobre los elementos del grupo, del tamaño de sus conjuntos de puntos fijos: |X/G| = (1/|G|) ∑_{g∈G} |Fix(g)|. ## Demostración Demostración Contar las coloraciones de los vértices de un cuadrado hasta rotaciones promediando cuántas coloraciones fija cada rotación del grupo de rotaciones del cuadrado. ## Aplicación incorrecta Aplicación incorrecta Promediar puntos fijos sobre una colección que no es un grupo, o sobre un grupo infinito sin normalización adecuada, lo que da recuentos de órbitas sin sentido o incorrectos. ## Consecuencia Consecuencia Proporciona un método efectivo y frecuentemente simple para enumerar configuraciones distintas bajo simetría, reduciendo el conteo de órbitas a cálculos de puntos fijos para cada elemento del grupo. ## Inversión Inversión Considerado al revés, el lema enfatiza caracterizar cada elemento del grupo por su estructura cíclica; el teorema de Pólya invierte o generaliza esto al codificar esas estructuras en el polinomio índice de ciclos. ## Límite Límite Requiere una acción de un grupo finito sobre un conjunto finito; no es aplicable si la acción no es por permutaciones o si las órbitas son infinitas sin estructura adicional. ## Tensión semántica Tensión semántica Tensión con el conteo por orbit–estabilizador o la clasificación por fuerza bruta: Burnside reduce el conteo global de órbitas a comprobaciones locales de invariancia, mientras que orbit–stabilizer se centra en estabilizadores y tamaños de órbita individuales. ## Síntesis Síntesis El lema de Burnside une simetría y conteo convirtiendo un problema global de enumeración en un promedio de invariantes locales, formando el puente conceptual hacia métodos de índice de ciclos como el teorema de Pólya.