Gruppenoperation/Klassengleichung/Fakt

Klassengleichung

Es sei eine endliche Gruppe, die auf einer endlichen Menge operiere. Es sei die Menge der Fixpunkte der Operation und es seien die verschiedenen Bahnen mit mindestens zwei Elementen.

Dann ist