anneau intègre

Prenons deux entiers non nuls, par exemple −4 et 7. Leur produit vaut −28 : multiplier deux nombres qui ne valent pas zéro ne fait pas apparaître zéro par surprise.

Un anneau intègre est une structure où cette sécurité demeure vraie pour tous les produits. Elle permet notamment de remonter d’un produit nul à l’un de ses facteurs : si le résultat est zéro, au moins un facteur l’était déjà.

Un anneau intègre est d’abord un anneau : un ensemble muni d’une addition et d’une multiplication compatibles. L’addition forme un groupe commutatif, la multiplication est associative et se distribue sur l’addition. L’anneau est commutatif pour la multiplication et unitaire, c’est-à-dire qu’il possède un élément neutre multiplicatif noté 1.

La condition distinctive est l’absence de diviseurs de zéro non nuls. Pour deux éléments quelconques notés a et b, elle s’écrit $a\times b=0⟹a=0\text{ ou }b=0a\backslash times\; b=0\; \backslash Longrightarrow\; a=0\; \backslash text\{\; ou\; \}\; b=0$. La formulation « a et b non nuls implique a × b non nul » est équivalente.

Avec la convention usuelle 1 ≠ 0, ℤ est un anneau intègre. En revanche, être intègre ne signifie pas que tout élément non nul possède un inverse multiplicatif : dans ℤ, l’entier 2 n’en possède pas.

La structure réunit cinq ingrédients. Un ensemble fournit les éléments. Une addition associative et commutative permet de les combiner et donne un zéro ainsi que des opposés : elle forme un groupe commutatif. Une multiplication est associative, commutative et possède l’unité 1. Les deux opérations sont reliées par la distributivité. Enfin, l’intégrité interdit qu’un produit de deux éléments non nuls vaille zéro.

Ces conditions se soutiennent mutuellement. Le zéro vient de l’addition, mais la condition d’intégrité porte sur la multiplication. La distributivité permet notamment de passer d’une égalité ax = ay au produit a(x − y) = 0, puis l’absence de diviseurs de zéro autorise la simplification lorsque a est non nul. Le schéma prend −4 et 7 dans ℤ comme contrôle concret de cette articulation.

Dans l’anneau ℤ, prenons deux éléments : a = −4 et b = 7. Ils sont tous deux non nuls.

1. On calcule le produit des valeurs absolues : |−4| × |7| = 4 × 7 = 28.

2. Les facteurs ont des signes contraires, donc a × b = −28. Le produit n’est pas nul, comme l’exige l’intégrité.

3. Ce calcul illustre la règle, mais ne suffit pas à la prouver pour tous les entiers. En général, si deux entiers sont non nuls, leurs valeurs absolues sont des entiers naturels au moins égaux à 1. Leur produit est donc au moins égal à 1 et ne peut pas être nul.

Le contrôle est refaisable en sens inverse : si un produit d’entiers vaut 0, sa valeur absolue vaut 0 ; l’un des deux facteurs a donc une valeur absolue nulle, et ce facteur vaut 0.

Pour simplifier une égalité, l’intégrité justifie le geste. Dans un anneau intègre, ax = ay et a ≠ 0 donnent a(x − y) = 0, puis x = y. Sans cette hypothèse, la simplification peut échouer.

Pour résoudre un produit nul, on peut séparer les facteurs : ab = 0 conduit à a = 0 ou b = 0. Si l’anneau contient des diviseurs de zéro, il faut au contraire examiner les produits non nuls qui s’annulent.

Pour choisir un cadre de calcul, ℤ convient lorsque l’on veut conserver cette absence d’annulation accidentelle sans autoriser toutes les divisions. Si chaque élément non nul doit aussi être inversible, un corps est le cadre plus adapté.

Anneau intègre et corps commutatif. Dans un corps, tout élément non nul est inversible ; un anneau intègre exige seulement l’absence de diviseurs de zéro non nuls. Ainsi, ℤ est intègre mais n’est pas un corps, car 2 n’a pas d’inverse dans ℤ.

Élément nul et diviseur de zéro. Le zéro annule tous les produits, mais l’expression « diviseur de zéro » désigne ici un élément non nul qui annule un autre élément non nul. C’est précisément ce second comportement qu’un anneau intègre exclut.

Tester quelques produits ne prouve rien à lui seul. Le calcul (−4) × 7 = −28 confirme un cas dans ℤ, mais l’intégrité porte sur tous les couples non nuls. Il faut un argument général ou un théorème applicable à l’anneau entier.

Un seul contre-exemple suffit à exclure l’intégrité. Dans l’anneau des entiers modulo 6, les classes de 2 et de 3 sont non nulles, mais leur produit est la classe de 6, donc 0. Le symptôme est un produit nul à facteurs non nuls.

La convention sur l’anneau nul doit être annoncée. Si l’on autorise 1 = 0, la propriété sur les produits non nuls devient vraie faute d’éléments non nuls. La convention usuelle pour un anneau intègre impose 1 ≠ 0 et exclut donc cet anneau.

La commutativité fait partie de la définition retenue. Une structure non commutative sans diviseur de zéro ne reçoit pas automatiquement le nom d’anneau intègre dans cette convention. Il faut indiquer explicitement le cadre non commutatif et la terminologie adoptée.

Diviseur de zéro — Pour examiner exactement le comportement que l’intégrité interdit et apprendre à produire un contre-exemple.

corps commutatif — Pour ajouter l’inversibilité de chaque élément non nul et situer les anneaux intègres parmi les structures algébriques.

Entiers relatifs — Pour revoir l’exemple fondamental ℤ, ses opérations et le rôle des signes dans un produit.

De l’algèbre « concrète » à l’algèbre « abstraite » — Pour replacer les anneaux dans le passage des calculs familiers aux structures et à leurs axiomes.