Burnside's Lemma - Proof

Proof

The proof uses the orbit-stabilizer theorem and the fact that X is the disjoint union of the orbits:

\begin{align} \sum_{g \in G}|X^g| &= |\{(g,x)\in G\times X \mid g\cdot x = x\}| = \sum_{x \in X} |G_x| = \sum_{x \in X} \frac{|G|}{|Gx|} \\ &= |G| \sum_{x \in X}\frac{1}{|Gx|} = |G|\sum_{A\in X/G}\sum_{x\in A} \frac{1}{|A|} = |G| \sum_{A\in X/G} 1 \\ &= |G| \cdot |X/G|. \end{align}

Read more about this topic:  Burnside's Lemma

Famous quotes containing the word proof:

    “Talk shows are proof that conversation is dead.”
    —Mason Cooley (b. 1927)

    “Right and proof are two crutches for everything bent and crooked that limps along.”
    —Franz Grillparzer (1791–1872)

    “The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
    —Charles Baudelaire (1821–1867)