Rédigé et vérifié par un professeur diplômé de l’École Polytechnique, avec le niveau d’exigence attendu en classe préparatoire et en licence. Découvrir le professeur
En mathématiques, une action de groupe est l’outil qui transforme un objet algébrique abstrait — un groupe — en un ensemble de symétries concrètes agissant sur une figure, un ensemble ou une structure. C’est elle qui permet de démontrer les théorèmes de Sylow, de compter des coloriages à symétrie près, ou de comprendre le groupe du Rubik’s cube. (À ne pas confondre avec l’action de groupe en droit, la procédure judiciaire collective : ici, il s’agit exclusivement de l’objet mathématique.) Cet article te donne la définition, les méthodes, les exercices corrigés et les réflexes de rédaction attendus.
En mathématiques, une action d’un groupe \(G\) sur un ensemble \(X\) est une façon de faire « agir » chaque élément de \(G\) comme une transformation de \(X\), de manière compatible avec la loi du groupe. Elle équivaut à un morphisme de \(G\) vers le groupe des permutations de \(X\), et découpe \(X\) en orbites disjointes.
I. À quoi sert une action de groupe
Un groupe, au départ, est un objet purement abstrait : une loi de composition interne, un neutre, des inverses. La question naturelle est : que fait ce groupe ? Une action est la réponse. Elle branche le groupe sur un ensemble concret et transforme ses éléments en mouvements que l’on peut voir.
Prenons le carré. Le groupe diédral \(D_4\) « agit » sur ses quatre sommets : chaque rotation, chaque symétrie envoie un sommet sur un autre. Le groupe reste abstrait, mais son action sur les sommets est une réalité géométrique. C’est ce va-et-vient entre l’abstrait (le groupe) et le concret (l’ensemble sur lequel il opère) qui donne aux actions leur puissance.
Concrètement, une action sert à trois choses fondamentales que l’on retrouvera dans tout le cours :
- Décomposer un ensemble en morceaux stables (les orbites), comme on décompose un problème en cas.
- Compter : la relation orbite-stabilisateur et la formule de Burnside transforment des problèmes de dénombrement (coloriages, configurations) en calculs de groupe.
- Démontrer : les théorèmes de Sylow, résultats centraux de la théorie des groupes finis, se démontrent entièrement par des actions bien choisies.
C’est parce qu’une action fait ces trois choses à la fois qu’elle est l’un des objets les plus rentables de l’algèbre de licence. Voyons maintenant sa définition précise.
II. Définition et notation
Une action se définit de deux manières équivalentes : par une application « externe », ou par un morphisme vers un groupe de permutations. Il faut connaître les deux et savoir passer de l’une à l’autre.
Définition — Action (à gauche) d’un groupe
Soit \(G\) un groupe de neutre \(e\) et \(X\) un ensemble. Une action à gauche de \(G\) sur \(X\) est une application
\(G \times X \longrightarrow X, \qquad (g,x) \longmapsto g \cdot x\)
vérifiant les deux axiomes suivants :
\(e \cdot x = x \quad \text{pour tout } x \in X\)
\((gh) \cdot x = g \cdot (h \cdot x) \quad \text{pour tous } g,h \in G, \ x \in X\)
Le second axiome est le cœur de la définition : appliquer d’abord \(h\) puis \(g\) revient à appliquer le produit \(gh\). L’action « respecte » la structure de groupe. On dit alors que \(X\) est un \(G\)-ensemble.
A. Le point de vue morphisme
Notons \(S(X)\) (ou \(\mathfrak{S}(X)\)) le groupe des permutations de \(X\), c’est-à-dire des bijections de \(X\) sur lui-même. À chaque \(g \in G\), associons l’application \(\varphi_g : X \to X\) définie par \(\varphi_g(x) = g \cdot x\).
Reformulation à connaître par cœur : se donner une action de \(G\) sur \(X\), c’est exactement se donner un morphisme de groupes
\(\varphi : G \longrightarrow S(X), \qquad g \longmapsto \varphi_g.\)
Chaque \(\varphi_g\) est une bijection (d’inverse \(\varphi_{g^{-1}}\)), et \(\varphi_{gh} = \varphi_g \circ \varphi_h\).
Ce point de vue est fondamental : il relie l’action au concept de morphisme de groupes. Vérifions rapidement que \(\varphi_g\) est bien bijective. Pour tout \(x\), on a \(\varphi_{g^{-1}}(\varphi_g(x)) = g^{-1} \cdot (g \cdot x) = (g^{-1}g) \cdot x = e \cdot x = x\). Donc \(\varphi_{g^{-1}}\) est l’inverse de \(\varphi_g\), et \(\varphi_g \in S(X)\).
B. Exemples fondamentaux
Trois actions à connaître :
1. Action par translation. \(G\) agit sur lui-même par \(g \cdot x = gx\). C’est l’action qui sert à démontrer le théorème de Cayley : tout groupe s’injecte dans un groupe symétrique.
2. Action par conjugaison. \(G\) agit sur lui-même par \(g \cdot x = g x g^{-1}\). Les orbites sont les classes de conjugaison, et cette action mène à l’équation aux classes.
3. Action naturelle sur un ensemble géométrique. \(D_4\) agit sur les 4 sommets d’un carré, \(S_n\) agit sur \(\{1,\dots,n\}\).
Erreur classique : croire que \(g \cdot x = gxg^{-1}\) définit une action « à droite ». Vérifie toujours l’axiome de compatibilité : ici \((gh)\cdot x = gh\,x\,(gh)^{-1} = g(hxh^{-1})g^{-1} = g\cdot(h\cdot x)\) ✓. C’est bien une action à gauche. Pour une action à droite, la règle est \((gh)\cdot x = h\cdot(g\cdot x)\) — l’ordre s’inverse.
Une fois l’action définie, la première chose que l’on regarde est la façon dont elle découpe \(X\). C’est l’objet de la section suivante.
L’essentiel des actions de groupe en 1 page
Définition, orbites, stabilisateurs, formule des classes, Sylow et Burnside : la fiche de synthèse à garder sous les yeux pendant tes révisions.
📄 Télécharger la fiche PDFToutes les formules clés réunies pour réviser efficacement.
III. Orbites, stabilisateurs et actions particulières
Les deux objets attachés à un point \(x \in X\) sont son orbite (là où on peut l’envoyer) et son stabilisateur (ce qui le fixe). Toute la théorie du comptage repose sur le lien entre ces deux ensembles.
A. L’orbite d’un point
Définition — Orbite
L’orbite d’un élément \(x \in X\) sous l’action de \(G\) est l’ensemble
\(\mathrm{Orb}(x) = G \cdot x = \{\, g \cdot x \ : \ g \in G \,\} \subseteq X.\)
La relation « \(x \sim y\) si et seulement si il existe \(g \in G\) tel que \(y = g \cdot x\) » est une relation d’équivalence sur \(X\). Ses classes sont exactement les orbites. Conséquence capitale :
Propriété — Partition en orbites. Les orbites forment une partition de \(X\) : deux orbites sont soit égales, soit disjointes, et leur réunion est \(X\) tout entier. On écrit
\(X = \bigsqcup_{i \in I} \mathrm{Orb}(x_i)\)
où les \(x_i\) sont des représentants, un par orbite.
B. Le stabilisateur d’un point
Définition — Stabilisateur
Le stabilisateur de \(x \in X\) est l’ensemble des éléments de \(G\) qui laissent \(x\) fixe :
\(\mathrm{Stab}(x) = G_x = \{\, g \in G \ : \ g \cdot x = x \,\}.\)
C’est un sous-groupe de \(G\).
Vérifions que c’est un sous-groupe. Il contient \(e\) car \(e \cdot x = x\). Si \(g, h \in G_x\), alors \((gh)\cdot x = g\cdot(h\cdot x) = g \cdot x = x\), donc \(gh \in G_x\). Enfin si \(g \cdot x = x\), en appliquant \(g^{-1}\) : \(x = g^{-1}\cdot x\), donc \(g^{-1} \in G_x\). ∎
Erreur classique : confondre orbite et stabilisateur. L’orbite vit dans \(X\) (l’ensemble sur lequel on agit), le stabilisateur vit dans \(G\) (le groupe). Une orbite grande signifie un stabilisateur petit, et réciproquement — c’est précisément le contenu de la relation orbite-stabilisateur.
C. Actions transitives, fidèles, libres
Trois adjectifs qualifient une action selon la « taille » de ses orbites et de son noyau.
| Type d’action | Condition | Traduction |
|---|---|---|
| Transitive | une seule orbite : \(X = \mathrm{Orb}(x)\) | on peut passer de n’importe quel point à n’importe quel autre |
| Fidèle | \(\ker \varphi = \{e\}\) | seul le neutre agit comme l’identité sur tout \(X\) |
| Libre | \(\mathrm{Stab}(x) = \{e\}\) pour tout \(x\) | aucun élément non trivial ne fixe de point |
Le noyau \(\ker \varphi = \{\, g \in G : g\cdot x = x \text{ pour tout } x \,\}\) est l’intersection de tous les stabilisateurs. Une action libre est toujours fidèle ; la réciproque est fausse. Ces distinctions étant posées, on peut énoncer le théorème qui les relie quantitativement.
IV. Relation orbite-stabilisateur et formule des classes
Voici le résultat qui transforme les actions en machine à compter. Il relie la taille d’une orbite à l’indice de son stabilisateur.
Théorème — Relation orbite-stabilisateur ⋆
Soit \(G\) un groupe agissant sur \(X\) et \(x \in X\). L’application
\(G / \mathrm{Stab}(x) \longrightarrow \mathrm{Orb}(x), \qquad g\,\mathrm{Stab}(x) \longmapsto g \cdot x\)
est une bijection bien définie. En particulier, si \(G\) est fini :
\(|\mathrm{Orb}(x)| = [G : \mathrm{Stab}(x)] = \displaystyle\frac{|G|}{|\mathrm{Stab}(x)|}.\)
Démonstration. Posons \(H = \mathrm{Stab}(x)\). L’application \(\Phi(gH) = g\cdot x\) est bien définie : si \(gH = g'H\), alors \(g^{-1}g' \in H\), donc \((g^{-1}g')\cdot x = x\), d’où \(g'\cdot x = g\cdot x\). Elle est surjective par définition de l’orbite. Elle est injective : si \(g\cdot x = g'\cdot x\), alors \(g^{-1}g' \cdot x = x\), donc \(g^{-1}g' \in H\) et \(gH = g'H\). C’est donc une bijection. La formule d’indice découle du théorème de Lagrange. ∎
Combinée à la partition en orbites, cette relation donne la formule des classes.
Formule des classes. Si \(X\) est fini et \(x_1,\dots,x_r\) sont des représentants des orbites :
\(|X| = \displaystyle\sum_{i=1}^{r} |\mathrm{Orb}(x_i)| = \sum_{i=1}^{r} \displaystyle\frac{|G|}{|\mathrm{Stab}(x_i)|}.\)
A. L’équation aux classes
Appliquons ceci à l’action de \(G\) sur lui-même par conjugaison. Le stabilisateur de \(x\) est alors le centralisateur \(C_G(x) = \{g : gx = xg\}\), et l’orbite est la classe de conjugaison de \(x\). Les orbites réduites à un point sont exactement les éléments du centre \(Z(G)\). On obtient :
\(|G| = |Z(G)| + \displaystyle\sum_{i} [G : C_G(x_i)]\)la somme portant sur les représentants des classes non centrales. Cette équation est l’outil de démonstration numéro un pour les \(p\)-groupes.
Application — Le centre d’un \(p\)-groupe est non trivial.
Soit \(|G| = p^n\) avec \(p\) premier et \(n \geq 1\). Chaque terme \([G:C_G(x_i)]\) de la somme divise \(p^n\) et vaut au moins \(p\) (car \(x_i \notin Z(G)\)). Donc \(p\) divise la somme et divise \(|G|\) : il divise aussi \(|Z(G)|\). Comme \(e \in Z(G)\), on a \(|Z(G)| \geq 1\), donc \(|Z(G)| \geq p\) : le centre n’est jamais trivial.
Ce type de raisonnement culmine dans les théorèmes de Sylow, dont nous détaillons maintenant le mécanisme sur le point (3).
V. Application : les théorèmes de Sylow
Les théorèmes de Sylow décrivent les sous-groupes d’ordre une puissance de premier dans un groupe fini. Ce sont les résultats les plus recherchés associés aux actions de groupe, et leur démonstration est un cas d’école de la méthode.
Théorèmes de Sylow ⋆
Soit \(G\) un groupe fini d’ordre \(|G| = p^{\alpha} m\) avec \(p\) premier et \(p\) ne divisant pas \(m\). On appelle \(p\)-sous-groupe de Sylow tout sous-groupe d’ordre \(p^{\alpha}\). Alors :
(1) Existence. \(G\) possède au moins un \(p\)-Sylow.
(2) Conjugaison. Tous les \(p\)-Sylow sont conjugués entre eux, et tout \(p\)-sous-groupe est contenu dans un \(p\)-Sylow.
(3) Dénombrement. Le nombre \(n_p\) de \(p\)-Sylow vérifie \(n_p \equiv 1 \ (\mathrm{mod}\ p)\) et \(n_p \mid m\).
A. Le mécanisme par action
La démonstration du point (3) illustre parfaitement l’usage des actions. Notons \(\mathcal{S}\) l’ensemble des \(p\)-Sylow. Le groupe \(G\) agit sur \(\mathcal{S}\) par conjugaison : \(g \cdot P = gPg^{-1}\). Par le point (2), cette action est transitive, donc \(|\mathcal{S}| = n_p = [G : N_G(P)]\) divise \(m\), où \(N_G(P) = \{g \in G : gPg^{-1} = P\}\) est le normalisateur de \(P\) (le stabilisateur de \(P\) pour cette action) (puisque \(P \subseteq N_G(P)\) force \(p^\alpha \mid |N_G(P)|\)).
Pour la congruence, on fait agir un \(p\)-Sylow \(P\) fixé sur \(\mathcal{S}\), toujours par conjugaison. Par la formule des classes, \(n_p \equiv |\mathrm{Fix}(P)| \ (\mathrm{mod}\ p)\) car toute orbite non ponctuelle a un cardinal multiple de \(p\). Une étude soignée montre que \(\mathrm{Fix}(P) = \{P\}\), d’où \(n_p \equiv 1 \ (\mathrm{mod}\ p)\). ∎
À retenir : le schéma « faire agir le groupe par conjugaison sur un ensemble d’objets, puis appliquer la formule des classes modulo \(p\) » est la signature de toutes les démonstrations de type Sylow. Repère-le : dès qu’on cherche à contrôler un nombre modulo \(p\), on cherche une action dont les orbites non triviales ont un cardinal divisible par \(p\).
Pour un traitement complet des démonstrations et des exercices dédiés, voir la page exercices corrigés d’actions de groupe. Passons maintenant à ce que les autres cours ne montrent presque jamais : les applications concrètes.
VI. Applications concrètes : compter avec Burnside
Aucun cours généraliste ne développe vraiment ce point, alors qu’il est la raison d’être des actions en combinatoire. La formule de Burnside (aussi appelée lemme de Cauchy-Frobenius) compte les orbites, c’est-à-dire les objets « à symétrie près ».
Formule de Burnside
Soit \(G\) un groupe fini agissant sur un ensemble fini \(X\). Le nombre \(N\) d’orbites vaut
\(N = \displaystyle\frac{1}{|G|} \sum_{g \in G} |\mathrm{Fix}(g)|,\)
où \(\mathrm{Fix}(g) = \{\, x \in X : g\cdot x = x \,\}\) est l’ensemble des points fixes de \(g\).
Colliers de perles. Combien de colliers distincts peut-on former avec 4 perles alignées en cercle, chacune noire ou blanche, deux colliers étant identiques si l’un se déduit de l’autre par rotation ?
Ici \(X\) = les \(2^4 = 16\) coloriages, \(G = \mathbb{Z}/4\mathbb{Z}\) agit par rotation. On compte les points fixes :
- rotation d’angle \(0\) : fixe les \(16\) coloriages ;
- rotation d’un cran : seuls les coloriages monochromes sont fixes, soit \(2\) ;
- rotation de deux crans : \(2^2 = 4\) fixes ;
- rotation de trois crans : \(2\) fixes.
D’où \(N = \displaystyle\frac{1}{4}(16 + 2 + 4 + 2) = \displaystyle\frac{24}{4} = 6\) colliers distincts.
Le même principe compte les coloriages d’un cube, les molécules à symétrie près, ou les configurations d’un jeu. C’est aussi le cadre naturel du groupe du Rubik’s cube : le groupe des mouvements agit sur les configurations, et la structure des orbites explique quelles positions sont atteignables. Le groupe \(D_4\) agissant sur le carré, développé sur la page groupes classiques, en est le modèle miniature.
Ces applications montrent que la théorie n’est pas gratuite. Entraînons-nous maintenant.
VII. Exercices corrigés
Cinq exercices gradués, du calcul direct au raisonnement de type oral. Cherche chaque énoncé avant d’ouvrir la correction.
Exercice 1 — Vérifier une action ★
On pose \(G = \mathbb{R}^*\) (groupe multiplicatif) agissant sur \(X = \mathbb{R}\) par \(a \cdot x = ax\). Montrer que c’est une action, puis déterminer les orbites.
Voir la correction de l’exercice 1
Le neutre est \(1\) et \(1 \cdot x = x\) : premier axiome ✓. Ensuite \((ab)\cdot x = (ab)x = a(bx) = a\cdot(b\cdot x)\) : second axiome ✓.
Orbites. L’orbite de \(0\) est \(\{a\cdot 0\} = \{0\}\). Pour \(x \neq 0\), \(\mathrm{Orb}(x) = \{ax : a \in \mathbb{R}^*\} = \mathbb{R}^*\).
Il y a donc exactement deux orbites : \(\{0\}\) et \(\mathbb{R}^*\). L’action n’est pas transitive, mais elle est fidèle.
Exercice 2 — Stabilisateur explicite ★
Le groupe \(S_3\) agit naturellement sur \(X = \{1,2,3\}\). Déterminer \(\mathrm{Orb}(1)\), \(\mathrm{Stab}(1)\) et vérifier la relation orbite-stabilisateur.
Voir la correction de l’exercice 2
L’action est transitive : on peut envoyer \(1\) sur \(1\), \(2\) ou \(3\). Donc \(\mathrm{Orb}(1) = \{1,2,3\}\), de cardinal \(3\).
Le stabilisateur de \(1\) est l’ensemble des permutations fixant \(1\) : l’identité et la transposition \((2\ 3)\). Donc \(\mathrm{Stab}(1) = \{\,\mathrm{id}, (2\ 3)\,\}\), de cardinal \(2\).
Vérification : \(|\mathrm{Orb}(1)| = \displaystyle\frac{|S_3|}{|\mathrm{Stab}(1)|} = \displaystyle\frac{6}{2} = 3\) ✓.
Exercice 3 — Comptage par Burnside ★★
Combien de coloriages distincts des sommets d’un triangle équilatéral avec 3 couleurs, à rotation près (groupe des rotations \(\mathbb{Z}/3\mathbb{Z}\)) ?
Voir la correction de l’exercice 3
\(X\) contient \(3^3 = 27\) coloriages, \(G = \mathbb{Z}/3\mathbb{Z}\).
Points fixes : l’identité fixe les \(27\) coloriages ; chaque rotation non triviale ne fixe que les coloriages monochromes, soit \(3\) chacune.
\(N = \displaystyle\frac{1}{3}(27 + 3 + 3) = \displaystyle\frac{33}{3} = 11\) coloriages distincts.
Exercice 4 — Action de conjugaison ★★
Dans \(G = S_4\), on considère l’action par conjugaison. Déterminer le cardinal de l’orbite (classe de conjugaison) de la transposition \((1\ 2)\), puis le cardinal de son centralisateur.
Voir la correction de l’exercice 4
Dans un groupe symétrique, deux permutations sont conjuguées si et seulement si elles ont la même structure en cycles. La classe de \((1\ 2)\) est donc l’ensemble de toutes les transpositions de \(S_4\).
Nombre de transpositions : \({4 \choose 2} = 6\). Donc \(|\mathrm{Orb}((1\ 2))| = 6\).
Par la relation orbite-stabilisateur : \(|C_{S_4}((1\ 2))| = \displaystyle\frac{|S_4|}{6} = \displaystyle\frac{24}{6} = 4\).
On peut vérifier : le centralisateur est \(\{\mathrm{id}, (1\ 2), (3\ 4), (1\ 2)(3\ 4)\}\), bien d’ordre 4.
Exercice 5 — Raisonnement type Sylow ★★★
Soit \(G\) un groupe d’ordre \(15\). Montrer que \(G\) est cyclique.
Voir la correction de l’exercice 5
On a \(15 = 3 \times 5\). Notons \(n_3\) et \(n_5\) les nombres de \(3\)-Sylow et de \(5\)-Sylow.
3-Sylow : \(n_3 \equiv 1 \ (\mathrm{mod}\ 3)\) et \(n_3 \mid 5\). Les diviseurs de \(5\) sont \(1\) et \(5\) ; seul \(1\) est \(\equiv 1 \ (\mathrm{mod}\ 3)\). Donc \(n_3 = 1\).
5-Sylow : \(n_5 \equiv 1 \ (\mathrm{mod}\ 5)\) et \(n_5 \mid 3\). Seul \(1\) convient. Donc \(n_5 = 1\).
Chaque Sylow étant unique, il est distingué. Soit \(H\) l’unique \(3\)-Sylow (ordre 3) et \(K\) l’unique \(5\)-Sylow (ordre 5). Comme \(H \cap K = \{e\}\) (ordres premiers entre eux) et \(|HK| = 15 = |G|\), on a \(G \cong H \times K \cong \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z}\).
Par le lemme chinois, \(\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z} \cong \mathbb{Z}/15\mathbb{Z}\). Donc \(G\) est cyclique. ∎
VIII. Erreurs classiques et rédaction
Voici les fautes qui coûtent le plus de points en copie et à l’oral.
❌ Copie fautive : « Comme l’action est transitive, \(\mathrm{Stab}(x) = \{e\}\). »
Diagnostic : confusion entre transitif et libre. Transitif contrôle l’orbite (une seule), pas le stabilisateur.
✅ Correction : transitive signifie \(\mathrm{Orb}(x) = X\). Le stabilisateur peut être gros : par exemple \(S_3\) agit transitivement sur \(\{1,2,3\}\) mais \(\mathrm{Stab}(1)\) a deux éléments.
❌ Copie fautive : appliquer \(|\mathrm{Orb}(x)| = |G|/|\mathrm{Stab}(x)|\) sans préciser que \(G\) est fini.
Diagnostic : la formule d’indice est un cardinal, valide sans hypothèse de finitude comme bijection (équipotence) (bijection \(G/\mathrm{Stab}(x) \to \mathrm{Orb}(x)\)), mais la division \(|G|/|\mathrm{Stab}(x)|\) n’a de sens numérique que si \(G\) est fini.
✅ Correction : énonce d’abord la bijection, puis passe aux cardinaux « \(G\) étant fini ».
❌ Copie fautive : dans Burnside, compter les points fixes de la seule identité.
Diagnostic : oubli de la somme sur tous les \(g \in G\). La formule est une moyenne du nombre de points fixes.
✅ Correction : dresse systématiquement un tableau élément par élément de \(G\) avant de sommer.
Ce que le correcteur attend (examen de L3, oral d’agrégation). Pour « montrer qu’un groupe d’ordre donné a un sous-groupe distingué », le plan gagnant est toujours : (1) factoriser l’ordre, (2) écrire les contraintes de Sylow sur chaque \(n_p\), (3) conclure qu’un \(n_p = 1\), donc unicité, donc distinction. La ligne à ne jamais omettre : « un \(p\)-Sylow unique est distingué car ses conjugués sont aussi des \(p\)-Sylow ».
IX. Questions fréquentes
Qu’est-ce qu’une action de groupe en maths ?
C’est une application qui, à chaque élément d’un groupe \(G\) et chaque point d’un ensemble \(X\), associe un nouveau point, en respectant le neutre (\(e\cdot x = x\)) et la composition (\((gh)\cdot x = g\cdot(h\cdot x)\)). Cela revient à un morphisme de \(G\) vers le groupe des permutations de \(X\). À ne pas confondre avec l’action de groupe juridique, sans lien.
Quelle est la différence entre orbite et stabilisateur ?
L’orbite d’un point \(x\) est l’ensemble de tous les points atteignables depuis \(x\) : elle vit dans \(X\). Le stabilisateur est l’ensemble des éléments du groupe qui laissent \(x\) fixe : il vit dans \(G\) et c’est un sous-groupe. La relation orbite-stabilisateur les relie : \(|\mathrm{Orb}(x)| \times |\mathrm{Stab}(x)| = |G|\) quand \(G\) est fini.
Une action transitive est-elle forcément fidèle ?
Non. Transitive signifie une seule orbite ; fidèle signifie que seul le neutre agit comme l’identité. Une action peut être transitive sans être fidèle, et inversement. En revanche, une action libre (stabilisateurs triviaux) est toujours fidèle.
À quoi servent concrètement les orbites ?
Elles partitionnent l’ensemble en morceaux « indiscernables » sous l’action. En combinatoire, compter les orbites revient à compter des objets à symétrie près (coloriages, colliers, molécules) via la formule de Burnside. En algèbre, les orbites de la conjugaison sont les classes de conjugaison, base de l’équation aux classes.
Comment les actions démontrent-elles les théorèmes de Sylow ?
On fait agir le groupe (ou un \(p\)-Sylow) par conjugaison sur un ensemble bien choisi de sous-groupes, puis on applique la formule des classes modulo \(p\). Les orbites non triviales ayant un cardinal divisible par \(p\), on obtient des congruences qui contraignent le nombre de Sylow.
Les actions de groupe sont-elles au programme de prépa ?
La notion générale d’action, les orbites, stabilisateurs et théorèmes de Sylow relèvent de la licence (L3) et de l’agrégation, pas du programme CPGE actuel. En prépa, on rencontre des cas particuliers (conjugaison, action de \(S_n\)) sans le vocabulaire formalisé. Cette page vise donc surtout les étudiants d’université.
X. D’où ça vient, où ça mène
Les actions de groupe s’inscrivent dans une longue progression algébrique. En amont, elles supposent la maîtrise des structures algébriques et des morphismes de groupes, ainsi que du groupe quotient pour comprendre la bijection orbite-stabilisateur. La notion de groupe \(\mathbb{Z}/n\mathbb{Z}\) fournit les premiers exemples concrets.
En aval, les actions ouvrent sur la classification des groupes finis, la théorie de la représentation (où \(G\) agit sur des espaces vectoriels via des matrices), et la théorie de Galois. Elles sont, en un sens, la porte d’entrée de l’algèbre moderne.
XI. Pour aller plus loin
Tu maîtrises les actions de groupe : voici les chapitres pour prolonger.
- Espace vectoriel : cours complet avec démonstrations et exercices corrigés
- Matrices en Mathématiques : Cours, Méthodes et Exercices Corrigés
- 25 Exercices de Polynômes Corrigés (Prépa) — PDF
- Injection, surjection et bijection : cours complet, méthodes et exercices
Conforme au programme d’algèbre générale de licence (L3), chapitres « groupes finis » et « théorèmes de Sylow ». Année universitaire 2026-2027.
