ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 4 — Morphismes · Propriétés élémentaires et isomorphismes

Exercice 7

Démonstration

Dans chacun des cas suivants, démontrer que les deux groupes sont isomorphes en exhibant un isomorphisme explicite.

1. (ℝ ;+)(\mathbb{R}\,;+) et (ℝ+∗ ;×)(\mathbb{R}_{+}^{*}\,;\times).

2. (ℤ ;+)(\mathbb{Z}\,;+) et (nℤ ;+)(n\mathbb{Z}\,;+), où n∈ℕ∗n \in \mathbb{N}^{*}.

3. (ℝ∖{−1} ;∗)\big(\mathbb{R} \setminus \{-1\} \,;\ast\big), où x∗y=x+y+xyx \ast y = x+y+xy, et (ℝ∗ ;×)(\mathbb{R}^{*}\,;\times).

4. (ℤ ;⊥)(\mathbb{Z} \,;\perp), où x⊥y=x+y−3x \perp y = x+y-3, et (ℤ ;+)(\mathbb{Z}\,;+).

Les deux dernières lois ont été étudiées au chapitre 3, aux exercices 10 et 3.

Corrigé

1. L'exponentielle vérifie ex+y=exey\mathrm{e}^{x+y}=\mathrm{e}^{x}\mathrm{e}^{y} et réalise une bijection de ℝ\mathbb{R} sur ℝ+∗\mathbb{R}_{+}^{*}, de réciproque ln⁡\ln. x↦ex est un isomorphisme de (ℝ ;+) sur (ℝ+∗ ;×).\boxed{x \mapsto \mathrm{e}^{x} \text{ est un isomorphisme de } (\mathbb{R}\,;+) \text{ sur } (\mathbb{R}_{+}^{*}\,;\times).}

2. Posons f:k↦nkf : k \mapsto nk, de ℤ\mathbb{Z} dans nℤn\mathbb{Z}. C'est un morphisme, car n(k+k′)=nk+nk′n(k+k')=nk+nk'. Son noyau est {k∈ℤ∣nk=0}={0}\{k \in \mathbb{Z} \mid nk=0\}=\{0\} puisque n≠0n \neq 0, donc ff est injectif ; et tout élément de nℤn\mathbb{Z} s'écrit nknk par définition, donc ff est surjectif. k↦nk est un isomorphisme de (ℤ ;+) sur (nℤ ;+).\boxed{k \mapsto nk \text{ est un isomorphisme de } (\mathbb{Z}\,;+) \text{ sur } (n\mathbb{Z}\,;+).}

3. Posons φ:x↦1+x\varphi : x \mapsto 1+x. L'identité établie au chapitre 3 donne, pour tous xx et yy de ℝ∖{−1}\mathbb{R} \setminus \{-1\} : φ(x∗y)=1+x+y+xy=(1+x)(1+y)=φ(x)×φ(y)\varphi(x \ast y)=1+x+y+xy=(1+x)(1+y)=\varphi(x) \times \varphi(y) De plus φ\varphi est une bijection de ℝ∖{−1}\mathbb{R} \setminus \{-1\} sur ℝ∗\mathbb{R}^{*}, de réciproque t↦t−1t \mapsto t-1. φ est un isomorphisme de (ℝ∖{−1} ;∗) sur (ℝ∗ ;×).\boxed{\varphi \text{ est un isomorphisme de } \big(\mathbb{R} \setminus \{-1\}\,;\ast\big) \text{ sur } (\mathbb{R}^{*}\,;\times).}

4. Posons ψ:x↦x−3\psi : x \mapsto x-3. Pour tous entiers xx et yy : ψ(x⊥y)=(x+y−3)−3=(x−3)+(y−3)=ψ(x)+ψ(y)\psi(x \perp y)=(x+y-3)-3=(x-3)+(y-3)=\psi(x)+\psi(y) et ψ\psi est bijective de ℤ\mathbb{Z} sur ℤ\mathbb{Z}, de réciproque t↦t+3t \mapsto t+3. ψ est un isomorphisme de (ℤ ;⊥) sur (ℤ ;+).\boxed{\psi \text{ est un isomorphisme de } (\mathbb{Z}\,;\perp) \text{ sur } (\mathbb{Z}\,;+).} Les questions 3 et 4 confirment ce que le chapitre 3 laissait pressentir : ces lois inhabituelles ne sont que des lois connues, transportées par un changement de nom des éléments.

Dans l'édifice

Thèmes

morphismes de groupes, isomorphismes

Notions

morphisme de groupes, isomorphisme

Ouvrir dans l'atlas interactif →