ATLAS Ouvrir dans l'atlas →

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

Exercice 44

DémonstrationCalcul

Anneaux intègres finis.

1. Soit AA un anneau intègre fini, et a∈A∖{0}a \in A \setminus \{0\}. Montrer que l'application x↦axx \mapsto ax est injective, puis, à l'aide du théorème 2 du chapitre 2, qu'elle est bijective. En déduire que AA est un corps.

2. Soit 𝕂\mathbb{K} un corps fini. Déterminer les éléments xx de 𝕂\mathbb{K} tels que x=x−1x = x^{-1}. En regroupant chaque élément avec son inverse, en déduire que le produit de tous les éléments non nuls de 𝕂\mathbb{K} vaut −1-1.

3. Vérifier ce résultat sur le corps de l'exercice 43 (e).

Corrigé

1. Si ax=ayax = ay, alors a(x−y)=0a(x - y) = 0, et x=yx = y puisque a≠0a \neq 0 et que AA est intègre : l'application x↦axx \mapsto ax est injective. C'est une application de l'ensemble fini AA dans lui-même, donc elle est bijective (chapitre 2, théorème 2). En particulier, il existe bb tel que ab=1ab = 1, et ba=1ba = 1 par commutativité. tout anneau inteˋgre fini est un corps\boxed{\text{tout anneau intègre fini est un corps}}

2. On a x=x−1x = x^{-1} si et seulement si x2=1x^{2} = 1, c'est-à-dire (x−1)(x+1)=0(x - 1)(x + 1) = 0, soit x=±1x = \pm 1 par intégrité. Les autres éléments non nuls se regroupent par paires {x,x−1}\{x, x^{-1}\} de deux éléments distincts, de produit 11. Le produit de tous les éléments non nuls vaut donc le produit des éléments de {1,−1}\{1, -1\}, qui est −1-1, que 11 et −1-1 soient distincts ou non. ∏x∈𝕂∗x=−1\boxed{\prod_{x \in \mathbb{K}^{*}} x = -1}

3. Dans le corps {∅,E}\{\varnothing, E\}, le produit des éléments non nuls est E=1E = 1, et −1=1-1 = 1, puisque E Δ E=∅E \,\Delta\, E = \varnothing. ✓ Ce résultat est l'analogue, dans un corps fini quelconque, du théorème de Wilson de l'arithmétique : (p−1)!≡−1 [p](p - 1)! \equiv -1 \ [p] lorsque pp est premier.

Dans l'édifice

Thèmes

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

Notions

anneau, inversible, anneau intègre, corps

Ouvrir dans l'atlas interactif →