Anneau quotient

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, un anneau quotient est un anneau qu'on construit sur l'ensemble quotient d'un anneau par un de ses idéaux bilatères.

Définition[modifier | modifier le code]

Soit A un anneau. L'addition et la multiplication de A sont compatibles avec une relation d'équivalence sur A si et seulement si celle-ci est de la forme : x ~ yx – yI, pour un certain idéal bilatère I de A[1].

On peut alors munir l'ensemble quotient A/I de l'addition et de la multiplication quotients de celles de A[1] :

.

Ceci munit A/I d'une structure d'anneau[1], appelé l'anneau quotient de A par I (son groupe additif est le groupe quotient de (A, +) par I).

La surjection canonique π : AA/I est alors un morphisme d'anneaux, de noyau I.

Exemples[modifier | modifier le code]

Motivations[modifier | modifier le code]

Les utilisations de l'anneau Z / nZ en théorie des nombres illustrent l'efficacité de l'introduction d'anneaux quotients. Ainsi l'équation diophantienne ax+by = 1, qui peut être traitée par des méthodes d'arithmétique tout à fait élémentaire, peut aussi être interprétée comme recherche de l'inverse de a dans l'anneau quotient Z / bZ. Pour ce point de vue, il existe des solutions si et seulement si la classe de a est un élément inversible de l'anneau quotient, c.-à-d. si et seulement si a premier avec b. Les valeurs possibles de x sont alors les entiers qui se projettent dans Z / bZ sur cet inverse de la classe de a.

Le cas des quotients Z / pZp est premier est particulièrement fécond. L'anneau Z / p Z est alors un corps commutatif et on bénéficie de la richesse de cette structure. Le petit théorème de Fermat ou le théorème de Wilson sont deux exemples en arithmétique élémentaire qui peuvent bénéficier d'un tel traitement.

Dans le prolongement de cette idée, en algèbre commutative, l'anneau quotient par un idéal maximal est systématiquement un corps commutatif, appelé corps résiduel. Comme dans les exemples précédents, son utilisation peut renvoyer des informations sur l'anneau qu'on a quotienté ; elle peut aussi être une fin en soi, comme fournissant une méthode efficace de construction de nouveaux corps commutatifs. Dans les exemples qui précèdent, on a mentionné la construction du corps C des nombres complexes par cette technique ; c'est un cas particulier de la construction du corps de rupture d'un polynôme irréductible à coefficients dans un corps commutatif. Ce procédé permet aussi la construction de tous les corps finis[4].

Tout anneau commutatif A est le quotient de l'anneau de polynômes par l'idéal engendré par tous les éléments de la forme ou . Cette remarque permet, pour démontrer n'importe quel énoncé universel d'algèbre commutative, de se contenter de le prouver pour les anneaux de polynômes à coefficients entiers (pour un prolongement de cette idée, voir par exemple la preuve générique du théorème de Cayley-Hamilton).

Les anneaux quotients par des idéaux non nécessairement maximaux sont omniprésents en géométrie algébrique. Le premier exemple en est celui de l'anneau des fonctions régulières sur un ensemble algébrique affine[5].

Propriété universelle des quotients et le premier théorème d'isomorphisme[modifier | modifier le code]

Le théorème suivant[6], ou des variantes très voisines, caractérise le quotient :

Soit I un idéal bilatère d'un anneau A ; on note π la projection canonique de A sur A / I. Soit par ailleurs un morphisme d'anneaux de A vers un anneau B nul sur I. Il existe alors un et un seul morphisme de A / I vers B pour lequel .

Cette propriété universelle peut aussi être utilisée comme définition alternative d'« un » quotient de A par I, étant entendu que l'existence s'en prouve alors en reprenant la construction sur l'ensemble quotient prise plus haut pour définition, et que l'unicité à isomorphisme près se montre en peu de lignes[7].

En l'appliquant au noyau, on en déduit le théorème suivant[8] :

Soit φ un morphisme d'anneaux d'un anneau A vers un anneau B nul sur I. Il existe un isomorphisme unique entre les anneaux A / Ker φ et Im φ qui fait commuter le diagramme ci-dessous :

On en déduit aussitôt le « premier théorème d'isomorphisme » :

Soit φ un morphisme d'anneaux dont l'anneau de départ est noté A. Alors :

.

Ainsi, l'image d'un morphisme ayant A pour anneau de départ est toujours isomorphe à un quotient de A.

Quotients des quotients, sous-anneaux des quotients, quotients des sous-anneaux[modifier | modifier le code]

Quotients d'un anneau-quotient : le troisième théorème d'isomorphisme[modifier | modifier le code]

Un anneau quotient d'un anneau quotient d'un anneau A peut être interprété directement comme quotient de A.

Plus précisément, soit A un anneau et I un idéal bilatère de A ; on note π la projection canonique de A sur A/I. L'ensemble ordonné (par l'inclusion) des idéaux bilatères de A/I est en bijection respectant l'ordre avec l'ensemble des idéaux bilatères de A contenant I, précisément :

L'application est une bijection entre l'ensemble des idéaux bilatères de A contenant I et l'ensemble des idéaux bilatères de A / I.

Une fois qu'on sait que les idéaux bilatères de A / I sont de la forme J / I on peut être plus précis, et élucider la structure du quotient, le résultat est connu sous le nom de « troisième théorème d'isomorphisme » :

Soit A un anneau, I un idéal bilatère de A et J un idéal bilatère de A contenant I. Alors J / I est un idéal bilatère de A / I, et il y a un isomorphisme :

.

Sous-anneaux d'un anneau-quotient[modifier | modifier le code]

Avec les mêmes notations qu'à la sous-section précédente, les sous-anneaux de l'anneau quotient A/I sont en correspondance avec les sous-anneaux de A contenant I exactement comme l'étaient les idéaux. Précisément :

L'application est une bijection entre l'ensemble des sous-anneaux de A contenant I et l'ensemble des sous-anneaux de A/I.

Anneaux-quotients d'un sous-anneau : le deuxième théorème d'isomorphisme[modifier | modifier le code]

Dans cette section, on part au contraire d'un anneau A et d'un sous-anneau B de A, et on s'intéresse aux anneaux quotients de B. Ce n'est pas aussi simple que dans la situation précédente : il n'y a pas en général d'ensemble d'anneaux quotients de A qui puisse être mis en bijection avec l'ensemble de tous les anneaux quotients de B.

Il y a tout de même quelque chose à dire si on ne part pas d'un quotient par un idéal bilatère quelconque de B, mais par un idéal bilatère de la forme BI, où I est un idéal de A. Le deuxième théorème d'isomorphisme fournit alors une description alternative de l'anneau quotient B/BI ;

Soit A un anneau, B un sous-anneau de A et I un idéal bilatère de A. Alors B+I est un sous-anneau de A et BI un idéal de B, et il y a un isomorphisme[9] :

.

Quotients en algèbre commutative[modifier | modifier le code]

Soit A un anneau commutatif :

  • Par définition, I est un idéal premier si A / I est intègre. On en déduit que I est premier si et seulement si c'est un idéal propre (c.-à-d. différent de A) vérifiant : si un produit d'éléments de A appartient à I alors au moins l'un des facteurs appartient à I.
  • I est un idéal maximal si et seulement si A / I est un corps[10].

Notes et références[modifier | modifier le code]

  1. a b c d et e N. Bourbaki, Éléments de mathématique, Algèbre, chapitres 1 à 3, p. I-100 et I-101.
  2. Bourbaki, p. AI-106.
  3. Annette Paugam, Agrégation de mathématiques. Questions délicates en algèbre et en géométrie, Paris, Dunod (ISBN 978-2-10-051378-9, BNF 41145446), p. 154.
  4. Paugam, chap. 4 (« À quoi sert de quotienter ? Quelques exemples »), p. 147-165 et, pour les corps finis, p. 171-174.
  5. Cet exemple est évoqué et discuté par Igor Chafarevitch, « Basic notions of Algebra » dans (en) A. I. Kostrikin - I. R. Shafarevich (dir.), Algebra I, coll. « Encyclopaedia of Mathematical Sciences », vol. 11, trad. M. Reid, Springer-Verlag, 1990, (ISBN 0-387-17006-5), p. 31-32.
  6. (en) Paul Cohn, Algebra, t. 2, Chichester, Wiley, , 2e éd., relié (ISBN 978-0-471-92234-6), p. 302.
  7. Paugam, p. 120-124.
  8. Cohn 1989, p. 303, qui appelle « premier théorème d'isomorphisme » l'énoncé qui suit et non le corollaire isolé plus bas sous ce nom ici.
  9. Cohn 1989, p. 303 (pour l'ensemble de cette section et ses trois sous-sections).
  10. Cohn 1989, p. 303.

Article connexe[modifier | modifier le code]

Théorème de factorisation