Action de groupe (mathématiques)

Pour les articles homonymes, voir Action de groupe.

En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe.

Définition

Étant donné un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté $e$ , on peut définir une action (ou opération) de G sur un ensemble E par une application : $G \times E \rightarrow E$ $(g,x) \mapsto g \cdot x$ vérifiant les propriétés suivantes : $\forall x \in E,\ e \cdot x = x$ $\forall (g,g') \in G^2,\ \forall x \in E,\ g' \cdot \underbrace{(g \cdot x)}_{\in E}=\underbrace{(g'g)}_{\in G} \cdot x.$

Dans ce cas on dit également que G opère (ou agit) sur l'ensemble E. Il est important de bien vérifier que l'ensemble E est stable sous l'action du groupe G.

Un point de vue équivalent consiste à dire que le groupe G opère sur l'ensemble E si l'on dispose d'un morphisme de groupes, dit associé à l'action, $\phi : G \to{\rm S}_E$ , du groupe G dans le groupe symétrique S_E de l'ensemble E. Un tel morphisme est appelé une représentation du groupe G.

Ce morphisme est lié à l'action par $g \cdot x = (\phi(g))(x)$ pour tous $g\in G, x\in E$ .

Exemples

Un groupe opère sur lui-même de deux manières fondamentales :
- par translations à gauche ; cette action est simplement transitive, c'est-à-dire libre et transitive :
  $G \times G \rightarrow G,\ (g,x) \mapsto gx$
- par automorphismes intérieurs, action aussi appelée par conjugaison :
  $G \times G \rightarrow G,\ (g,x) \mapsto gxg^{-1}$
Le groupe symétrique d'un ensemble E opère naturellement sur E ; cette action est fidèle et transitive :
${\rm S}_E\times E \rightarrow E,\ (\sigma,x) \mapsto \sigma(x).$
Plus généralement, un groupe de permutations G d'un ensemble E (c'est-à-dire un sous-groupe du groupe symétrique de E) opère sur E par
$\ G \times E \rightarrow E,\ (\sigma,x) \mapsto \sigma(x)$ . Cette opération est appelée l'opération naturelle du groupe de permutations G. Elle est fidèle mais pas forcément transitive.
Le groupe orthogonal (resp. unitaire) d'un espace euclidien (resp. espace hermitien) E opère sur sa sphère unité :
- $O(E) \times S \rightarrow S,\ (u,x) \mapsto u(x)$
- $U(E) \times S \rightarrow S,\ (u,x) \mapsto u(x)$
Le groupe linéaire d'un espace vectoriel E opère sur l'ensemble $\scriptstyle\eth$ de ses bases ; cette action est simplement transitive :
$GL(E) \times \eth \rightarrow \eth,\ (f,(e_i)_{i\in I}) \mapsto (f(e_i))_{i\in I}.$
Le groupe projectif linéaire (ou groupe des homographies) $\scriptstyle\mathbb{PGL}(E)$ d'un espace projectif ℙ(E) opère sur l'ensemble $\mathcal F$ de ses faisceaux harmoniques :
$\mathbb{PGL}(E) \times \mathcal{F} \rightarrow \mathcal{F},\ (\phi,F) \mapsto \phi(F).$
Le groupe symétrique d'indice p opère sur l'ensemble des formes p-linéaires par :
$\begin{array}{ccl} {\rm S}_p \times \mathcal{L}_p& \rightarrow & \mathcal{L}_p \\ (\sigma,\varphi) & \mapsto & \sigma\varphi : (x_1,\ldots,x_p) \mapsto \varphi(x_{\sigma 1},\ldots,x_{\sigma p}).\end{array}$
Le groupe de Galois d'un polynôme opère sur l'ensemble de ses racines.

Actions à droite, actions à gauche

Tous les exemples du paragraphe précédent sont des actions à gauche. Mais il est utile de considérer aussi les actions à droite. On aura une action à droite si $\forall (g,g') \in G^2,\ \forall x \in E,\ g' \cdot (g \cdot x)= (gg') \cdot x.$ Ainsi, un groupe G opère sur lui-même à droite par translations à droite. Il est bien sûr naturel et commode de noter

$(x,g)\mapsto x\cdot g$

une action à droite.

Le groupe opposé du groupe symétrique S_E est l'ensemble des permutations de E muni de la loi de composition $\ (f, g) \mapsto f \star g = g \circ f$ . À une action à droite d'un groupe G sur un ensemble E, il correspond un homomorphisme de G dans l'opposé de S_E. Cet homomorphisme applique un élément g de G sur la permutation x ↦ x.g de E.

Commentaire. La notation fonctionnelle en usage aujourd'hui conduit naturellement à privilégier les actions à gauche. La notation exponentielle (utilisée par exemple par Emil Artin dans son livre sur les algèbres géométriques), où ce que nous notons $\phi(x)$ s'écrit $x^\phi$ , conduirait à privilégier les actions à droite.

Orbites, stabilisateurs et points fixes

Orbite

On définit l'orbite d'un élément $x$ de E par $O_x = \left\{y\in E~|~ \exists g \in G : y = g \cdot x \right\}.$ L'orbite de $x$ est l'ensemble des éléments de E associés à $x$ sous l'action de G. La relation « $y$ est dans l'orbite de $x$ » est une relation d'équivalence sur E ; les classes d'équivalences sont les orbites.

En particulier, les orbites forment une partition de E.

Stabilisateur d'un élément

Le stabilisateur (ou sous-groupe d'isotropie) d'un élément $x$ de E est l'ensemble $G_x = \mathrm{St}_x \stackrel{\text{def}}{=} \left\{ g \in G \mid g \cdot x = x \right\}$ des éléments qui laissent $x$ invariant sous leur action. C'est un sous-groupe de G. Les stabilisateurs de deux éléments de la même orbite sont conjugués via la formule : $\mathrm{St}_{g\cdot x} = g\, \mathrm{St}_x\,g^{-1}~.$ En particulier ils sont isomorphes, donc équipotents.

L'application $\left\{\begin{array}{ccc} G/\mathrm{St}_x & \rightarrow & O_x\\ \bar{g} & \mapsto & g \cdot x \end{array}\right.$ est une bijection de $G/\mathrm{St}_x$ sur $O_x$ (cf infra : formule des classes).

Points fixes d'un élément du groupe

On peut définir, de manière analogue, l'ensemble $Fix g$ des points fixés par un élément $g$ du groupe G comme l'ensemble des éléments de E invariants sous l'action de $g$ .

Caractéristiques des actions de groupe

Action transitive

Une action est dite transitive si elle possède une et une seule orbite. Une action d'un groupe G sur un ensemble X est donc transitive si et seulement si X n'est pas vide et que deux éléments quelconques de X peuvent être envoyés l'un sur l'autre par l'action d'un élément du groupe^[1] :

\forall x,y\in X, \exists g\in G, y=g\cdot x.

Plus généralement, une action sur un ensemble X (d'au moins n éléments) est dite n-transitive si l'action correspondante sur l'ensemble des n-uplets d'éléments distincts est transitive, c'est-à-dire si pour n points distincts x₁, … , x_n et n points distincts y₁, … , y_n, quelconques dans X, il existe toujours au moins un élément g du groupe tel qu'on ait à la fois g·x₁ = y₁, … , g·x_n=y_n.

L'action est dite strictement n-transitive^[2] si, de plus, un tel g est toujours unique, autrement dit si l'action sur les n-uplets d'éléments distincts est simplement transitive.

Un groupe de permutations est dit transitif (resp. n-transitif, resp. strictement n-transitif) si son opération naturelle est transitive (resp. n-transitive, resp. strictement n-transitive).

Il résulte de la classification des groupes simples finis que les seuls groupes de permutations 4-transitifs sont les groupes symétrique et alterné (de degré ≥ 4 et ≥ 6 respectivement) et les groupes de Mathieu M₂₄, M₂₃, M₁₂ et M₁₁ : de plus, M₂₄ et M₁₂ sont 5-transitifs^[3].

Jordan avait prouvé en 1873 que les seuls groupes de permutation strictement 6-transitifs sont les groupes symétriques de degrés 6 et 7 et le groupe alterné de degré 8^[4].

Action libre

Une action est dite libre si tous les stabilisateurs sont réduits au neutre, autrement dit si tout élément différent du neutre agit sans point fixe : $\forall x \in E\quad{\rm St}_x = \{e\}$ .

Action fidèle

Une action est dite fidèle (on dit parfois aussi effective) si l'intersection de tous les stabilisateurs est réduite au neutre, autrement dit si seul le neutre fixe tous les points. Une action libre est fidèle.

De façon équivalente, une action est fidèle si le morphisme

$\begin{array}{ccccc} \phi & : & G & \to & {\rm S}(E) \\ & & g & \mapsto & \phi (g) \\\end{array}$

défini par $(\phi(g))(x)=g \cdot x$ est injectif.

Action simplement transitive

Une action est dite simplement transitive si elle est à la fois transitive et libre. Autrement dit, deux éléments quelconques de l'espace sont envoyés l'un sur l'autre par un et un seul élément du groupe :

\forall x,y\in X, \exists!g\in G, y=g.x.

Par exemple, l'action d'un groupe sur lui-même par translations à gauche (ou à droite) est simplement transitive.

Une action fidèle et transitive d'un groupe abélien est simplement transitive^[5].

Une action transitive d'un groupe fini G sur un ensemble X est simplement transitive si et seulement si G et X ont même cardinal^[6].

Action continue

Si G est un groupe topologique et X un espace topologique, l'action est dite continue si l'application correspondante G×X → X, (g, x) ↦ g.x est continue^[7], G×X étant muni de la topologie produit^[8]. L'espace X/G des orbites est alors muni d'une topologie quotient et l'application X → X/G est ouverte. Si X/G est compact, l'action est dite cocompacte.

L'action est dite propre^[9] si l'application G×X → X×X, (g, x) ↦ (g.x, x) est propre. L'espace des orbites est alors séparé. Une action continue propre d'un groupe discret est dite proprement discontinue (en). Lorsque G est localement compact et X séparé, l'action est propre si et seulement si deux points quelconques x et y de X possèdent toujours des voisinages V_x et V_y tels que V_y ne rencontre gV_x que pour un ensemble relativement compact d'éléments g de G. Lorsque G est séparé et X localement compact, une action continue est propre si et seulement si, pour tout compact K de X, le fermé des éléments g de G pour lesquels gK rencontre K est compact. Si G est un groupe compact, ces conditions de (relative) compacité de parties de G sont automatiquement vérifiées. Si G est un groupe discret, elles équivalent à la finitude des parties considérées.

Formule des classes, formule de Burnside

À travers les notions d'orbite et de stabilisateur, les actions de groupe sont un outil commode en combinatoire. D'autre part, un certain nombre de propriétés concernant la structure de certains groupes peuvent être démontrées par des arguments de dénombrement.

Deux identités reviennent fréquemment lorsque l'ensemble E et le groupe G sont finis.

La formule des classes affirme que pour toute orbite $\omega$ et pour tout point $x$ de cette orbite, $\mathrm{card}~\omega = \frac {\mathrm{card}~ G} {\mathrm{card}~{\rm St}_x}.$ Cette formule est compatible avec le fait, remarqué précédemment, que les stabilisateurs de deux éléments d'une même orbite ont le même ordre. Par suite, si l'on désigne par $Ω$ l'ensemble des orbites et par $c_\omega$ l'ordre commun des stabilisateurs des éléments de l'orbite $\omega$ , un corollaire de la formule des classes est : $\mathrm{card}~E =\sum_{\omega \in \Omega} \mathrm{card}~\omega \ = {\mathrm{card}~G} \ \sum_{\omega \in\Omega}\frac1{c_\omega}.$
La formule de Burnside^[10]^,^[11] affirme pour sa part (toujours sous l'hypothèse que E et G sont finis) que le nombre d'orbites est $\mathrm{card}~ \Omega = \frac1{\mathrm{card}~ G}\sum_{g\in G} \mathrm{card}~\mathrm{Fix}_g~.$ En particulier, si G est un groupe fini agissant transitivement sur un ensemble non vide E, alors la moyenne du nombre de points fixes des éléments du groupe G est égale à $1$ .

Démonstrations

Formule des classes

Soit $\gamma$ la surjection de G dans l'orbite $\omega$ de $x$ : $g \mapsto g.x$ .

Deux éléments de G ont même image par $\gamma$ si et seulement s'ils sont dans la même classe à gauche pour ${\rm St}_x$ : $g.x=g'.x \ \Leftrightarrow g'^{-1}g.x=x \ \Leftrightarrow g'^{-1}.g \in{\rm St}_x.$

L'ensemble quotient $G/{\rm St}_x$ (l'ensemble des classes à gauche) est donc en bijection avec $\omega$ . Or le cardinal de ce quotient est, par définition, l'indice de ${\rm St}_x$ dans G. Il en résulte immédiatement la formule annoncée : $\mathrm{card}~\omega=[G:{\rm St}_x]=(\mathrm{card}~G)/(\mathrm{card}~{\rm St}_x).$

Formule de Burnside

Soit $A = \{(g,x) \in G \times E\mid gx=x\}.$ On peut écrire en désignant par $\Omega$ l'ensemble des orbites :

\mathrm{card}~A=\sum_{x \in E}\mathrm{card}~\{g \in G\mid gx=x\}=\sum_{x \in E}\mathrm{card}~{\rm St}_x =\sum_{\omega\in\Omega}\sum_{x\in\omega}\mathrm{card}~{\rm St}_x.

Or il résulte de la formule des classes (cf. ci-dessus) que pour chaque orbite $\omega$ , $\sum_{x\in\omega}\mathrm{card}~{\rm St}_x=\sum_{x\in\omega}(\mathrm{card}~G)/(\mathrm{card}~\omega)=\mathrm{card}~G,$ donc $\mathrm{card}~A = \mathrm{card}~\Omega.\mathrm{card}~G.$

Mais on peut aussi calculer card A en groupant différemment les éléments : $\mathrm{card}~A=\sum_{g\in G}\mathrm{card}~\{x\in E\mid gx=x\}=\sum_{g\in G}\mathrm{card}~\mathrm{Fix}_g.$

Et en écrivant l'égalité des deux expressions de card A trouvées, on obtient la formule annoncée :

\mathrm{card}~\Omega=\frac1{\mathrm{card}~G}\sum_{g\in G}\mathrm{card}~\mathrm{Fix}_g.

Actions équivalentes et quasi équivalentes

Soit G un groupe opérant (à gauche) sur un ensemble X et sur un ensemble Y. Nous dirons que ces deux opérations sont équivalentes^[12] s'il existe une bijection f de X sur Y telle que, pour tout élément g de G et tout élément x de X, on ait

f(g \cdot x) = g \cdot f(x),

où les points représentent respectivement les opérations de G sur X et sur Y.

Soit maintenant G un groupe opérant (à gauche) sur un ensemble X, soit H un groupe opérant (à gauche) sur un ensemble Y. On dit que ces deux actions sont quasi équivalentes^[13] ou encore isomorphes^[14] s'il existe une bijection f de X sur Y et un isomorphisme de groupes σ de G sur H tels que, pour tout élément g de G et tout élément x de X, on ait

f(g \cdot x) = \sigma (g) \cdot f(x),

où les points représentent respectivement l'opération de G sur X et celle de H sur Y.

Cela revient à dire^[15] que si f* désigne l'isomorphisme s ↦ f ∘ s ∘ f⁻¹ de S_X sur S_Y, si φ désigne l'homomorphisme de groupes de G dans S_X correspondant à l'action de G sur X, si ψ désigne l'homomorphisme de groupes de H dans S_Y correspondant à l'action de H sur Y, alors

f^{\ast} \circ \varphi = \psi \circ \sigma

Dans le cas particulier où G = H et où σ est l'isomorphisme identité de G, on retrouve l'équivalence de deux opérations d'un même groupe.

Si deux actions sont quasi équivalentes, l'ensemble des orbites de la première est équipotent à l'ensemble des orbites de la seconde. Plus précisément, on peut mettre les orbites de la première en correspondance biunivoque avec les orbites de la seconde de façon que deux orbites mises en correspondance aient toujours le même cardinal (à une orbite de la première action, faire correspondre son image par la bijection f considérée plus haut). En particulier, deux actions quasi équivalentes sont toutes deux transitives ou toutes deux non transitives. Il en est de même^[16] des propriétés de transitivité multiple, de fidélité, etc.

Action d'un groupe sur un groupe par automorphismes

Soient G et H deux groupes. Supposons qu'une action G × H → H : (g, h) ↦ g.h de G sur (l'ensemble sous-jacent de)H possède la propriété suivante :

pour tout élément g de G, pour tous éléments h, k de H, g.(hk) = (g.h)∗(g.k),

où l'astérisque représente la loi du groupe H. Cela revient à dire que pour tout élément g de G, la permutation h ↦ g.h de H est un automorphisme du groupe H^[17]. On dit alors que l'action de G sur H est une action par automorphismes^[18]. Dans ce cas, l'homomorphisme de G dans S_H associé à l'action prend ses valeurs dans le groupe Aut(H) des automorphismes de H. Une action de G sur H par automorphismes peut donc être assimilée à un homomorphisme de G dans Aut(H).

Par exemple, l'action d'un groupe sur lui-même par conjugaison est une action par automorphismes (intérieurs).

Soit G un groupe opérant par automorphismes sur un groupe H, soit G₁ un groupe opérant par automorphismes sur un groupe H₁. On dit que ces deux actions sont quasi équivalentes^[19] comme actions par automorphismes (et non seulement comme actions de groupes sur ensembles) s'il existe un isomorphisme (et non seulement une bijection) f de H sur H₁ et un isomorphisme de groupes σ de G sur H tels que, pour tout élément g de G et tout élément x de X, on ait

f(g \cdot x) = \sigma (g) \cdot f(x),

où les points représentent respectivement l'opération de G sur H et celle de G₁ sur H₁.

Les actions de groupe sur groupe par automorphismes permettent de définir le produit semi-direct (externe) d'un groupe par un autre.

Notes et références

↑ Ceci est la seconde forme de la définition dans N. Bourbaki, Éléments de mathématique, Algèbre, Paris, 1970, ch. I, § 5, n^o 5, déf. 6, p. 56.
↑ Jacques Tits, « Groupes finis simples sporadiques », Séminaire Bourbaki, n^o 375,‎ 1969/70 (22^e année) (lire en ligne), section 1.2.3, p. 191, parle d'un groupe de permutations « fortement n fois transitif ».
↑ p. 152 de (en) Shreeram S. Abhyankar, « Resolution of singularities and modular Galois theory », Bull. Amer. Math. Soc. (New Series), vol. 38, n^o 2,‎ 2001, p. 131-169 (lire en ligne).
↑ (en) Joseph J. Rotman, An Introduction to the Theory of Groups [détail de l’édition], 4^e éd., tirage de 1999, p. 286.
↑ Marcel Berger, Géométrie [détail des éditions], chap. 1, § 1.4.
↑ (en) John D. Dixon et Brian Mortimer, Permutation Groups, Springer, coll. « GTM » (n^o 163),‎ 1996 (ISBN 978-0-387-94599-6, lire en ligne), p. 8-9.
↑ Claude Godbillon, Éléments de topologie algébrique [détail des éditions], 1971, p. 28.
↑ Si elle vérifie seulement que pour tout x ∈ X, l'application G → X, g ↦ g.x est continue, on dit – paradoxalement – que l'action est fortement continue^{[réf. nécessaire]}.
↑ Sur cette notion, on pourra consulter Topologie : revêtements et groupe fondamental par Michèle Audin, IRMA, 2004 et approfondir dans N. Bourbaki, Éléments de mathématique, TG III, § 4.
↑ Bien qu'il soit traditionnel de lui attacher le nom de Burnside, ce dernier l'avait en fait attribuée dans son livre de 1897 à Frobenius, et elle avait déjà été découverte en réalité par Cauchy.
↑ Ne pas confondre avec Théorème de Burnside .
↑ Expression conforme par exemple à (en) Derek J. S. Robinson (de), A Course in the Theory of Groups, Springer, coll. « GTM » (n^o 80),‎ 1996, 2^e éd. (ISBN 978-0-387-94461-6, lire en ligne), p. 35, à M. Aschbacher, Finite Group Theory, Cambridge University Press, 2000, p. 9, ISBN 0521786754, 9780521786751, partiellement consultable sur Google Livres, à J. Delcourt, Théorie des groupes, Dunod, 2001, p. 62.
↑ Expression conforme à M. Aschbacher, Finite Group Theory, Cambridge University Press, 2000, p. 9, ISBN 0521786754, 9780521786751, partiellement consultable sur Google Livres. La terminologie est variable. Des opérations qui ici sont dites quasi équivalentes sont parfois dites équivalentes. C'est le cas dans Josette Calais, Éléments de théorie des groupes, PUF,‎ 1984, p. 206.
↑ Expression conforme à Rotman 1999, p. 282.
↑ Rotman 1999, p. 282.
↑ Voir quelques exemples dans Calais 1984, p. 206.
↑ (en) Hans Kurzweil (de) et Bernd Stellmacher (de), The Theory of Finite Groups, An Introduction,‎ 2004 (lire en ligne), chap. 8 (« Groups Acting on Groups »).
↑ Expression employée par J. Delcourt, Théorie des groupes, Paris, Dunod, 2001, p. 86.
↑ Expression conforme à M. Aschbacher, Finite Group Theory, Cambridge University Press, 2000, p. 9, ISBN 0521786754, 9780521786751, partiellement consultable sur Google Livres.

Voir aussi

Liens externes

(en) Eric W. Weisstein, « Group Action », MathWorld
Yoann Gelineau, Formule de Burnside et Applications Combinatoires, tiré de (en) Peter M. Neumann (en), Gabrielle A. Stoy et Edward C. Thompson, Groups and Geometry, p. 100-102
(en) Patrick Morandi, « Action », sur nLab (en)

Portail de l’algèbre

This article is issued from Wikipédia - version of the Friday, September 25, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.