ATLAS Ouvrir dans l'atlas →

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

Exercice 39

Démonstration

Éléments nilpotents. Un élément xx d'un anneau AA est dit nilpotent s'il existe n∈ℕ∗n \in \mathbb{N}^{*} tel que xn=0x^{n} = 0.

1. Montrer que, dans un anneau intègre, le seul élément nilpotent est 00. Donner un élément nilpotent non nul dans l'anneau de l'exercice 37, puis dans celui de l'exercice 38.

2. Soit xx et yy deux éléments de AA tels que xyxy soit nilpotent. Montrer que yxyx est nilpotent.

3. Soit xx et yy deux éléments nilpotents qui commutent. Montrer que xyxy et x+yx + y sont nilpotents.

4. Dans l'anneau End(ℤ2)\mathrm{End}(\mathbb{Z}^{2}), on considère h:(a,b)↦(0,a)h : (a, b) \mapsto (0, a) et k:(a,b)↦(b,0)k : (a, b) \mapsto (b, 0). Montrer que hh et kk sont nilpotents, mais que ni h+kh + k ni h∘kh \circ k ne le sont. Quelle hypothèse de la question 3 fait défaut ?

5. Soit xx nilpotent, avec xn=0x^{n} = 0. Montrer que 1−x1 - x est inversible, et donner son inverse.

Corrigé

1. Dans un anneau intègre, si xn=0x^{n} = 0 avec nn minimal, et si n⩾2n \geqslant 2, alors x⋅xn−1=0x \cdot x^{n-1} = 0 avec xn−1≠0x^{n-1} \neq 0, donc x=0x = 0 ; si n=1n = 1, x=0x = 0 directement. L'élément ε\varepsilon de l'exercice 37 et l'endomorphisme hh de l'exercice 38 sont nilpotents et non nuls.

2. Si (xy)n=0(xy)^{n} = 0, alors (yx)n+1=y(xy)nx=0(yx)^{n+1} = y(xy)^{n}x = 0. yx est nilpotent\boxed{yx \text{ est nilpotent}}

3. Soit xn=0x^{n} = 0 et ym=0y^{m} = 0. Comme xx et yy commutent, (xy)n=xnyn=0(xy)^{n} = x^{n}y^{n} = 0. Par le théorème 3, (x+y)n+m−1=∑k=0n+m−1(n+m−1k)xkyn+m−1−k,(x + y)^{n + m - 1} = \sum_{k=0}^{n + m - 1} \binom{n + m - 1}{k}x^{k}y^{n + m - 1 - k}, et chaque terme est nul : si k<nk < n, alors n+m−1−k⩾mn + m - 1 - k \geqslant m et yn+m−1−k=0y^{n + m - 1 - k} = 0. xy et x+y sont nilpotents\boxed{xy \text{ et } x + y \text{ sont nilpotents}}

4. On a h2=0h^{2} = 0 (exercice 38) et k2(a,b)=k(b,0)=(0,0)k^{2}(a, b) = k(b, 0) = (0, 0). Mais (h+k)(a,b)=(b,a)(h + k)(a, b) = (b, a) : c'est l'échange ss, qui vérifie s2=ids^{2} = \mathrm{id}, donc ses puissances valent id\mathrm{id} ou ss et ne sont jamais nulles. De même, (h∘k)(a,b)=h(b,0)=(0,b)(h \circ k)(a, b) = h(b, 0) = (0, b) : c'est un élément qq tel que q2=q≠0q^{2} = q \neq 0, donc qn=q≠0q^{n} = q \neq 0 pour tout nn. h,k nilpotents,h+k et h∘k non nilpotents\boxed{h, k \text{ nilpotents}, \quad h + k \text{ et } h \circ k \text{ non nilpotents}} L'hypothèse qui fait défaut est la commutation : (k∘h)(a,b)=(a,0)≠(0,b)(k \circ h)(a, b) = (a, 0) \neq (0, b).

5. Les éléments 11 et xx commutent ; le théorème 3, avec a=1a = 1 et b=xb = x, donne (1−x)(1+x+⋯+xn−1)=1−xn=1,(1 - x)(1 + x + \cdots + x^{n-1}) = 1 - x^{n} = 1, et de même dans l'autre ordre. (1−x)−1=1+x+⋯+xn−1\boxed{(1 - x)^{-1} = 1 + x + \cdots + x^{n-1}}

Dans l'édifice

Thèmes

anneaux et corps, éléments inversibles, anneaux, anneaux intègres, éléments nilpotents

Notions

anneau, inversible, anneau intègre

Ouvrir dans l'atlas interactif →