Una técnica de conteo que calcula el número de órbitas distintas (configuraciones no equivalentes) 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

Un grupo parte un conjunto en órbitas; el número de órbitas es igual al promedio, sobre los elementos del grupo, del número de elementos fijados por cada elemento del grupo. Así, la enumeración de clases de equivalencia se reduce a computar los conjuntos de puntos fijos para cada simetría.

Demostración

Para contar coloraciones de los vértices de un cuadrado hasta rotaciones y reflexiones, se listan las simetrías del grupo diedral, se cuenta cuántas coloraciones quedan invariantes bajo cada simetría, se promedian esos conteos y se obtiene el número de coloraciones distintas bajo la acción del grupo completo.

Aplicación incorrecta

Aplicar el lema cuando las operaciones de simetría no forman un grupo, omitir elementos del grupo o usarlo con grupos o conjuntos infinitos sin justificación dará conteos erróneos.

Consecuencia

Proporciona una receta algorítmica directa para contar configuraciones no equivalentes; con colores o pesos uniformes da cuentas exactas de órbitas y sirve de base para refinamientos como el teorema de Pólya para objetos coloreados con multiplicidades.

Inversión

Invertir la perspectiva—deducir conteos de puntos fijos a partir de cuentas de órbitas conocidas—requiere estructura adicional; las cuentas de órbitas por sí solas no determinan en general la distribución de puntos fijos por elemento del grupo.

Límite

Supone un grupo finito que actúa sobre un conjunto finito; no trata directamente grupos continuos, conjuntos infinitos o acciones donde el cálculo de puntos fijos es inviable, aunque existen versiones medibles o integrales análogas en otros contextos.

Tensión semántica

Hay tensión entre la simple media de Burnside y el teorema de Pólya, que empaqueta la idea de Burnside con funciones generadoras y polinomios de índice de ciclos para contar objetos coloreados con multiplicidad; están relacionados pero responden a distintas necesidades computacionales.

Síntesis

El lema de Burnside es una regla de conteo consciente de la simetría: contar, para cada elemento del grupo, las configuraciones que fija, promediar esos números sobre el grupo y así determinar el número de configuraciones no equivalentes bajo la acción del grupo.