ATLAS Ouvrir dans l'atlas →

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

Exercice 12

DémonstrationCalcul

Soit n⩾2n \geqslant 2 et Φ:𝔖n→ℂ∗\Phi : \mathfrak{S}_{n} \to \mathbb{C}^{*} un morphisme du groupe 𝔖n\mathfrak{S}_{n} dans le groupe (ℂ∗,×)(\mathbb{C}^{*}, \times).

1. On suppose que Φ((1 2))=−1\Phi\big((1\ 2)\big) = -1. Montrer que Φ(τ)=−1\Phi(\tau) = -1 pour toute transposition τ\tau.

2. Déterminer tous les morphismes de groupes de 𝔖n\mathfrak{S}_{n} dans ℂ∗\mathbb{C}^{*}.

Corrigé

1. Soit τ=(a b)\tau = (a\ b) une transposition. Il existe une permutation ρ\rho telle que ρ(1)=a\rho(1) = a et ρ(2)=b\rho(2) = b : on complète par une bijection quelconque de [ ⁣[3 ;n] ⁣][\![3\,;n]\!] sur [ ⁣[1 ;n] ⁣]∖{a,b}[\![1\,;n]\!] \setminus \{a, b\}, ces deux ensembles ayant n−2n - 2 éléments. Par l'exercice 8, τ=ρ(1 2)ρ−1\tau = \rho(1\ 2)\rho^{-1}, et comme Φ\Phi est un morphisme à valeurs dans le groupe commutatif ℂ∗\mathbb{C}^{*}, Φ(τ)=Φ(ρ) Φ((1 2)) Φ(ρ)−1=Φ((1 2)).\Phi(\tau) = \Phi(\rho)\,\Phi\big((1\ 2)\big)\,\Phi(\rho)^{-1} = \Phi\big((1\ 2)\big).

Φ(τ)=Φ((1 2))=−1 pour toute transposition τ\boxed{\Phi(\tau) = \Phi\big((1\ 2)\big) = -1 \text{ pour toute transposition } \tau}

2. Le calcul de la question 1 n'a pas utilisé l'hypothèse Φ((1 2))=−1\Phi\big((1\ 2)\big) = -1 : toutes les transpositions ont la même image λ=Φ((1 2))\lambda = \Phi\big((1\ 2)\big). Comme (1 2)2=id(1\ 2)^{2} = \mathrm{id}, on a λ2=Φ(id)=1\lambda^{2} = \Phi(\mathrm{id}) = 1 (proposition 10 du chapitre 11), donc λ∈{−1,1}\lambda \in \{-1, 1\}. Soit σ=τ1⋯τk\sigma = \tau_{1}\cdots\tau_{k} une écriture de σ\sigma comme produit de transpositions (proposition 3) ; alors Φ(σ)=λk\Phi(\sigma) = \lambda^{k}. Si λ=1\lambda = 1, Φ\Phi est constant égal à 11 ; si λ=−1\lambda = -1, Φ(σ)=(−1)k=ε(σ)\Phi(\sigma) = (-1)^{k} = \varepsilon(\sigma) par la proposition 5 (i). Réciproquement, ces deux applications sont des morphismes, la seconde par le théorème 2. les morphismes de 𝔖n dans ℂ∗ sont σ↦1 et σ↦ε(σ)\boxed{\text{les morphismes de } \mathfrak{S}_{n} \text{ dans } \mathbb{C}^{*} \text{ sont } \sigma \mapsto 1 \text{ et } \sigma \mapsto \varepsilon(\sigma)} À retenir. Un morphisme vers un groupe commutatif prend la même valeur sur deux permutations conjuguées, et toutes les transpositions sont conjuguées entre elles. Bien que ℂ∗\mathbb{C}^{*} soit très grand, 𝔖n\mathfrak{S}_{n} n'y a que deux images possibles, {1}\{1\} et {−1,1}\{-1, 1\} : c'est une autre façon de voir le point (iii) du théorème 2.

Dans l'édifice

Thèmes

groupe symétrique, transpositions

Notions

groupe symétrique, transposition

Ouvrir dans l'atlas interactif →