Burnside's Lemma

Given permutation Group left acting on a finite set
define on by if there is some
such that
Orbit
Let

Then the number of orbits is:

Proof

Count in two ways.
On the one hand:

On the other hand, if is the Stabilizer of
note for is a Coset of so:

so the contribution to from is