ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 11 — Structures algébriques usuelles · Anneaux et corps

Exercice 38

DémonstrationCalcul

Un anneau non commutatif. Soit (G,+)(G, +) un groupe abélien, et End(G)\mathrm{End}(G) l'ensemble de ses endomorphismes. Pour ff et gg dans End(G)\mathrm{End}(G), on note f+gf + g l'application x↦f(x)+g(x)x \mapsto f(x) + g(x).

1. Montrer que (End(G),+,∘)(\mathrm{End}(G), +, \circ) est un anneau, dont on précisera le zéro et l'unité. Où sert l'hypothèse que GG est abélien ?

2. On prend G=(ℤ2,+)G = (\mathbb{Z}^{2}, +), et l'on considère les endomorphismes s:(a,b)↦(b,a)s : (a, b) \mapsto (b, a), p:(a,b)↦(a,0)p : (a, b) \mapsto (a, 0) et h:(a,b)↦(0,a)h : (a, b) \mapsto (0, a). Calculer s∘ps \circ p, p∘sp \circ s et h∘hh \circ h. Que peut-on en conclure sur l'anneau End(ℤ2)\mathrm{End}(\mathbb{Z}^{2}) ?

3. À l'aide de l'exercice 25, montrer que l'anneau End(ℤ)\mathrm{End}(\mathbb{Z}) est isomorphe à l'anneau ℤ\mathbb{Z}.

Le chapitre 16 retrouvera l'anneau End(ℤ2)\mathrm{End}(\mathbb{Z}^{2}) sous la forme d'un anneau de matrices.

Corrigé

1. Si ff et gg sont des endomorphismes, alors, pour xx et yy dans GG, (f+g)(x+y)=f(x)+f(y)+g(x)+g(y)=(f+g)(x)+(f+g)(y),(f + g)(x + y) = f(x) + f(y) + g(x) + g(y) = (f + g)(x) + (f + g)(y), où l'on a échangé f(y)f(y) et g(x)g(x) : c'est là que sert la commutativité de GG. Ainsi f+g∈End(G)f + g \in \mathrm{End}(G), et (End(G),+)(\mathrm{End}(G), +) est un groupe abélien, de zéro l'application nulle et d'opposé −f:x↦−f(x)-f : x \mapsto -f(x), chaque propriété se vérifiant point par point dans GG. La composée de deux endomorphismes en est un (proposition 11), la composition est associative, d'unité idG\mathrm{id}_{G}. Enfin, pour tout xx, (f∘(g+h))(x)=f(g(x)+h(x))=f(g(x))+f(h(x)),((g+h)∘f)(x)=g(f(x))+h(f(x)),\big(f \circ (g + h)\big)(x) = f\big(g(x) + h(x)\big) = f(g(x)) + f(h(x)), \qquad \big((g + h) \circ f\big)(x) = g(f(x)) + h(f(x)), la première égalité utilisant que ff est un morphisme. (End(G),+,∘) est un anneau, de zeˊro 0 et d’uniteˊ idG\boxed{(\mathrm{End}(G), +, \circ) \text{ est un anneau, de zéro } 0 \text{ et d'unité } \mathrm{id}_{G}}

2. On évalue en (a,b)(a, b) : (s∘p)(a,b)=s(a,0)=(0,a),(p∘s)(a,b)=p(b,a)=(b,0),(h∘h)(a,b)=h(0,a)=(0,0).(s \circ p)(a, b) = s(a, 0) = (0, a), \qquad (p \circ s)(a, b) = p(b, a) = (b, 0), \qquad (h \circ h)(a, b) = h(0, a) = (0, 0).

s∘p≠p∘s,h∘h=0 avec h≠0\boxed{s \circ p \neq p \circ s, \qquad h \circ h = 0 \text{ avec } h \neq 0} L'anneau End(ℤ2)\mathrm{End}(\mathbb{Z}^{2}) n'est pas commutatif, et il n'est pas intègre : hh est un diviseur de zéro.

3. D'après l'exercice 25, tout endomorphisme de ℤ\mathbb{Z} s'écrit n↦knn \mapsto kn, avec k=f(1)k = f(1). L'application Φ:f↦f(1)\Phi : f \mapsto f(1) est donc une bijection de End(ℤ)\mathrm{End}(\mathbb{Z}) sur ℤ\mathbb{Z}. Elle vérifie Φ(f+g)=f(1)+g(1)\Phi(f + g) = f(1) + g(1), Φ(id)=1\Phi(\mathrm{id}) = 1, et Φ(f∘g)=f(g(1))=f(1)g(1)\Phi(f \circ g) = f(g(1)) = f(1)g(1), puisque f(n)=f(1)nf(n) = f(1)n. End(ℤ)≃ℤ comme anneaux\boxed{\mathrm{End}(\mathbb{Z}) \simeq \mathbb{Z} \text{ comme anneaux}}

Dans l'édifice

Thèmes

anneaux et corps, morphismes, isomorphismes, groupes abéliens, anneaux

Notions

anneau, morphisme de groupes, isomorphisme, groupe abélien

Ouvrir dans l'atlas interactif →