Groupe symétrique

En mathématiques, plus particulièrement en algèbre, le groupe symétrique d'un ensemble E est le groupe des permutations de E, c'est-à-dire des bijections de E sur lui-même. N'est traité dans le présent article, à la suite de la définition générale, que le cas E fini.

Définition

Soit E un ensemble. On appelle groupe symétrique de E l'ensemble des applications bijectives de E sur E muni de la composition d'applications (la loi ∘). On le note S(E) ou ${\mathfrak {S}}(E)$ (ce caractère est un S gothique rappelant le rôle fondamental joué par les mathématiciens allemands dans le développement de l'algèbre entre 1850 et 1933^[1]).

Un cas particulier courant est le cas où E est l'ensemble fini {1, 2, … , n}, n étant un entier naturel ; on note alors ${\mathfrak {S}}_{n}$ ou $S n$ ^[2] le groupe symétrique de cet ensemble. Les éléments de ${\mathfrak {S}}_{n}$ sont appelés permutations et ${\mathfrak {S}}_{n}$ est appelé groupe des permutations de degré n ou groupe symétrique d'indice n (un sous-groupe du groupe symétrique est appelé un groupe de permutations).

Si deux ensembles sont équipotents alors leurs groupes symétriques sont isomorphes. En effet, si f est une bijection de E dans F, alors l'application de S(E) dans S(F) qui à σ associe f∘σ∘f⁻¹ est un isomorphisme. En particulier si E est un ensemble fini à n éléments, alors ${\mathfrak {S}}(E)$ est isomorphe à ${\mathfrak {S}}_{n}$ . En conséquence, il suffit de connaître les propriétés du groupe ${\mathfrak {S}}_{n}$ pour en déduire celles du groupe ${\mathfrak {S}}(E)$ . C'est pourquoi la suite de cet article ne portera que sur ${\mathfrak {S}}_{n}$ .

Exemple

Les six isométries du groupe de symétrie d'un triangle équilatéral ABC sont les trois symétries par rapport aux médianes $d_{x}$ , $d_{y}$ et $d_{z}$ issues de respectivement les sommets A, B et C, deux rotations d'un tiers de tour dans le sens horaire ou anti-horaire et l'application identité. Elles se restreignent en six permutations des trois sommets, constituant le groupe S({A, B, C}) :

id, x = (B C), y = (A C), z = (A B), r = (A B C) et r⁻¹ = (C B A).

La table de Cayley de ce groupe est :

$\circ$	id	r	r⁻¹	x	y	z
id	id	r	r⁻¹	x	y	z
r	r	r⁻¹	id	z	x	y
r⁻¹	r⁻¹	id	r	y	z	x
x	x	y	z	id	r	r⁻¹
y	y	z	x	r⁻¹	id	r
z	z	x	y	r	r⁻¹	id

Origine et importance

Historiquement, l'étude du groupe des permutations des racines d'un polynôme par Évariste Galois est à l'origine du concept de groupe.

Un théorème de Cayley assure que tout groupe est isomorphe à un sous-groupe d'un groupe symétrique.

Propriétés

Le groupe ${\mathfrak {S}}_{n}$ est d'ordre $n!$ ^[3].

Générateurs du groupe symétrique

Une transposition est un 2-cycle, c'est-à-dire une permutation qui échange deux éléments et laisse les autres inchangés. On note (i, j) la transposition qui échange l'élément i avec l'élément j.

Il existe un algorithme permettant de décomposer une permutation en produit de transpositions. Ainsi l'ensemble des transpositions forme un système de générateurs de ${\mathfrak {S}}_{n}$ .

On peut se limiter aux transpositions de la forme $τ i = (i, i + 1)$ puisque, pour $i < j$ , il est possible de décomposer $(i,j)=(i,i+1)(i+1,i+2)\dots (j-2,j-1)(j-1,j)(j-2,j-1)\dots (i+1,i+2)(i,i+1).$

Ces $n - 1$ générateurs permettent de donner une présentation du groupe symétrique, avec les $n (n + 1) / 2$ relations^[4] :

${\tau _{i}}^{2}=1,$
$\tau _{i}\tau _{j}=\tau _{j}\tau _{i}\qquad {\mbox{si }}|j-i|>1,$
${(\tau _{i}\tau _{i+1}})^{3}=1.$

Il s'agit donc d'un cas particulier de groupe de Coxeter et même d'un groupe de réflexions (en) (ce qui, pour un groupe fini, est en fait équivalent).

Il est possible également de prendre $n - 1$ générateurs — les transpositions $s i = (i, n)$ pour $i < n$ — et $(n - 1) 2$ relations^[5] :

s_{i}^{2}=(s_{i}s_{i+1})^{3}=(s_{i}s_{i+1}s_{i}s_{j})^{2}=1\quad (1\leq i,j\leq n-1,\quad j\neq i,i+1,\quad s_{n}:=s_{1}).

Enfin, on peut se contenter de $2$ générateurs — la transposition $τ 1 = (1, 2)$ et le cycle $r = (1, 2, \dots , n)$ — et $n + 1$ relations^[6] :

r^{n}=\tau _{1}^{2}=(r\tau _{1})^{n-1}=(\tau _{1}r^{-1}\tau _{1}r)^{3}=(\tau _{1}r^{-j}\tau _{1}r^{j})^{2}=1\quad (2\leq j\leq n-2).

Signature

On suppose dans cette section que l'entier n est supérieur ou égal à 2.

Article détaillé : Signature d'une permutation.

Toute permutation se décompose en un produit de transpositions. Ce produit n'est pas unique, mais la parité du nombre de termes d'un tel produit ne dépend que de la permutation. On parle alors de permutation paire ou impaire.

La signature d'une permutation $σ$ , notée $sgn(σ)$ ou $ε(σ)$ , est définie par :

\operatorname {sgn} (\sigma )=\varepsilon (\sigma )=\left\{{\begin{array}{cl}+1&{\mbox{si }}\sigma {\mbox{ est paire }}\\-1&{\mbox{si }}\sigma {\mbox{ est impaire }}\end{array}}\right.

L'application signature est un morphisme de groupes de $({\mathfrak {S}}_{n},\circ )$ dans ({–1, 1}, ×). Le noyau de ce morphisme, c’est-à-dire l'ensemble des permutations paires, est appelé le groupe alterné de degré n, noté ${\mathfrak {A}}_{n}$ (ce caractère est un A gothique). ${\mathfrak {A}}_{n}$ est donc un sous-groupe normal de ${\mathfrak {S}}_{n}$ et le groupe quotient ${\mathfrak {S}}_{n}/{\mathfrak {A}}_{n}$ est isomorphe à l'image {–1, 1} du morphisme signature. Par conséquent, ${\mathfrak {A}}_{n}$ est d'indice 2 dans ${\mathfrak {S}}_{n}$ , donc d'ordre n!/2. (Ou plus concrètement : ${\mathfrak {A}}_{n}$ et son complémentaire dans ${\mathfrak {S}}_{n}$ sont de même cardinal car pour t transposition de ${\mathfrak {S}}_{n}$ , l'application σ ↦ t∘σ est une bijection de ${\mathfrak {A}}_{n}$ dans son complémentaire.)

De plus, la suite exacte courte

1\to {\mathfrak {A}}_{n}\to {\mathfrak {S}}_{n}\to \{-1,1\}\to 1

est scindée à droite, donc ${\mathfrak {S}}_{n}$ est un produit semi-direct de ${\mathfrak {A}}_{n}$ par le groupe cyclique à deux éléments.

Classes de conjugaison

La classe de conjugaison d'une permutation $σ$ est l'ensemble de ses conjuguées : $C(\sigma )=\{\tau \circ \sigma \circ \tau ^{-1}\mid \tau \in {\mathfrak {S}}_{n}\}.$

Les conjuguées de $σ$ sont les permutations dont la décomposition en produit de cycles à supports disjoints a la même structure que celle de $σ$ : même nombre de cycles de chaque longueur^[7].

Exemple: Si l'on considère dans ${\mathfrak {S}}_{5}$ les différentes classes de conjugaison, on trouve celle de l'identité, des transpositions (ab), les permutations composées de deux transpositions de supports disjoints (ab)(cd), les cycles d'ordre 3 (abc), les permutations composées d'un cycle d'ordre 3 et d'un d'ordre 2 : (abc)(de), puis les cycles d'ordres 4 : (abcd) et 5 : (abcde).; Les permutations (1 2 3)(4 5) et (1 3 4)(2 5) sont dans la même classe de conjugaison contrairement à la permutation (1 3)(2 5).

Le nombre de classes de conjugaison est donc égal au nombre de « partages » de l'entier $n$ , et si la décomposition d'une permutation contient $k 1$ « 1-cycles » (les points fixes), $k 2$ 2-cycles, … , $k m$ $m$ -cycles, alors le nombre de ses conjuguées vaut^[8] :

{\frac {n!}{1^{k_{1}}k_{1}!\ldots m^{k_{m}}k_{m}!}}.

(On voit apparaître un coefficient multinomial.)

Propriétés issues de l'étude du groupe alterné

Article détaillé : Groupe alterné.

Le résultat fondamental dans l'étude du groupe alterné ${\mathfrak {A}}_{n}$ est que celui-ci est un groupe simple pour n différent de 4.

D'autre part, le groupe dérivé de ${\mathfrak {S}}_{n}$ est ${\mathfrak {A}}_{n}$ ^[9]. Pour n ≥ 5, c'est là le seul sous-groupe distingué propre de ${\mathfrak {S}}_{n}$ .

${\mathfrak {S}}_{n}$ est résoluble si et seulement si n ≤ 4, ce qui a d'importantes conséquences sur la résolubilité par radicaux des équations polynomiales.

Propriétés diverses

Si n > 4, ${\mathfrak {S}}_{n}$ n'a aucun sous-groupe d'indice strictement compris entre 2 et n^[10].
Tout sous-groupe d'indice n de ${\mathfrak {S}}_{n}$ est isomorphe à ${\mathfrak {S}}_{n-1}$ ^[11]. Si n est différent de 6, un tel sous-groupe est forcément le stabilisateur d'un élément de {1, … , n}.
En revanche, ${\mathfrak {S}}_{6}$ possède un sous-groupe d'indice 6 transitif donc sans point fixe^[12].
${\mathfrak {S}}_{n}$ ${\mathfrak {S}}_{n}$ est complet pour tout n différent de 2 et de 6. En effet :
- le centre de ${\mathfrak {S}}_{n}$ est trivial si n ≠ 2 ;
- ${\mathfrak {S}}_{6}$ est le seul groupe symétrique dont le groupe d'automorphismes extérieurs est non trivial^[13] : il est^[14] d'ordre 2.
${\mathfrak {S}}_{n}$ se plonge dans ${\mathfrak {A}}_{n+2}$ , mais pas dans ${\mathfrak {A}}_{n+1}$ si n ≥ 2^[15].

Notes et références

↑ Bertrand Hauchecorne, Biographie des grands théorèmes, Ellipses, 2023, p. 90
↑ R. Goblot, Algèbre linéaire, Paris, 2005, p. 58, utilise la notation S_n. Les auteurs anglo-saxons écrivent en général S_E plutôt que ${\mathfrak {S}}(E)$ et S_n plutôt que ${\mathfrak {S}}_{n}$ .
↑ La preuve standard figure dans « Permutation#Dénombrement des permutations ».
↑ (en) H. S. M. Coxeter et W. O. J. Moser (de), Generators and Relations for Discrete Groups, Springer, 1972 (réimpr. 2013), 3^e éd. (1^re éd. 1957), 164 p. (ISBN 978-3-662-21946-1, lire en ligne), p. 63 (6.22).
↑ Coxeter et Moser 1972, p. 64 (6.28).
↑ Coxeter et Moser 1972, p. 63 (6.21).
↑ Démontré par exemple dans ce paragraphe de la leçon « Théorie des groupes » sur Wikiversité.
↑ (en) William Fulton et Joe Harris, Representation Theory : A First Course [détail des éditions], p. 55, aperçu sur Google Livres.
↑ P. Tauvel, Algèbre, 2^e édition, Paris, Dunod, 2010, p. 70. Voir aussi la dernière démonstration du § Groupe dérivé sur Wikiversité.
↑ (en) G. A. Miller (en), H. F. Blichfeldt (en) et L. E. Dickson, Theory and Applications of Finite Groups, Applewood Books (en), 2012 (1^re éd. 1916) (lire en ligne), p. 166-167.
↑ Démontré par exemple dans cet exercice de la leçon « Théorie des groupes » sur Wikiversité.
↑ Voir par exemple (en) Robert A. Wilson, The Finite Simple Groups, coll. « GTM » (n^o 251), 2009 (lire en ligne), p. 19, ou cet exercice de la leçon « Théorie des groupes » sur Wikiversité.
↑ Voir par exemple Wilson 2009, p. 18-19, ou les exercices corrigés 12 et 13 de cette page de la leçon « Théorie des groupes » sur Wikiversité.
↑ Wilson 2009, p. 19.
↑ (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], p. 23, exercice 2.8.

Voir aussi

Sur les autres projets Wikimedia :

Groupe symétrique, sur Wikiversity

Articles connexes

Bibliographie

Daniel Perrin, Cours d'algèbre [détail des éditions]

Portail de l’algèbre

[1] Bertrand Hauchecorne, Biographie des grands théorèmes, Ellipses, 2023, p. 90

[2] R. Goblot, Algèbre linéaire, Paris, 2005, p. 58, utilise la notation S_n. Les auteurs anglo-saxons écrivent en général S_E plutôt que ${\mathfrak {S}}(E)$ et S_n plutôt que ${\mathfrak {S}}_{n}$ .

[3] La preuve standard figure dans « Permutation#Dénombrement des permutations ».

[4] (en) H. S. M. Coxeter et W. O. J. Moser (de), Generators and Relations for Discrete Groups, Springer, 1972 (réimpr. 2013), 3^e éd. (1^re éd. 1957), 164 p. (ISBN 978-3-662-21946-1, lire en ligne), p. 63 (6.22).

[5] Coxeter et Moser 1972, p. 64 (6.28).

[6] Coxeter et Moser 1972, p. 63 (6.21).

[7] Démontré par exemple dans ce paragraphe de la leçon « Théorie des groupes » sur Wikiversité.

[8] (en) William Fulton et Joe Harris, Representation Theory : A First Course [détail des éditions], p. 55, aperçu sur Google Livres.

[9] P. Tauvel, Algèbre, 2^e édition, Paris, Dunod, 2010, p. 70. Voir aussi la dernière démonstration du § Groupe dérivé sur Wikiversité.

[10] (en) G. A. Miller (en), H. F. Blichfeldt (en) et L. E. Dickson, Theory and Applications of Finite Groups, Applewood Books (en), 2012 (1^re éd. 1916) (lire en ligne), p. 166-167.

[11] Démontré par exemple dans cet exercice de la leçon « Théorie des groupes » sur Wikiversité.

[12] Voir par exemple (en) Robert A. Wilson, The Finite Simple Groups, coll. « GTM » (n^o 251), 2009 (lire en ligne), p. 19, ou cet exercice de la leçon « Théorie des groupes » sur Wikiversité.

[13] Voir par exemple Wilson 2009, p. 18-19, ou les exercices corrigés 12 et 13 de cette page de la leçon « Théorie des groupes » sur Wikiversité.

[14] Wilson 2009, p. 19.

[15] (en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], p. 23, exercice 2.8.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]