Definition
Ein Zählprinzip für die Wirkung einer endlichen Gruppe auf einer endlichen Menge, das die Anzahl der verschiedenen Bahnen als den Durchschnitt — über alle Gruppenelemente — der Anzahl der von jedem Element festgehaltenen Punkte berechnet.
Prinzip
Prinzip
Zerlegung der Menge in Bahnen durch die Gruppenwirkung und Bestimmung der Bahnenanzahl durch Mittelung der Fixpunktzahlen über die Gruppe.
Demonstration
Demonstration
Man färbt die Ecken eines Quadrats mit zwei Farben und lässt die dihedrale Gruppe der Ordnung 8 wirken; das Burnside-Lemma zählt die nicht äquivalenten Färbungen, indem es die Anzahl der von jeder Symmetrie (Identität, Drehungen, Spiegelungen) fixierten Färbungen mittelt.
Fehlanwendung
Fehlanwendung
Anwendung des Lemmas auf unendliche Gruppen oder unendliche Mengen ohne Sicherstellung der Endlichkeit oder Mittelung nur über eine Teilmenge der Gruppenlemente, was zu falschen Bahnenzahlen führt.
Konsequenz
Konsequenz
Ermöglicht eine direkte Berechnung nicht-äquivalenter Konfigurationen unter Symmetrie; es ist der grundlegende Fall, aus dem Polya'sche Zählverfahren und charaktertheoretische Verallgemeinerungen entstehen.
Umkehrung
Umkehrung
Statt die Fixpunktzahlen zu mitteln, kann man die Bahngrößen aufsummieren, um die Gesamtzahl der Elemente zu erhalten; diese Umkehrung betont Stabilizer statt Fixpunkte.
Abgrenzung
Abgrenzung
Gilt nur, wenn die wirkende Gruppe und die Menge endlich sind und die Wirkung wohldefiniert ist. Behandelt nicht direkt gewichtete Färbungen, unendliche oder kontinuierliche Symmetriegruppen oder Wirkungen mit unendlichen Fixpunktmengen.
Semantische Spannung
Semantische Spannung
Spannung zu Polya-Enumeration und charaktertheoretischen Methoden: Burnside liefert eine konkrete Mittelungsformel, während Polya ähnliche Zählungen über Zyklusindizes und Erzeugende Funktionen formuliert.
Synthese
Synthese
Das Burnside-Lemma verbindet Bahnen und Fixpunkte bei endlicher Gruppenwirkung: Durch Mittelung der Fixpunktzahlen erhält man die Anzahl der invarianten Bahnen, ein praktisches kombinatorisches Werkzeug und Ausgangspunkt für weitergehende symmetrieorientierte Zählmethoden.