ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Le groupe symétrique

Exercice 5

Calcul

1. Calculer la signature de la permutation de 𝔖n\mathfrak{S}_{n} (123⋯n−1nn12⋯n−2n−1).\begin{pmatrix} 1 & 2 & 3 & \cdots & n - 1 & n \\ n & 1 & 2 & \cdots & n - 2 & n - 1 \end{pmatrix}.

2. Calculer les signatures des permutations de 𝔖2n\mathfrak{S}_{2n} suivantes : (1234⋯2n−12n2143⋯2n2n−1),\begin{pmatrix} 1 & 2 & 3 & 4 & \cdots & 2n - 1 & 2n \\ 2 & 1 & 4 & 3 & \cdots & 2n & 2n - 1 \end{pmatrix},

(12⋯nn+1n+2⋯2n13⋯2n−124⋯2n).\begin{pmatrix} 1 & 2 & \cdots & n & n + 1 & n + 2 & \cdots & 2n \\ 1 & 3 & \cdots & 2n - 1 & 2 & 4 & \cdots & 2n \end{pmatrix}. Pour la seconde, on pourra compter les inversions.

Corrigé

1. La permutation envoie 11 sur nn et kk sur k−1k - 1 pour k⩾2k \geqslant 2. En suivant les images de 11, on obtient 1↦n↦n−1↦⋯↦2↦11 \mapsto n \mapsto n - 1 \mapsto \cdots \mapsto 2 \mapsto 1 : c'est un cycle de longueur nn. ε=(−1)n−1\boxed{\varepsilon = (-1)^{n - 1}} Le comptage des inversions le confirme : les couples (1,j)(1, j), avec j⩾2j \geqslant 2, sont des inversions, puisque l'image de 11 est nn, et ce sont les seules, car la suite des images 1,2,…,n−11, 2, \dots, n - 1 des éléments 22, …, nn est croissante. Il y a n−1n - 1 inversions ✓.

2. La première permutation échange 2k−12k - 1 et 2k2k pour chaque k∈[ ⁣[1 ;n] ⁣]k \in [\![1\,;n]\!] : c'est le produit des nn transpositions (2k−1  2k)(2k - 1\ \ 2k). ε((1 2)(3 4)⋯(2n−1  2n))=(−1)n\boxed{\varepsilon\big((1\ 2)(3\ 4)\cdots(2n - 1\ \ 2n)\big) = (-1)^{n}} Pour la seconde, notée σ\sigma, on a σ(i)=2i−1\sigma(i) = 2i - 1 et σ(n+k)=2k\sigma(n + k) = 2k pour ii, k∈[ ⁣[1 ;n] ⁣]k \in [\![1\,;n]\!]. Deux éléments d'une même moitié ne forment pas d'inversion, puisque σ\sigma est croissante sur [ ⁣[1 ;n] ⁣][\![1\,;n]\!] et sur [ ⁣[n+1 ;2n] ⁣][\![n + 1\,;2n]\!]. Pour i⩽ni \leqslant n et j=n+kj = n + k, le couple (i,j)(i, j) est une inversion si et seulement si 2i−1>2k2i - 1 > 2k, c'est-à-dire i⩾k+1i \geqslant k + 1 : il y a n−kn - k tels indices ii. Au total, Inv⁡(σ)=∑k=1n(n−k)=n(n−1)2,d’ouˋε(σ)=(−1)n(n−1)/2\operatorname{Inv}(\sigma) = \sum_{k = 1}^{n} (n - k) = \frac{n(n - 1)}{2}, \qquad\text{d'où}\qquad \boxed{\varepsilon(\sigma) = (-1)^{n(n - 1)/2}} Pour n=2n = 2, la permutation (12341324)\begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix} est la transposition (2 3)(2\ 3), de signature −1=(−1)1-1 = (-1)^{1} ✓.

À retenir. Pour une famille de permutations dépendant de nn, on choisit la méthode selon la forme : une décomposition en cycles évidente donne la signature immédiatement, sinon on compte les inversions par paquets, ici selon l'élément jj de la seconde moitié.

Dans l'édifice

Thèmes

groupe symétrique, signature

Notions

groupe symétrique, signature (permutation)

Ouvrir dans l'atlas interactif →