Groupe symétrique

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. On le note \mathfrak{S}(E) (ce caractère est un S).

Un cas particulier courant est le cas où E est l'ensemble fini \{1, 2, \ldots, n\}, n étant un entier naturel strictement positif ; on note alors \mathfrak{S}_n 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 d'ordre n.

Maintenant, si E \, est un ensemble à n éléments, alors on sait que \mathfrak{S}_n est isomorphe à \mathfrak{S}(E). En conséquence, il suffit de connaitre 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.


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

Propriétés

Le groupe \mathfrak{S}_n est d'ordre n! (! étant l'opérateur factorielle).

Une transposition est une permutation qui échange deux éléments et laissent les autres inchangés. Toute permutation peut être écrite sous la forme de produit de transpositions. Ce produit n'est pas unique, mais le nombre de transpositions nécessaire pour représenter une permutation est toujours soit pair, soit impair. On parle alors de permutation paire ou impaire et on définit la signature d'une permutation σ :

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

Avec cette définition, l'application \operatorname{sgn}: \mathfrak{S}_n\to \{+1, -1\} est un homomorphisme de groupe ({ + 1, − 1} muni de la multiplication est un groupe). Le noyau de cet homomorphisme, c’est-à-dire l'ensemble des permutations paires, est appelé le groupe alterné d'ordre n, noté \mathfrak{A}_n (ce caractère est un A).

\mathfrak{A}_n est un sous-groupe distingué de \mathfrak{S}_n et possède {n!\over 2} éléments.

Les groupes de tresses sont une généralisation des groupes symétriques.

See also: Groupe symétrique, Algèbre, Bijection, Composition d'applications, Ensemble, Entier naturel, Factorielle, Fonction (mathématiques), Groupe (mathématiques), Homomorphisme de groupe