Théorie des anneaux — définitions, idéaux et exemples

La théorie des anneaux étudie des ensembles où l’addition et la multiplication fonctionnent ensemble de manière contrôlée. Le modèle principal est celui des entiers : on peut additionner, soustraire et multiplier, et ces opérations obéissent à des règles fiables.

Un anneau n’est pas simplement « un ensemble muni d’une multiplication ». Pour être un anneau, l’addition doit se comporter comme dans les entiers, la multiplication doit être associative, et la multiplication doit être distributive par rapport à l’addition.

Qu’est-ce qu’un anneau en mathématiques ?

Un anneau $R$ est un ensemble muni de deux opérations, $+$ et $\cdot$, telles que :

1. $(R,+)$ est un groupe abélien.
2. La multiplication est associative : $(ab)c=a(bc)$ pour tous $a,b,c \in R$.
3. La multiplication est distributive par rapport à l’addition :

$$a(b+c)=ab+ac$$

et

$$(a+b)c=ac+bc$$

La première condition signifie que l’addition possède un élément nul, que chaque élément a un opposé additif, que l’addition est associative et qu’elle est commutative. En langage simple : pour l’addition, l’ensemble se comporte comme les entiers.

Certains livres exigent aussi une identité multiplicative $1$. D’autres se concentrent sur les anneaux commutatifs, où $ab=ba$. Ce sont des conditions supplémentaires importantes, mais elles ne font pas partie de toutes les définitions d’un anneau.

À quoi sert un idéal en théorie des anneaux

Un idéal est un sous-ensemble qui reste stable quand on le multiplie par des éléments de l’anneau tout entier. C’est cette stabilité qui rend possibles les anneaux quotients, un peu comme les sous-groupes distingués rendent possibles les groupes quotients.

Si $R$ est un anneau commutatif, un sous-ensemble $I \subseteq R$ est un idéal lorsque :

1. $I$ est stable par addition et par passage à l’opposé.
2. Pour tout $r \in R$ et tout $x \in I$, le produit $rx$ appartient encore à $I$.

Dans un anneau non commutatif, il faut distinguer les idéaux à gauche, les idéaux à droite et les idéaux bilatères. Dans un anneau commutatif, ces distinctions disparaissent.

Exemple détaillé : pourquoi $2\mathbb{Z}$ est un idéal de $\mathbb{Z}$

L’anneau $\mathbb{Z}$ muni de l’addition et de la multiplication ordinaires est le premier exemple standard d’anneau. Il est aussi commutatif et possède l’identité multiplicative $1$.

Considérons maintenant le sous-ensemble des entiers pairs :

$$2\mathbb{Z}=\{2k : k \in \mathbb{Z}\}$$

Cet ensemble est un idéal de $\mathbb{Z}$ parce qu’il vérifie les deux critères ci-dessus.

D’abord, il est stable par addition :

$$2a+2b=2(a+b)$$

donc la somme de deux entiers pairs est encore paire. Il est aussi stable par passage à l’opposé, car

$$-(2a)=2(-a)$$

est encore pair.

Ensuite, il absorbe la multiplication par n’importe quel entier. Si $r \in \mathbb{Z}$ et $2a \in 2\mathbb{Z}$, alors

$$r(2a)=2(ra)$$

qui est de nouveau pair.

Ainsi, $2\mathbb{Z}$ n’est pas seulement un sous-ensemble avec une certaine régularité. Il reste stable par addition, par opposé additif et par multiplication par n’importe quel entier, ce qui est exactement ce qu’un idéal doit vérifier.

Cet exemple mérite d’être retenu, car le même schéma revient sans cesse : les idéaux sont les sous-ensembles que l’anneau tout entier ne peut pas faire sortir de leur place par multiplication.

Contre-exemple : les entiers impairs ne forment pas un idéal

Les entiers impairs ne forment pas un idéal de $\mathbb{Z}$.

Ils échouent déjà à être stables par addition, car impair $+$ impair $=$ pair. Ils échouent aussi à la condition d’absorption : par exemple,

$$2 \cdot 3 = 6$$

et $6$ n’est pas impair.

C’est le contraste essentiel. Un idéal n’est pas seulement un sous-ensemble facile à reconnaître. Il doit satisfaire exactement les conditions de stabilité et d’absorption.

Erreurs fréquentes en théorie des anneaux

Confondre stabilité additive et test complet pour être un idéal

La stabilité par addition ne suffit pas. Il faut aussi la stabilité par opposé additif et la propriété d’absorption pour la multiplication par des éléments arbitraires de l’anneau.

Considérer la commutativité comme automatique

Beaucoup de premiers exemples sont des anneaux commutatifs, mais tous les anneaux ne sont pas commutatifs. Les anneaux de matrices sont le contre-exemple standard.

Supposer que tout anneau doit contenir $1$

Beaucoup d’auteurs exigent une identité multiplicative, et beaucoup ne l’exigent pas. Quand vous lisez ou rédigez un texte sur la théorie des anneaux, précisez la convention si cela a de l’importance.

Confondre sous-anneaux et idéaux

Un sous-anneau est un anneau plus petit contenu dans un autre anneau. Un idéal est conçu pour bien interagir avec la multiplication provenant de l’anneau tout entier. Ce sont des idées liées, mais ce n’est pas la même condition.

Où la théorie des anneaux est utilisée

La théorie des anneaux apparaît en arithmétique modulaire, en algèbre des polynômes, en théorie des nombres et en géométrie algébrique. Elle fait aussi partie du langage utilisé derrière certaines constructions cryptographiques.

Vous n’avez pas besoin de ces applications avancées pour comprendre l’idée de base. Pour une première approche, voyez la théorie des anneaux comme l’étude de systèmes semblables aux nombres où l’addition et la multiplication interagissent de façon prévisible.

Essayez un problème similaire

Essayez votre propre version avec $3\mathbb{Z}$ ou $5\mathbb{Z}$ dans $\mathbb{Z}$. Vérifiez les deux mêmes conditions : la stabilité par addition et par opposé additif, puis l’absorption par multiplication par n’importe quel entier.