Idéal

Une partie I d'un anneau A est appelée un idéal à gauche (respectivement à droite) de A lorsque[1] :

• I est un sous-groupe additif de A.
• Pour tout a de A et tout x de I, ax ∈ I (resp. xa ∈ I). Autrement dit, on demande à I d'être stable sous multiplication à gauche (resp. à droite) par tout élément de A, même ceux qui ne sont pas dans I.

En utilisant le langage des modules, on peut définir plus brièvement[2] un idéal à gauche (resp. à droite) comme un sous-module pour la structure de A-module à gauche (resp. à droite) sur A.

On appelle ensuite idéal bilatère de A (ou idéal tout court lorsqu'il n'y a pas de risque de confusion) toute partie de A qui est simultanément un idéal à gauche et un idéal à droite[1]. Lorsque l'anneau est commutatif, ces notions se confondent toutes[1] mais elles jouent des rôles très dissemblables en algèbre non commutative. De fait, bien qu'intervenant occasionnellement en théorie non commutative (ainsi dans la définition des anneaux simples), les idéaux bilatères sont dans ce contexte difficiles à manipuler, et de ce fait moins omniprésents que les idéaux à gauche ou à droite[3]. On peut remarquer[4] que les idéaux bilatères sont les sous-structures pour la structure de A-A-bimodule sur A.

En répétant ce qui vient d'être dit pour se focaliser sur les seuls idéaux bilatères, on peut réécrire explicitement leur définition :

Une partie I d'un anneau A est appelée un idéal bilatère de A (ou idéal quand on ne craint pas de confusion, notamment en algèbre commutative) lorsque[5] :

• I est un sous-groupe additif de A ;
• Pour tout a de A et tout x de I, ax ∈ I et xa ∈ I. Autrement dit, on demande à I d'être stable sous multiplication par tout élément de A (que ce soit à gauche ou à droite), même ceux qui ne sont pas dans I.

Un intérêt spécifique aux idéaux bilatères vient de ce qu'il est possible d'en donner une autre description, qui les lie au concept d'anneau quotient. Étant donné un idéal bilatère I d'un anneau A, le groupe quotient A / I peut être muni d'une structure d'anneau, pour laquelle la projection canonique est un morphisme d'anneaux, de noyau I. Réciproquement, tout noyau est un idéal bilatère. On peut synthétiser ces informations par l'énoncé suivant[6] :

Un sous-ensemble I d'un anneau A est un idéal (bilatère) si et seulement s'il existe un morphisme d'anneaux dont A est l'anneau de départ et dont le noyau est I.

Certaines propriétés des idéaux bilatères peuvent être lues à travers la structure de l'anneau quotient[7] : ainsi dans un anneau commutatif, un idéal bilatère est maximal si et seulement si l'anneau quotient est un corps.

• Les seuls idéaux dans un corps commutatif K sont les idéaux triviaux. Cette propriété caractérise les corps parmi les anneaux commutatifs.
• Les idéaux de l'anneau Z des entiers relatifs sont les parties de la forme kZ, pour n'importe quel entier k. Le quotient Z/kZ est l'anneau des entiers modulo k.
• Dans l'anneau K[X] des polynômes à coefficients dans un corps commutatif K, les idéaux sont les parties de la forme P(X)K[X], pour n'importe quel polynôme P(X). Si ce polynôme est irréductible, l'anneau quotient est un corps, appelé corps de rupture de P(X).

• Les seuls idéaux à gauche dans un corps gauche sont les idéaux triviaux. Cette propriété caractérise les corps gauches parmi les anneaux non commutatifs. En revanche un anneau non commutatif ne possédant pas d'idéal bilatère non trivial n'est pas nécessairement un corps, on dit que c'est un anneau simple.
• Soit E un espace vectoriel de dimension finie (supérieure ou égale à 2) sur un corps (commutatif ou non). L'anneau des endomorphismes de E n'a pas d'autre idéal bilatère que les deux idéaux triviaux. En revanche, il possède des idéaux à gauche et à droite non triviaux ; pour tout sous-espace F de E, l'ensemble des endomorphismes de noyau contenant F est un idéal à gauche, tandis que l'ensemble des endomorphismes d'image contenue dans F est un idéal à droite.

Un idéal (à gauche, à droite ou bilatère) contient au moins un élément inversible si et seulement s'il est égal à l'anneau tout entier[1].

Soit A et B deux anneaux et φ un morphisme d'anneaux de A dans B. Alors :

L'image réciproque d'un idéal à gauche (resp. à droite, resp. bilatère) de B sous φ est un idéal à gauche (resp. à droite, resp. bilatère) de A. On peut ainsi expliquer pourquoi un noyau est un idéal bilatère : c'est qu'il est l'image réciproque de l'idéal bilatère nul.

En ce qui concerne l'image directe d'un idéal de A, on peut seulement conclure que c'est un idéal (de même nature) du sous-anneau φ(A). Si φ n'est pas surjectif, rien n'oblige que ce soit un idéal de B : qu'on songe à φ l'inclusion canonique de A = ℤ dans B = ℚ. Alors φ(I) n'est un idéal de ℚ que si I est l'idéal nul.

Lorsque φ est surjectif, la situation est toutefois particulièrement simple[8] :

Soit φ morphisme d'anneaux surjectif de A vers B. L'application ${\displaystyle I\mapsto \varphi (I)}$ est une bijection entre l'ensemble des idéaux à gauche (resp. à droite, resp. bilatères) de A contenant Ker(φ) et l'ensemble des idéaux à gauche (resp. à droite, resp. bilatères) de B. Sa bijection réciproque est ${\displaystyle J\mapsto \varphi ^{-1}(J)}$.

L'intersection de deux idéaux à gauche (resp. à droite, resp. bilatères), ou plus généralement d'une famille d'idéaux, est un idéal du même type.

Si P est une partie d'un anneau A, on appelle idéal à gauche (resp. à droite, resp. bilatère) engendré par P l'intersection de tous les idéaux à gauche (resp. à droite, resp. bilatères) de A contenant P. C'est donc le plus petit idéal[9] contenant P.

On peut le décrire comme suit[9], les sommes étant à comprendre comme indexées par un ensemble fini :

• pour l'idéal à gauche engendré noté ici (P)_g :

${\displaystyle (P)_{g}{\stackrel {\text{def}}{=}}\left\{\left.\sum _{\lambda }a_{\lambda }x_{\lambda }\,\right|\,a_{\lambda }\in A,\,x_{\lambda }\in P\right\}}$ ;

• pour l'idéal à droite engendré noté ici (P)_d :

${\displaystyle (P)_{d}{\stackrel {\text{def}}{=}}\left\{\left.\sum _{\lambda }x_{\lambda }b_{\lambda }\,\right|\,x_{\lambda }\in P,\,b_{\lambda }\in A\right\}}$ ;

• pour l'idéal bilatère engendré noté ici (P) :

${\displaystyle (P){\stackrel {\text{def}}{=}}\left\{\left.\sum _{\lambda }a_{\lambda }x_{\lambda }b_{\lambda }\,\right|\,a_{\lambda }\in A,\,x_{\lambda }\in P,\,b_{\lambda }\in A\right\}}$.

Un cas important est celui où P a un seul élément x. On parle alors de l'idéal principal (à gauche, à droite ou bilatère) engendré par x.

Si I et J sont deux idéaux à gauche (resp. à droite, resp. bilatères) d'un anneau A, on appelle somme de I et J l'ensemble des x + y où x parcourt I et y parcourt J.

C'est à son tour un idéal du même type. Lorsqu'on interprète les idéaux comme sous-modules, leur somme en tant qu'idéaux est le même idéal que leur somme en tant que sous-modules. La somme peut aussi être définie comme l'idéal du même type engendré par la réunion I ∪ J.

Pour l'intersection et la somme, l'ensemble des idéaux à gauche (resp. à droite, resp. bilatères) d'un anneau A est un treillis[8].

Plus généralement, pour une famille quelconque d'idéaux à gauche (resp. à droite, resp. bilatères) ${\displaystyle (I_{\lambda })_{\lambda \in \Lambda }}$, la somme de la famille, notée ${\displaystyle \sum _{\lambda \in \Lambda }I_{\lambda }}$ est l'ensemble des sommes ${\displaystyle \sum _{\lambda \in \Lambda }x_{\lambda }}$ ne contenant qu'un nombre fini de termes et où ${\displaystyle x_{\lambda }}$ varie dans ${\displaystyle I_{\lambda }}$. Cet ensemble est lui aussi un idéal du même type, et c'est aussi l'idéal de ce type engendré par la réunion des ${\displaystyle (I_{\lambda })}$.

On a déjà mentionné plus haut l’appellation d'idéal principal pour un idéal (à gauche, à droite ou bilatère) qui peut être engendré par un seul élément.

On définit plus généralement un idéal de type fini comme un idéal (à gauche, à droite ou bilatère) qui peut être engendré par une partie finie[10].

Dans cette section on entend par « suite stationnaire » d'idéaux une suite d'idéaux ${\displaystyle (I_{n})}$ constante à partir d'un certain rang (c'est-à-dire pour laquelle il existe un n tel que ${\displaystyle I_{n}=I_{n+1}=I_{n+2}=\cdots }$).

On appelle anneau noethérien à gauche (resp. à droite) un anneau dans lequel toute suite d'idéaux à gauche (resp. à droite) croissante pour l'inclusion est stationnaire. On dit aussi qu'il vérifie la « condition de chaîne ascendante » sur les idéaux du type considéré. Cette propriété est reliée à la notion d'idéal de type fini par l'énoncé suivant, à la démonstration assez simple :

Un anneau est noethérien à gauche (resp. à droite) si et seulement si tous ses idéaux à gauche (resp. à droite) sont de type fini.

On appelle anneau artinien à gauche (resp. à droite) un anneau dans lequel toute suite d'idéaux à gauche (resp. à droite) décroissante pour l'inclusion est stationnaire. On dit aussi qu'il vérifie la « condition de chaîne descendante » sur les idéaux du type considéré[11].

Un théorème de Hopkins et Levitzki (en), à la démonstration fort substantielle, a le corollaire suivant[12] :

Tout anneau artinien à gauche est noethérien à gauche.

Si I et J sont deux idéaux d'un anneau commutatif, on appelle idéal produit de I et J l'idéal noté IJ engendré par l'ensemble des produits[13] xy, où x parcourt I et y parcourt J. Il est donc égal à l'ensemble des sommes finies ${\displaystyle \sum _{k\in E}x_{k}y_{k}}$ où E est un ensemble fini, ${\displaystyle x_{k}\in I}$ et ${\displaystyle y_{k}\in J}$.

Exemple : dans l'anneau Z, le produit des idéaux 2Z et 3Z est l'idéal 6Z – donc égal à leur intersection ; en revanche le produit de l'idéal 2Z par lui-même est l'idéal 4Z.

On a toujours ${\displaystyle IJ\subset I\cap J}$ mais l'inclusion peut être stricte comme le montre l'exemple précédent.

Si I et J sont deux idéaux d'un anneau commutatif A, on appelle idéal quotient de I par J l'ensemble noté ${\displaystyle I\colon J}$ défini par :

${\displaystyle I\colon J=\{x\in A\,\mid \,xJ\subset I\}.}$

C'est un idéal de A.

Si ${\displaystyle I}$ est un idéal d'un anneau commutatif ${\displaystyle A}$, on appelle radical de ${\displaystyle I}$ l'ensemble noté ${\displaystyle {\sqrt {I}}}$ formé des éléments ${\displaystyle x}$ de ${\displaystyle A}$ pour lesquels il existe un entier naturel ${\displaystyle n}$ tel que ${\displaystyle x^{n}\in I}$. C'est un idéal de ${\displaystyle A}$.

Les notions d'idéal premier et d'idéal maximal, particulièrement la première, jouent en théorie générale des anneaux un rôle similaire à celui des nombres premiers en arithmétique sur les entiers. Dans l'anneau Z des entiers relatifs, les idéaux maximaux sont exactement les pZ où p est un nombre premier ; s'y ajoute un et un seul idéal premier non maximal, l'idéal {0}.

Un idéal P d'un anneau commutatif A est appelé un idéal premier lorsque 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. Cette condition équivaut à demander à l'anneau-quotient A/P d'être intègre[14].

Un idéal M d'un anneau commutatif A est appelé un idéal maximal lorsqu'il existe exactement deux idéaux contenant M, à savoir A et M lui-même. Cette condition équivaut à demander à l'anneau-quotient A/M d'être un corps commutatif[14].

La théorie de la décomposition en facteurs premiers des entiers se reproduit dans une large classe d'anneaux commutatifs, les anneaux factoriels. Pour vaste que soit cette classe, les anneaux non factoriels sont monnaie courante, et des généralisations plus techniques de la décomposition en facteurs premiers se sont avérées des plus utiles. Même dans un cadre factoriel d'ailleurs, la décomposition d'idéaux premiers non principaux concerne aussi des idéaux non principaux sur lesquels la factorisation des éléments n'a pas de prise, et apporte donc un éclairage supplémentaire.

En « théorie additive » des idéaux, l'opération prépondérante est l'intersection : une décomposition d'un idéal sera une écriture de celui-ci comme intersection d'idéaux d'un type fondamental. Elle n'est pas sans parenté avec la décomposition d'un entier en facteurs entiers primaires.

Une première étape dans cette voie peut être de décomposer l'idéal en intersection d'idéaux irréductibles, où on définit un idéal irréductible comme un idéal propre I qu'on ne peut pas décomposer comme intersection de deux idéaux différents de I. Tout idéal premier est irréductible et, dans un anneau noethérien, tout idéal est intersection finie d'idéaux irréductibles.

On définit ensuite un idéal primaire I comme un idéal propre d'un anneau commutatif A vérifiant la propriété suivante : pour tous a et b de A tels que ab ∈ I, si a ∉ I alors il existe un entier naturel n tel que bⁿ ∈ I. En termes d'anneaux quotients, I est ainsi primaire si et seulement si tout diviseur de zéro dans l'anneau A / I est nilpotent.

Dans un anneau noethérien tout idéal irréductible est primaire.

On déduit de ce qui précède le théorème de Lasker-Noether :

Dans un anneau noethérien, tout idéal peut se représenter comme intersection finie d'idéaux primaires.

Il n'y a pas unicité de la représentation, même si on exige qu'elle soit minimale, mais on dispose d'énoncés qui assurent que deux représentations distinctes ne sont pas trop éloignées l'une de l'autre.

En exigeant davantage de l'anneau, on peut aller plus loin et décomposer un idéal par une écriture se rapprochant davantage de la factorisation des entiers en facteurs premiers ; on devra alors rechercher une écriture comme produit d'idéaux et non plus comme intersection : dans Z l'idéal p²Z peut s'écrire comme produit de pZ par lui-même, mais ne pourrait pas être représenté comme une intersection d'idéaux tous différents de lui-même.

Dans un premier temps, limiter la dimension de l'anneau qu'on étudie garantit que la représentation en intersection d'idéaux primaires est aussi une représentation comme produit :

Soit A un anneau intègre noethérien de dimension 1 (c'est-à-dire où tout idéal premier non nul est maximal). Tout idéal de A peut être représenté comme produit d'idéaux primaires.

Dans un second temps, si l'anneau est en outre intégralement clos, ses idéaux primaires sont exactement les puissances d'idéaux premiers. Ceci conduit à introduire les anneaux de Dedekind, qui sont les anneaux intègres noethériens de dimension 1 intégralement clos, et mène au résultat suivant, où on a en outre unicité de la décomposition :

Soit A un anneau de Dedekind. Tout idéal de A peut être représenté de façon unique (à l'ordre des facteurs près) comme produit d'idéaux premiers.

Dans ces exemples on note (a) l'idéal principal engendré par a, et (a,b) l'idéal engendré par a et b.

• Dans Z, les décompositions des idéaux reproduisent les décompositions des entiers en facteurs primaires ou premiers. Par exemple :(180) = (4) ∩ (9) ∩ (5) = (2)² (3)² (5).
• Dans un anneau de Dedekind non factoriel, comme Z[i√5], où l'élément 6 admet deux décompositions distinctes en irréductibles, soit 6 = 2 . 3 = (1 + i√5).(1 – i√5), les décompositions de l'idéal principal (6) font intervenir des idéaux non principaux :(6) = (2) ∩ (3, 2 + i√5) ∩ (3, 2 – i√5) = (2, 1 + i√5)² (3, 2 + i√5) (3, 2 – i√5).
• Dans l'anneau k[X,Y] (de dimension de Krull 2), l'idéal non primaire (X²,XY)=(X) ∩ (X²,Y) = (X) ∩ (X,Y)² admet deux décompositions minimales distinctes comme intersection d'idéaux primaires. L'idéal primaire (X²,Y) ne peut pas être représenté comme un produit d'idéaux premiers.
• Dans l'anneau non intégralement clos k[T²,T³], l'idéal primaire (T³) ne peut pas être décrit comme produit d'idéaux premiers.

On a signalé en début d'article que le passage au quotient d'un anneau A par un idéal bilatère I induit une bijection entre les idéaux de A contenant I et les idéaux de A / I. Cette bijection respecte le caractère premier des idéaux.

Soit I idéal d'un anneau commutatif A. La projection canonique met en bijection l'ensemble des idéaux premiers de A contenant I et l'ensemble des idéaux premiers de A / I.

Les idéaux contenus dans I peuvent pour leur part être isolés des autres par le procédé de localisation. On a alors l'énoncé suivant :

Soit I idéal premier d'un anneau commutatif A. La localisation met en bijection l'ensemble des idéaux premiers de A contenus dans I et l'ensemble des idéaux premiers de l'anneau localisé A_I.

La structure ordonnée par l'inclusion de l'ensemble des idéaux premiers est à la source d'une des définitions possibles de la dimension d'un anneau, cohérente avec l'intuition géométrique pour les anneaux qui interviennent en géométrie algébrique. La dimension de Krull d'un anneau commutatif A est définie comme le plus grand n pour lequel il existe une chaîne strictement croissante d'idéaux premiers de A de la forme :

${\displaystyle I_{0}\subsetneq I_{1}\subsetneq \cdots \subsetneq I_{n}}$

L'ensemble des idéaux premiers d'un anneau commutatif A est appelé le spectre premier de A. Il est possible de le munir d'une topologie, dite de Zariski, qui généralise la topologie de Zariski d'un ensemble algébrique. Une fois cette topologie définie, l'espace topologique Spec(A) peut être équipé d'un faisceau d'anneaux, localisés de A. L'objet est alors à la base de la définition des schémas, qui généralisent les variétés algébriques.

Si le spectre premier, parce que sa construction est fonctorielle, est particulièrement adapté à la géométrie algébrique, le spectre maximal, ensemble des idéaux maximaux, est souvent sollicité en analyse fonctionnelle, particulièrement en théorie des algèbres de Banach commutatives unitaires. Il peut être muni d'une topologie séparée. La transformation de Gelfand (en) permet alors, lorsqu'elle est injective, d'interpréter les éléments de l'algèbre de Banach comme des fonctions sur le spectre de l'algèbre.