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

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

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

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

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

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

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

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.