Anneau commutatif

Anneau commutatif

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.

Sommaire

Définition

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

  • L’ensemble des entiers relatifs muni des lois d’addition et de multiplication ordinaires est l'archétype des anneaux commutatifs. L’anneau est généralement noté \mathbb{Z} en référence au mot allemand « Zahlen » (nombres).
  • Les nombres rationnels, les nombres réels et les nombres complexes forment des anneaux commutatifs. Ce sont tous des corps commutatifs, c'est-à-dire des anneaux commutatifs où la division est possible.
  • Si n est un entier strictement positif, alors l’ensemble Z/nZ des classes de congruence modulo n est un anneau commutatif à n éléments.
  • Si A est un anneau commutatif, alors les polynômes à une indéterminée (ou plus généralement les polynômes à plusieurs indéterminées), à coefficients dans A constituent un nouvel anneau commutatif, noté A[X] (respectivement A[X1,…,Xn]).
  • Il en est de même des séries formelles à coefficients dans A, notées A[[X]] (respectivement A[[X1,…,Xn]]).
  • Les anneaux de Boole sont des anneaux commutatifs de caractéristique 2, intimement liés aux algèbres de Boole.
  • Les fonctions continues de R vers R constituent, pour l'addition et la multiplication usuelle, un anneau commutatif. Il n'est pas intègre : si on prend pour f une fonction continue non nulle à support inclus dans R- et pour g une fonction continue non nulle à support inclus dans R+, le produit fg est la fonction nulle et on a donc produit deux diviseurs de zéro dans cet anneau.

Histoire

Voir la théorie des anneaux

Anneaux intègres

Article détaillé : Anneau intègre.

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 techniques 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

Idéaux premiers

Article détaillé : Idéal premier.

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

Article détaillé : Idéal maximal.

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

Article détaillé : Localisation.

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

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

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 \mathbb{K} est un corps, \mathbb{K}[[X]], l’anneau des séries formelles en une indéterminée à coefficients dans \mathbb{K}, est le complété de l’anneau \mathbb{K}[X] des polynômes à coefficients dans \mathbb{K}, sous la topologie produite par les puissances de l'idéal engendré par X.

Notes et références

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

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Anneau commutatif de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Anneau Commutatif — Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de multiplication. L’étude des… …   Wikipédia en Français

  • Algèbre sur un anneau commutatif — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Anneau (Mathématiques) — Pour les articles homonymes, voir Anneau. En algèbre générale, un anneau est une structure algébrique sur laquelle deux opérations satisfont certaines des propriétés de l addition et la multiplication des nombres. Sommaire 1 Aspect historique …   Wikipédia en Français

  • Anneau abélien — Anneau commutatif Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de… …   Wikipédia en Français

  • Anneau De Dedekind — Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau disposant de propriétés particulières. Sa formalisation initiale a pour objectif la… …   Wikipédia en Français

  • Anneau Euclidien — Euclide (Juste de Gand ,vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau commutatif unitaire intègre. Un anneau est dit euclidien s il est… …   Wikipédia en Français

  • Anneau de dedekind — Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau disposant de propriétés particulières. Sa formalisation initiale a pour objectif la… …   Wikipédia en Français

  • Anneau Factoriel — En mathématiques, un anneau factoriel est un cas particulier d anneau commutatif, unitaire et intègre. À l image des nombres entiers, il existe un équivalent du théorème fondamental de l arithmétique pour une telle structure. Tout élément d un… …   Wikipédia en Français

  • Anneau Noethérien — Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une addition et d une… …   Wikipédia en Français

  • Anneau Principal — Les anneaux principaux forment un type d anneaux important dans la théorie mathématique de la divisibilité. Ce sont les anneaux intègres (commutatifs unitaires non nuls) auxquels on peut étendre deux théorèmes qui, au sens strict, concernent l… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”