Un lemme de dénombrement qui calcule le nombre d'orbites distinctes d'un ensemble fini sous l'action d'un groupe fini en moyennant le nombre de points fixes des éléments du groupe.

Principe

Le nombre d'orbites est la moyenne, sur les éléments du groupe, de la taille de leurs ensembles de points fixes : |X/G| = (1/|G|) ∑_{g∈G} |Fix(g)|.

Démonstration

Dénombrer les colorations des sommets d'un carré à symétries de rotation en moyennant le nombre de colorations fixées par chaque rotation du groupe de rotations du carré.

Mauvaise application

Moyenner les points fixes sur une collection qui n'est pas un groupe, ou sur un groupe infini sans normalisation adéquate, ce qui donne des décomptes d'orbites sans sens ou erronés.

Conséquence

Fournit une méthode efficace et souvent simple pour énumérer les configurations distinctes sous symétrie, en réduisant le comptage d'orbites à des calculs de points fixes pour chaque élément du groupe.

Inversion

Considérer le lemme à l'inverse met l'accent sur la caractérisation de chaque élément de groupe par sa structure cyclique ; le théorème de Pólya renverse ou généralise cela en encodant ces structures dans un polynôme indice de cycles.

Limite

Nécessite une action d'un groupe fini sur un ensemble fini ; non applicable si l'action n'est pas par permutations ou si les orbites sont infinies sans structure supplémentaire.

Tension sémantique

Tension avec le comptage orbit–stabilisateur ou la classification par force brute : Burnside réduit le comptage global des orbites à des vérifications locales d'invariance, tandis qu'orbit–stabilizer se concentre sur les stabilisateurs et tailles d'orbite individuelles.

Synthèse

Le lemme de Burnside unifie symétrie et dénombrement en convertissant un problème d'énumération global en une moyenne d'invariants locaux, formant le pont conceptuel vers des méthodes d'indice de cycle comme le théorème de Pólya.