ATLAS Ouvrir dans l'atlas →

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

Exercice 6

DémonstrationCalcul

1. Soit n⩾1n \geqslant 1. Démontrer que Aut(ℤ/nℤ)\mathrm{Aut}\big(\mathbb{Z}/n\mathbb{Z}\big) est isomorphe au groupe multiplicatif (ℤ/nℤ)∗\big(\mathbb{Z}/n\mathbb{Z}\big)^{*}, et que son ordre vaut φ(n)\varphi(n).

2. Expliciter Aut(ℤ/8ℤ)\mathrm{Aut}\big(\mathbb{Z}/8\mathbb{Z}\big) et Aut(ℤ/7ℤ)\mathrm{Aut}\big(\mathbb{Z}/7\mathbb{Z}\big), et préciser leur structure.

3. Déterminer tous les sous-groupes de 𝔖4\mathfrak{S}_{4} d'ordre 44. Combien y en a-t-il, et lesquels sont isomorphes entre eux ?

Corrigé

1. Un endomorphisme ff de ℤ/nℤ\mathbb{Z}/n\mathbb{Z} est déterminé par f(1‾)=a‾f(\overline{1})=\overline{a}, et ff est bijectif si et seulement si a‾\overline{a} engendre, c'est-à-dire pgcd(a ;n)=1\mathrm{pgcd}(a\,;n)=1. L'application f↦a‾f \mapsto \overline{a} est un morphisme multiplicatif : Aut(ℤ/nℤ)≃(ℤ/nℤ)∗, d’ordre φ(n).\boxed{\mathrm{Aut}\big(\mathbb{Z}/n\mathbb{Z}\big) \simeq \big(\mathbb{Z}/n\mathbb{Z}\big)^{*}, \text{ d'ordre } \varphi(n).}

2. (ℤ/8ℤ)∗={1‾;3‾;5‾;7‾}\big(\mathbb{Z}/8\mathbb{Z}\big)^{*}=\{\overline{1};\overline{3};\overline{5};\overline{7}\}, et 32=52=72=13^{2}=5^{2}=7^{2}=1 modulo 88 : tous les éléments non triviaux sont d'ordre 22. Aut(ℤ/8ℤ)≃(ℤ/2ℤ)2Aut(ℤ/7ℤ)≃ℤ/6ℤ, engendreˊ par 3‾.\boxed{\mathrm{Aut}\big(\mathbb{Z}/8\mathbb{Z}\big) \simeq (\mathbb{Z}/2\mathbb{Z})^{2} \qquad \mathrm{Aut}\big(\mathbb{Z}/7\mathbb{Z}\big) \simeq \mathbb{Z}/6\mathbb{Z}, \text{ engendré par } \overline{3}.}

3. Un sous-groupe d'ordre 44 est cyclique — engendré par un 44-cycle, et il y en a trois — ou de type Klein. Les Klein sont : le groupe V={id ;(1 2)(3 4) ;(1 3)(2 4) ;(1 4)(2 3)}V=\{\mathrm{id}\,;(1\,2)(3\,4)\,;(1\,3)(2\,4)\,;(1\,4)(2\,3)\}, et les trois groupes {id ;(a b) ;(c d) ;(a b)(c d)}\{\mathrm{id}\,;(a\ b)\,;(c\ d)\,;(a\ b)(c\ d)\}. Sept sous-groupes d’ordre 4: trois cycliques et quatre de type Klein.\boxed{\text{Sept sous-groupes d'ordre } 4 : \text{ trois cycliques et quatre de type Klein.}}

Dans l'édifice

Thèmes

groupes, sous-groupes, morphismes de groupes

Ouvrir dans l'atlas interactif →