ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 4 — Morphismes · Noyau et image

Exercice 13

DémonstrationCalcul

1. Démontrer qu'une application f:ℤ→ℤf : \mathbb{Z} \to \mathbb{Z} est un morphisme de (ℤ ;+)(\mathbb{Z}\,;+) dans lui-même si et seulement s'il existe a∈ℤa \in \mathbb{Z} tel que f(x)=axf(x)=ax pour tout x∈ℤx \in \mathbb{Z}.

(a) Déterminer alors le noyau et l'image d'un tel morphisme.

(b) À quelle condition sur aa ce morphisme est-il un isomorphisme ?

(c) En déduire tous les éléments de Aut(ℤ ;+)\mathrm{Aut}(\mathbb{Z}\,;+).

2. Démontrer qu'une application f:ℤ2→ℤ2f : \mathbb{Z}^{2} \to \mathbb{Z}^{2} est un morphisme de (ℤ2 ;+)(\mathbb{Z}^{2}\,;+) dans lui-même si et seulement s'il existe (a ;b ;c ;d)∈ℤ4(a\,;b\,;c\,;d) \in \mathbb{Z}^{4} tel que : ∀(x ;y)∈ℤ2,f(x ;y)=(ax+cy ; bx+dy)\forall (x\,;y) \in \mathbb{Z}^{2}, \qquad f(x\,;y)=(ax+cy \,;\, bx+dy)

(a) Déterminer le noyau d'un tel morphisme.

(b) Démontrer que ff est injectif si et seulement si ad−bc≠0ad-bc \neq 0.

Corrigé

1. Sens réciproque. Si f(x)=axf(x)=ax, alors f(x+y)=a(x+y)=ax+ay=f(x)+f(y)f(x+y)=a(x+y)=ax+ay=f(x)+f(y).

Sens direct. Supposons ff morphisme et posons a=f(1)a=f(1). La question 1 de l'exercice 4, écrite additivement, donne f(n×1)=n f(1)f(n \times 1)=n\,f(1) pour tout n∈ℤn \in \mathbb{Z}, c'est-à-dire f(n)=anf(n)=an. f est un morphisme de (ℤ ;+)  ⟺  ∃a∈ℤ,  ∀x∈ℤ,  f(x)=ax\boxed{f \text{ est un morphisme de } (\mathbb{Z}\,;+) \iff \exists a \in \mathbb{Z}, \; \forall x \in \mathbb{Z}, \; f(x)=ax}

(a) Le noyau est {x∈ℤ∣ax=0}\{x \in \mathbb{Z} \mid ax=0\} et l'image l'ensemble des multiples de aa. Si a≠0  :  Ker f={0} et Im f=aℤsi a=0  :  Ker f=ℤ et Im f={0}\boxed{\text{Si } a \neq 0 \;:\; \mathrm{Ker}\, f=\{0\} \text{ et } \mathrm{Im}\, f=a\mathbb{Z} \qquad \text{si } a=0 \;:\; \mathrm{Ker}\, f=\mathbb{Z} \text{ et } \mathrm{Im}\, f=\{0\}}

(b) Le morphisme est injectif si et seulement si a≠0a \neq 0, et surjectif si et seulement si aℤ=ℤa\mathbb{Z}=\mathbb{Z}, c'est-à-dire si aa divise 11. f est un isomorphisme si et seulement si a=1 ou a=−1.\boxed{f \text{ est un isomorphisme si et seulement si } a=1 \text{ ou } a=-1.}

(c) Aut(ℤ ;+)={Idℤ  ;  x↦−x}\boxed{\mathrm{Aut}(\mathbb{Z}\,;+)=\big\{\mathrm{Id}_{\mathbb{Z}} \;;\; x \mapsto -x\big\}} C'est donc un groupe à deux éléments, dans lequel chaque élément est son propre symétrique.

2. Sens réciproque. Si f(x ;y)=(ax+cy ; bx+dy)f(x\,;y)=(ax+cy \,;\, bx+dy), un calcul direct sur chaque composante montre que ff est un morphisme.

Sens direct. Supposons ff morphisme, et posons f(1 ;0)=(a ;b)f(1\,;0)=(a\,;b) et f(0 ;1)=(c ;d)f(0\,;1)=(c\,;d). Comme (x ;y)=x (1 ;0)+y (0 ;1)(x\,;y)=x\,(1\,;0)+y\,(0\,;1), la question 1 de l'exercice 4 donne : f(x ;y)=x f(1 ;0)+y f(0 ;1)=(ax ; bx)+(cy ; dy)=(ax+cy ; bx+dy)f(x\,;y)=x\,f(1\,;0)+y\,f(0\,;1)=(ax \,;\, bx)+(cy \,;\, dy)=(ax+cy \,;\, bx+dy)

(a) Ker f={(x ;y)∈ℤ2  ∣  ax+cy=0 et bx+dy=0}\boxed{\mathrm{Ker}\, f=\big\{(x\,;y) \in \mathbb{Z}^{2} \;\big|\; ax+cy=0 \text{ et } bx+dy=0\big\}}

(b) Supposons ad−bc≠0ad-bc \neq 0, et soit (x ;y)∈Ker f(x\,;y) \in \mathrm{Ker}\, f. En combinant les deux équations : d(ax+cy)−c(bx+dy)=(ad−bc) x=0eta(bx+dy)−b(ax+cy)=(ad−bc) y=0d(ax+cy)-c(bx+dy)=(ad-bc)\,x=0 \qquad\text{et}\qquad a(bx+dy)-b(ax+cy)=(ad-bc)\,y=0 Comme ad−bc≠0ad-bc \neq 0, il vient x=y=0x=y=0, donc Ker f={(0 ;0)}\mathrm{Ker}\, f=\{(0\,;0)\} et ff est injectif.

Supposons ad−bc=0ad-bc=0. Si (c ;a)≠(0 ;0)(c\,;a) \neq (0\,;0), le couple non nul (−c ; a)(-c \,;\, a) vérifie : a(−c)+ca=0etb(−c)+da=ad−bc=0a(-c)+ca=0 \qquad\text{et}\qquad b(-c)+da=ad-bc=0 donc appartient au noyau. Si (c ;a)=(0 ;0)(c\,;a)=(0\,;0), on vérifie de même que (−d ; b)(-d \,;\, b) convient ; et si de plus (d ;b)=(0 ;0)(d\,;b)=(0\,;0), alors ff est l'application nulle et Ker f=ℤ2\mathrm{Ker}\, f=\mathbb{Z}^{2}. Dans tous les cas, le noyau n'est pas réduit à {(0 ;0)}\{(0\,;0)\}. f est injectif si et seulement si ad−bc≠0.\boxed{f \text{ est injectif si et seulement si } ad-bc \neq 0.}

Dans l'édifice

Thèmes

morphismes de groupes, isomorphismes, noyau, image, injectivité et surjectivité

Notions

morphisme de groupes, isomorphisme, noyau

Ouvrir dans l'atlas interactif →