Catalogue Licence
L3 • Algèbre Générale
Recherche L3
Accès Libre

Actions de groupes, équation aux classes et théorèmes de Sylow

Orbites et stabilisateurs, équation aux classes, formule de Burnside, -groupes et théorèmes de Sylow

Fils Rouges :Fil 2 — Structure, morphisme et quotient
Point d'entrée intuitif

Comment compter des objets définis à symétrie près — colliers, coloriages, molécules — quand certains possèdent eux-mêmes des symétries et sont donc comptés moins de fois que les autres ?

Idée en une phrase :
Faire agir un groupe partitionne l'ensemble en orbites, et la taille de chaque orbite est l'indice du stabilisateur : compter les orbites revient à compter les points fixes.
Généalogie historique du concept :

Galois étudie vers 1830 les permutations des racines d'une équation : c'est la première action de groupe de l'histoire, et elle résout le problème de la résolubilité par radicaux. Cayley formalise en 1854 la notion de groupe abstrait, mais l'idée que tout groupe s'étudie par ses actions est plus tardive. Burnside publie sa formule en 1897 — en l'attribuant lui-même à Frobenius et Cauchy, d'où son surnom de « lemme qui n'est pas de Burnside ». Sylow démontre ses théorèmes en 1872, fournissant l'outil décisif de classification des groupes finis.

Pourquoi CETTE définition formelle :

Pourquoi définir une action par un MORPHISME vers le groupe des permutations, plutôt que par une simple application ? Parce que les deux axiomes — compatibilité avec la loi et neutralité de l'élément neutre — sont exactement ce qui garantit que chaque élément du groupe agit comme une BIJECTION, et que la composition des actions correspond au produit dans le groupe. Sans eux, les orbites ne partitionneraient plus l'ensemble, et tout le comptage s'effondrerait.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une action est un brassage : le groupe mélange les éléments de l'ensemble, et les orbites sont les paquets qui restent solidaires.

Ce qu'elle capture :

Les orbites PARTITIONNENT l'ensemble : deux orbites sont égales ou disjointes, exactement comme des classes d'équivalence. Compter l'ensemble revient à sommer les tailles des orbites.

⚠️ Où l'analogie ment :

L'image suggère que toutes les orbites ont la même taille. Faux : un point fixé par tout le groupe forme une orbite de taille , alors qu'un point sans symétrie forme une orbite de taille . C'est cette inégalité qui rend le comptage intéressant et qui fait échouer le lemme du berger.

Modèle #2

Le stabilisateur d'un point est l'ensemble des mouvements qui le laissent en place : plus un point est symétrique, plus son stabilisateur est gros, et plus son orbite est petite.

Ce qu'elle capture :

Le théorème orbite-stabilisateur devient une balance : le produit de la taille de l'orbite par celle du stabilisateur vaut toujours l'ordre du groupe.

⚠️ Où l'analogie ment :

L'image ne dit pas que les stabilisateurs de points d'une même orbite sont CONJUGUÉS entre eux, non égaux. Ils ont la même taille mais peuvent différer comme sous-groupes, ce qui compte dès qu'on étudie leur structure.

Modèle #3

La formule de Burnside est un sondage : pour compter les orbites, on demande à chaque élément du groupe combien de points il fixe, et l'on fait la moyenne.

Ce qu'elle capture :

Le comptage des orbites, difficile en général, se ramène à un comptage de points fixes, souvent immédiat. C'est un renversement de perspective complet.

⚠️ Où l'analogie ment :

L'image ne dit pas pourquoi la moyenne des points fixes donne exactement le nombre d'orbites. La raison est un double comptage des couples, et c'est là toute la démonstration.

Les Pièges Conceptuels Classiques

1
Toutes les orbites d'une action ont la même taille.

Correction :

Faux, et c'est précisément le point. Pour le groupe des rotations d'un carré agissant sur ses coloriages, un coloriage monochrome forme une orbite de taille , alors qu'un coloriage sans symétrie forme une orbite de taille . Le lemme du berger du module L1-13 exige des fibres constantes ; quand elles varient, il faut Burnside.

2
Le stabilisateur est un sous-groupe distingué.

Correction :

C'est un sous-groupe, rarement distingué. Les stabilisateurs de deux points d'une même orbite sont CONJUGUÉS : . Ils coïncident donc pour tous les points si et seulement si le stabilisateur est distingué, ce qui est l'exception.

3
Un groupe d'ordre est abélien.

Correction :

Faux dès : le groupe diédral d'ordre et le groupe des quaternions sont d'ordre et non abéliens. Ce qui est vrai, et que l'équation aux classes démontre, c'est que tout -groupe non trivial a un CENTRE non trivial — propriété bien plus faible que la commutativité.

4
Le nombre d'orbites est le cardinal divisé par l'ordre du groupe.

Correction :

Ce n'est vrai que si tous les stabilisateurs sont triviaux. Sinon, certaines orbites sont plus petites et le quotient sous-estime. Burnside corrige exactement : le nombre d'orbites est la MOYENNE des nombres de points fixes, qui vaut seulement quand seul le neutre fixe des points.

Glossaire des Notations Mathématiques

orbite de x

classe d'équivalence de $x$ ; les orbites partitionnent $X$

stabilisateur de x

SOUS-GROUPE, rarement distingué ; les stabilisateurs d'une orbite sont conjugués

indice de H dans G

nombre de classes à gauche ; vaut $\frac{\left|G\right|}{\left|H\right|}$ en cardinal fini