Structures d'anneau et de corps

Vue d'ensemble

Après les groupes, les anneaux et les corps sont la deuxième grande famille de structures algébriques au programme MPSI. Un anneau, c'est un ensemble muni de deux lois compatibles — une addition qui en fait un groupe abélien et une multiplication associative avec neutre, distributive sur l'addition. Un corps, c'est le cas « parfait » : un anneau commutatif où tout élément non nul est inversible. Cette fiche regroupe les 7 théorèmes incontournables, les 4 démonstrations à savoir refaire et les pièges qui font perdre des points en khôlle.

Au programme MPSI (officiel) — Anneaux : définition, anneau commutatif, règles de calcul dans un anneau, formule du binôme dans un anneau commutatif, éléments inversibles, groupe des inversibles

A^{\times}

, diviseurs de zéro, anneau intègre, sous-anneau, idéal d'un anneau commutatif. Corps : définition, sous-corps, exemples

Q, R, C, F_{p}

. Morphismes d'anneaux et de corps : noyau, image. Anneau

Z / n Z

: corps ssi

n

est premier.

Prérequis

Structure de groupe (élément neutre, symétrique, sous-groupe, morphisme de groupes)
Arithmétique dans $Z$ : divisibilité, nombres premiers, théorème de Bézout
Manipulation des congruences modulo $n$ et de l'anneau $Z / n Z$

🎯 Accompagnement Majorant

Les structures algébriques te paraissent abstraites et déconnectées ? C'est le ressenti n°1 sur ce chapitre : l'élève voit défiler des axiomes sans comprendre à quoi ça sert. Nos mentors alumni X · Centrale · Mines te montrent comment anneaux et corps deviennent un réflexe — du calcul matriciel aux congruences en passant par $R [X]$ .

Trouver un mentor MPSI →

1. Définition d'un anneau

Définition 1.1 — Anneau

Un anneau est un triplet $(A, +, \times)$ où $A$ est un ensemble et $+, \times$ sont deux lois de composition internes sur $A$ vérifiant :

$(A, +)$ est un groupe abélien, de neutre noté $0_{A}$ (ou $0$ ) ;
la loi $\times$ est associative : $\forall (a, b, c) \in A^{3}, (a \times b) \times c = a \times (b \times c)$ ;
la loi $\times$ admet un élément neutre noté $1_{A}$ (ou $1$ ) : $\forall a \in A, a \times 1_{A} = 1_{A} \times a = a$ ;
la loi $\times$ est distributive à gauche et à droite par rapport à $+$ : $\forall (a, b, c) \in A^{3}, a \times (b + c) = a \times b + a \times c et (a + b) \times c = a \times c + b \times c .$

On note souvent $ab$ au lieu de $a \times b$ . L'anneau est dit commutatif si de plus $\forall (a, b) \in A^{2}, ab = ba$ .

📝 Convention MPSI. Un anneau possède toujours un élément neutre multiplicatif

1_{A}

(« anneau unitaire » ailleurs). Le cas

0_{A} = 1_{A}

correspond à l'anneau nul

{0}

: autorisé mais exclu pour les corps (cf. section 6).

💡 Exemples canoniques d'anneaux.

$(Z, +, \times)$ , $(Q, +, \times)$ , $(R, +, \times)$ , $(C, +, \times)$ — anneaux commutatifs.
$(R [X], +, \times)$ anneau des polynômes à coefficients réels — commutatif.
$(M_{n} (R), +, \times)$ avec $n \geq 2$ — anneau non commutatif ( $A B \neq = B A$ en général).
$(Z / n Z, +, \times)$ anneau des classes modulo $n$ — commutatif.
$(F (X, R), +, \times)$ fonctions de $X$ dans $R$ avec addition et multiplication ponctuelles — commutatif.

⚠ Piège #1 — Distributivité à gauche et à droite. Dans un anneau non commutatif, il faut les deux distributivités, et elles ne découlent pas l'une de l'autre. Quand tu écris

A (B + C) = A B + A C

dans

M_{n} (R)

, tu utilises la distributivité à gauche ; pour

(B + C) A = B A + C A

, c'est la distributivité à droite. Énoncer correctement les deux dans la définition est un attendu de khôlle.

2. Règles de calcul dans un anneau

Proposition 2.1 — Règles élémentaires ★ À savoir démontrer

Soit $(A, +, \times)$ un anneau. Pour tous $a, b \in A$ :

$0_{A} \cdot a = a \cdot 0_{A} = 0_{A}$
$(- a) \cdot b = a \cdot (- b) = - (a \cdot b)$
$(- a) \cdot (- b) = a \cdot b$
$\forall n \in Z, (n \cdot a) \cdot b = n \cdot (a \cdot b) = a \cdot (n \cdot b)$ (où $n \cdot a$ désigne la somme/différence itérée de $a$ ).

Démonstration (l'incontournable « 0·a = 0 »)

On part de l'égalité $0_{A} + 0_{A} = 0_{A}$ (neutre de l'addition). En multipliant à droite par $a$ et en utilisant la distributivité à droite :

(0_{A} + 0_{A}) \cdot a = 0_{A} \cdot a, donc 0_{A} \cdot a + 0_{A} \cdot a = 0_{A} \cdot a .

En ajoutant l'opposé de $0_{A} \cdot a$ (qui existe car $(A, +)$ est un groupe) aux deux membres :

0_{A} \cdot a = 0_{A} .

L'égalité $a \cdot 0_{A} = 0_{A}$ se démontre symétriquement par distributivité à gauche. Pour $(- a) \cdot b = - (a \cdot b)$ : on calcule $a \cdot b + (- a) \cdot b = (a + (- a)) \cdot b = 0_{A} \cdot b = 0_{A}$ , donc $(- a) \cdot b$ est l'opposé de $a \cdot b$ , c.-à-d. $- (ab)$ . Idem pour $a \cdot (- b)$ , et $(- a) (- b) = - (a (- b)) = - (- (ab)) = ab$ .

⚠ Piège #2 — $ab = 0$ n'entraîne pas $a = 0$ ou $b = 0$ . Dans un anneau quelconque, on ne peut pas simplifier comme dans

R

: par exemple dans

Z /6 Z

\overset{ˉ}{2} \cdot \overset{ˉ}{3} = \overset{ˉ}{0}

alors que

\overset{ˉ}{2} \neq = \overset{ˉ}{0}

\overset{ˉ}{3} \neq = \overset{ˉ}{0}

. C'est précisément la notion de diviseur de zéro qui sera développée à la section 4.

Théorème 2.2 — Formule du binôme dans un anneau commutatif

Soit $(A, +, \times)$ un anneau commutatif. Pour tous $a, b \in A$ et $n \in N$ :

(a + b)^{n} = k = 0 \sum n (k n) a^{k} b^{n - k} .

Plus généralement, la formule reste vraie si $a$ et $b$ commutent ( $ab = ba$ ), même dans un anneau non commutatif.

⚠ Piège #3 — La commutativité est essentielle. Dans

M_{n} (R)

, si

A B \neq = B A

, alors

(A + B)^{2} = A^{2} + A B + B A + B^{2}

et pas

A^{2} + 2 A B + B^{2}

. Avant d'invoquer le binôme, vérifie toujours que les deux termes commutent (typiquement : l'un d'eux est la matrice identité, ou bien un multiple scalaire, ou bien tu l'as montré explicitement).

3. Éléments inversibles, groupe des inversibles

Définition 3.1 — Élément inversible

Soit $(A, +, \times)$ un anneau. Un élément $a \in A$ est dit inversible (pour la loi $\times$ ) s'il existe $b \in A$ tel que :

a \cdot b = b \cdot a = 1_{A} .

Un tel $b$ , s'il existe, est unique ; on le note $a^{- 1}$ et on l'appelle l'inverse de $a$ .

Proposition 3.2 — Le groupe des inversibles

L'ensemble des éléments inversibles de $A$ , noté $A^{\times}$ (ou parfois $U (A)$ ), muni de la loi $\times$ , est un groupe :

$1_{A} \in A^{\times}$ (avec $1_{A}^{- 1} = 1_{A}$ ) ;
si $a, b \in A^{\times}$ , alors $ab \in A^{\times}$ et $(ab)^{- 1} = b^{- 1} a^{- 1}$ ;
si $a \in A^{\times}$ , alors $a^{- 1} \in A^{\times}$ et $(a^{- 1})^{- 1} = a$ .

⚠ Attention à l'ordre. Dans un anneau non commutatif,

(ab)^{- 1} = b^{- 1} a^{- 1}

(les facteurs s'inversent et changent d'ordre). Écrire

(ab)^{- 1} = a^{- 1} b^{- 1}

est une erreur de débutant que les correcteurs sanctionnent systématiquement en MPSI.

💡 Exemples — qui est inversible où ?

$Z^{\times} = {- 1, 1}$ (seuls $1$ et $- 1$ ont un inverse entier).
$Q^{\times} = Q ∖ {0}$ (tout rationnel non nul est inversible).
$R [X]^{\times} = R^{*} = R ∖ {0}$ (seuls les polynômes constants non nuls sont inversibles, car $de g (P Q) = de g P + de g Q$ ).
$M_{n} (R)^{\times} = G L_{n} (R)$ (matrices de déterminant non nul).
$(Z / n Z)^{\times} = {\overset{ˉ}{k} ∣ g cd (k, n) = 1}$ (Bézout).

4. Diviseurs de zéro et anneau intègre

Définition 4.1 — Diviseur de zéro

Soit $A$ un anneau. Un élément $a \in A$ est un diviseur de zéro à gauche s'il est non nul et s'il existe $b \in A ∖ {0_{A}}$ tel que $ab = 0_{A}$ (définition symétrique à droite). Dans un anneau commutatif, les deux notions coïncident.

Définition 4.2 — Anneau intègre

Un anneau $(A, +, \times)$ est dit intègre s'il vérifie :

$A$ est commutatif ;
$1_{A} \neq = 0_{A}$ (anneau non nul) ;
$A$ n'a pas de diviseur de zéro, c.-à-d. : $\forall (a, b) \in A^{2}, ab = 0_{A} ⟹ a = 0_{A} ou b = 0_{A}$ .

💡 Exemples / contre-exemples d'intégrité. Intègres :

Z, Q, R, C, R [X]

. Non intègres :

Z /6 Z

(

\overset{ˉ}{2} \cdot \overset{ˉ}{3} = \overset{ˉ}{0}

) ;

M_{2} (R)

avec

(1000) \cdot (0001) = 0

(de plus non commutatif, donc d'office hors de la définition).

Proposition 4.3 — Règle de simplification dans un anneau intègre ★ À savoir démontrer

Soit $A$ un anneau intègre et $a, b, c \in A$ avec $a \neq = 0_{A}$ . Alors :

ab = a c ⟹ b = c .

Démonstration (à partir de la définition d'intégrité)

Supposons $ab = a c$ avec $a \neq = 0_{A}$ . En soustrayant $a c$ aux deux membres et en utilisant la distributivité :

ab - a c = 0_{A} ⟺ a (b - c) = 0_{A} .

Comme $A$ est intègre, $a (b - c) = 0_{A}$ implique $a = 0_{A}$ ou $b - c = 0_{A}$ . Or $a \neq = 0_{A}$ par hypothèse, donc $b - c = 0_{A}$ , c.-à-d. $b = c$ .

Réciproque immédiate : si la règle de simplification est vraie pour tout $a \neq = 0_{A}$ , alors $A$ n'admet pas de diviseur de zéro. La propriété est donc équivalente à l'intégrité (dans un anneau commutatif non nul).

📐 Méthode-type — Montrer qu'un anneau est (ou n'est pas) intègre.

Vérifier la commutativité et le fait que $1_{A} \neq = 0_{A}$ (sinon $A$ est nul).
Pour l'intégrité : prendre $a, b$ avec $ab = 0$ , montrer $a = 0$ ou $b = 0$ . Souvent on utilise une fonction degré (sur $R [X]$ : $de g (P Q) = de g P + de g Q$ , donc $P Q = 0 \Rightarrow de g P = - \infty$ ou $de g Q = - \infty$ ).
Pour la non-intégrité : exhiber un couple $(a, b)$ non nuls avec $ab = 0$ . Dans $Z / n Z$ avec $n = pq$ composé, prendre $\overset{p}{ˉ} \cdot \overset{q}{ˉ} = \overset{ˉ}{0}$ — c'est le mécanisme universel.

5. Sous-anneau et idéal

Définition 5.1 — Sous-anneau

Soit $(A, +, \times)$ un anneau et $B \subset A$ . $B$ est un sous-anneau de $A$ si :

$1_{A} \in B$ ;
$B$ est stable par différence : $\forall (x, y) \in B^{2}, x - y \in B$ ;
$B$ est stable par produit : $\forall (x, y) \in B^{2}, x y \in B$ .

$B$ muni des lois restreintes $(+, \times)$ est alors lui-même un anneau, de même neutre multiplicatif $1_{A}$ .

💡 Chaînes de sous-anneaux à connaître.

Z \subset Z [i] \subset Q [i] \subset C

;

Z \subset Q \subset R \subset C

;

R \subset R [X] \subset R [X, Y]

Z [i] = {a + ib ∣ a, b \in Z}

est l'anneau des entiers de Gauss, classique en sujet d'arithmétique.

Définition 5.2 — Idéal d'un anneau commutatif

Soit $A$ un anneau commutatif. Un idéal de $A$ est un sous-ensemble $I \subset A$ tel que :

$(I, +)$ est un sous-groupe de $(A, +)$ (en particulier $0_{A} \in I$ ) ;
$I$ est absorbant pour la multiplication : $\forall a \in I, \forall x \in A, x a \in I$ (et donc $a x \in I$ par commutativité).

⚠ Piège #4 — Idéal ≠ sous-anneau. Un idéal n'est en général pas un sous-anneau, car il ne contient pas

1_{A}

— sauf si

I = A

entier. Réciproquement, un sous-anneau n'est en général pas absorbant :

Z

est un sous-anneau de

Q

, mais

\frac{1}{2} \cdot 3 = \frac{3}{2} \in / Z

, donc

Z

n'est pas un idéal de

Q

. Les deux notions servent à des fins différentes : sous-anneau = sous-structure stable, idéal = noyau de morphisme, quotient

A / I

💡 Exemple fondamental — Les idéaux de $Z$ . Tous les idéaux de

Z

sont de la forme

n Z = {nk ∣ k \in Z}

pour un certain

n \in N

. On dit que

Z

est un anneau principal. C'est le point de départ du quotient

Z / n Z

, au cœur de l'arithmétique modulaire.

🧑‍🏫 Débloque sous-anneau et idéal en 1 séance

« Un idéal, c'est un sous-anneau non ? » Cette confusion coûte 1 à 2 points en khôlle chaque semaine. En 1 séance avec un mentor Majorant alumni de l'X, tu comprends pourquoi les deux notions sont différentes, à quoi sert un idéal (quotient, noyau), et tu redémarres l'arithmétique modulaire du bon pied.

Réserver une séance ciblée →

6. Corps

Définition 6.1 — Corps

Un corps est un anneau $(K, +, \times)$ tel que :

$K$ est commutatif ;
$1_{K} \neq = 0_{K}$ (corps non nul) ;
tout élément non nul de $K$ est inversible : $K^{\times} = K ∖ {0_{K}}$ .

📝 Convention. En MPSI, « corps » signifie toujours corps commutatif. Les corps non commutatifs (algèbres à division, comme les quaternions

H

) sont hors programme. La distinction n'est levée qu'en master.

💡 Exemples canoniques de corps.

Q, R, C

; et

F_{p} = Z / p Z

avec

p

premier (traité au théorème 6.3). À retenir :

Z

n'est pas un corps (

2

n'a pas d'inverse dans

Z

) ;

R [X]

n'est pas un corps non plus (

X

n'est pas inversible — son inverse serait une « fraction rationnelle »).

Théorème 6.2 — Un corps est intègre ★ À savoir démontrer

Tout corps est un anneau intègre.

Démonstration (très courte, à savoir réciter au tableau)

Soit $K$ un corps. $K$ est commutatif et $1 \neq = 0$ par définition. Reste à montrer qu'il n'a pas de diviseur de zéro.

Soient $a, b \in K$ tels que $ab = 0_{K}$ . Supposons $a \neq = 0_{K}$ . Comme $K$ est un corps, $a$ est inversible : il existe $a^{- 1} \in K$ avec $a^{- 1} a = 1$ . En multipliant $ab = 0$ à gauche par $a^{- 1}$ :

a^{- 1} (ab) = a^{- 1} \cdot 0_{K} ⟹ (a^{- 1} a) b = 0_{K} ⟹ 1 \cdot b = 0_{K} ⟹ b = 0_{K} .

Donc $a = 0$ ou $b = 0$ : $K$ est intègre.

Réciproque fausse : $Z$ est intègre mais n'est pas un corps. La réciproque devient vraie pour les anneaux finis (cf. théorème 6.3).

Théorème 6.3 — Z/nZ est un corps ssi n est premier ★ À savoir démontrer

Soit $n \geq 2$ . L'anneau $Z / n Z$ est un corps si et seulement si $n$ est premier. On note alors $F_{n}$ (ou $F_{p}$ avec $p$ premier) ce corps fini à $n$ éléments.

Démonstration (double implication, via Bézout)

Sens $\Rightarrow$ : Supposons $Z / n Z$ corps. Soit $d$ un diviseur de $n$ avec $1 \leq d \leq n$ , et écrivons $n = d k$ avec $k \in N$ . Alors $\overset{ˉ}{d} \cdot \overset{ˉ}{k} = \overline{n} = \overset{ˉ}{0}$ dans $Z / n Z$ . Comme un corps est intègre (Thm 6.2), $\overset{ˉ}{d} = \overset{ˉ}{0}$ ou $\overset{ˉ}{k} = \overset{ˉ}{0}$ , c.-à-d. $d \equiv 0 (mod n)$ ou $k \equiv 0 (mod n)$ . Le premier cas donne $d = n$ (car $1 \leq d \leq n$ ) ; le second $k = n$ , donc $d = 1$ . Donc les seuls diviseurs positifs de $n$ sont $1$ et $n$ : $n$ est premier.

Sens $\Leftarrow$ : Supposons $n = p$ premier. On sait déjà que $Z / p Z$ est un anneau commutatif et $\overset{ˉ}{1} \neq = \overset{ˉ}{0}$ (car $p \geq 2$ ). Soit $\overset{a}{ˉ} \neq = \overset{ˉ}{0}$ dans $Z / p Z$ : montrons qu'il est inversible. On a $a \neq \equiv 0 (mod p)$ , donc $p ∤ a$ . Comme $p$ est premier, $g cd (a, p) = 1$ . Par le théorème de Bézout, il existe $(u, v) \in Z^{2}$ tels que $a u + p v = 1$ . En passant modulo $p$ :

\overline{a} \cdot \overline{u} + \overline{p} \cdot \overline{v} = \overset{ˉ}{1}, soit \overline{a} \cdot \overline{u} = \overset{ˉ}{1} .

Donc $\overset{a}{ˉ}$ est inversible, d'inverse $\overset{u}{ˉ}$ . Tout élément non nul de $Z / p Z$ est inversible : c'est un corps.

💡 Calcul d'inverse dans $F_{7}$ . Inverse de

\overset{ˉ}{3}

: on cherche

u

tel que

3 u \equiv 1 (mod 7)

. Euclide étendu :

7 = 2 \cdot 3 + 1

, donc

1 = 7 - 2 \cdot 3

, d'où

\overset{ˉ}{1} = - \overset{ˉ}{2} \cdot \overset{ˉ}{3} = \overset{ˉ}{5} \cdot \overset{ˉ}{3}

. Conclusion

\overset{ˉ}{3}^{- 1} = \overset{ˉ}{5}

(vérif :

3 \cdot 5 = 15 \equiv 1 (mod 7)

). ✓

Définition 6.4 — Sous-corps

Soit $K$ un corps. Une partie $L \subset K$ est un sous-corps de $K$ si $L$ est un sous-anneau de $K$ et si tout élément non nul de $L$ admet un inverse dans $L$ .

💡 Chaîne de sous-corps.

Q \subset R \subset C

. Plus subtil :

Q [2] = {a + b 2 ∣ a, b \in Q}

est un sous-corps de

R

— l'inverse de

a + b 2

(non nul) est

(a - b 2) / (a^{2} - 2 b^{2})

, élément de

Q [2]

7. Morphismes d'anneaux

Définition 7.1 — Morphisme d'anneaux

Soient $(A, +, \times)$ et $(B, +, \times)$ deux anneaux. Une application $f : A \to B$ est un morphisme d'anneaux si :

$\forall (x, y) \in A^{2}, f (x + y) = f (x) + f (y)$ ;
$\forall (x, y) \in A^{2}, f (x y) = f (x) f (y)$ ;
$f (1_{A}) = 1_{B}$ .

Un morphisme bijectif est un isomorphisme ; un morphisme $f : A \to A$ est un endomorphisme.

⚠ Piège #5 — Ne jamais oublier $f (1_{A}) = 1_{B}$ . Cette condition est indispensable et n'est pas conséquence des deux autres : par exemple l'application nulle

f : Z \to Z, x \mapsto 0

vérifie l'additivité et la multiplicativité, mais

f (1) = 0 \neq = 1

, donc ce n'est pas un morphisme d'anneaux. En khôlle, oublier cette condition coûte un point quasi automatique.

Proposition 7.2 — Propriétés élémentaires d'un morphisme

Soit $f : A \to B$ un morphisme d'anneaux. Alors :

$f (0_{A}) = 0_{B}$ (car $f$ est aussi morphisme de groupes additifs).
$\forall x \in A, f (- x) = - f (x)$ .
Si $x \in A^{\times}$ , alors $f (x) \in B^{\times}$ et $f (x^{- 1}) = f (x)^{- 1}$ .
L'image $Im (f) = f (A)$ est un sous-anneau de $B$ .
Le noyau $ker (f) = {x \in A ∣ f (x) = 0_{B}}$ est un idéal de $A$ si $A$ est commutatif (mais en général pas un sous-anneau, car $1_{A} \in / ker f$ sauf si $B$ est l'anneau nul).

Proposition 7.3 — Injectivité par le noyau

Un morphisme d'anneaux $f : A \to B$ est injectif si et seulement si $ker (f) = {0_{A}}$ .

Proposition 7.4 — Morphisme entre corps

Tout morphisme d'anneaux entre deux corps $f : K \to L$ est injectif.

Démo express : $ker (f)$ est un idéal de $K$ . Or les seuls idéaux d'un corps sont ${0}$ et $K$ tout entier (si un idéal $I$ contient un $x \neq = 0$ , il contient $x^{- 1} \cdot x = 1$ , donc tout $K$ ). Comme $f (1) = 1 \neq = 0$ , $ker f \neq = K$ , donc $ker f = {0}$ : $f$ est injectif.

💡 Exemples — morphismes à connaître.

$Z \to Z / n Z, k \mapsto \overset{ˉ}{k}$ (surjection canonique). Son noyau est $n Z$ .
Conjugaison $C \to C, z \mapsto \overset{z}{ˉ}$ : isomorphisme (involutif).
Évaluation $R [X] \to R, P \mapsto P (a)$ pour $a \in R$ fixé : morphisme surjectif, de noyau ${P ∣ P (a) = 0}$ (les polynômes annulés en $a$ , c.-à-d. les multiples de $X - a$ ).
Plongement $Z ↪ Q$ : injection canonique, morphisme injectif non surjectif.

8. Erreurs classiques en copie (vues par les correcteurs)

Ces erreurs sont relevées chaque année dans les rapports de jury (CCINP, Mines-Ponts, Centrale, X-ENS) sur les épreuves d'algèbre. Elles coûtent typiquement entre 0,5 et 2 points par occurrence.

⚠ Erreur 1 — Simplifier $ab = a c$ en $b = c$ sans vérifier l'intégrité. Cette simplification n'est légitime que dans un anneau intègre et avec

a \neq = 0

. En particulier, dans

M_{n} (R)

A B = A C

avec

A \neq = 0

n'entraîne pas

B = C

: il faut que

A

soit inversible (pour que

A^{- 1}

existe et permette de simplifier). Réflexe : préciser l'hypothèse d'inversibilité / d'intégrité avant toute simplification.

⚠ Erreur 2 — Appliquer la formule du binôme à des éléments qui ne commutent pas. Dans

M_{n} (R)

(A + B)^{n} = \sum (k n) A^{k} B^{n - k}

est faux en général. Avant d'écrire le binôme, soit l'anneau est explicitement commutatif, soit tu démontres que

A B = B A

(typiquement

B = I

B = λ I

⚠ Erreur 3 — Oublier la condition $f (1_{A}) = 1_{B}$ dans un morphisme. Vérifier

f (x + y) = f (x) + f (y)

f (x y) = f (x) f (y)

ne suffit pas. L'application nulle vérifie tout sauf

f (1) = 1

. C'est l'erreur n°1 en début de chapitre — toujours vérifier les trois conditions de la définition.

⚠ Erreur 4 — Croire qu'un idéal est un sous-anneau (ou l'inverse). Un idéal contient rarement

1_{A}

(sauf

I = A

). Un sous-anneau n'est presque jamais absorbant. Les deux structures ne sont pas comparables : l'une sert à fabriquer des quotients (idéal), l'autre à stabiliser une sous-structure (sous-anneau).

⚠ Erreur 5 — Inverser à l'envers dans un anneau non commutatif.

(A B)^{- 1} = B^{- 1} A^{- 1}

— pas

A^{- 1} B^{- 1}

. L'analogie avec les fonctions composables

(f \circ g)^{- 1} = g^{- 1} \circ f^{- 1}

doit te servir de moyen mnémotechnique.

9. Pour aller plus loin

Les structures d'anneau et de corps sont l'infrastructure algébrique de tout le programme de MPSI et MP. Les chapitres qui les réinvestissent directement :

Polynômes $R [X]$ et $C [X]$ — anneau intègre, arithmétique (PGCD, irréductibilité), division euclidienne — mêmes outils que dans $Z$ parce que les deux sont des anneaux principaux.
Algèbre linéaire et matrices — $M_{n} (K)$ est un anneau non commutatif ; $G L_{n} (K)$ est son groupe des inversibles ; les diviseurs de zéro y correspondent exactement aux matrices non inversibles.
Arithmétique modulaire et cryptographie — $F_{p}$ est le socle de RSA, de la cryptographie sur courbes elliptiques, et des codes correcteurs en MPI/MP option info.
Réduction des endomorphismes (MP) — polynômes annulateurs, algèbre $K [u]$ engendrée par un endomorphisme $u$ , réinvestissent la structure d'anneau commutatif.

Récap final — Ce qu'il faut absolument retenir

À la veille d'une khôlle ou d'un DS, parcours cette checklist : tu dois pouvoir répondre « oui, sans hésiter » à chaque question.

Sais-tu énoncer les 4 axiomes d'un anneau (groupe abélien + associativité + neutre + distributivité à gauche et à droite) ?
Sais-tu démontrer que $0_{A} \cdot a = 0_{A}$ à partir de $0_{A} + 0_{A} = 0_{A}$ et de la distributivité ?
Sais-tu identifier les diviseurs de zéro dans $Z /6 Z$ et dans $M_{2} (R)$ ?
Sais-tu définir un anneau intègre (les 3 conditions) et démontrer la règle de simplification $ab = a c \Rightarrow b = c$ ?
Sais-tu expliquer pourquoi un idéal n'est pas un sous-anneau en général ?
Sais-tu donner les idéaux de $Z$ (tous de la forme $n Z$ ) ?
Sais-tu définir un corps et démontrer qu'un corps est intègre ?
Sais-tu démontrer que $Z / n Z$ est un corps ssi $n$ est premier (via Bézout) ?
Sais-tu calculer l'inverse d'un élément non nul dans $F_{p}$ avec Euclide étendu ?
Sais-tu énoncer les 3 conditions d'un morphisme d'anneaux et ne jamais oublier $f (1_{A}) = 1_{B}$ ?
Sais-tu démontrer qu'un morphisme entre deux corps est toujours injectif ?
Connais-tu par cœur les groupes des inversibles : $Z^{\times}, R [X]^{\times}, M_{n} (R)^{\times}, (Z / n Z)^{\times}$ ?

Démonstrations à savoir refaire

Règles de calcul élémentaires — $0 \cdot a = 0$ à partir de $0 + 0 = 0$ et distributivité ; puis $(- a) b = - (ab)$
Règle de simplification dans un anneau intègre — $ab = a c, a \neq = 0 \Rightarrow b = c$ via $a (b - c) = 0$
Un corps est un anneau intègre — multiplier $ab = 0$ à gauche par $a^{- 1}$
$Z / n Z$ est un corps ssi $n$ premier — sens direct par intégrité ; réciproque par Bézout

Vue d'ensemble

Prérequis

1. Définition d'un anneau

2. Règles de calcul dans un anneau

3. Éléments inversibles, groupe des inversibles

4. Diviseurs de zéro et anneau intègre

5. Sous-anneau et idéal

6. Corps

7. Morphismes d'anneaux

8. Erreurs classiques en copie (vues par les correcteurs)

9. Pour aller plus loin

Récap final — Ce qu'il faut absolument retenir

Démonstrations à savoir refaire

Fiches associées

Nombres réels

Suites numériques

Généralités sur les fonctions

Limites et continuité

Fonctions dérivables

Logarithmes, exponentielles et puissances

Tu veux aller plus loin sur ce chapitre ?