Signature d'une permutation

Modèle:Voir homonymes En mathématiques, une permutation de support fini est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation vaut 1 si celle-ci est paire, –1 si elle est impaire.

L'application signature, du groupe symétrique ${𝔖}_n$ dans le groupe ({–1, 1}, ×), est un morphisme, c'est-à-dire qu'elle vérifie une propriété analogue à la règle des signes.

Toute permutation se décompose en un produit de transpositions. Une transposition étant impaire, il vient de cette règle des signes que la parité du nombre de transpositions d'une telle décomposition coïncide avec la parité de la permutation (et ne dépend donc pas de la décomposition choisie).

Tout morphisme de ${𝔖}_n$ dans un groupe abélien se factorise par le morphisme signature.

La signature intervient notamment en algèbre linéaire, dans la formule de Leibniz qui est une façon de définir le déterminant d'une matrice carrée.

Définition de la signature

Nous définissons dans cet article la parité d'une permutation par le comptage de ses Modèle:Lien.

Définition

Soient i < j deux entiers compris entre 1 et n. On dit que la paire {i, j} est en inversion pour Modèle:Mvar si Modèle:Math.

Une permutation est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation paire est 1 ; celle d'une permutation impaire est –1.

Autrement dit, la signature d'une permutation Modèle:Mvar, notée dans la suite de cet article Modèle:Math, vérifie si l'on note Modèle:Math la fonction signe :

$\epsilon (\sigma )=\prod _{1\le i<j\le n}\mathrm{sgn}(\sigma (j)-\sigma (i))$.

Exemples

1. Considérons la permutationModèle:Retraitqui fixe 1 et 4 et envoie 2 sur 3, 3 sur 5 et 5 sur 2.
   Compter le nombre d'inversions revient à compter le nombre de désordres dans la seconde ligne. On en dénombre quatre : 3 est avant 2, 5 avant 4, 5 avant 2, et 4 avant 2. Cela signifie que les paires formées de leurs antécédents sont, selon la définition, des inversions, soit les paires {2,5}, {3,4}, {3,5}, {4,5}.
   Puisqu'il y en a quatre, Modèle:Mvar est paire et Modèle:Math.
2. Considérons le k-cycleModèle:Retraitqui envoie 1 sur 2, 2 sur 3, … , k – 1 sur k, k sur 1 et qui fixe tous les autres entiers.
   Ses paires en inversion sont {i, k}, pour i < k.
   Il y en a k – 1 donc Modèle:Math, et Modèle:Mvar est paire si et seulement si k est impair.

Une formule pour la signature

Une permutation $\sigma \in {𝔖}_n$ a pour signature :

$\epsilon (\sigma )=\prod _{1\le i<j\le n}\frac{\sigma (j)-\sigma (i)}{j-i}=\prod _{\{i,j\}\in 𝒫}\frac{\sigma (j)-\sigma (i)}{j-i}$,

où $𝒫=\{\{i,j\}\mid 1\le i\le n\text{ et }1\le j\le n\text{ et }i\ne j\}$ désigne l'ensemble des paires d'entiers distincts compris entre Modèle:Math et Modèle:Mvar (par définition d'une paire, $\{i,j\}=\{j,i\}$).

Signature d'un produit

Les permutations vérifient une règle des signes pour le produit :

• le produit de deux permutations paires est pair ;
• le produit de deux permutations impaires est pair ;
• le produit d'une permutation paire et d'une impaire est impair.

En utilisant la signature, cela se résume par la formule :

$\epsilon ({\sigma }_1\circ {\sigma }_2)=\epsilon ({\sigma }_1)\epsilon ({\sigma }_2)$.

En termes algébriques : la signature est un morphisme du groupe symétrique ${𝔖}_n$ dans le groupe à deux éléments ({–1, 1}, ×).

En particulier, toute permutation conjuguée de σ a même signature que σ (car $\epsilon (\rho \sigma {\rho }^{-1})=\epsilon (\rho )\epsilon (\sigma )\epsilon (\rho {)}^{-1}=\epsilon (\sigma )$).

Une transposition est impaire

D'après la dernière propriété ci-dessus et le fait que deux cycles de même longueur sont conjugués, il suffit de le vérifier pour un seul cycle par longueur, ce qui a été fait dans l'exemple 2 ci-dessus.

Calcul d'une signature

D'après les deux sections précédentes et la décomposition en produit de transpositions, il vient que toute permutation $\sigma$ est soit paire, soit impaire, avec :

• $\sigma$ est paire (autrement dit : $\epsilon (\sigma )=+1$) si et seulement si elle est décomposable en un nombre pair de transpositions ;
• $\sigma$ est impaire (autrement dit : $\epsilon (\sigma )=-1$) si et seulement si elle est décomposable en un nombre impair de transpositions.

Cela permet de déterminer la parité (ou la signature) d'une permutation plus efficacement que par un simple comptage des inversions ; en effet, pour une permutation de ${𝔖}_n$, une telle décomposition demande au plus Modèle:Math opérations, contre [[Paire#Autres propriétés|Modèle:Math]] si l'on applique directement la définition Modèle:Supra.

Exemples

• L'identité de {1, … , n} est paire.
• La permutation inverse de σ a même parité que σ.
• Une permutation circulaire est paire si et seulement si son support contient un nombre impair d'éléments Modèle:Supra.

Cette dernière observation permet de calculer la signature d'une permutation décomposée en cycles. La signature d'une permutation $\sigma$ de ${𝔖}_n$ vaut $(-1{)}^{n-m}=(-1{)}^p$, où Modèle:Math est le nombre de cycles de la décomposition (en comptant les points fixes comme cycles de longueur 1) dans $\sigma$ et Modèle:Math le nombre de cycles de longueur paire dans cette même décomposition.

Morphisme

${𝔖}_1$ étant le groupe trivial, supposons $n\ge 2$.

D'après la formule pour un produit et l'imparité des transpositions, la signature est alors un morphisme surjectif de ${𝔖}_n$ dans ({–1, 1}, ×), et son noyau est le groupe alterné ${𝔄}_n$ des permutations paires.

Ce sous-groupe ${𝔄}_n$ étant le groupe dérivé de ${𝔖}_n$, la signature est donc une réalisation du morphisme canonique de ${𝔖}_n$ dans son abélianisé, le groupe quotient ${𝔖}_n/{𝔄}_n\simeq (\{-1,1\},\times )$. Cela signifie que tout morphisme f de ${𝔖}_n$ dans un groupe abélien se factorise par ε, ou encore : si l'image de f n'est pas le groupe trivial alors c'est un groupe d'ordre 2 et f coïncide, via l'unique isomorphisme entre ce groupe et ({–1, 1}, ×), avec ε.