Anneau de Bézout

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.

• Un anneau quasi-bézoutien vérifie :
  • le lemme de Gauss donc aussi
  • le lemme d'Euclide (si p est irréductible et divise bc alors il divise b ou c).
• Un anneau bézoutien vérifie les propriétés supplémentaires suivantes :
  • les trois notions de primalité (irréductible, premier, extrémal) sont équivalentes ;
  • l'anneau est intégralement clos.
• Un anneau à PGCD est de Bézout si (et seulement si) c'est un anneau intègre dans lequel deux éléments premiers entre eux sont toujours étrangers^[4], autrement dit dans lequel les trois notions de coprimalité (premiers entre eux, indissolubles entre eux, étrangers) sont équivalentes.
• Un anneau à PGCD^[5] (ou même seulement pré-Schreier^[6]) est de Bézout si (et seulement si) c'est un anneau de Prüfer (en), c'est-à-dire^[7] un anneau intègre dont tout idéal de type fini non nul est inversible.
• Tout anneau de valuation est de Bézout.
• Un anneau intègre est principal si et seulement s'il est à la fois de Bézout et atomique^[8], un anneau intègre étant dit atomique si tout élément non nul et non inversible y est produit d'irréductibles.
  • Puisque tout anneau factoriel ou noethérien est atomique, tout anneau de Bézout qui est aussi factoriel ou noethérien est principal.
  • Il existe des anneaux de Bézout non atomiques (donc non factoriels et non noethériens), comme l'anneau des fonctions entières^[9] ou celui des entiers algébriques^[10],[11]. On peut également construire^[12], pour tout groupe abélien G totalement ordonné, un anneau de valuation (donc de Bézout) dont le groupe de valuations est G : pour G non trivial et non isomorphe à Z, cet anneau sera de valuation non triviale et non discrète, donc ne sera pas principal. Plus généralement, pour tout groupe abélien réticulé G, il existe un anneau de Bézout A dont le groupe de divisibilité, Frac(A)*/A^×, est isomorphe à G en tant que groupe ordonné^[13],[14].