Burnside's Lemma

Burnside's Lemma

Introduction

Burnside's Lemma (also known as the Cauchy-Frobenius Lemma) is a powerful tool for counting the number of orbits when a group acts on a set. It is particularly useful in combinatorics for counting objects up to symmetry.

Statement

Theorem 6.3 (Burnside's Lemma): Let a finite group G act on a finite set X. The number of orbits is equal to the average number of fixed points:

Number of orbits=1|G|gG|Fix(g)|

where Fix(g)={xXgx=x} is the set of elements fixed by g.

Proof Sketch

The proof uses double counting. We count the number of pairs (g,x) where gx=x in two ways:

  1. Fix g, count x: For each gG, count the number of xX fixed by g. This gives gG|Fix(g)|.

  2. Fix x, count g: For each xX, count the number of gG that fix x. This gives xX|StabG(x)|.

By the Orbit-Stabilizer Theorem, |StabG(x)|=|G|/|OrbG(x)|. Since all elements in the same orbit have the same orbit size, we get:

gG|Fix(g)|=xX|G||OrbG(x)|=|G|orbits O|O||O|=|G|(number of orbits)

Dividing by |G| gives the result.

Examples

Example 1: Counting Cube Colorings

How many distinct ways can we color the faces of a cube with 2 colors (red and blue)?

The group of symmetries of a cube has order 24. We need to count the fixed points of each symmetry:

By Burnside's Lemma:

Number of orbits=124(64+68+316+84+68)=124(64+48+48+32+48)=24024=10

So there are 10 distinct colorings.

Example 2: Counting Necklaces

How many distinct necklaces can be made with 4 beads of 3 different colors?

The group of symmetries is D4 (dihedral group of order 8):

By Burnside's Lemma:

Number of orbits=18(81+23+19+49)=18(81+6+9+36)=1328=16.5

Since we can't have half a necklace, we need to be more careful about the counting.

Example 3: Counting Arrangements

How many distinct arrangements of 3 red and 2 blue balls in a circle?

The group of symmetries is D5 (dihedral group of order 10):

By Burnside's Lemma:

Number of orbits=110(10+0+52)=110(10+10)=2010=2

Applications

Application 1: Combinatorics

Burnside's Lemma is particularly useful in combinatorics for counting objects up to symmetry, such as:

Application 2: Chemistry

In chemistry, Burnside's Lemma is used to count distinct molecular structures that are equivalent under rotation or reflection.

Application 3: Crystallography

In crystallography, it's used to count distinct crystal structures and arrangements.

Application 4: Graph Theory

In graph theory, it's used to count distinct graphs up to isomorphism.