Lemat Burnside’a

Lemat Burnside’a, lemat Cauchy’ego-Frobeniusa-Burnside’a – twierdzenie z pogranicza kombinatoryki i teorii grup stosowane, gdy należy znaleźć liczbę różnych obiektów matematycznych z dokładnością do pewnych symetrii. Lemat Burnside’a określa liczbę różnych orbit elementów zbioru, na którym działa grupa symetrii, czyli liczbę różnych elementów tego zbioru przy założeniu, że utożsamiamy ze sobą obiekty symetryczne – takie, że pewien element grupy przekształca jeden z tych obiektów w drugi.

Historia i nazwa

Lemat Burnside’a został spopularyzowany przez brytyjskiego matematyka Williama Burnside’a, autora pierwszego podręcznika do teorii grup w języku angielskim. Choć w pierwszym wydaniu tej książki z 1897 roku Burnside przypisał autorstwo tego wzoru Ferdinardowi Frobeniusowi, w drugim wydaniu z 1911 roku tej informacji zabrakło. Zapewne właśnie dlatego omawiany wynik zaczął być nazywany „lematem Burnside’a”. Pomyłkę tę zauważył Peter Neumann w 1979 roku, nie tylko przypominając, że Burnside swój lemat zaczerpnął z pracy Frobeniusa, lecz zwracając również uwagę na to, że można go było znaleźć w znacznie wcześniejszych pracach francuskiego matematyka Augustina Cauchy’ego.

Kontrowersyjna nazwa „lemat Burnside’a” stanowi zatem przykład działania prawa Stiglera. Neumann zaproponował, by lemat nazywać nazwiskami Cauchy’ego i Frobeniusa. Nie przyjęło się to jednak wśród tych autorów, którzy doceniają wkład Burnside’a w spopularyzowanie tego twierdzenia, pozostając przy starej nazwie lub nazywając je lematem Cauchy’ego-Frobeniusa-Burnside’a.

Twierdzenie

Niech grupa $G$ działa na zbiorze $X$. Elementy grupy będziemy nazywać operatorami, a elementy zbioru – punktami. Dla ustalonego punktu $x\in X$ zbiór $\mathrm{Orb}(x)=\{gx:g\in G\}$ nazwijmy jego orbitą. Poprzez $|\mathrm{Fix}(g)|$ oznaczamy liczbę punktów stałych operatora $g$, czyli liczność zbioru $\{x\in X:gx=x\}$.

Lemat Burnside’a daje następujący wzór na liczbę orbit $|X/G|$: Szablon:Wzór Liczba orbit jest zatem średnią arytmetyczną liczby punktów stałych poszczególnych operatorów.

Dowód

Niech $n=|X/G|$ oraz $O_1,O_2,\dots ,O_n$ będą wszystkimi orbitami. Znajdziemy teraz dwoma sposobami wartość sumy Szablon:Wzór

Ponieważ orbity są klasami abstrakcji relacji równoważności zdefiniowanej poprzez Szablon:Wzór dzielą one zbiór $X$ na rozłączne podzbiory. Stąd zachodzi równość Szablon:Wzór

Z drugiej strony zdefiniujmy $\mathrm{Stab}(x)=\{g\in G:gx=x\}$. Wówczas na mocy twierdzenia o orbitach i stabilizatorach dla każdego $x\in X$ mamy Szablon:Wzór zatem Szablon:Wzór Ostatnia równość wynika z tego, że obie sumy równe są liczbie takich par $(g,x)$, że $gx=x$.

Przyrównując prawe strony równości Szablon:LinkWzór i Szablon:LinkWzór, natychmiast otrzymujemy tezę lematu.

Przykład

Zliczanie naszyjników

Dysponujemy dowolną liczbą białych i czarnych paciorków, które nawlekamy na sznurek i łączymy go w pętlę. Chcemy ustalić, ile istotnie różnych naszyjników o $n$ paciorkach możemy stworzyć. Równoważnie możemy zapytać, ile jest różnych pokolorowań wierzchołków $n$-kąta foremnego dwoma kolorami, przy czym pokolorowania uznajemy za takie same, jeśli pewne przekształcenie z grupy diedralnej $D_n$ przekształca jedno z nich w drugie.

Przeanalizujmy ten problem dla $n=5$. Każdy operator z grupy $D_5$ potraktujmy jako permutację wierzchołków pięciokąta foremnego. Wówczas pokolorowanie jest punktem stałym pewnego operatora wtedy i tylko wtedy, gdy wierzchołki należące do tego samego cyklu odpowiadającej mu permutacji są zawsze pokolorowane tym samym kolorem. Grupa $D_5$ składa się z następujących elementów:

• identyczność – odpowiada jej permutacja o 5 cyklach, stąd ma ona oczywiście $2^5$ punktów stałych,
• 5 odbić względem osi symetrii – każdemu z nich odpowiada permutacja o 3 cyklach, więc mają po $2^3$ punktów stałych,
• 4 obroty o odpowiednio $72^{\circ }$, $144^{\circ }$, $216^{\circ }$ i $288^{\circ }$ stopni – każdemu odpowiada permutacja o jednym cyklu, czyli obroty mają po 2 punkty stałe.

Korzystając teraz z lematu Burnside’a, otrzymujemy liczbę istotnie różnych naszyjników o 5 paciorkach: Szablon:Wzór

Zobacz też

• Grupa symetrii
• Działanie grupy na zbiorze
• Relacja równoważności

Linki zewnętrzne

• Film w ramach ćwiczeń z Matematyki Dyskretnej MIMUW
• Szablon:Pismo Delta