ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 11 — Structures algébriques usuelles · Groupes

Exercice 28

Démonstration

Montrer que l'application z↦(z∣z∣,∣z∣)z \mapsto \Big(\dfrac{z}{|z|}, |z|\Big) est un isomorphisme du groupe (ℂ∗,×)(\mathbb{C}^{*}, \times) sur le groupe produit 𝕌×ℝ+∗\mathbb{U} \times \mathbb{R}_{+}^{*}. En déduire que (ℂ∗,×)(\mathbb{C}^{*}, \times) est isomorphe au groupe produit 𝕌×ℝ\mathbb{U} \times \mathbb{R}, où ℝ\mathbb{R} est muni de l'addition. Quelle écriture des nombres complexes non nuls cet isomorphisme traduit-il ?

Corrigé

Pour z∈ℂ∗z \in \mathbb{C}^{*}, on pose f(z)=(z∣z∣,∣z∣)f(z) = \big(\frac{z}{|z|}, |z|\big), qui appartient à 𝕌×ℝ+∗\mathbb{U} \times \mathbb{R}_{+}^{*}. Comme le module est multiplicatif, f(zw)=(z∣z∣⋅w∣w∣, ∣z∣ ∣w∣)=f(z)f(w)f(zw) = \Big(\frac{z}{|z|} \cdot \frac{w}{|w|}, \ |z|\,|w|\Big) = f(z) f(w) pour la loi du groupe produit (proposition 6). L'application (u,r)↦ru(u, r) \mapsto ru est la réciproque de ff, puisque ru∣ru∣=u\frac{ru}{|ru|} = u et ∣ru∣=r|ru| = r. Ainsi ff est un isomorphisme. L'exponentielle est un isomorphisme de (ℝ,+)(\mathbb{R}, +) sur (ℝ+∗,×)(\mathbb{R}_{+}^{*}, \times) ; en le combinant avec l'identité de 𝕌\mathbb{U}, on obtient un isomorphisme de 𝕌×ℝ\mathbb{U} \times \mathbb{R} sur 𝕌×ℝ+∗\mathbb{U} \times \mathbb{R}_{+}^{*}, et par composition (proposition 11), (ℂ∗,×)≃𝕌×ℝ+∗≃𝕌×(ℝ,+),z=∣z∣ z∣z∣=eln⁡∣z∣eiθ\boxed{(\mathbb{C}^{*}, \times) \simeq \mathbb{U} \times \mathbb{R}_{+}^{*} \simeq \mathbb{U} \times (\mathbb{R}, +), \qquad z = |z|\,\frac{z}{|z|} = \mathrm{e}^{\ln|z|}\mathrm{e}^{\mathrm{i}\theta}} C'est l'écriture trigonométrique z=reiθz = r\mathrm{e}^{\mathrm{i}\theta} du chapitre 4 : le produit de deux nombres complexes multiplie les modules et ajoute les arguments.

Dans l'édifice

Thèmes

groupes, morphismes, isomorphismes

Notions

groupe, morphisme de groupes, isomorphisme

Ouvrir dans l'atlas interactif →