The Cauchy-Frobenius Lemma



next up previous contents
Next: The permutation character Up: Actions Previous: Cosets

The Cauchy-Frobenius Lemma

The result in gif is very important, it is essential in the proof of the following counting lemma which, together with later refinements, forms the basic tool of the theory of enumeration under finite group action:

. The Lemma of Cauchy-Frobenius     The number of orbits of a finite group acting on a finite set is equal to the average number of fixed points:

Proof:

which is, by gif, equal to .

Now you can try to make some calculations using the Cauchy-Frobenius Lemma.



Herr Fripertinger
Sun Feb 05 18:28:26 MET 1995