logo

Burnside's Lemma Derivation 📂Abstract Algebra

Burnside's Lemma Derivation

Overview

Burnside’s lemma is a representative application to the actions of a group and the isotropy subgroups that can be immediately used in combinatorics and other fields.

Formula 1

For a finite group GG and a finite set XX that is a GG-set, let rr be the number of orbits of XX under GG. rG=gGXg r |G| = \sum_{g \in G} \left| X_{g} \right|

Derivation

Let the cardinality of the set {(g,x)G×Xgx=x}\left\{ (g,x) \in G \times X | gx = x \right\} be NN then Xg={xX  gx=x} X_{g} = \left\{ x \in X \ | \ gx = x \right\} and, for Gx={gG  gx=x}G_{x} = \left\{ g \in G \ | \ gx = x \right\}, the following holds. N=gGXg=xXGx N = \sum_{g \in G} |X_{g}| = \sum_{x \in X} |G_{x}|

Properties of the Isotropy Subgroup: If XX is a GG-set, then Gx=(G:Gx)|Gx| = ( G : G_{x}). If GG is a finite group, then Gx|Gx| is a divisor of G|G|.

Since G=GxGx|G| = |G_{x} | |Gx|, from N=xXGx\displaystyle N = \sum_{x \in X} |G_{x}| N=xXGGx=GxX1Gx N = \sum_{x \in X} {{|G|} \over {|Gx|}} = |G| \sum_{x \in X} {{1} \over {|Gx|}} For any orbit O\mathscr{O}, Gx|Gx| has the same value for xOx \in \mathscr{O}, xO1Gx=1 \sum_{x \in \mathscr{O}} {{1} \over {| Gx | }} = 1 The number of orbits is rr, so N=GrN = |G| r and summarizing, we obtain the following. rG=gGXg r |G| = \sum_{g \in G} \left| X_{g} \right|

Examples

Circular Table Problem

Calculate the number of ways 77 people can be seated around a circular table.


The number of ways to arrange 77 people in a row is 7!7!.

The ‘action’ of rotating counter-clockwise is in total 77 ways. Therefore, the number of ways is r=1GgGXg=177!=720 r = {{1} \over {|G|}} \sum_{g \in G} | X_{g} | = {{1} \over {7}} 7! = 720

Bead Problem

Calculate the number of ways to thread 77 distinct beads on a string.


The number of ways to arrange 77 beads in a row is 7!7!. The action of rotating counter-clockwise and flipping the string of beads is in total 7×2=147 \times 2 = 14 ways. Therefore, r=1GgGXg=1147!=360 r = {{1} \over {|G|}} \sum_{g \in G} | X_{g} | = {{1} \over {14}} 7! = 360


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p161. ↩︎