formule des classes
ALGEBRE
G étant un groupe fini agissant sur un ensemble fini E, Ox étant l’orbite d’un élément x de E défini par Ox = {g.x, g ∈ G} , Stx étant le stabilisateur de x défini par Stx = {g ∈ G / g.x = x}, la formule des classes est :
card Ox = Card G/ card Stx