Principio de conteo para la acción de un grupo finito sobre un conjunto finito que calcula el número de órbitas distintas como el promedio, sobre los elementos del grupo, del número de puntos que fija cada elemento.

Principio

Partición del conjunto en órbitas bajo la acción del grupo y cálculo del número de órbitas mediante la media de los recuentos de puntos fijos a lo largo del grupo.

Demostración

Colorear los vértices de un cuadrado con dos colores y dejar actuar al grupo diédrico de orden 8; el lema de Burnside cuenta las coloraciones no equivalentes promediando las coloraciones fijadas por cada simetría (identidad, rotaciones, reflexiones).

Aplicación incorrecta

Usarlo con grupos o conjuntos infinitos sin comprobar finitud, o promediar solamente sobre un subconjunto de elementos del grupo, lo que da recuentos de órbitas incorrectos.

Consecuencia

Proporciona un camino directo para contar configuraciones no equivalentes bajo simetría; es el caso básico del que derivan el teorema de enumeración de Polya y las generalizaciones por teoría de caracteres.

Inversión

En lugar de promediar los puntos fijos para obtener el número de órbitas, se puede sumar el tamaño de las órbitas para recuperar el número total de elementos; esta inversión enfatiza los estabilizadores en vez de los puntos fijos.

Límite

Se aplica solo cuando el grupo actuante y el conjunto son finitos y la acción está bien definida. No trata directamente coloraciones ponderadas, grupos de simetría infinitos o continuos, ni acciones con conjuntos de puntos fijos infinitos.

Tensión semántica

Tensión con el teorema de Polya y los métodos mediante caracteres: Burnside ofrece una fórmula de promediado concreta, mientras que Polya reexpresa conteos similares mediante índices de ciclo y funciones generadoras.

Síntesis

El lema de Burnside vincula órbitas y puntos fijos para una acción de grupo finita: promediando los recuentos de puntos fijos se obtiene el número de órbitas invariantes; es una herramienta combinatoria práctica y el punto de partida de métodos de enumeración simétrica más amplios.