Zu sehen ist ein Satz aus der höheren Gruppentheorie: Sucht man sich ein Repräsentantensystem ("R") der Konjugationsklassen einer endlichen Gruppe, dann ist die Summe der Indizes [G:CG(x)] der Zentralisatoren CG(x) über alle x aus R gleich der Gruppenordnung. Alles klar? Bei Wikipedia, Stichwort Zentralisator wird's genauer erklärt.