formule des points fixes de Burnside

Théorème

lemme énonçant que, étant donné un groupe fini G agissant sur un ensemble, le nombre d'orbites multiplié par |G| est égal à la somme (sur chaque élément de G) des nombres de points fixes