ATLAS Ouvrir dans l'atlas →

ExerciceMaster — Théorie de Galois · Chapitre 1 - Groupes

Exercice 3

Calcul

On travaille dans 𝔖n\mathfrak{S}_{n}.

1. Décomposer en produit de cycles à supports disjoints la permutation de 𝔖9\mathfrak{S}_{9} : σ=(123456789357926148)\sigma=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 3 & 5 & 7 & 9 & 2 & 6 & 1 & 4 & 8 \end{pmatrix}

2. En déduire l'ordre de σ\sigma, puis sa signature.

3. Écrire (1 2 3 4)(1\ 2\ 3\ 4) comme produit de transpositions, de deux façons différentes. Que doivent avoir en commun ces deux écritures ?

4. Combien 𝔖4\mathfrak{S}_{4} possède-t-il d'éléments de chaque ordre ? Dresser un tableau.

Corrigé

1. On suit les orbites : 1→3→7→11 \to 3 \to 7 \to 1, puis 2→5→22 \to 5 \to 2, puis 4→9→8→44 \to 9 \to 8 \to 4, et 66 est fixe. σ=(1 3 7)(2 5)(4 9 8)\boxed{\sigma=(1\ 3\ 7)(2\ 5)(4\ 9\ 8)}

2. L'ordre est le PPCM des longueurs, et la signature vaut (−1)∑(ℓi−1)(-1)^{\sum (\ell_{i}-1)} : ordre(σ)=ppcm(3 ;2 ;3)=6ε(σ)=(+1)(−1)(+1)=−1\boxed{\text{ordre}(\sigma)=\mathrm{ppcm}(3\,;2\,;3)=6 \qquad \varepsilon(\sigma)=(+1)(-1)(+1)=-1}

3. Par exemple (1 2 3 4)=(1 4)(1 3)(1 2)=(1 2)(2 3)(3 4)(1\ 2\ 3\ 4)=(1\ 4)(1\ 3)(1\ 2)=(1\ 2)(2\ 3)(3\ 4). Le nombre de facteurs n’est pas deˊtermineˊ, mais sa pariteˊ l’est (theˊoreˋme 1.3).\boxed{\text{Le nombre de facteurs n'est pas déterminé, mais sa \emph{parité} l'est (théorème 1.3).}}

4. On dresse la liste exhaustive des 2424 permutations, regroupées par ordre.

ordreélémentsnombre
11id\mathrm{id}11
22(1 2)(1\ 2), (1 3)(1\ 3), (1 4)(1\ 4), (2 3)(2\ 3), (2 4)(2\ 4), (3 4)(3\ 4)66
22(1 2)(3 4)(1\ 2)(3\ 4), (1 3)(2 4)(1\ 3)(2\ 4), (1 4)(2 3)(1\ 4)(2\ 3)33
33(1 2 3)(1\ 2\ 3), (1 3 2)(1\ 3\ 2), (1 2 4)(1\ 2\ 4), (1 4 2)(1\ 4\ 2) (1 3 4)(1\ 3\ 4), (1 4 3)(1\ 4\ 3), (2 3 4)(2\ 3\ 4), (2 4 3)(2\ 4\ 3)88
44(1 2 3 4)(1\ 2\ 3\ 4), (1 2 4 3)(1\ 2\ 4\ 3), (1 3 2 4)(1\ 3\ 2\ 4) (1 3 4 2)(1\ 3\ 4\ 2), (1 4 2 3)(1\ 4\ 2\ 3), (1 4 3 2)(1\ 4\ 3\ 2)66

Contrôle du dénombrement. Les transpositions sont les (42)=6\binom{4}{2}=6 paires. Une double transposition est déterminée par le partenaire de 11, soit 33 possibilités. Les 33-cycles sont au nombre de (43)×2=8\binom{4}{3} \times 2=8, trois éléments donnés se cyclant de deux façons. Enfin tout 44-cycle s'écrit (1 a b c)(1\ a\ b\ c) en démarrant par 11, soit 3!=63!=6 possibilités. 1+6+3+8+6=24✓\boxed{1+6+3+8+6=24 \quad \checkmark}

Remarque. Les cinq lignes du tableau sont exactement les cinq classes de conjugaison de 𝔖4\mathfrak{S}_{4}, que l'exercice 11 retrouvera par la structure de cycles. L'ordre seul ne les sépare pas : les transpositions et les doubles transpositions sont toutes d'ordre 22 sans être conjuguées.

Dans l'édifice

Thèmes

groupe symétrique

Notions

groupe symétrique

Ouvrir dans l'atlas interactif →