Anneau de Bézout

anneau intègre dans lequel tout idéal de type fini est principal, dans lequel la propriété de Bachet-Bézout est vérifiée

En algèbre commutative, un anneau quasi-bézoutien[1] est un anneau où la propriété de Bézout est vérifiée ; plus formellement, c'est un anneau dans lequel tout idéal de type fini est principal[2].

Un anneau de Bézout, ou anneau bézoutien, est un anneau quasi-bézoutien intègre[3].

Idéal de type fini et propriété de Bézout

modifier

Un idéal de type fini est un idéal engendré par un nombre fini d'éléments. Un idéal engendré par un élément a est dit idéal principal et se note aA. Un idéal engendré par deux éléments a et b se note aA + bA, il est constitué des éléments de A pouvant s'écrire sous la forme au + bv avec u et v éléments de A.

Un anneau intègre est donc de Bézout si et seulement si, pour tous a et b de A, il existe un élément d de A tel que aA + bA = dA. L'implication directe n'est qu'une conséquence de la définition ; la réciproque provient du fait que si un idéal engendré par deux éléments est principal, il en est de même de l'idéal engendré par trois éléments, puis quatre, puis n.

Dans un anneau quasi-bézoutien, tout couple (a,b) d'éléments non nuls possède un PGCD : pgcd(a,b) = d si et seulement si aA + bA = dA. Tout anneau quasi-bézoutien est donc un anneau à PGCD.

De cette égalité, on déduit la propriété suivante appelée identité de Bézout : pour tous éléments a, b et c de A, il existe des solutions à l'équation au + bv = c si et seulement si c est multiple du PGCD de a et b.

Hiérarchie

modifier

Anneaux de Bézout non commutatifs

modifier

On appelle anneau de Bézout (ou bézoutien) à gauche un anneau intègre dans lequel tout idéal à gauche de type fini est principal. On définit de même un anneau de Bézout à droite. Un anneau de Bézout est un anneau de Bézout à gauche et à droite. Un anneau atomique bézoutien à gauche est un anneau principal à gauche (c.-à-d. un anneau intègre dans lequel tout idéal à gauche est principal). Un anneau R est de Bézout à gauche si, et seulement si R est un anneau d'Ore à gauche dans lequel tout idéal à gauche de type fini est libre[15].

Modules sur les anneaux de Bézout

modifier

Soit R un anneau de Bézout (non nécessairement commutatif) et un R-module à gauche ou à droite de type fini. Soit le sous-module de torsion de . Il existe un module libre de type fini tel que et, puisque , est déterminé de manière unique à un isomorphisme près[16]. En particulier, un anneau intègre R est de Bézout si, et seulement si tout R-module à gauche ou à droite de type fini sans torsion est libre.

Notes et références

modifier
  1. À ne pas confondre avec ce que N. Bourbaki, Algèbre commutative, chapitres 5 à 7, Springer, , 352 p. (ISBN 3540339418), chap. 7, § 1, exercice 21, a tenté de baptiser « anneau pseudo-bezoutien », et qui est couramment nommé « anneau intègre à PGCD ». Cf. (en) Philip B. Sheldon, « Prime ideals in GCD-domains », Canad. J. Math., vol. 26, no 1,‎ , p. 98-107 (DOI 10.4153/CJM-1974-010-8).
  2. H. Achkar, « Sur les anneaux arithmétiques », Séminaire d'algèbre non commutative, Publications mathématiques d'Orsay, no 27,‎ , p. 1.10 (lire en ligne), Proposition 3.7.2.
  3. Bourbaki 2006, chap. 7, § 1, exercice 20.
  4. (en) P. M. Cohn, « Bezout rings and their subrings », Math. Proc. Cambridge Phil. Soc., vol. 64,‎ , p. 251-264 (lire en ligne), Prop. 3.2.
  5. Bourbaki 2006, chap. VII, § 2, exercice 17.
  6. Cohn 1968, Th. 2.8.
  7. Bourbaki 2006, chap. VII, § 2, exercice 12.
  8. Cohn 1968, Prop. 1.2, p. 252.
  9. Voir une démonstration dans Daniel Perrin, « Autour du ppcm et du pgcd », , ou David Bourqui, « Arithmétique des anneaux de fonctions holomorphes ».
  10. E. Cahen, « Sur l'arithmétique du corps de tous les nombres algébriques », Bull. SMF, vol. 56,‎ , p. 7-17 (lire en ligne) explicite ce point du supplément de Dedekind aux Vorlesungen über Zahlentheorie (en) de Dirichlet.
  11. (en) « Example of a Bezout domain that is not a PID », sur PlanetMath.
  12. Bourbaki 2006, chap. VI, § 3, no 4.
  13. (en) Dan Anderson, « GCD domains, Gauss' lemma, and contents of polynomials », dans Scott T. Chapman et Sarah Glaz, Non-Noetherian Commutative Ring Theory, (lire en ligne), p. 1-31, Theorem 4.4 p. 10 (Krull-Kaplansky-Jaffard-Ohm).
  14. (en) Williy Brandal, « Constructing Bezout domains », The Rocky Mountain Journal of Mathematics, vol. 6, no 3,‎ , p. 383-399 (lire en ligne).
  15. (en) Paul Moritz Cohn, Free Rings and their Relations, Academic Press, , 2e éd., 595 p. (ISBN 0121791521).
  16. (en) Henri Bourlès et Bogdan Marinescu, Linear Time-Varying Systems : Algebraic-Analytic Approach, Springer, , 638 p. (ISBN 978-3-642-19726-0), Theorem 654.