Anneau commutatif

structure algébrique

Un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative.

L’étude des anneaux commutatifs s’appelle l’algèbre commutative.

Définition

modifier

Un anneau commutatif est un anneau (unitaire) dans lequel la loi de multiplication est commutative[1].

Dans la mesure où les anneaux commutatifs sont des anneaux particuliers, nombre de concepts de théorie générale des anneaux conservent toute leur pertinence et leur utilité en théorie des anneaux commutatifs : ainsi ceux de morphismes d'anneaux, d'idéaux et d'anneaux quotients, de sous-anneaux, d'éléments nilpotents[2]. Il est simplement inutile de distinguer idéaux à gauche et à droite : les idéaux sont systématiquement bilatères et permettent la définition de quotients.

Exemples

modifier

Histoire

modifier

Anneaux intègres

modifier

Un élément non nul a d’un anneau commutatif est appelé un diviseur de zéro, lorsqu’il existe un élément non nul b de l’anneau tel que ab = 0. Un élément a d’un anneau commutatif est appelé un inversible (ou une unité) lorsqu’il possède un symétrique pour la multiplication, c’est-à-dire quand il existe un élément de b de l’anneau tel que ab = 1. Un élément inversible n'est jamais un diviseur de zéro.

Un anneau commutatif non réduit à {0} qui ne possède aucun diviseur de zéro est appelé un anneau intègre[3].

L'absence de diviseurs de zéro rend peut-être la multiplication sur un anneau intègre plus proche de l'intuition issue de la fréquentation des entiers. Il pourra être utile au lecteur novice de jeter un coup d'œil à l'article « Anneau intègre » avant de passer à la prochaine section, la suite de cet article traitant seulement des questions qui font sens dans un anneau contenant d'éventuels diviseurs de zéro.

Comme en théorie générale des anneaux commutatifs, la manipulation des idéaux joue un rôle important dans l'étude des anneaux intègres ; en étendant à d'autres cadres les techniques d'arithmétiques rodées sur les entiers. On est amené à définir les anneaux principaux comme ceux dont tout idéal est un idéal principal ainsi que d'autres classes importantes d'anneaux intègres (anneaux factoriels, anneaux euclidiens,...).

On appelle corps commutatif un anneau commutatif non réduit à {0} dans lequel tous les éléments non nuls sont inversibles. Les corps commutatifs sont donc des anneaux intègres particulièrement simples : un corps commutatif n'a que deux idéaux, lui-même et {0}[3].

De la même façon qu'on peut plonger l'anneau Z des entiers dans le corps Q des rationnels, ou l'anneau R[X] des polynômes réels dans le corps R(X) des fractions rationnelles, tout anneau intègre se plonge dans un corps commutatif qui lui est associé. Cette opération est un cas particulier simple de la localisation traitée plus bas dans le cadre plus général des anneaux pouvant contenir des diviseurs de zéro.

Idéaux en algèbre commutative

modifier

Idéaux premiers

modifier

Soit A anneau commutatif. Un idéal P de A est appelé un idéal premier lorsque l'anneau-quotient A/P est intègre. Cette condition équivaut à la condition suivante : P est une partie stricte de A et, pour tous x, y de A, quand le produit xy est dans P, alors x appartient à P ou y appartient à P[4].

On montre que l'intersection de tous les idéaux premiers est égale à l'ensemble des nilpotents de A (et on l'appelle le nilradical de A)[5].

Un anneau est dit réduit lorsqu'il n'a pas de nilpotents (hormis 0).

Idéaux maximaux

modifier

Soit A anneau commutatif. Un idéal M de A est appelé un idéal maximal lorsque l'anneau-quotient A/M est un corps. Cette condition équivaut à la condition suivante : M est un élément maximal dans l'ensemble des idéaux autres que A, ordonné par l'inclusion[4].

Un théorème de Krull assure que tout idéal propre (i.e. différent de A) est contenu dans au moins un idéal maximal.

Localisation

modifier

La localisation est une technique de construction qui généralise la construction du corps des fractions d'un anneau intègre.

Si B est un sous-ensemble d’un anneau commutatif A, qui n’a aucun diviseur de zéro et qui est stable pour la multiplication, c’est-à-dire tel le produit de deux éléments quelconques de B appartienne à B, alors l’ensemble des fractions formelles (a, b) où a est un élément quelconque de A et b est un élément quelconque de B forme un nouvel anneau commutatif; l’addition, la soustraction, la multiplication et l’égalité étant définies sur ce nouvel ensemble de la même façon que pour les fractions ordinaires. Le nouvel anneau est noté AB et est appelé la localisation de A à B.
Un exemple illustrant ce qui précède est la localisation de l’anneau des nombres entiers au sous-ensemble des nombres entiers impairs stable par multiplication. Le corps des nombres rationnels est la localisation de l’anneau commutatif des nombres entiers à l’ensemble stable par multiplication de nombres entiers non nuls.

Anneaux commutatifs définis par une propriété de leurs idéaux

modifier

Selon les propriétés des idéaux d'un anneau A, on distingue des familles d'anneaux particuliers comme :

  • Anneau principal : anneau commutatif unitaire intègre dont tous les idéaux sont principaux.
Voir article détaillé : Anneau principal
Un anneau euclidien est principal
Un anneau principal est factoriel
  • Anneau noethérien : anneau commutatif unitaire dont les idéaux sont engendrés par un nombre fini d'éléments
Voir article détaillé : Anneau noethérien
  • Anneau artinien : anneau commutatif unitaire dont toute suite d'idéaux décroissante (pour l'inclusion) est stationnaire.
Voir article détaillé : Anneau artinien
  • Anneau local : anneau commutatif unitaire dans lequel il n'existe qu'un seul idéal maximal.
l’ensemble des nombres rationnels dont le dénominateur est impair est un exemple d'anneau local ;
l'ensemble des séries formelles, A[[X]] sur un anneau commutatif A en est un autre exemple.

Ces anneaux s'organisent selon une hiérarchie dont le schéma ci-dessous donne une idée partielle. La hiérarchie verticale va de l'anneau le plus général à l'anneau le plus particulier, chaque flèche descendante indique une filiation. On remarque que l'anneau possédant le plus de propriétés analogues à celles de Z est l'anneau euclidien. Ne figure pas sur ce schéma le corps qui est un cas particulier d'anneau euclidien.

 
 
 
 
 
 
Pseudo-anneau
commutatif
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau commutatif
unitaire
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau noethérien
commutatif
 
Anneau intègre
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau artinien
commutatif
 
 
 
 
Anneau
intégralement clos
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau à PGCD
intègre
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau
de Dedekind
 
Anneau factoriel
 
Anneau de Bézout
intègre
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau principal
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Anneau euclidien
 
 
 

Complétion

modifier

Si I est un idéal d’un anneau commutatif A, les puissances de I forment un voisinage topologique de 0 ce qui permet à A d’être considéré comme un anneau topologique. A peut être complété en conservant cette topologie. Par exemple, si   est un corps,  , l’anneau des séries formelles en une indéterminée à coefficients dans  , est le complété de l’anneau   des polynômes à coefficients dans  , sous la topologie produite par les puissances de l'idéal engendré par X.

Voir aussi

modifier

Notes et références

modifier
  1. Saunders Mac Lane et Garrett Birkhoff, Algèbre [détail des éditions], tome 1, p. 135.
  2. (en) Michael Atiyah et Ian G. Macdonald, Introduction to Commutative Algebra, Reading (Mass.) etc., Addison-Wesley, (ISBN 978-0-201-00361-1, BNF 37362287) définissent tous les concepts cités en exemples en pages 1 ou 2 du traité.
  3. a et b Atiyah et Macdonald 1969, p. 2.
  4. a et b Serge Lang, Algèbre [détail des éditions], p. 99-100 dans l'édition Dunod.
  5. Atiyah et Macdonald 1969, p. 3-6.

Liens externes

modifier