ATLAS Ouvrir dans l'atlas →

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

Exercice 1

Calcul

Décomposer en produit de cycles à supports disjoints, puis calculer la signature des permutations suivantes de 𝔖9\mathfrak{S}_{9} : σ1=(123456789549628713),σ2=(123456789791634582),\sigma_{1} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 5 & 4 & 9 & 6 & 2 & 8 & 7 & 1 & 3 \end{pmatrix}, \qquad \sigma_{2} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 7 & 9 & 1 & 6 & 3 & 4 & 5 & 8 & 2 \end{pmatrix},

σ3=(123456789176835492),σ4=(123456789215436798).\sigma_{3} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 1 & 7 & 6 & 8 & 3 & 5 & 4 & 9 & 2 \end{pmatrix}, \qquad \sigma_{4} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 2 & 1 & 5 & 4 & 3 & 6 & 7 & 9 & 8 \end{pmatrix}.
Corrigé

On applique la méthode du cours : on part du plus petit élément non fixé, on suit ses images successives jusqu'à revenir à lui, puis on recommence avec le plus petit élément non encore rencontré. Pour σ1\sigma_{1}, on lit 1↦5↦2↦4↦6↦8↦11 \mapsto 5 \mapsto 2 \mapsto 4 \mapsto 6 \mapsto 8 \mapsto 1, puis 3↦9↦33 \mapsto 9 \mapsto 3, et 77 est fixe. Les trois autres se traitent de même. La signature s'obtient alors par la proposition 5 (ii) : un cycle de longueur pp contribue par (−1)p−1(-1)^{p - 1}. σ1=(1 5 2 4 6 8)(3 9),ε(σ1)=1σ2=(1 7 5 3)(2 9)(4 6),ε(σ2)=−1\boxed{\sigma_{1} = (1\ 5\ 2\ 4\ 6\ 8)(3\ 9), \quad \varepsilon(\sigma_{1}) = 1} \qquad \boxed{\sigma_{2} = (1\ 7\ 5\ 3)(2\ 9)(4\ 6), \quad \varepsilon(\sigma_{2}) = -1}

σ3=(2 7 4 8 9)(3 6 5),ε(σ3)=1σ4=(1 2)(3 5)(8 9),ε(σ4)=−1\boxed{\sigma_{3} = (2\ 7\ 4\ 8\ 9)(3\ 6\ 5), \quad \varepsilon(\sigma_{3}) = 1} \qquad \boxed{\sigma_{4} = (1\ 2)(3\ 5)(8\ 9), \quad \varepsilon(\sigma_{4}) = -1} Ainsi ε(σ1)=(−1)5(−1)1\varepsilon(\sigma_{1}) = (-1)^{5}(-1)^{1}, ε(σ2)=(−1)3(−1)(−1)\varepsilon(\sigma_{2}) = (-1)^{3}(-1)(-1), ε(σ3)=(−1)4(−1)2\varepsilon(\sigma_{3}) = (-1)^{4}(-1)^{2} et ε(σ4)=(−1)3\varepsilon(\sigma_{4}) = (-1)^{3}. Le comptage des inversions, plus long, donne respectivement 2222, 2121, 1818 et 55 inversions, et confirme les quatre signatures ✓. Les décompositions donnent aussi l'ordre de chaque permutation, qui est le ppcm des longueurs des cycles (exercice 7) : 66, 44, 1515 et 22.

Piège. L'erreur la plus répandue est d'attribuer à un cycle de longueur pp la signature (−1)p(-1)^{p} : le cycle (3 6 5)(3\ 6\ 5) de σ3\sigma_{3} est pair, puisqu'il s'écrit avec deux transpositions.

Dans l'édifice

Thèmes

groupe symétrique, cycles, signature

Notions

groupe symétrique, signature (permutation)

Ouvrir dans l'atlas interactif →