Une méthode fondée sur l'action d'un groupe sur un ensemble qui applique la relation orbite–stabilisateur |Orbite(x)| = [G : Stab(x)] (ou ses analogues) pour relier tailles d'orbites et sous-groupes stabilisateurs, permettant des décomptes et des déductions structurelles sur les actions, classes de conjugaison et ensembles quotient.

Principe

Une action de groupe partitionne l'ensemble en orbites ; la taille de chaque orbite égale l'indice du stabilisateur. Ce principe convertit l'information locale de symétrie (stabilisateurs) en information globale d'orbite et inversement, transformant souvent des questions d'appartenance ou d'indices en comptages combinatoires.

Démonstration

Pour compter les classes de conjugaison d'un groupe fini, on considère l'action du groupe sur lui-même par conjugaison : l'orbite d'un élément est sa classe de conjugaison et le stabilisateur est son centralisateur. L'égalité orbite–stabilisateur donne |Classe(g)| = |G| / |C_G(g)|, reliant tailles de classes et ordres de centralisateurs et aidant à classifier éléments et représentations.

Mauvaise application

Employer la forme finie du comptage sans tenir compte d'orbites ou de stabilisateurs infinis, ou lorsque l'action est mal définie, conduit à des conclusions numériques erronées. De même, utiliser orbite–stabilisateur sans vérifier les questions de taille d'ensemble (continu vs. dénombrable) ou l'hypothèse de transitivité peut induire en erreur.

Conséquence

Une application correcte fournit les tailles d'orbites exactes, des relations d'indices et facilite le comptage de configurations distinctes à symétrie près, le calcul des tailles de classes, et des déductions sur les indices de sous-groupes. Elle sert de brique pour les lemmes de comptage et l'analyse des doubles classes.

Inversion

L'inversion de la méthode consiste à utiliser des tailles d'orbites connues pour contraindre les stabilisateurs possibles, ou à reconstruire l'information locale à partir de la décomposition globale. Une inversion conceptuelle est le comptage fixe à la Burnside, qui somme les points fixes plutôt que d'utiliser la relation orbite–stabilisateur pour chaque orbite.

Limite

S'applique aux actions de groupes bien définies ; pour des groupes ou ensembles infinis, des raffinements de l'arithmétique des cardinaux ou des considérations métriques/mesure sont nécessaires. Elle ne remplace pas une analyse structurelle plus profonde lorsque les stabilisateurs varient fortement entre orbites, et suppose que l'action est correctement posée.

Tension sémantique

La méthode recoupe le lemme de Burnside et les décomptes par doubles classes : Burnside somme les points fixes pour compter les orbites tandis que orbite–stabilisateur donne les tailles d'orbites individuellement. La tension porte sur le choix d'une perspective pointuelle (stabilisateur) vs. globale (moyenne des points fixes) pour le comptage.

Synthèse

La méthode orbite–stabilisateur formalise la correspondance entre la symétrie locale d'un objet (son stabilisateur) et son orbite sous l'action d'un groupe, permettant de convertir données d'indices de sous-groupes en cardinaux d'orbites ; bien utilisée, elle réduit de nombreux problèmes de classification et de comptage à des calculs d'indices ou de stabilisateurs, en gardant à l'esprit les conditions de finitude et de bonne définition.