Groupe de permutations

Pour un ensemble X, nous désignerons ici par S_X et nous appellerons groupe symétrique de X l'ensemble des permutations de X, muni de la loi de groupe ∘ définie par f ∘ g : X → X, x ↦ f(g(x)). Cette définition convient à l'étude des actions à gauche d'un groupe sur un ensemble. Le groupe opposé du groupe noté ici S_X convient à l'étude des actions à droite. Quand nous parlerons d'une action d'un groupe sur un ensemble, il s'agira d'une action à gauche. On sait qu'une action à gauche d'un groupe G sur un ensemble X peut être vue comme un homomorphisme de groupes de G dans S_X.

Soit G un groupe de permutations d'un ensemble X. Le groupe G agit (à gauche) sur X par

${\displaystyle G\times X\rightarrow X:(g,x)\mapsto g(x).}$

Cette action est appelée l'action naturelle de G sur X; comme X est déterminé par G, on peut parler simplement de l'action naturelle de G. L'homomorphisme de G dans S_X correspondant à cette action est l'injection canonique (inclusion) g ↦ g de G dans S_X. Puisque cet homomorphisme est injectif, l'action naturelle d'un groupe de permutations est donc fidèle.
Une bonne partie de la terminologie des actions de groupe est appliquée aux groupes de permutations. Par exemple, on dit qu'un groupe de permutations est transitif si son action naturelle est transitive.

Comme on l'a rappelé, une action d'un groupe G sur un ensemble X peut être vue comme un homomorphisme de groupes φ de G dans S_X. L'image φ(G) de cet homomorphisme est un groupe de permutations de X. Certaines propriétés de l'action de G sur X ne dépendent que de φ(G). Par exemple, les orbites de l'action de G sur X sont exactement les orbites de l'action naturelle de φ(G) et en particulier, l'action de G sur X est transitive si et seulement φ(G) est transitif. En revanche, la fidélité de l'action de G sur X n'est pas déterminée par φ(G).

Si l'action d'un groupe G sur un ensemble X est fidèle, l'homomorphisme (de groupes) φ de G dans S_X associé à cette opération est injectif et induit donc un isomorphisme ψ : g ↦ φ(g) de G sur φ(G). Si l'on désigne par f la bijection identique de X sur lui-même, alors, pour tout élément x de X et tout élément g de G,

${\displaystyle f(g\cdot x)=\psi (g)\cdot f(x),}$

où les points désignent respectivement l'action de G sur X et l'action naturelle de φ(G). Il en résulte que l'action de G sur X (si elle est fidèle) est quasi équivalente à l'action naturelle de φ(G). Ainsi, toute action fidèle d'un groupe sur un ensemble est quasi équivalente à l'action naturelle d'un groupe de permutations de cet ensemble. Ceci amène certains auteurs^[1] à dire qu'un groupe agissant fidèlement sur un ensemble est un groupe de permutations de cet ensemble. On n'adoptera pas cette façon de parler dans le présent article.