ATLAS Ouvrir dans l'atlas →

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

Exercice 1

DémonstrationCalcul

1. Les ensembles suivants, munis de la loi indiquée, sont-ils des groupes ? Justifier.

(a) (ℕ ;+)(\mathbb{N} \,;+)

(b) (ℤ ;×)(\mathbb{Z} \,;\times)

(c) (ℚ∗ ;×)\big(\mathbb{Q}^{*} \,;\times\big)

(d) l'ensemble des racines nn-ièmes de l'unité, pour ×\times

(e) (ℤ/6ℤ ;+)\big(\mathbb{Z}/6\mathbb{Z} \,;+\big)

(f) (ℤ/6ℤ∖{0} ;×)\big(\mathbb{Z}/6\mathbb{Z} \setminus \{0\} \,;\times\big)

2. Déterminer l'ordre de chacun des éléments de ℤ/12ℤ\mathbb{Z}/12\mathbb{Z}.

3. Déterminer l'ordre des permutations suivantes de 𝔖5\mathfrak{S}_{5} : (1 2 3)(1 2)(3 4)(1 2 3 4 5)(1 2 3)(4 5)(1\ 2\ 3) \qquad (1\ 2)(3\ 4) \qquad (1\ 2\ 3\ 4\ 5) \qquad (1\ 2\ 3)(4\ 5)

Corrigé

1. (a) Non : aucun élément non nul n'a de symétrique. (b) Non : 22 n'est pas inversible. (c) Oui. (d) Oui : μn\mu_{n} est stable par produit et par inverse. (e) Oui. (f) Non : 2×3=02 \times 3=0, donc la loi n'est même pas interne, et 22 n'est pas inversible. Seuls ℚ∗,  μn et ℤ/6ℤ sont des groupes.\boxed{\text{Seuls } \mathbb{Q}^{*}, \; \mu_{n} \text{ et } \mathbb{Z}/6\mathbb{Z} \text{ sont des groupes.}}

2. L'ordre de k‾\overline{k} dans ℤ/12ℤ\mathbb{Z}/12\mathbb{Z} vaut 12pgcd(k ;12)\dfrac{12}{\mathrm{pgcd}(k\,;12)} :

k01234567891011ordre1126431221234612\begin{array}{|c||c|c|c|c|c|c|c|c|c|c|c|c|} \hline k & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ \hline \text{ordre} & 1 & 12 & 6 & 4 & 3 & 12 & 2 & 12 & 3 & 4 & 6 & 12 \\ \hline \end{array}

Les générateurs sont les k‾\overline{k} avec pgcd(k ;12)=1\mathrm{pgcd}(k\,;12)=1, au nombre de φ(12)=4\varphi(12)=4.

3. L'ordre d'un cycle est sa longueur, et deux cycles à supports disjoints commutent, donc l'ordre d'un produit de tels cycles est le PPCM de leurs longueurs : 325ppcm(3 ;2)=6\boxed{3 \qquad 2 \qquad 5 \qquad \mathrm{ppcm}(3\,;2)=6}

Dans l'édifice

Thèmes

groupes, groupe symétrique

Notions

groupe symétrique

Ouvrir dans l'atlas interactif →