Anneaux à diviseurs et anneaux de Krull
(une approche constructive)
T. Coquand, H. Lombardi

arXiv:1507.02880v3 [math.AC] 13 Dec 2017

14 décembre 2017
paru dans Communications in Algebra, 44 : 515–567, 2016
Quelques typos dans la bibliographie ont été corrigés par rapport à la version publiée. Par
ailleurs on a mieux organisé les démonstrations de 1.19 et 1.20.
Keywords : Divisor theory, PvMD, Constructive mathematics, Krull domains
MSC 2010 : 13F05, 14C20, 06F15, 03F65
Résumé
Nous présentons dans cet article une approche constructive, dans le style de Bishop,
de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale
aux “anneaux à diviseurs”, appelés PvMD dans la littérature anglaise. Les résultats
classiques sont obtenus comme résultats d’algorithmes explicites sans faire appel aux
hypothèses de factorisation complète.
Abstract
We give give an elementary and constructive version of the theory of “Prüfer
v-Multiplication Domains” (which we call “anneaux à diviseurs” in the paper) and
Krull Domains. The main results of these theories are revisited from a constructive
point of view, following the Bishop style, and without assuming properties of complete
factorizations.

Introduction
Nous présentons dans cet article une approche constructive de la théorie des diviseurs.
L’excellent livre Divisor Theory [8] traite constructivement la clôture intégrale d’un
anneau factoriel dans une extension finie de son corps des fractions. Edwards suppose aussi
que l’anneau factoriel possède de bonnes propriétés pour la factorisation des polynômes.
Nous traitons ici de manière constructive un cas plus général dans lequel nous n’avons
aucune hypothèse de décomposition en facteurs irréductibles. L’exemple le plus important
en pratique reste celui des anneaux géométriques 1 intégralement clos. Et dans ce cas la
décomposition d’un diviseur en somme d’irréductibles n’est pas assurée constructivement.
Nous nous situons dans la suite du livre A Course in Constructive Algebra [18], où est
développée une théorie constructive des domaines de Dedekind (chapitre XII) indépendante
de la possibilité d’une décomposition des idéaux en produit d’idéaux maximaux. Comme cet
article est écrit dans le style des mathématiques constructives à la Bishop, nous donnerons la
version constructive précise que nous choisissons pour beaucoup de notions classiques, même
très bien connues.
1. Algèbres de présentation finie sur un corps discret

1

2

Anneaux à diviseurs et anneaux de Krull

Le (( tour de force )) qui est réalisé par l’adjonction de pgcds idéaux en théorie des nombres
peut-il être généralisé de manière significative ?
Oui, pour certains anneaux intégralement clos, que nous appelons les anneaux à diviseurs,
dénommés (( anneaux pseudo-prüfériens )) dans les exercices de Bourbaki, et (( Prüfer vmultiplication domains )) dans la littérature anglaise. Ils constituent une classe d’anneaux
suffisamment large pour lesquels on a une notion raisonnable de diviseurs, mais où l’on ne
réclame pas l’existence de diviseurs irréductibles.
La théorie correspondante en mathématiques classiques semble due principalement à
Lorenzen, Jaffard, Lucius et Aubert ([2, 15, 19, 20, 21]).
Un développement moderne récent de cette théorie se trouve dans [14].
Cette théorie généralise la théorie plus classique des anneaux dits de Krull, dans laquelle
on réclame une décomposition unique en facteurs premiers pour les diviseurs. Elle a été
élaborée notamment par Krull, Arnold (1929), van der Waerden (1929), Prüfer (1932) et
Clifford (1938) ([1, 6, 17, 24, 26]). Il semble aussi que l’approche de [4] ait eu une forte
influence sur les exposés ultérieurs de la théorie.
En pratique les anneaux à diviseurs sont au départ des anneaux à pgcd intègres ou des
domaines de Prüfer. Ensuite la classe des anneaux à diviseurs est stable par extensions
polynomiales ou entières et intégralement closes, ce qui donne les exemples usuels de la
littérature.
Voici un bref résumé de l’article.
Dans la section 1 nous donnons une version élémentaire et constructive des bases de la
théorie des anneaux à diviseurs. Nous donnons des caractérisations simples des anneaux à
diviseurs (théorèmes 1.5, 1.28 et 1.29). Nous démontrons qu’un anneau intègre cohérent est à
diviseurs si, et seulement si, il est intégralement clos (théorème 1.18). Nous démontrons que
les anneaux à diviseurs de dimension de Krull 6 1 sont les domaines de Prüfer de dimension
de Krull 6 1 (théorème 1.19). Nous donnons en 1.27 un principe local-global concret pour la
divisibilité, les anneaux intégralement clos et les anneaux à diviseurs.
Dans la section 2 nous abordons les questions de décomposition des diviseurs. Nous
expliquons notamment les groupes réticulés de dimension 1 et leurs propriétés de base.
Dans la section 3 nous donnons les propriétés de stabilité essentielles pour les anneaux à
diviseurs : localisation, anneaux de polynômes, clôture intégrale dans une extension algébrique
du corps de fractions.
Dans la section 4 nous donnons un traitement élémentaire et constructif des anneaux de
Krull (les anneaux dont les diviseurs forment un groupe réticulé à décomposition bornée).
Nous indiquons l’algorithme de décomposition partielle pour les familles finies de diviseurs,
nous démontrons un théorème d’approximation simultanée, le théorème (( un et demi )) pour
les anneaux de Krull, et le théorème caractérisant les anneaux de Krull qui ne possèdent
qu’un nombre fini de diviseurs irréductibles.
La question des diviseurs irréductibles est traitée pour l’essentiel dans les énoncés 1.13,
1.14, 1.15 et 1.23, puis précisée en 2.5, 2.11, 3.5, 4.12 et 4.13.
Nous terminons cette introduction par quelques explications concernant notre terminologie.
Dans la littérature anglaise nos (( anneaux à diviseurs )) sont généralement appelés des (( Prüfer
v-multiplication domain )), abrégé en PvMD. Ce n’est vraiment pas très élégant. Ils ont été
introduits en 1967 par M. Griffin dans [13] initialement sous le nom de v-multiplication rings.
Lucius les appelle des anneaux avec une théorie des pgcds de type fini dans [20]. Dans les
exercices de Bourbaki, Algèbre Commutative, Diviseurs, leur nom est anneau pseudo-prüferien.
Pour plus de renseignements sur la littérature existante voir [5, 9, 10, 11].
Nous aurions voulu appeler ces anneaux anneaux divisoriels. Mais dans la littérature
anglaise on trouve (( divisorial ring )) pour un anneau intègre dont tous les idéaux sont (( divisoriels )) au sens de Bourbaki, c’est-à-dire intersections d’idéaux fractionnaires principaux. Cette

T. Coquand, H. Lombardi

3

définition n’est pas pertinente d’un point de vue constructif, car il est impossible de montrer
constructivement que l’anneau Z la satisfait 2 . Néanmoins, nous avons considéré que le terme
(( anneau divisoriel )), que nous convoitions, était déjà pris, et nous nous sommes rabattus
sur le moins élégant (( anneau à diviseurs )).
Signalons aussi que nous introduisons la notion purement multiplicative de liste divisoriellement inversible page 4 dans la section 1. La notion associée d’idéal divisoriellement inversible
dans un anneau intègre coı̈ncide avec celle d’idéal t-inversible, définie dans la littérature sur
les PvMD. Nous pensons cependant que la terminologie divisoriellement inversible est plus
parlante.
Enfin nous définissons page 18 l’anneau de Nagata divisoriel Bdiv (X) d’un anneau
commutatif arbitraire B. Dans le cas d’un anneau intègre, il est appelé dans la littérature
l’anneau de Nagata pour la star opération v, et il est noté Na(B, v)(X).

1

Anneaux à diviseurs
Dans tout l’article, A est un anneau intègre, de corps de fractions K, et l’on note
A∗ = Reg A (le monoı̈de des éléments réguliers) et A× le groupe des unités.

Nous définissons un anneau intègre comme un anneau qui satisfait l’axiome (( tout élément
est nul ou régulier )). Nous n’excluons donc pas a priori le cas de l’anneau trivial. Dans ce
cas A∗ = A et l’anneau total des fractions K est également trivial. Pour qualifier un élément
de A∗ , nous parlerons donc plutôt d’élément régulier que d’élément non nul.
Notez que l’anneau K vérifie l’axiome (( tout élément est nul ou inversible )), que A soit
trivial ou non.
Dans la suite, nous parlerons de A∗/A× comme du monoı̈de de divisibilité de A, et de
K /A× comme du groupe de divisibilité de A. Le premier est vu avec sa structure ordonnée
de monoı̈de positif 3 et le second, isomorphe au symétrisé du premier, est vu comme un
groupe ordonné (ses éléments > 0 sont les classes des éléments de A∗ ).
Nous désignons par GrA (a1 , . . . , an ) la profondeur de a = ha1 , . . . , an i, (abréviation pour
la profondeur du A-module A relativement à l’idéal a). Pour cet article nous suffira de
rappeler les définitions suivantes : une liste (a) = (a1 , . . . , an ) est dite de profondeur > 1 si
les égalités a1 x = . . . = an x = 0 impliquent x = 0. La liste (a) est dite de profondeur > 2 si
en outre, toute liste (x1 , . . . , xn ) proportionnelle (i.e. ai xj = aj xi pour tous i, j) est multiple
de (a) (i.e. il existe x tel que xj = xaj pour tout j). Ces propriétés sont attachées à l’idéal a :
on peut changer de système générateur pour l’idéal.
Rappelons aussi les résultats classiques suivants (nous les utilisons pour k = 1 ou 2) :
si Gr(a) > k et Gr(b) > k alors Gr(ab) > k ; si Gr(a) > k et a ⊆ b alors Gr(b) > k ; si
m
Gr(a1 , . . . , an ) > k alors pour tout m, Gr(am
1 , . . . , an ) > k.
∗

Pgcd fort, ppcm et profondeur > 2
On sait que dans un anneau intègre, deux éléments qui admettent un pgcd n’admettent
pas nécessairement un ppcm, bien que la réciproque soit valable. Voici des précisions sur ce
sujet.
Proposition et définition 1.1 (Pgcd fort, ppcm et profondeur > 2)
Soient A un anneau intègre, et a1 , . . ., an , b, g ∈ A∗ .
2. Une mésaventure analogue arrive avec la définition usuelle de la noethérianité : tout idéal est de type
fini.
3. On définit un monoı̈de positif comme un monoı̈de commutatif simplifiable (M, +, 0) pour lequel est
satisfaite l’implication x + y = 0 =⇒ x = y = 0. Le monoı̈de M peut alors être vu comme la partie positive
d’un groupe ordonné G (en tant que groupe, G est le symétrisé de M .)

4

Anneaux à diviseurs et anneaux de Krull

1. On dit que la famille (ai ) admet l’élément g comme pgcd fort si sont satisfaites les
conditions équivalentes suivantes.
(a) L’élément g vu dans K∗/A× est le pgcd (la borne inférieure) de la liste (a1 , . . . , an ).
(b) Pour tout x ∈ A∗ l’élément xg est un pgcd dans A de (xa1 , . . . , xan ).
∗
(c) Étant donné un multiple commun
Tn a ades ai dans A , l’élément a/g est un ppcm
a
des a/ai (autrement dit g A = i=1 ai A)

(d) (Formulation avec des idéaux fractionnaires
Tn dans K) L’élément 1/g est un ppcm
des 1/ai dans K, autrement dit g1 A = i=1 a1i A.
2. Si g est le pgcd fort de (a1 , . . . , an ), c’est aussi le pgcd fort de n’importe quel autre
système générateur de l’idéal a = ha1 , . . . , an i. On dira donc que g est le pgcd fort de
l’idéal de type fini a.
3. Si g est le pgcd fort de (a1 , . . . , an ), bg est le pgcd fort de (ba1 , . . . , ban ).
4. On a Gr(a1 , . . . , an ) > 2 si, et seulement si, 1 est pgcd fort de (a1 , . . . , an ).
Démonstration. La démonstration est laissée au lecteur.
Naturellement, un pgcd fort est un pgcd.

2

Remarque. Soit A un anneau intègre de corps de fractions K. Pour deux sous-A-modules
non nuls a et b ⊆ K, on note (a : b)K = { x ∈ K | xb ⊆ a } . Dans la terminologie des staropérations, on note a−1 = (A : a)K . Alors a 7→ (a−1 )−1 est une star-opération, généralement
appelée v-opération, et av = (a−1 )−1 est l’intersection des idéaux fractionnaires principaux
(non nuls) qui contiennent a.
Avec ces notations, les propriétés équivalentes du point 1 ci-dessus sont aussi équivalentes
−1 −1
−1
à ha1 , . . . , an i = g1 ou à ha1 , . . . , an i
= hgi. Lorsque l’anneau est cohérent et a, b
−1 −1
de type fini comme A-modules, (a : b)K et (a ) sont de type fini.

Idéaux divisoriellement inversibles
Définition 1.2 Une liste (a) = (a1 , . . . , an ) dans A∗ est dite divisoriellement inversible si
l’on a une liste (b) = (b1 , . . . , bm ) dans A∗ telle que la famille (ai bj )i∈J1..nK,j∈J1..mK admet un
pgcd fort g dans A∗ .
Les deux listes (a) et (b) sont dites inverses divisorielles l’une de l’autre.
Exemples.
1) Dans un anneau à pgcd, les pgcds sont forts et toute famille finie admet la liste (1) comme
inverse divisorielle.
2) Si ha1 , . . . , an i hb1 , . . . , bm i = hgi avec g ∈ A∗ , la liste (a) admet la liste (b) comme inverse
divisorielle et g est le pgcd fort des ai bj .
En notant a = hai et b = hbi, cette propriété des listes (a) et (b) ne dépend que de
l’idéal ab. Et donc la propriété pour la liste (a) d’être divisoriellement inversible ne dépend
que de l’idéal de type fini a = hai. Ceci introduit une nouvelle définition.
Définition 1.3 Soit A un anneau intègre.
— Un idéal de type fini a de A est dit divisoriellement inversible s’il existe un idéal de
type fini b tel que ab admette un pgcd fort. On dit aussi que l’idéal de type fini a et
l’idéal de type fini b sont inverses divisoriels l’un de l’autre.
— L’anneau A est appelé un anneau à diviseurs si tout idéal de type fini non nul est
divisoriellement inversible.

T. Coquand, H. Lombardi

5

Notez que l’inverse divisoriel d’un idéal de type fini, s’il existe, n’est en aucun cas unique.
Il s’agit un peu du même flottement que lorsque l’on parle de l’inverse d’un idéal de type fini
dans un anneau de Prüfer. Mais ici, ce sera encore plus flottant, car deux inverses divisoriels
d’un même idéal de type fini sont rarement isomorphes comme A-modules. Par exemple
dans un anneau à diviseurs si Gr(c) > 2 et si ab admet un pgcd fort g, alors a(bc) admet le
même pgcd fort. Mais si A n’est pas un anneau de Prüfer, en général, b et bc ne sont pas des
A-modules isomorphes.
Remarque. La notion de liste divisoriellement inversible est une notion purement multiplicative
qui peut être définie pour un anneau commutatif arbitraire en utilisant la caractérisation
dans le point 4. de la proposition 1.1. La notion associée d’idéal divisoriellement inversible
dans un anneau intègre coı̈ncide avec celle d’idéal t-inversible, définie dans la littérature sur
les PvMD. Nous pensons cependant que la terminologie divisoriellement inversible est plus
parlante.
Lemme 1.4 Soit (a1 , . . . , an ) une liste divisoriellement inversible dans A∗ et x régulier dans
l’idéal ha1 , . . . , an i.
1. On peut trouver une liste (c1 , . . . , cq ) = (c) tel que x soit le pgcd fort des ai ck .
2. Si l’anneau A est cohérent, on peut prendre pour (c1 , . . . , cq ) un système générateur
de l’idéal transporteur (hxi : a)A .
Démonstration. 1. Considérons une liste (b1 , . . . , bm ) pour laquelle les ai bj admettent un
pgcd fort g. Dans K∗/A× , g est le pgcd de la famille (ai bj )i,j , donc x = xg g est le pgcd de
xai bj 
a b
la famille
. Comme les ig j sont dans A et x est combinaison linéaire des ai , on
g
i,j
a

xbj
g

∈ A et on peut prendre pour (c) la liste des

xbj
g .

2. Lorsque A est cohérent, le transporteur c0 = (hxi : a)A est un idéal de type fini qui contient
xb
l’idéal c = g j , j ∈ J1..mK construit au point 1. On doit vérifier que ac0 admet aussi x pour
pgcd fort. Et puisque ac ⊆ ac0 il suffit que x divise tous les générateurs de ac0 , ce qui est clair.
2

Un projet pour le groupe des diviseurs d’un anneau intègre
Comme nous l’avons déjà souligné, du point de vue algorithmique la factorisation totale
n’est pas une propriété (( facile )), et nous sommes surtout intéressés par le fait d’avoir un
bon groupe réticulé construit de manière raisonnable à partir du monoı̈de positif A∗/A× (ou
du groupe ordonné K∗/A× ).
Une manière d’expliquer ce que l’on veut réaliser est de décrire formellement les propriétés
du groupe des diviseurs de A, que nous noterons Div A, et de l’application divA de A∗
dans (Div A)+ , qui à tout élément de A∗ associe le diviseur principal (positif ou nul) qu’il
définit. Nous utilisons une notation additive pour le groupe Div A. Nous nous inspirons ici
de la présentation de la théorie des diviseurs donnée dans le livre [4] consacré à la théorie
des nombres.
Mais comme le suggère [2, Aubert], nous ne mentionnerons ici que la structure multiplicative de A∗ : l’addition dans A ne doit pas intervenir ici ! Voir cependant la proposition 1.8.
Projet divisoriel 1. Les propriétés requises pour divA : A∗ → (Div A)+ sont les suivantes.
D1 Div A est un groupe réticulé et divA un morphisme de monoı̈des :
divA (1) = 0,

divA (ab) = divA (a) + divA (b).

D2 Pour tous a, b ∈ A∗ , divA (a) 6 divA (b) ⇐⇒ a | b.

6

Anneaux à diviseurs et anneaux de Krull
D3 Tout élément de (Div A)+ est la borne inférieure dans Div A d’une famille finie
d’éléments de divA (A∗ ).

On peut écrire ce projet sous la forme équivalente suivante, en demandant de traiter tous
les diviseurs principaux, y compris ceux qui proviennent de K∗ .
Projet divisoriel 2. Les propriétés requises pour divA : K∗ → Div A sont les suivantes.
D01 Div A est un groupe réticulé et divA passe au quotient K∗/A× en donnant un morphisme de groupes ordonnés.
∀x, y ∈ K∗ : divA (xy) = divA (x) + divA (y),
divA (1) = 0, ∀a ∈ A∗ : divA (a) > 0.
D02 Pour tout x ∈ K∗ , divA (x) > 0 ⇐⇒ x ∈ A.
D03 Tout élément de Div A est la borne inférieure dans Div A d’une famille finie d’éléments
de divA (K∗ ).
Dans la suite nous utiliserons parfois (( div )) au lieu de (( divA )) lorsque le contexte sera
clair.
Remarque. La condition D3 implique la propriété qu’un élément de (Div A)+ est égal à la
borne inférieure dans Div A de tous les éléments de div(A∗ ) qui le majorent. Nous utiliserons
souvent cette propriété par la suite.
Mais naturellement la condition D3 est a priori plus forte.
Dans [4] c’est une propriété encore plus faible qui est énoncée : deux éléments de (Div A)+
qui ont les mêmes majorants dans div(A∗ ) sont égaux. Par contre ces auteurs introduisent
deux conditions supplémentaires.
D’une part ils demandent que divA (a + b) > divA (a) ∧ divA (b) (propriété non multiplicative).
D’autre part ils demandent à Div A d’être un groupe réticulé à décomposition complète.
Convention. Il peut être pratique de rajouter 4 un élément +∞ à Div A en posant div(0) = +∞, +∞ > δ et δ + ∞ = ∞ + δ = +∞ pour tout δ ∈ Div A ∪ {+∞} .
Alors les propriétés décrites dans le Projet divisoriel restent valables en acceptant 0 là où on
le refusait. Cette convention présente deux intérêts. Premièrement, (Div A)+ ∪ {+∞} est
un treillis distributif 5 . Deuxièmement, cela permet de traiter de manière plus uniforme les
espaces spectraux implicitement présents dans la théorie.

Le théorème de base
Théorème et définition 1.5 (Anneaux à diviseurs)
Pour que le projet divisoriel puisse être réalisé pour l’anneau A il faut et suffit que A soit
un anneau à diviseurs (toute famille finie non vide de A∗ est divisoriellement inversible).
Dans ce cas le couple (divA , Div A) est unique à isomorphisme unique près.
— On dit alors que A est un anneau à diviseurs avec divA : K∗ → Div A pour théorie
des diviseurs.
— On note alors divA (a1 , . . . , an ) pour divA (a1 ) ∧ · · · ∧ divA (an ).
— Un élément α ∈ Div A est appelé un diviseur principal s’il est de la forme div(x) pour
un x ∈ K∗ .
4. Lorsque A 6= 0 les conditions requises sont satisfaites avec +∞ > Div A. Par contre si A = 0, on ne
rajoute rien du tout, car div(0) = div(1).
5. Lorsque A 6= 0, il manque juste l’élément maximum dans (Div A)+ pour en faire un treillis distributif.

T. Coquand, H. Lombardi

7

Démonstration. Nous laissons à la lectrice le soin de vérifier que les deux projets divisoriels
sont équivalents.
Supposons le projet divisoriel réalisé et montrons que toute liste (a1 , . . . , an ) dans A∗ est
divisoriellement inversible. On note divA (a1 , . . . , an ) pour divA (a1 ) ∧ · · · ∧ divA (an ). On a
nécessairement par distributivité

divA (a1 , . . . , an ) + divA (c1 , . . . , cq ) = divA (ai cj )i∈J1..nK,j∈J1..qK .
et trivialement divA (a1 , . . . , an ) ∧ divA (c1 , . . . , cq ) = divA (a1 , . . . , an , c1 , . . . , cq ).
On a divA (a1 ) > divA (a1 , . . . , an ) de sorte que l’on peut écrire (en vertu de D3 )
divA (a1 ) − divA (a1 , . . . , an ) = divA (c1 , . . . , cq )
pour une famille finie (c1 , . . . , cq ) = (c) dans A∗ . L’égalité

divA (a1 ) = divA (a) + divA (c) = divA (ai cj )i∈J1..nK,j∈J1..qK

nous dit que divA (a1 ) est la borne inférieure de la famille divA (ai cj ) i,j dans Div A. Et
vu D02 , cela implique que a1 est la borne inférieure de la famille (ai cj )i,j dans K∗/A× . Ce
qui signifie que a1 est pgcd fort des ai cj dans A∗ . Ainsi la condition que toute famille finie
soit divisoriellement inversible est bien satisfaite.
Voyons maintenant la question de l’unicité.
Les éléments de Div A s’écrivent tous nécessairement sous forme divA (a) − divA (b) pour
deux listes finies (a) = (a1 , . . . , an ) et (b) = (b1 , . . . , bm ) dans A∗ . On peut même demander
que divA (a, b) = 0, autrement dit que 1 soit pgcd fort des ai et bj dans A∗ .
Pour que l’unicité de la solution du projet divisoriel soit acquise, il suffit de voir qu’on n’a
pas le choix pour décider une égalité
divA (a) − divA (b) = divA (c) − divA (d)
pour des listes finies (a), (b), (c), (d) de A∗ . Cela revient à divA (a) + divA (d) = divA (b) +
divA (c).
De manière plus générale on donne une propriété caractéristique pour une égalité
divA (a1 , . . . , an ) = divA (b1 , . . . , bm ).
Ici, on peut avancer l’un des deux arguments suivants, au choix.
Premier argument.
Si (c1 , . . . , cq ) est une famille inverse divisorielle de (a1 , . . . , an ) avec g pgcd fort des (ai cj ),
l’égalité divA (a) = divA (b) équivaut au fait que g est pgcd fort des (bk cj ).
Deuxième argument.
On donne une propriété caractéristique pour une inégalité divA (a) 6 divA (b). C’est la
propriété suivante.
— Dans K∗ , b est multiple de tous les diviseurs communs à (a1 , . . . , an ). (∗)
En effet, puisqu’on doit avoir divA (1/x) = − divA (x) en raison de D01 , la condition D03 est
équivalente à sa formulation duale : tout élément de Div A est la borne supérieure dans
Div A d’une famille finie d’éléments de divA (K∗ ), et a fortiori il est la borne supérieure de
l’ensemble des divA (x) qu’il majore.
En particulier
divA (b) > α = divA (a) ⇐⇒ divA (b) majore Mα = { divA (x) | x ∈ K∗ , divA (x) 6 α } .
Et Mα est égal à { divA (x) | x ∈ K∗ , &i x | ai }. Et vu D2 , divA (b) > α signifie exactement
que dans K∗ , b est multiple des diviseurs communs à la liste (a).
Supposons maintenant la condition d’existence des inverses divisoriels satisfaite et montrons
que l’on peut construire Div A et divA conformément au projet divisoriel.
Pour cela on munit l’ensemble Lst(A)∗ (ensemble des listes finies non vides d’éléments de A∗ )
de la relation de préordre 4 directement inspirée de la condition (∗) précédente :
(a1 , . . . , an ) 4 (b1 , . . . , bm )

def

⇐⇒

chaque bj est multiple des diviseurs communs à (a).

8

Anneaux à diviseurs et anneaux de Krull

On définit (Div A)+ comme l’ensemble ordonné correspondant (où α = β ⇔ α 4 β et β 4 α).
On vérifie alors que l’on peut définir une addition sur (Div A)+ en posant
def

(a) + (b) = (ai bj )i,j .
En d’autres termes cette loi a priori mal définie (( passe au quotient )). On vérifie ensuite que
l’on obtient par symétrisation un groupe réticulé Div A convenable. Les détails sont laissés
au lecteur.
2

Le résultat dans le lemme qui suit est donné page 388 dans [27, Zafrullah, 2006] : il faut
lire (( PvMD )) au lieu de (( anneau à diviseurs )) et (( t-inversible )) au lieu de (( divisoriellement
inversible )).
Lemme 1.6 Un anneau intègre dans lequel tout idéal fidèle à deux générateurs est divisoriellement inversible est un anneau à diviseurs.
Démonstration. On utilise l’astuce de Dedekind. Pour 3 idéaux arbitraires a, b, c dans un
anneau on a toujours l’égalité
(a + b)(b + c)(c + a) = (a + b + c)(ab + bc + ac).
En outre un produit d’idéaux divisoriellement inversibles est divisoriellement inversible. Donc
si a + b, b + c et a + c sont divisoriellement inversibles, il en va de même pour a + b + c. Cela
permet de passer des idéaux à deux générateur aux idéaux à trois générateurs, puis de proche
en proche à un nombre quelconque de générateurs.
2

Exemples. On a deux exemples fondamentaux, à partir desquels seront construits la plupart
des autres exemples intéresssants en pratique.
1) Un anneau intègre à pgcd A est à diviseurs et l’on a
(Div A, +, 0, 6) ' (K∗ /A× , · , 1, | ).
En outre un inverse divisoriel de n’importe quel idéal de type fini est h1i.
Un anneau à diviseurs dont tous les diviseurs sont principaux est un anneau à pgcd.
2) Un domaine de Prüfer est un anneau à diviseurs et l’on a
(Div A, +, 0, 6, ∧) ' (Gfr(A), · , h1i , ⊇, +).
(rappelons que Gfr(B) désigne en général le groupe des idéaux fractionnaires inversibles
de B : pour un domaine de Prüfer ce sont tous les idéaux fractionnaires de type fini fidèles).
En outre un idéal de type fini fidèle 6 admet un inverse (au sens des idéaux inversibles) qui
est aussi un inverse divisoriel.
3) On donne souvent comme premier
√ exemple d’un anneau de Prüfer qui n’est pas un anneau
de Bezout l’anneau Z[α] où α = −5 dans lequel on a 2 × 3 = (1 + α)(1 − α) avec les 4
éléments irréductibles. Le mystère de la décomposition unique en facteurs premiers est alors
éclairci par les décompositions en produits d’idéaux premiers données par les égalités
h2i = h2, 1 + αi

2

,

h3i = h3, 1 + αi h3, 1 − αi ,

h1 + αi = h2, 1 + αi h3, 1 + αi et h1 − αi = h2, 1 + αi h3, 1 − αi .
avec les trois idéaux h2, 1 + αi, h3, 1 + αi, h3, 1 − αi irréductibles distincts.
Voici un exemple du même style avec un anneau à diviseurs qui n’est ni un anneau à pgcd ni
un domaine de Prüfer. On considère un corps discret k et l’on définit
A = k[A, B, C, D]/hAD − BCi = k[a, b, c, d].
Il s’agit d’un anneau intègre dans lequel a, b, c, d sont des éléments irréductibles. En effet
l’anneau quotient A reste gradué et a, b, c, d sont de degré 1. La suite (a, d) est régulière et
6. Si A est un anneau intègre non trivial, un idéal de type fini est fidèle si, et seulement si, il est non nul.

T. Coquand, H. Lombardi

9

les localisés en a et d sont des anneaux à pgcd. Par exemple A[ a1 ] ' k[A, B, C, 1/A]. Donc A
est un anneau à diviseurs (principe local-global 1.27). En outre divA (a, d) = 0 car l’égalité a
lieu dans les deux localisés (principe local-global 1.27).
On vérifie que hb, ai hb, di = hbi ha, b, c, di, donc divA (b, a) + divA (b, d) = divA (b) car
div(a, b, c, d) = 0.
Donc l’égalité ad = bc sans décomposition unique apparente en facteurs premiers s’explique
par les décompositions en sommes de diviseurs deux à deux orthogonaux dans Div A données
par les égalités
divA (a) = divA (a, b) + divA (a, c)

,

divA (d) = divA (d, b) + divA (d, c) ,

divA (b) = divA (a, b) + divA (d, b)

et

divA (c) = divA (a, c) + divA (d, c).

Notons qu’il est un peu plus délicat de certifier que les quatre diviseurs divA (a, b), divA (a, c),
divA (d, b) et divA (d, c) sont irréductibles. Voir à ce sujet la poursuite de cet exemple pages
11 et 13.
Enfin l’élément a est irréductible mais il n’est pas premier car A/hai ' k[B, C, D]/hBCi.
Donc A n’est pas un anneau à pgcd 7 .
Et l’anneau A n’est pas non plus un domaine de Prüfer car l’égalité divA (a, d) = 0 impliquerait
ha, di = h1i, ce qui n’est pas le cas 8 .
Proposition 1.7 Lorsque A est un anneau à diviseurs avec divA : K∗ → Div A comme
théorie des diviseurs, on a les propriétés suivantes.
1. Pour b, a1 , . . ., an dans A∗ ,
(a) divA (b) 6 divA (a1 , . . . , an ) si, et seulement si, b divise les ai dans A∗ ,
(b) divA (b) > divA (a1 , . . . , an ) si, et seulement si, b est multiple de tous les diviseurs
communs à (a1 , . . . , an ) dans K∗ ,
(c) divA (b) = divA (a1 , . . . , an ) si, et seulement si, b est pgcd fort de (a1 , . . . , an ).
2. Soit α un élément arbitraire de Div A.
(a) α est la borne inférieure d’une famille finie de diviseurs principaux (en conséquence
il est la borne inférieure des diviseurs principaux qu’il minore).
(b) α est la borne supérieure d’une famille finie de diviseurs principaux (en conséquence
il est la borne supérieure des diviseurs principaux qu’il majore).
(c) On peut écrire α sous la forme divA (a) − divA (b) pour deux listes finies (a) et (b)
dans A∗ avec divA (a, b) = 0 (autrement dit 1 est pgcd fort des ai et bj dans A∗ ).
3. On considère deux listes (x) = (x1 , . . . , xn ) et (y) = (y1 , . . . , ym ) dans K∗
V
V
(a) On a l’égalité i divA (xi ) = j divA (yj ) si, et seulement si, (x) et (y) ont les
mêmes diviseurs communs dans K∗ .
W
W
(b) On a l’égalité i divA (xi ) = j divA (yj ) si, et seulement si, (x) et (y) ont les
mêmes multiples communs dans K∗ .
Démonstration. Tout ceci résulte des considérations développées dans la démonstration du
théorème 1.5.
2
On a alors comme corollaire une propriété faisant intervenir (enfin) la structure additive
de l’anneau.

7. Autre argument : le couple (a, b) a pour pgcd 1, mais ce n’est pas un pgcd fort car ad est multiple de a
et b sans être multiple de ab (sinon d serait multiple de b).
8. Un argument plus savant : A étant noethérien cohérent, il serait de dimension 6 1 (théorème XII-7.8
dans [18]), or il contient la suite régulière (a, d, b + c).

10

Anneaux à diviseurs et anneaux de Krull

Proposition et définition 1.8 On suppose que A est un anneau à diviseurs.
1. Pour tous a, b ∈ A∗ on a divA (a) ∧ divA (b) 6 divA (a + b).
2. Pour a1 , . . ., an ∈ A et a ∈ ha1 , . . . , an i, on a
divA (a1 ) ∧ . . . ∧ divA (an ) 6 divA (a).
V
En notant a = ha1 , . . . , an i on voit que le diviseur α = i divA (ai ) ne dépend que de
a. On note donc α = divA (a) = divA (a1 , . . . , an ).
On dit que α est le diviseur de l’idéal de type fini a.
3. Pour deux idéaux de type fini a et b de A on a alors
b ⊇ a ⇒ divA (b) 6 divA (a)

et

divA (ab) = divA (a) + divA (b).

Démonstration. 1. En effet les diviseurs communs à (a, b) dans K∗/A× sont les mêmes que
les diviseurs communs à (a, b, a + b).
Vu la proposition 1.7 on a donc div(a) ∧ div(b) = div(a) ∧ div(b) ∧ div(a + b).
2. Même chose.
2

3. Par distributivité dans le groupe réticulé Div A.

On peut généraliser la proposition 1.8 aux idéaux fractionnaires de type fini de A. On a
alors les implications suivantes (x ∈ K, x, y idéaux fractionnaires de type fini ⊆ K) :
x ∈ x =⇒ divA (x) 6 divA (x),

x⊇y

=⇒ divA (x) 6 divA (y).

Notez que pour x = hx1 , . . . , xn i l’inégalité divA (x) 6 divA (x) signifie que
divA (x1 , . . . , xn ) = divA (x1 , . . . , xn , x) i.e. divA (x) = divA (x + hxi).
Cela signifie aussi que tout y ∈ K qui divise les xi divise x( 9 ).

Exprimer un diviseur comme borne supérieure de diviseurs principaux
Proposition et notation 1.9 Soit A un anneau à diviseurs.
1. Un diviseur > 0 s’écrit α = div(a) pour un idéal de type fini a. Pour exprimer α
comme borne supérieure de diviseurs principaux on considère un inverse divisoriel
b = hb1 , . . . , bm i de l’idéal a. On a donc α + β = div(g) (β = div(b)) pour un g ∈ A∗ .
D’où finalement
Wm
Wm
α = j=1 div( bgj ) = j=1 div(aj ) pour des aj ∈ K∗ .
2. De la même manière, un élément arbitraire de Div A peut s’écrire sous forme α−div(b)
pour un α ∈ (Div A)+ et un b ∈ A∗ . Il s’écrit donc explicitement comme une borne
supérieure finie de diviseurs principaux.
Wm
3. Si α ∈ Div A s’écrit j=1 div(aj ), on a pour x ∈ K :
T
divA (x) > α ⇐⇒ x ∈ i ai A.
On note IdvA (α) ou Idv(α) cet idéal fractionnaire
T
Idv(α) = { x ∈ K | divA (x) > α } = i ai A.
Pq
Enfin pour un idéal fractionnaire c =  i=1 ci A, on note de manière abrégée Idv(c)
ou Idv(c1 , . . . , cq ) au lieu de Idv div(c) .
9. Pour x et les xi dans A c’est une condition du type (( pgcd fort )) : pour tout z ∈ A et c ∈ A∗ , si z
divise les cxi , alors z divise cx.

T. Coquand, H. Lombardi

11

4. Pour α et γ ∈ Div A on a α 6 γ si, et seulement si, Idv(α) ⊇ Idv(γ) dans K.
En particulier α = γ si, et seulement si, Idv(α) = Idv(γ).
T
5. Dans le cas de figure du point 1., on a Idv(α) = A ∩ j bgj A = (g : b)A .
T
Pm
6. Si Idv(α) = i ai A = h=1 ch A, alors α = divA (c1 , . . . , cm ).
Ainsi lorsque A est cohérent, l’idéal fractionnaire Idv(α) est de type fini pour tout
diviseur α.
Démonstration. 1 et 2. Clair.
3. De manière générale un diviseur est borne inférieure des diviseurs principaux qui le
majorent. Or dire que divA (x) majore
les divA (aj ), autrement dit qu’il majore leur borne
T
supérieure α, c’est dire que x ∈ i ai A.
4 et 5. Clair d’après 3.
6. Posons
γ = divA (c1 , . . . , cm ). Un diviseur principal divA (x) majore α si, et seulement si,
T
x ∈ i ai A. Ainsi γ > α, et par ailleurs tout diviseur principal qui majore α majore γ.
Donc γ = α car ils sont majorés par les mêmes diviseurs principaux.
2

Exemple. Avec l’exemple 3) page 8, puisque divA (a, b) + divA (a, c) = divA (a), le point 5 cidessus nous donne l’égalité IdvA (a, b) = (a : c)A . Un calcul montre alors que (a : c)A = ha, bi.
Et par suite ha, bi = IdvA (a, b).
En général pour un idéal fractionnaire c = hc1 , . . . , cq i on peut avoir une inclusion stricte
c ( Idv(c) (c’est le cas si c ( Icl(c)). Lorsque l’anneau est cohérent, les intersections finies
d’idéaux fractionnaires principaux sont des idéaux fractionnaires de type fini qui ont donc
un statut particulier.

Remarques. 1) Pour un idéal fractionnaire non nul de type fini a de l’anneau à diviseurs A on
a Idv(a) = (a−1 )−1 , qui est l’intersection des idéaux fractionnaires principaux contenant a.
2) Tout diviseur étant borne supérieure d’une famille finie de diviseurs principaux, on
pourrait choisir de représenter les diviseurs par les intersections finies d’idéaux fractionnaires
principaux comme (( forme canonique )). L’avantage est alors que α = β si, et seulement
si, Idv(α) = Idv(β). Notons que cependant dans l’exemple précédent : divA (a, b) est > 0
mais il ne peut s’écrire comme borne supérieure d’éléments divA (xi ) pour des xi ∈ A car
tout diviseur commun de a et b dans A est une unité.
La proposition 1.9 justifie la définition suivante, et donne le corollaire qui la suit.
Définition et notation 1.10
Soit A un anneau et K = Frac A son anneau total de fractions.
— On appelle idéal divisoriel fini de A une intersection finie d’idéaux fractionnaires
principaux fidèles dans K (i.e., de la forme xA pour un x ∈ K∗ ). Si A est un anneau
à diviseurs, un idéal divisoriel fini est n’importe quel idéal fractionnaire de la forme
Idv(α) pour un α ∈ Div A.
— On note Idif(A) l’ensemble des idéaux divisoriels finis de A.
— Pour un idéal fractionnaire a qui n’est pas supposé de type fini, on définit Idv(a)
comme l’intersection des idéaux fractionnaires principaux fidèles qui contiennent a.
En outre, dans le cas d’un anneau à diviseurs, on écrit div(a) = α si Idv(a) = Idv(α).
Ceci revient à dire que a ⊆ Idv(α) et que α = div(b) pour un idéal fractionnaire de
type fini b ⊆ Idv(a).
NB. Un idéal divisoriel fini n’est pas nécessairement un idéal fractionnaire de type fini, mais
c’est le cas lorsque A est cohérent. Par ailleurs, div(a) = 0 signifie que a contient une suite
de profondeur > 2.

12

Anneaux à diviseurs et anneaux de Krull

Corollaire 1.11 Pour un anneau à diviseurs, les applications
T
W
Idif(A) −→ Div A ,
i xi A 7−→
i divA (xi ) et
Div A −→ Idif(A) ,

α 7−→ Idv(α)

sont des bijections réciproques bien définies.

Quand le groupe des diviseurs est-il discret ?
Un groupe réticulé G est dit discret si la relation d’ordre α 6 β est décidable 10 . Pour cela il
faut et suffit que l’égalité γ = 0 pour un γ ∈ G+ soit décidable, car α 6 β ⇐⇒ α−(α∧β) = 0.
Pour le groupe réticulé Div A, cela veut dire que l’on sait tester si une liste finie (a1 , . . . , an )
dans A∗ admet 1 comme pgcd fort.
En fait savoir tester si divA (x) 6 divA (y) pour x et y ∈ K∗ revient à savoir tester
la divisibilité dans A∗ , et cela va suffire. En effet, pour un anneau à diviseurs
A, on
Wn
peut tester
(
(
α
6
β
?
)
)
pour
α
et
β
dans
Div
A
comme
suit.
On
écrit
α
=
div
A (xi )
i=1
Vm
et β = j=1 divA (yj ) pour des xi et yj ∈ K∗ .
On doit donc tester divA (xi ) 6 divA (yj ) pour chaque couple (i, j). D’où le résultat.
Lemme 1.12 Pour un anneau à diviseurs A les propriétés suivantes sont équivalentes.
1. Le groupe Div A est discret.
2. La divisibilité dans A∗ est décidable (autrement dit A est une partie détachable de
K). On dit aussi dans ce cas que A est un anneau à divisibilité explicite.
C’est le cas lorsque A est fortement discret.

Diviseurs irréductibles
Rappelons qu’un élément π > 0 d’un groupe réticulé G est dit irréductible si toute égalité
π = η + ζ dans G+ implique η = 0 ou ζ = 0. Par ailleurs le (( lemme de Gauss )) dit que
(ξ ⊥ η et ξ 6 η + ζ) =⇒ ξ 6 ζ.
On en déduit le (( lemme d’Euclide )), qui pour un élément irréductible π et deux éléments η
et ζ ∈ G+ , donne, si G est discret, l’implication,
π 6 η + ζ =⇒ π 6 η ou π 6 ζ
En langage de divisibilité on dirait (( tout élément irréductible est premier )).
Comme dans [ACMC], nous appelons (( idéal premier )) tout idéal qui donne par passage au
quotient un anneau sans diviseur de zéro, c’est-à-dire vérifiant xy = 0 ⇒ (x = 0 ou y = 0).
En particulier l’idéal h1i est premier.
On obtient pour les diviseurs irréductibles les deux théorèmes importants suivants.
Théorème 1.13 Dans un anneau à diviseurs à divisibilité explicite, un diviseur α > 0 est
irréductible si, et seulement si, Idv(α) est un idéal premier.
On obtient donc une bijection entre les ensembles suivants.
— Les diviseurs irréductibles.
— Les idéaux divisoriels finis premiers 6= h1i.
10. En mathématiques constructives, la notion de construction (et donc celle de décidabilité) est une notion
primitive qui n’est pas susceptible d’une définition en termes de machines de Turing. Voir [7].

T. Coquand, H. Lombardi

13

Démonstration. Supposons α irréductible et montrons que Idv(α) est un idéal premier. Si
xy ∈ Idv(α), on a div(x) + div(y) > α, donc div(x) > α ou div(y) > α (car α est (( premier ))),
c’est-à-dire x ∈ Idv(α) ou y ∈ Idv(α).
Supposons Idv(α) premier et α 6 β + γ avec
β = div(b1 , . . . , bn ) > 0 et γ = div(c1 , . . . , cq ) > 0.
On montre que α 6 β ou α 6 γ. Ainsi, puisque α > 0, il est (( premier )) et a fortiori irréductible. Commme chaque bi cj est dans Idv(α) (car div(bi cj ) > α), on obtient bi ∈ Idv(α)
ou cj ∈ Idv(α). Or par distributivité du (( ou )) sur le (( et )) dans le calcul des propositions,
on a, en notant Pi pour (( bi ∈ Idv(α) )) et Qj pour (( cj ∈ Idv(α) ))
(&i Pi ) ou (&j Qj ) = &i,j (Pi ou Qj ).

Et si par exemple &i bi ∈ Idv(α) , cela donne α 6 β.
2

Exemples. 1) Soit A un anneau de valuation intègre à divisibilité explicite. C’est un domaine
de Bezout pour lequel le groupe Div A est totalement ordonné discret et il y a au plus un
diviseur irréductible π, qui s’écrit π = div(p) avec Rad(A) = hpi = Idv(π). Ainsi on a un
diviseur irréductible si, et seulement si, Rad(A) est un idéal principal. S’il y a d’autres idéaux
premiers non nuls, c’est-à-dire si le rang du groupe Div A est > 1, ils ne sont pas de la forme
Idv(α). Donc ce ne sont pas des idéaux principaux et ils ne sont pas de type fini.
2) Soit A un anneau à pgcd. Les diviseurs irréductibles correspondent aux éléments irréductibles de l’anneau (à association près), ou encore aux idéaux premiers principaux non nuls.
Si A est factoriel et si x ∈ p premier (6= h0i , h1i), un des éléments irréductibles qui divisent
x, disons p, doit être dans p. Donc si p 6= hpi, il y a au moins deux éléments irréductibles
(non associés) dans p, ce qui fait une suite de profondeur 2, et div(p) = 0.
Théorème 1.14 Dans un anneau à diviseurs à divisibilité explicite non trivial, si p est un
idéal premier de type fini non nul avec π = div(p) > 0, alors p = Idv(p) et π est un diviseur
irréductible.
Démonstration. D’après le théorème 1.13, il suffit de montrer que p = Idv(π), l’inclusion
p ⊆ Idv(π) étant triviale.
Soit a =
6 0 un élément de p. D’après le lemme 1.4, il existe deux listes (b) = (b1 , . . . , bm )
et (c) = (c1 , . . . , cq ) dans A∗ , la deuxième de profondeur > 2, telles que
p hb1 , . . . , bm i = hai hc1 , . . . , cq i

(∗)

Comme π > 0 = div(c1 , . . . , cq ) il y a un cj tel que div(cj ) 6> π, et a fortiori cj ∈
/ p.
Soit x ∈ Idv(p) = (hai : hbi) (point 5 de la proposition 1.9). On a x hbi ⊆ hai, avec (∗) cela
donne ap ⊇ x p hbi = xa hci, donc p ⊇ x hci. Enfin, comme xcj ∈ p et cj ∈
/ p, on obtient x ∈ p.
Ce qu’il fallait démontrer.
2
Exemple. Dans l’exemple 3) page 8, les diviseurs div(a, b), div(a, c), div(d, b) et div(d, c)
sont irréductibles car les idéaux ha, bi, ha, ci, hd, bi et hd, ci sont premiers. Comme div(a, b) +
div(a, c) = div(a) > 0, on a par raison de symétrie div(a, b) > 0 et div(a, c) > 0. On peut
appliquer le théorème 1.14. On obtient en outre sans calcul l’égalité Idv(a, b) = ha, bi et les
trois autres égalités analogues.
Corollaire 1.15 Dans un anneau à diviseurs cohérent à divisibilité explicite non trivial, on
a les propriétés équivalentes suivantes pour un idéal q 6= h0i arbitraire.
— L’idéal q est premier, de type fini, et div(q) > 0.
— L’idéal q est premier, de type fini et div(q) est irréductible.
— L’idéal q est un idéal divisoriel fini premier 6= h1i.

14

Anneaux à diviseurs et anneaux de Krull

— Il existe un diviseur irréductible π tel que q = Idv(π).
Et dans un tel cas q est détachable.
En d’autres termes, on obtient une bijection entre les ensembles suivants :
— les diviseurs irréductibles,
— les idéaux divisoriels finis premiers 6= h1i,
et une égalité entre les ensembles suivants :
— les idéaux divisoriels finis premiers 6= h1i,
— les idéaux de type fini premiers q 6= h0i tels que div(q) > 0.
— les idéaux de type fini premiers q 6= h0i , h1i tels que q = Idv(q).

Propriétés de clôture intégrale
On note IclA (a) la clôture intégrale de a dans A. Quand le contexte est clair, on
utilise Icl(a).
Théorème 1.16 Soit A un anneau à diviseurs et a un idéal de type fini.
1. Pour tout x entier sur a, on a divA (x) > divA (a).
En conséquence,
— divA (a) ne dépend que de Icl(a),
— une inclusion b ⊆ Icl(a) implique divA (b) > divA (a),
— on a Icl(a) ⊆ Idv(a) et l’idéal IdvA (a) est intégralement clos.
2. En particulier A est intégralement clos.
Démonstration. 1. On note ξ = divA (x) et α = divA (a).
La relation de dépendance intégrale s’écrit
xn = u1 xn−1 + · · · + un−1 x + un avec uk ∈ ak .
On a des inégalités divA (uk ) > kα et donc


Vn
Vn
nξ > k=1 (n − k)ξ + div(uk ) > k=1 (n − k)ξ + kα ,
et l’on conclut que ξ > α par [18, fait XI-2.12, point 13.]
2. En effet, un anneau intègre est intégralement clos si, et seulement si, ses idéaux principaux
sont intégralement clos.
2
Exemple. Dans un anneau à pgcd intègre, l’idéal Idv(a) est l’idéal principal engendré par le
pgcd des générateurs de a.
Par exemple sur l’anneau A = k[x, y] (k un corps discret), on a


IdvA x4 , y 3 = h1i et IclA x4 , y 3 = x4 , y 3 , x2 y 2 , x3 y .


Donc x4 , y 3 ( IclA x4 , y 3 ( IdvA x4 , y 3 .

Remarque. La démonstration du théorème précédent n’a pas utilisé toute la force d’un anneau
à diviseurs. Il suffisait d’avoir un groupe réticulé G et une application div : A∗ /A× → G qui
satisfait les points D1 et D2 du projet divisoriel ainsi que le point 1 de la proposition 1.8.
C’est-à-dire : divA est un morphisme de groupes ordonnés qui réfléchit les inégalités et qui
satisfait l’inégalité divA (a) ∧ divA (b) 6 divA (a + b).
Corollaire 1.17 Soit A un anneau à diviseurs. Pour p, q ∈ A[X] on a



div c(pq) = div c(p) + div c(q) .
Démonstration. Cela résulte
 de div(ab) = div(a) + div(b), du théorème de Kronecker (c’està-dire c(p)c(q) ⊆ Icl c(pq) , et du théorème 1.16.
2

T. Coquand, H. Lombardi

15

Un autre corollaire est l’équivalence donnée ci-après pour les anneaux cohérents. Notons
que ce théorème est une version constructive non noethérienne du théorème bien connu des
mathématiques classiques qui affirme qu’un anneau noethérien intégralement clos est un
anneau de Krull (voir [22, théorème 12.4]).
Théorème 1.18 Pour un anneau A cohérent intègre, les propriétés suivantes sont équivalentes.
1. L’anneau A est intégralement clos.
2. L’anneau A est à diviseurs.
3. Pour toute famille finie (a1 , . . . , an ) dans A∗ , si hb1 , . . . , bm i = ha1 i : ha1 , . . . , an i
la famille des ai bj admet a1 comme pgcd fort.


A

,

Démonstration. On sait déjà que 2 ⇒ 1, et que lorsque A est cohérent, 2 ⇔ 3 (lemme 1.4).
Il reste à montrer 1 ⇒ 3. On pose a = ha1 , . . . , an i, b = hb1 , . . . , bm i. On veut montrer que
les ai bj admettent a1 comme pgcd fort.
Pour un y ∈ A∗ on montre que ya1 est un pgcd des yai bj . Il est clair que ya1 divise tous
les yai bj . Soit un x ∈ A∗ qui divise tous les yai bj , on doit montrer que la fraction t = a1 y/x
est dans A.
On considère tj = tbj = (ya1 bj )/x, qui est dans A, et on montre que tj ∈ b.
On a tj ai = a1 (yai bj )/x ∈ ha1 i pour chaque i, donc tj ∈ (ha1 i : a)A = b. Ainsi l’élément t
de K vérifie tb ⊆ b. Comme b contient a1 ∈ A∗ , c’est un A-module fidèle. En outre il est de
type fini, et puisque A est intégralement clos, on obtient t ∈ A.
2

NB : il existe des anneaux factoriels (cas particuliers d’anneaux de Krull) non cohérents
(exemple 5.2 dans [12, Glaz], voir page 36).

Exemple important. Tout anneau intègre cohérent régulier est à diviseurs car il est
intégralement clos.
Remarque. On a déjà noté que pour un anneau à diviseurs et un idéal fractionnaire de type
fini a, on a Idv(a) = (a−1 )−1 . Donc pour un anneau cohérent intégralement clos, un idéal
de type fini a et a ∈ a on peut calculer un système générateur fini de Idv(a) par la formule
Idv(a) = (hai : (hai : a)A )A .
Terminologie. Dans la littérature classique, pour un anneau noethérien intégralement
clos A, le groupe Div A est souvent appelé le groupe des diviseurs de Weil, et l’on appelle
diviseur effectif un élément de (Div A)+ , et diviseur positif un diviseur effectif non nul. La
signification du mot effectif étant différente en mathématiques constructives, nous utiliserons
la terminologie suivante : diviseur positif ou nul (au lieu de diviseur effectif) et diviseur
strictement positif (au lieu de diviseur positif).

Anneaux à diviseurs de dimension 6 1
Un anneau intègre zéro-dimensionnel est un corps discret. Ceci règle la question des
anneaux à diviseurs de dimension 6 0.
Dans ce paragraphe, nous voyons que la question de la dimension 6 1 admet une réponse
surprenante par sa simplicité.
Comme corollaire du théorème 1.18, puisqu’un domaine de Prüfer de dimension
de Krull 6 1 est la même chose qu’un anneau intègre cohérent intégralement clos de dimension
de Krull 6 1 ([18, théorème XII-6.2]) on obtient l’équivalence suivante : un anneau intègre
de dimension de Krull 6 1 est un anneau de Prüfer si, et seulement si, c’est un anneau à
diviseurs cohérent.

16

Anneaux à diviseurs et anneaux de Krull

Mais en fait on a mieux, car on peut supprimer la cohérence dans cette équivalence. On
obtient alors une version constructive non noethérienne du théorème des mathématiques
classiques qui affirme qu’un anneau de Krull de dimension 1 est un domaine de Dedekind
([22, théorème 12.5]).
Théorème 1.19 Pour un anneau intègre les propriétés suivantes sont équivalentes.
1. A est un anneau de Prüfer de dimension de Krull 6 1.
2. A est un anneau à diviseurs de dimension de Krull 6 1.
Démonstration. Il faut prouver 2 ⇒ 1. On suppose que A est un anneau à diviseurs et on
doit montrer qu’un idéal a de type fini fidèle est inversible. On a un idéal de type fini b tel
que ab admet un pgcd fort g ∈ A∗ , donc par le lemme 1.20, ab = hgi et a est bien un idéal
inversible.
2

Lemme 1.20 Dans un anneau intègre A de dimension de Krull 6 1, si g est un pgcd fort
de (a1 , . . . , an ), alors ha1 , . . . , an i = hgi.

Démonstration. On suppose sans perte de généralité les ai ∈ A∗ . Puisque g est un pgcd fort
des ai , 1 est un pgcd fort des bi = agi et il suffit de montrer que hb1 , . . . , bn i = h1i. Pour cela,
on reprend mutatis mutandis la démonstration du théorème XI-3.12 dans [18] qui affirme
qu’un anneau intègre à pgcd de dimension 6 1 est un anneau de Bezout.
i
Dans l’anneau zéro-dimensionnel A/hb1 i, chaque bi satisfait bm
= ei pour un idempotent ei .
i
Si e est l’idempotent pgcd des ei modulo b1 , on a dans A l’égalité hb1 i = hb1 , ei hb1 , 1 − ei, donc
mn
2
l’idéal hb1 , ei est localement principal. Et hb1 , ei = hb1 , bm
2 , . . . , bn i. Comme hb1 , . . . , bn i est
m2
mn
de profondeur > 2, il en va de même pour hb1 , b2 , . . . , bn i. Ainsi hb1 , ei est localement
principal et de profondeur > 2. On en déduit qu’il est égal à h1i car un idéal principal de
mn
2
profondeur > 2 est égal à h1i. On conclut avec hb1 , . . . , bn i ⊇ hb1 , bm
2
2 , . . . , bn i = h1i.

Anneaux de valuation discrète
On rappelle qu’un anneau de valuation discrète est par définition un anneau intègre V
donné avec un élément p ∈
/ V× , et dans lequel tout élément de V∗ s’écrit pn u pour un n ∈ N
×
et un u ∈ V . On dit alors que p est une uniformisante de V. On peut voir V comme un
anneau principal à factorisation totale avec p pour seul irréductible (modulo l’association).
Lemme 1.21 (Anneaux de valuation discrète, 1)
Soit A un anneau intègre. Les propriétés suivantes sont équivalentes.
1. A est un anneau de valuation discrète.
2. A est un anneau à diviseurs et Div A ' (Z, >).
3. A est un anneau à diviseurs local de dimension 6 1, Div A est discret et contient un
élément irréductible.
4. A est un anneau principal local à factorisation totale et il existe un a ∈ A∗ \ A× .
Démonstration. 1 ⇒ 2, 3 et 4. Clair
2 ⇒ 1. Soit π le générateur > 0 de Div A. On a π = div(a) pour une famille finie (a1 , . . . , an ) =
(a). Puisque div(ai ) = ni π pour des ni > 0, l’un des ni est égal à 1. Ainsi π = div(p) pour
un p ∈ A∗ . Pour tout autre élément a de A∗ on a div(a) = div(pn ) pour un n > 0, donc a et
pn sont associés. Ainsi A est un anneau de valuation discrète d’uniformisante p.
3 ⇒ 1. En tant qu’anneau à diviseurs local de dimension 1, A est un anneau de valuation
(théorème 1.19). Puisque Div A est discret, A est à divisibilité explicite, et A est réunion

T. Coquand, H. Lombardi

17

disjointe explicite de A× = { x | div(x) = 0 } et Rad A = { x | div(x) > 0 }. Si π est un
diviseur irréductible, il est élément > 0 minimum dans le groupe totalement ordonné Div A,
on l’écrit π = div(p). Donc pour tout a ∈ Rad A, p divise a. En outre la dimension de Krull 6 1
de l’anneau nous donne une égalité pn (1 + px) + ay = 0, donc a divise pn pour un n > 0. Si
n est la plus petite valeur possible et az = pn alors z ∈ A× car 0 6 div(z) < div(p). Ainsi A
est un anneau de valuation discrète d’uniformisante p.
4 ⇒ 3. En effet A est un anneau de valuation, et Div A est discret parce que A est à
factorisation totale. En outre, div(a) > 0, donc il existe un élément irréductible.
2
Remarque. Sous la seule hypothèse que A est un anneau principal local à factorisation bornée
avec un a ∈ A∗ \ A× , il n’y a pas d’algorithme général pour produire un élément irréductible
dans A.

Localisations d’un anneau à diviseurs, 1
Théorème 1.22 Soient A un anneau à diviseurs et S un filtre ne contenant pas 0. L’anneau
S −1 A = AS est un anneau à diviseurs etil y a un unique morphisme de groupes réticulés
ϕS : Div A → Div AS tel que ϕS divA (a) = divAS (a) pour tout a ∈ A∗ . Ce morphisme est
surjectif, donc Div AS ' (Div A)/ Ker ϕS .
Démonstration. On note tout d’abord que AS reste un anneau intègre. Ensuite vue la
proposition 1.1 (point 1c), le résultat tient à ce qu’un ppcm reste un ppcm après localisation,
car les localisations préservent les intersections finies d’idéaux ([18, fait II-6.5]). Ceci implique
que les pgcd forts restent des pgcd forts, que les listes divisoriellement inversibles restent
divisoriellement inversibles, que l’application
ϕS : divA (x1 , . . . , xn ) 7→ divAS (x1 , . . . , xn )
est bien définie, de Div A vers Div AS , et que c’est un morphisme de groupes réticulés.
L’unicité est claire.
2

Pour un filtre S d’un anneau A on appelle hauteur de S la dimension de Krull de AS .
Un filtre S est dit premier si l’anneau AS est local. Autrement dit si l’implication suivante
est satisfaite
x + y ∈ S ⇒ x ∈ S ou y ∈ S.
Lorsque S est premier, détachable et ne contient pas 0, son complémentaire est un idéal
premier détachable p 6= A, et on appelle hauteur de p la hauteur de S. En fait, du point
de vue constructif, la phrase bien définie est : (( le filtre S est un filtre de hauteur 6 k )) (le
filtre S n’est pas supposé détachable). Enfin un idéal premier détachable 6= A admet pour
complémentaire un filtre premier. On obtient ainsi une bijection entre les idéaux premiers
détachables 6= A et les filtres premiers détachables 6= A.
Le lemme suivant est un complément pour le théorème 1.14.

Lemme 1.23 Soit un anneau à diviseurs A et p un idéal de type fini premier détachable de
hauteur 1. Alors div(p) est un diviseur irréductible.
Démonstration. On doit montrer que div(p) > 0. Si S = A \ p, on sait que AS est un
anneau à diviseurs avec un morphisme naturel surjectif de groupes réticulés Div A → Div AS
(théorème 1.22), et par hypothèse AS est de dimension de Krull 1. Donc par le théorème 1.19
c’est un anneau de Prüfer. Comme il est localVc’est un anneau de valuation, d’idéal maximal
pAS . On a divAS (p) = divAS (a1 , . . . , an ) = i divAS (ai ) pour des ai ∈ A∗ ∩ p. Comme les
divAS (ai ) sont deux à deux comparables et tous > 0, on a divAS (p) > 0, ce qui implique
divA (p) > 0.
2

18

Anneaux à diviseurs et anneaux de Krull

Un anneau à la Kronecker
Dans ce paragraphe, les démonstrations sont laissées à la lectrice.
Soit B un anneau arbitraire. On rappelle que l’on note cB,X (p) ou c(p) le contenu de
p ∈ B[X] = B[X1 , . . . , Xn ], c’est-à-dire l’idéal de B engendré par les coefficients de p.
On fixe des indéterminées X et on définit l’ensemble
Sdiv (B) = Sdiv = { f ∈ B[X] | Gr(cB (f )) > 2 } .
Fait 1.24 L’ensemble Sdiv est un filtre.
−1
Définition 1.25 Le sous-anneau Bdiv (X) = Sdiv
B[X] de (Frac B)(X) est appelé l’anneau
de Nagata divisoriel de B.

Remarque. Cette définition est à distinguer de celle des (( Kronecker function rings )) usuels
de la littérature anglaise en théorie multiplicative des idéaux (voir à ce sujet le survey [9]).
Le filtre Sdiv apparaı̂t dans la littérature usuelle dans le cas d’un anneau intègre B de corps
de fractions K, et l’anneau Bdiv (X) est alors appelé anneau de Nagata pour la star opération
v définie comme suit : v : a 7→ (a−1 )−1 . Pour un anneau intègre, notre Bdiv (X) est noté
Na(B, v) ou Na(B, v)(X) par d’autres auteurs.
On vérifie alors les propriétés suivantes.
Proposition 1.26
1. Pour a, b ∈ Reg(B), a divise b dans B si, et seulement si, a divise b dans Bdiv (X).
2. Si A est un anneau à diviseurs, alors
(a) Adiv (X) est un anneau de Bezout,
(b) tout p ∈ A[X] est le pgcd dans Adiv (X) de ses coefficients,
(c) pour f , g ∈ A[X],

f
g

∈ Adiv (X) ⇐⇒ divA (c(g)) 6 divA (c(f )).

En particulier on obtient Div A ' Div (Adiv (X)) ' Adiv (X)∗ /Adiv (X)× .
Le théorème 1.28 démontre la réciproque suivante : si A est intègre et si Adiv (X) est
arithmétique (a fortiori si c’est un anneau de Bezout), alors A est un anneau à diviseurs.

Principe local-global et applications
Principe local-global concret 1.27 (Principe local-global concret pour la divisibilité, les
idéaux divisoriellement inversibles, les anneaux intégralement clos et les anneaux à diviseurs).
Soit A un anneau intègre et (s1 , . . . , sn ) une suite de profondeur > 2. On note Ai = A[ s1i ].
1. Soient a, b, a1 , . . ., ak ∈ A.
(a) a divise b dans A si, et seulement si, a divise b dans chaque Ai .
(b) a est un pgcd fort de (a1 , . . . , ak ) dans A si, et seulement si, a est un pgcd fort de
(a1 , . . . , ak ) dans chaque Ai .
(c) L’idéal a = ha1 , . . . , ak i est divisoriellement inversible dans A si, et seulement si,
il est divisoriellement inversible dans chaque Ai .
2. L’anneau A est intégralement clos si, et seulement si, chaque anneau Ai est intégralement clos.
3. L’anneau A est à diviseurs si, et seulement si, chaque anneau Ai est à diviseurs.

T. Coquand, H. Lombardi

19

Démonstration. 1b (et a fortiori 1a). Pour simplifier on se contente de localiser en trois
monoı̈des S, T et U . Soient c, y ∈ A∗ et supposons que c divise les yai dans A. Après
localisation on trouve que c divise sya pour un s ∈ S, que c divise tya pour un t ∈ T et que c
divise uya pour un u ∈ U . Comme (s, t, u) admet 1 pour pgcd fort dans A, cela implique
que c divise ya dans A.
1c. La démonstration est analogue, donnons les détails.
On considère un idéal de type fini a = ha1 , . . . , a` i avec a1 ∈ A∗ . On doit trouver un idéal
de type fini b tel que ab admette a1 comme pgcd fort (lemme 1.4). Pour simplifier on se
contente de localiser en deux monoı̈des S et T .
Dans le premier localisé on trouve b1 , . . ., bm tels que les uij = ai bj admettent a1 pour pgcd
fort (lemme 1.4).
Dans le deuxième localisé on trouve c1 , . . ., cp tels que les vik = ai ck admettent a1 pour pgcd
fort.
On peut supposer que les bj et ck sont dans A ainsi que les uij /a1 et vik /a1 . On va montrer
que la famille finie formée par les uij et vik admet a1 pour pgcd fort dans A. Pour cela
on considère c et y ∈ A∗ tels que c divise tous les yuij et yvik . Après localisation on trouve
que c divise sya1 pour un s ∈ S et c divise tya1 pour un t ∈ T . Comme s et t admettent 1
pour pgcd fort dans A, cela implique que c divise ya1 dans A. Ainsi l’idéal de type fini b = hb1 , . . . , bm , c1 , . . . , cp i satisfait la condition que ab admet a1 pour pgcd fort.
2 et 3. Résultent des points 1a et 1c.
2
Le corollaire suivant complète la proposition 1.26. Nous retrouvons ici un résultat de [16,
Kang, 1989].

Théorème 1.28 (L’anneau de Nagata divisoriel)
Un anneau intègre A est un anneau à diviseurs si, et seulement si, son anneau de Nagata
divisoriel Adiv (X) est un domaine de Prüfer, ou encore un domaine de Bezout.
Démonstration. Nous montrons que si Adiv (X) est un domaine de Prüfer, tout idéal ha, bi est
divisoriellement inversible. Dans Adiv (X) on a des éléments u, v, s, t tels que sa = ub, tb = va,
et s + t = 1. On peut prendre u, v, s, t ∈ A[X] auquel cas on obtient GrA (c(s + t)) > 2. Les
coefficients de s et t engendrent donc un idéal de profondeur > 2 (i.e. GrA (c(s) + c(t)) > 2).
Or lorsqu’on inverse un coefficient sk de s l’égalité sa = ub dans A[X] nous donne ha, bi = hbi
dans A[1/sk ], et lorsqu’on inverse un coefficient t` de t on obtient ha, bi = hai dans A[1/t` ].
Dans tous les cas l’idéal ha, bi est divisoriellement inversible dans le localisé. On conclut par
le point 1c du principe local-global 1.27 que ha, bi est divisoriellement inversible dans A. 2
Un autre corollaire intéressant est le suivant.

Théorème 1.29 (Idéaux divisoriellement inversibles comme idéaux de type fini (( localement )) principaux) Dans un anneau intègre un idéal de type fini fidèle est divisoriellement
inversible si, et seulement si, il existe une suite (s1 , . . . , sp ) de profondeur > 2 telle qu’après
localisation en chaque si , l’idéal devient principal.
En conséquence un anneau intègre est un anneau à diviseurs si, et seulement si, tout idéal de
type fini devient principal après localisation en les éléments d’une suite de profondeur > 2.
Démonstration. La condition est suffisante d’après le point 1c du principe local-global 1.27.
La condition est nécessaire. On a un idéal a = ha1 , . . . , an i avec les ai ∈ A∗ . Soit b un idéal
de type fini tel que a b = g c, g ∈ A∗ et Gr(c) > 2. Écrivons c = hc1 , . . . , cq i. Fixons un cj et
notons Aj = A[1/cj ]. Sur Aj , g c = hgi, donc l’idéal a est localement principal, donc il existe
(uj,1 , . . . , uj,n ) comaximaux dans Aj tels que uj,i a ⊆ hai i dans Aj pour chaque i ∈ J1..nK.
Cela signifie qu’il existe (vj,1 , . . . , vj,n ) dans A tels que
— vj,i a ⊆ hai i dans A pour chaque i ∈ J1..nK, et

20

Anneaux à diviseurs et anneaux de Krull
m

— l’idéal hvj,1 , . . . , vj,n iA contient une puissance cj j
Bilan : d’une part lorsqu’on inverse un vj,i l’idéal devient égal à hai i, et d’autre part l’idéal
m
engendré par les vj,i contient les cj j , donc il est de profondeur > 2.
2

2

Propriétés de décomposition des groupes réticulés

Groupes réticulés quotients
Un sous groupe H d’un groupe (abélien) ordonné est dit convexe s’il vérifie la propriété :
0 6 x 6 y et y ∈ H impliquent x ∈ H. Sous cette condition, G/H est muni d’une structure
de groupe ordonné quotient, i.e. vérifiant la propriété : (G/H)+ = G+ + H. Certains auteurs
disent sous-groupe isolé.
Le noyau H de la projection canonique d’un groupe réticulé G sur un groupe réticulé
quotient G/H est ce que l’on appelle un sous-groupe solide 11 , c’est-à-dire un sous-groupe
vérifiant la propriété : ξ ∈ H et |ζ| 6 |ξ| impliquent ζ ∈ H.
Pour γ ∈ G on note C(γ) le sous-groupe solide engendré par γ, qui est l’ensemble des ξ
tels que |ξ| soit majoré par un élément n |γ| (n ∈ N). On a donc C(γ) = C(|γ|).
Pour γ et η ∈ G+ on a C(γ) ∩ C(η) = C(γ ∧ η), et C(γ) ⊥ C(η) si, et seulement si, γ ⊥ η.
Enfin C(γ + η) = C(γ ∨ η) est le plus petit sous-groupe solide contenant C(γ) et C(η).
Nous définissons maintenant l’analogue des morphismes de localisation en un monoı̈de
(définis dans la catégorie des anneaux commutatifs en [18, XV-4.5]) dans la catégorie des
groupes réticulés.
Définition 2.1 (Morphismes de passage au quotient pour les groupes réticulés) Soit G un
groupe réticulé et H un sous-groupe solide de G. Un morphisme Π : G → G0 est appelé un
morphisme de passage au quotient par H s’il est surjectif et si Ker Π = H.
Un morphisme de passage au quotient pour un H donné est (( unique à isomorphisme
unique près )) : il y a un unique homomorphisme G0 → G/H qui fait commuter le diagramme
convenable, et c’est un isomorphisme.
Notez que comme Π(z + ) = Π(z)+ pour tout z, on a Π(G)+ = Π(G+ ).

Un principe de recouvrements par quotients
Rappelons le principe constructif suivant énoncé en [18, XI-2.10].
Principe de recouvrement par quotients pour les groupes réticulés.
Pour démontrer une égalité α = β dans un groupe réticulé, on peut toujours supposer que les
éléments (en nombre fini) qui se présentent dans un calcul pour une démonstration de l’égalité
sont comparables, si l’on en a besoin pour faire la démonstration. Ce principe s’applique
aussi bien pour des inégalités que pour des égalités puisque α 6 β équivaut à α ∧ β = α.
Ce principe peut être considéré comme la version constructive du théorème de mathématiques classiques qui dit qu’un groupe réticulé est toujours représentable comme sous-groupe
réticulé d’un produit de groupes totalement ordonnés.
11. On peut consulter [3]. Le théorème 2.2.1 donne les propriétés équivalentes suivantes pour un sous-groupe :
(a) H est solide, (b) H est un sous-groupe réticulé convexe, (c) H est convexe et ξ ∈ H ⇒ ξ + ∈ H, (d) H est
convexe et filtrant.

T. Coquand, H. Lombardi

21

Groupes réticulés de dimension 1
Pour des sous-groupes réticulés H, K, L d’un groupe réticulé G, la notation K = H  L
signifie que H ⊥ L et K = H ⊕ L. Autrement dit, lorsque le produit cartésien H × L est
muni de la structure produit catégorique, l’application H × L → K, (ξ, η) 7→ ξ + η est un
isomorphisme de groupes réticulés.
En particulier, en notant H ⊥ = { x ∈ G | ∀h ∈ H, x ⊥ h }, on a alors H + H ⊥ = H  H ⊥ .
Lemme 2.2 Soient un groupe réticulé G, et α, β ∈ G+ . Les propriétés suivantes sont
équivalentes.
1. β ∈ C(α)  C(α)⊥ .
2. ∃n ∈ N, ∃β1 , β2 ∈ G+ , β1 6 nα, β2 ⊥ α et β = β1 + β2 .
3. ∃n ∈ N, β ∧ nα = β ∧ (n + 1)α, i.e. nα > β ∧ (n + 1)α.
4. ∃n ∈ N, ∀m > n, β ∧ mα = β ∧ (m + 1)α.
5. C(β) ⊆ C(α)  C(α)⊥ .
Démonstration. 1 ⇔ 2, 4 ⇒ 3, et 5 ⇒ 1. Clair
2 ⇒ 4. Il suffit de le démontrer lorsque β2 > α et lorsque β2 6 α.
Si β2 > α alors α = 0, et β ∧ mα = 0 pour tout m. Si β2 6 α alors β2 = 0 donc
β = β1 6 nα 6 mα pour m > n, donc β ∧ nα = β ∧ mα.
3 ⇒ 2. On pose β1 = β ∧ nα et β2 = β − β1 . Il suffit de montrer β2 ∧ α = 0 lorsque β > nα
et lorsque β 6 nα. Si β 6 nα, alors β1 = β et β2 = 0. Si β > nα, alors β1 = nα, et
nα = β ∧ nα = β ∧ (n + 1)α = (β1 + β2 ) ∧ (nα + α) = (nα + β2 ) ∧ (nα + α) = nα + (β2 ∧ α),

donc β2 ∧ α = 0.
1 ⇒ 5. La somme directe orthogonale de deux sous-groupes solides est un sous-groupe solide.
2

Définition 2.3
Un groupe réticulé G est dit de dimension 6 1 si pour tout ξ ∈ G+ , on a G = C(ξ)  C(ξ)⊥ .
Pour des propriétés équivalentes, voir le lemme 2.2.
Lemme 2.4 Soit G un groupe réticulé de dimension 6 1 et ξ ∈ G. Les propriétés suivantes
sont équivalentes.
1. G est discret
2. C(ξ) et G/C(ξ) sont discrets.
3. C(ξ) est détachable et discret.
4. C(ξ)⊥ est détachable et discret.
Démonstration. 1 ⇔ 2. L’égalité G = C(ξ)  C(ξ)⊥ donne les isomorphismes G/C(ξ) ' C(ξ)⊥
et G ' C(ξ) × G/C(ξ). Et un produit de deux groupes est discret si, et seulement si, chaque
facteur est discret.
2 ⇔ 3. G/C(ξ) est discret si, et seulement si, C(ξ) est détachable.
2 ⇔ 4. L’égalité G = C(ξ)  C(ξ)⊥ montre que dans cette affaire C(ξ) et C(ξ)⊥ jouent des
rôles symétriques.
2
Lemme 2.5 (Éléments irréductibles dans un groupe réticulé de dimension 6 1)
Soit G un groupe réticulé discret de dimension 6 1 et π > 0 dans G. Les propriétés suivantes
sont équivalentes.
1. π est un élément irréductible.

22

Anneaux à diviseurs et anneaux de Krull

2. C(π) = Zπ ' (Z, > 0).
3. Tout α ∈ G+ s’écrit de manière unique sous forme nπ + α2 avec n ∈ N et α2 ⊥ π
dans G+ .
Démonstration. 1 ⇒ 2 et 3 ⇒ 1. Clair.
2 ⇒ 3. Soit α ∈ G+ . On écrit α = α1 + α2 avec 0 6 α1 6 mπ, m ∈ N et α2 ⊥ π dans G+
(point 2 du lemme 2.2). Puisque G est discret on a un n ∈ N tel que nπ 6 α1 < (n + 1)π.
Donc π = (α1 − nπ) + ((n + 1)π − α1 ) tous deux > 0 et le deuxième > 0. Ceci implique que
le premier est nul.
2

Groupes totalement ordonnés de dimension 1
Un groupe totalement ordonné est un groupe ordonné dans lequel on a x > 0 ou x 6 0
pour tout x. Il est facile de voir que c’est un groupe réticulé.
On note (O, >) l’ensemble ordonné des réels pour lesquels on dispose d’un test de
comparaison aux rationnels. C’est aussi la réunion disjointe de Q et des irrationnels, définis
par leurs fractions continues infinies. L’ensemble O est stable pour les opérations x 7→
(ax + b)/(cx + d), où a, b, c, d sont des entiers avec ad − bc 6= 0. On a aussi une application
bien définie (( identité )), de O vers R. Par contre on ne peut pas démontrer constructivement
que O soit égal à R, ni que O soit discret, ou stable pour l’addition, ou stable pour la
multiplication. Une partie R de O sera appelée un sous-groupe (additif) de O si l’on a une
fonction + : O × O → R qui redonne l’addition dans R.
Lemme 2.6 (Groupes totalement ordonnés discrets archimédiens)
Soit G un groupe réticulé discret non nul. Les propriétés suivantes sont équivalentes.
1. G est totalement ordonné de dimension 1.
2. Pour tous α, β > 0 il existe m ∈ N tel que mα > β.
3. Pour tout α > 0, G = C(α).
4. G est de dimension 1 et pour tout α > 0, G = C(α).
5. G est isomorphe à (R, >) pour un sous-groupe discret de (O, >).
6. Pour tout α > 0 dans G, on a un isomorphisme ϕα : G → Rα tel que ϕα (α) = 1, où
(Rα , >) est un sous-groupe discret de (O, >). En outre ϕα et Rα sont déterminés de
manière unique.
Démonstration. 1 ⇒ 2, 6 ⇒ 5 ⇒ 2, et 2 ⇔ 3 ⇔ 4. Clair
4 ⇒ 1. (l’ordre est total). Pour α et β ∈ G+ il suffit de montrer que α ∧ β = 0 implique
α = 0 ou β = 0. On écrit α = α1 + α ∧ β et β = β1 + α ∧ β. On a α1 ⊥ β1 . Donc si α1 > 0,
une inégalité β1 6 mα1 implique β1 = 0, donc β 6 α.
1 et 2 ⇒ 6. Calcul classique du développement en fraction continue.
2

Sous-groupes premiers d’un groupe réticulé
Définition 2.7
Un sous-groupe solide H d’un groupe réticulé G est dit premier si le quotient G/H est un
groupe totalement ordonné.
Naturellement G/H est discret si, et seulement si, H est une partie détachable de G.
Lemme 2.8 Soit G un groupe réticulé discret de dimension 6 1 et π un élément irréductible.
Alors π ⊥ est un sous groupe premier et G/π ⊥ ' C(π) = Zπ.

T. Coquand, H. Lombardi

23

Démonstration. D’après la définition 2.3, G/π ⊥ ' C(π) et l’égalité C(π) = Zπ traduit le fait
que π est irréductible (lemme 2.5).
2

Remarque. La dimension des groupes réticulés qui intervient dans la définition 2.3 est
la dimension de Krull du treillis distributif, noté Zar G, obtenu en quotientant le treillis
distributif G+ ∪ {∞} par la relation d’équivalence suivante :
ξ ∼ ζ ⇐⇒ ∃n > 0 tel que ξ 6 nζ et ζ 6 nξ.
Autrement dit encore Zar G est l’ensemble des sous-groupes C(ξ) (ξ ∈ G+ ), auquel on rajoute
un élément +∞, avec sa structure de treillis distributif naturelle.
Un groupe réticulé est zéro-dimensionnel si, et seulement si, il est nul. Un groupe totalement
ordonné a pour dimension son rang défini de manière (( usuelle )). Les groupes totalement
ordonnés Z et Q sont de rang 1, un produit fini catégorique a pour rang le maximum des
rangs des facteurs, un produit lexicographique a pour rang la somme des rangs. En mathématiques classiques la dimension d’un groupe réticulé peut être définie comme la longueur
maximum d’une chaı̂ne de sous-groupes premiers (ici, comme pour les idéaux premiers d’un
anneau commutatif, la chaı̂ne H0 ( H1 ( H2 est dite de longueur 2, mais notez que la chaı̂ne
maximale dans Z est 0 ( Z).
Pour un anneau de valuation V la dimension de Div V (son rang en tant que groupe totalement
ordonné) est égale à la dimension valuative de V, qui est égale à sa dimension de Krull. Ceci
s’étend aux domaines de Prüfer mais pas aux anneaux de Krull : un anneau K[X1 , . . . , Xn ]
(où K est un corps discret) est un anneau de Krull de dimension de Krull n (égale à sa
dimension valuative), alors que son groupe de diviseurs reste de dimension 1.

Propriétés de décomposition générales
Nous donnons quelques définitions constructives liées aux propriétés de décomposition
(voir [18, Chapitre XI]).
Définition 2.9 (Quelques propriétés de décomposition dans les groupes réticulés)
1. Une famille (ai )i∈I d’éléments > 0 dans un groupe réticulé admet une décomposition
partielle si l’on peut trouver une famille finie
P (pj )j∈J d’éléments > 0 deux à deux
orthogonaux telle que chaque ai s’écrive
j∈J rij pj avec les rij ∈ N. La famille
(pj )j∈J est alors appelée une base de décomposition partielle pour la famille (ai )i∈I .
2. Un groupe réticulé est dit à décomposition partielle s’il est discret et si toute famille
finie d’éléments > 0 admet une décomposition partielle.
3. Un groupe réticulé est dit à décomposition
bornée lorsque pour tout x > 0 il existe un
Pn
entier n tel que, lorsque x = j=1 xj avec les xj > 0, au moins l’un des xj est nul.
4. Le groupe réticulé à décomposition bornée G est dit absolument borné s’il existe un
entier n tel que dans toute famille de n éléments deux à deux orthogonaux dans G+ ,
il y a un élément nul.
5. Un groupe réticulé est dit à décomposition complète s’il est discret et si tout élément > 0 est une somme d’éléments irréductibles.
Un exemple classique de groupe réticulé à décomposition partielle mais pas à décomposition bornée est le groupe des diviseurs de l’anneau de tous les entiers algébriques complexes
(qui est un anneau de Bezout de dimension 1).
Nous donnons maintenant quelques résultats constructifs de base (voir [18] pour la plupart
d’entre eux, notamment pour le point 2, qui est donné par le théorème XI-2.16 de [18]).
Proposition 2.10 (Quelques relations liant les propriétés de décomposition dans les groupes
réticulés)

24

Anneaux à diviseurs et anneaux de Krull

1. Un groupe réticulé à décomposition complète est à décomposition bornée.
2. Un groupe réticulé discret et à décomposition bornée est à décomposition partielle.
3. Un groupe réticulé à décomposition partielle est de dimension 6 1.
4. Pour un groupe réticulé discret non nul G les propriétés suivantes sont équivalentes.
(a) G est à décomposition complète.
(b) G est à décomposition bornée et il possède un test d’irréductibilité 12 pour les
éléments > 0.
(c) G est à décomposition bornée et tout élément > 0 est minoré par un élément
irréductible.
(d) G est isomorphe comme groupe réticulé à un groupe Z(I) pour un ensemble discret I.
On peut prendre pour I l’ensemble des éléments irréductibles de G.
Démonstration. Vu les résultats présentés dans [ACMC], seul le point 3 réclame une démonstration.
3. On considère
une base de décomposition partielle (π1 , . . . , πk ) pour le couple (ξ, ζ). On
P
écrit ξ = i∈I ni πi avec des ni > 0. On note J la partie complémentaire de I dans J1..kK,
P
P
P
ζ = i mi πi = ζ1 + ζ2 avec ζ1 = i∈I mi πi et ζ2 = i∈J mi πi .
On a bien ζ2 ⊥ ξ, et ζ1 6 mξ si m majore les mi /ni pour i ∈ I.

2

Lemme 2.11 Soit G un groupe réticulé à décomposition complète et IG l’ensemble de ses
éléments irréductibles.
1. Pour tout sous-groupe solide détachable H de G, on a G = H  H ⊥ .
2. L’application H 7→ IH = IG ∩ H établit une bijection entre l’ensemble des sous-groupes
solides détachables de G et l’ensemble des parties détachables de IG .
Démonstration. On démontre que si un irréductible π n’est pas dans IH , il est dans H ⊥ . En
effet, si α ∈ H + , l’élément α ∧ π, qui est égal à π ou 0, est nécessairement nul. Le reste suit.
2

Remarque. Dans le lemme précédent, l’égalité G = H  H ⊥ ne peut pas être démontrée
constructivement si on remplace l’hypothèse (( G à décomposition complète )) par (( G à
décomposition bornée )). Ceci crée quelques subtilités algorithmiques que l’on retrouvera par
la suite.
Lemme 2.12 Soit (αi )i∈I une
P famille qui admet une base de décomposition partielle dans
un groupe
réticulé
G
:
α
=
πj pour P
des πj deux à deux orthogonaux.
i
j∈J rijW
V
P
Alors i αi = j∈J inf i∈I (rij ) πj et i αi = j∈J supi∈I (rij ) πj .
Nous utilisons maintenant le principe [18, XI-2.10] cité page 20 pour obtenir des résultats
qui s’avèreront utiles pour le groupe des diviseurs d’un anneau à diviseurs en raison de
l’inégalité div(a + b) > div(a) ∧ div(b).
Lemme 2.13VSoient α1 , . . ., αn dans un groupe réticulé G.
On pose γi = j6=i αj et l’on suppose que γi 6 αi pour tout i ∈ J1..nK.

V
V
P
Alors i∈J1..nK
(αi − αk )+ = 0.
j∈J1..nK,j6=i |αi − αj | +
k∈{i,j}
/
12. À la question (( π est-il irréductible ? )), le test doit donner l’une des deux réponses suivantes :
— (( oui )), ou
— (( non et voici π1 , π2 > 0 tels que π = π1 + π2 )).

T. Coquand, H. Lombardi

25

Démonstration. Il suffit de le démontrer lorsque les αi sont totalement ordonnés. Par exemple
si αi et αj sont plus petits que tous les autres, les inégalités γi 6 αi et γj 6 αj donnent αj 6 αi
et αi 6 αj , donc αj = αi .
2

L’inégalité div(a + b) > div(a) ∧ div(b) peut se lire de manière symétrique en disant que
si a1 + a2 + a3 = 0 alors chaque div(ai ) majore la borne inférieure des deux autres. Ceci se
généralise par récurrence comme suit.
Fait 2.14 Dans un anneau à diviseurs on a l’implication
Pn
V
j=1 aj = 0 ⇒
i,j:j>i div(aj ) − div(ai ) = 0.
Démonstration. Pour chaque j, on a −aj ∈ ai | i 6= j , donc div(aj ) >
conclut avec le lemme 2.13.
Lemme 2.15 Soient
un groupe réticuléVG, et β1 , . . ., βp , ξ, ζ dans G+ .
V
On suppose que j∈J1..pK |ξ − βj | = 0 = j∈J1..pK |ζ − βj |.
W
1. On a ξ 6 j∈J1..pK βj .

V

i6=j

div(ai ). On
2

2. On suppose que pour chaque j, k ∈ J1..pK, βj ∈ C(βk )  C(βk )⊥ .
Alors, pour γ, δ ∈ {ξ, ζ, β1 , . . . , βp }, on a γ ∈ C(δ)  C(δ)⊥ , i.e. C(γ) ⊆ C(δ)  C(δ)⊥ .
Démonstration. Pour le point 1 il faut démontrer une inégalité, et pour le point 2 on veut une
égalité γ + mδ = γ + (m + 1)δ. Il suffit donc (principe [18, XI-2.10]) de faire la démonstration
lorsque les |ξ − βj | sont totalement ordonnés ainsi que les |ζ − βj |.
W
Dans ce cas, il y a un indice h pour lequel ξ = βh , et donc ξ 6 j∈J1..pK βj .
Ceci donne le point 1. Voyons le point 2.
On a aussi un indice ` pour lequel ζ = β` .
D’après le point 4 du lemme 2.2 il y a un entier m tel que
mβj ∧ βk = (1 + m)βj ∧ βk pour tous les j, k.
Ceci reste vrai en remplaçant βj et/ou βk par ξ ou ζ.
2
Propriétés de décomposition pour un groupe réticulé quotient
Proposition 2.16 Soit G un groupe réticulé et π : G → G0 un morphisme de passage au
quotient par un sous-groupe solide H.
1. Si G est de dimension 6 1, G0 l’est également.
2. Si G est à décomposition bornée, G0 l’est également.
3. Si G est à décomposition partielle et si G0 est discret, G0 est à décomposition partielle.
4. Si G est à décomposition complète et si G0 est discret, G0 est à décomposition complète.
5. Si G est discret à décomposition bornée et si H = α⊥ pour un α > 0, alors G0 est
isomorphe à C(α) et absolument borné.
Démonstration. 1. On doit montrer que dans le quotient, pour tous x, y on a un entier n tel
que y ∧ nx = y ∧ (n + 1)x. Or c’est déjà vrai avant de passer au quotient.
Pn
2. On considère un élément x ∈ G+ . On suppose que si x = i=1 xi avec des xi ∈ G+ , alors
l’un des xi est nul.
Pn
+
0
Supposons que l’on ait π(x) = i=1 π(yi ) avec
i ),
Pndes π(yi ) > 0 dans G . Comme π(y+i ) = π(y
−
on peut supposer les yi > 0. On a x = u + i=1 yi avec u ∈ H. On écrit u = u − u , on
remplace y1 par u+ + yP
1.
Pn
n
On a maintenant x = i=1 yi −
u− . On a donc u− 6 i=1 yi et par le théorème de Riesz
P
n
[18, XI-2.11 1 ], on écrit u− = i=1 ui avec 0 6 ui 6 yi . Enfin on remplace chaque yi par

26

Anneaux à diviseurs et anneaux de Krull

Pn
zi = yi − ui et l’on a x = i=1 zi avec des zi > 0, donc l’un des zi est nul, et pour cet
indice i, on a π(yi ) = π(zi ) = 0.

3. On considère une famille finie π(xi ) i∈I on calcule une base de factorisation partielle
de la famille (xi )i∈I . On supprime les éléments de cette base qui deviennent nuls dans le
quotient. Les éléments restants sont > 0 dans le quotient, et deux à deux orthogonaux.
4. Pour π(x) > 0 dans G0 , on considère une factorisation complète de x dans G. Il suffit de
vérifer la propriété suivante : si p est irréductible, alors π(p) est nul ou irréductible. Supposons
que π(p) = π(q) + π(r), tous > 0 dans G0 . On peut supposer q = q + et r = r+ .
On écrit p + u− = q + r + u+ avec u ∈ H. Le théorème de Riesz [18, XI-2.11 2 ] nous donne
des pi et vi > 0 satisfaisant
p = p1 + p2 + p3 , u− = v1 + v2 + v3 , p1 + v1 = q, p2 + v2 = r et p3 + v3 = u+ ,
d’où π(q) = 0 si p1 = 0 et π(r) = 0 si p2 = 0.
5. En effet G est de dimension 6 1 donc G0 ' C(α), qui est absolument borné.

2

Par contre la propriété pour un groupe réticulé d’être discret ne passe pas toujours au
quotient. Fort heureusement on a le lemme 2.4.

3

Propriétés de stabilité pour les anneaux à diviseurs

Localisations d’un anneau à diviseurs, 2
Théorème 3.1 Soient A un anneau à diviseurs, S un filtre ne contenant pas 0, et HS
le sous-groupe solide de Div A engendré par les divA (s) pour s ∈ S. On a les propriétés
suivantes.
1. L’anneau S −1 A = AS est un anneau à diviseurs et il y a un
 unique morphisme de
groupes réticulés ϕS : Div A → Div AS tel que ϕS divA (a) = divAS (a) pour tout
a ∈ A∗ . Ce morphisme est surjectif, donc Div AS ' (Div A)/ Ker ϕS .
2. On a HS+ = { α ∈ Div A | ∃s ∈ S, 0 6 α 6 divA (s) }, et les diviseurs principaux
dans HS+ sont les éléments de divA (S).
3. Supposons que Div A = HS  H 0 . Alors le morphisme ϕS est un morphisme de
passage au quotient par HS : il permet d’identifier Div AS au groupe réticulé quotient
(Div A)/HS ' H 0 .
Démonstration. 1. C’est le théorème 1.22.
2. En notant H1 = { α ∈ Div A | ∃s ∈ S, 0 6 α 6 divA (s) }, on vérifie facilement que H1 +
H1 ⊆ H1 et que H1 − H1 est un sous-groupe solide dont la partie positive est égale à H1 .
3. Il est clair que ϕS est surjectif et que HS ⊆ Ker ϕS . On doit montrer l’inclusion réciproque.
Un élément du noyau s’écrit α = divA (a1 , . . . , ak ) pour une suite (a1 , . . . , ak ) de profondeur > 2 dans AS . On peut supposer que les ai sont dans A. Si α = α1 + α2 avec α1 ∈ HS
et α2 ∈ H 0 , on a ϕS (α) = ϕS (α2 ). On peut donc supposer α ⊥ HS , c’est-à-dire que la
suite (a1 , . . . , ak , s) est de profondeur > 2 dans A pour tout s ∈ S. On est donc ramené
à montrer que si (a1 , . . . , ak ) est de profondeur > 2 dans AS et (a1 , . . . , ak , s) est de profondeur > 2 dans A pour tout s ∈ S, alors (a1 , . . . , ak ) est de profondeur > 2 dans A. Soit
donc une suite (c1 , . . . , ck ) proportionnelle à (a1 , . . . , ak ). Il existe c ∈ A∗ et s ∈ S tels
que sci = cai pour i ∈ J1..kK. Ceci implique que les suites (a1 , . . . , ak , s) et (c1 , . . . , ck , c) sont
proportionnelles, donc il existe d ∈ A∗ tel que (c1 , . . . , ck , c) = d(a1 , . . . , ak , s). En particulier
(c1 , . . . , ck ) = d(a1 , . . . , ak ), ce qui termine la démonstration.
2

T. Coquand, H. Lombardi

27

Anneaux avec groupe des diviseurs de dimension 1
Lemme 3.2 Soit A un domaine de Bezout avec Div A de dimension 6 1. Pour un a ∈ A∗
les propriétés suivantes sont équivalentes.
1. a ∈ Rad A.

2. Div A = C divA (a) .
Démonstration. 1 ⇒ 2. L’anneau est de Bezout donc tous les diviseurs sont principaux. Pour
un b ∈ A∗ arbitraire, puisque Div A est de dimension 6 1, par le point 2 du lemme 2.2, on
écrit b = b1 b2 avec b1 et b2 ∈ A∗ , b1 | an et divA (a, b2 ) = 0. Puisque l’anneau est de Bezout,
1 ∈ ha, b2 i, et puisque a ∈ Rad A, b2 ∈ A× . Donc divA (b) = divA (b1 ) ∈ C(a).
2 ⇒ 1. Pour tout b ∈ A∗ on a un n ∈ N tel que b | an . Si b = 1 + ax, on a hb, ai = h1i,
donc hbi = hb, an i = h1i.
2

Proposition 3.3 Soit A un anneau à diviseurs de dimension de Krull 6 1. Alors Div A est
de dimension 6 1.

Démonstration. Les anneaux à diviseurs de dimension 6 1 sont des domaines de Prüfer
(théorème 1.19). On utilise alors la propriété de factorisation des idéaux de type fini fidèles
dans un domaine de Prüfer de dimension 6 1 donnée par [18, théorème XII-7.2].
On pourrait aussi argumenter (( plus directement )) en montrant que la dimension de Krull
d’un domaine de Prüfer est égale à la dimension de son groupe des diviseurs.
2
La proposition qui suit est un corollaire du théorème 3.1.

Proposition 3.4 Soit A un anneau à diviseurs et S le filtre engendré par un s ∈ A∗ (i.e.
l’ensemble des x qui divisent une puissance de s). D’après le théorème 3.1, l’anneau AS est
aussi un anneau à diviseurs.
1. Si Div A est discret de dimension 1, il en va de même pour Div AS .
2. Si en outre Div A est à décomposition partielle ou à décomposition bornée ou à
décomposition complète, il en va de même pour AS .
3. Si A est noethérien cohérent fortement discret, alors AS est également noethérien
cohérent fortement discret.
Démonstration. On a HS = C(div(s)) = { ξ ∈ Div A | ∃n ∈ N, |ξ| 6 n div(s) }.
1 et 2. On conclut avec le lemme 2.4 et la proposition 2.16.
3. Résultat classique (cf. [18, principe local-global XII-7.13]).

2

Théorème 3.5
Soient A un anneau à diviseurs avec Div A discret de dimension 1, α un diviseur > 0
et Sα = { x ∈ A∗ | div(x) ⊥ α }. Il est clair que Sα est un filtre détachable, et le théorème 3.1
s’applique. On a les propriétés suivantes.
1. L’anneau Sα−1 A est un anneau à diviseurs avec Div(Sα−1 A) ' C(α).
En particulier Sα−1 A est un anneau de valuation discrète si, et seulement si, C(α) est
isomorphe à (Z, >).
2. Les propriétés suivantes sont équivalentes.
(a) α est un diviseur irréductible.
(b) C(α) = Zα.
(c) Idv(α) est un idéal premier.
(d) Sα est un filtre premier de hauteur 6 1 et A = Sα ∪ Idv(α) (union disjointe de
deux parties détachables).

28

Anneaux à diviseurs et anneaux de Krull
(e) Sα−1 A est un anneau de valuation discrète et si p/1 est une uniformisante, on a
α = divA (p) mod C(α)⊥ .
3. Si en outre l’anneau A est cohérent, les quatre ensembles suivants sont égaux (on
rappelle, théorème 1.13, que α 7→ Idv(α) établit une bijection entre les diviseurs
irréductibles et les idéaux divisoriels finis premiers 6= h1i).
— Les idéaux divisoriels finis premiers 6= h1i.
— Les idéaux de type fini premiers q 6= h0i tels que div(q) > 0.
— Les idéaux de type fini premiers q 6= h0i , h1i tels que q = Idv(q).
— Les idéaux de type fini premiers détachables de hauteur 1.

Démonstration. 1. On a Div A = C(α)  C(α)⊥ . On applique donc le point 3 du théorème 3.1.
On a (mêmes notations) HSα = C(α)⊥ , donc Div(Sα−1 A) ' C(α).
Pour la dernière affirmation on applique le lemme 1.21.
2. Notons d’abord que puisque α > 0, Div A n’est pas nul, et A n’est pas un corps. Par
ailleurs les hypothèses impliquent que A est à divisibilité explicite, et que Sα et Idv(α) sont
deux parties détachables disjointes de A.
2a ⇔ 2b. D’après le lemme 2.5.
2a ⇔ 2c. D’après le théorème 1.13.
2d ⇒ 2c, et 2e ⇒ 2c. Clair.
2a ⇒ 2d et 2e. D’après le point 1 et puisque C(α) = Zα ' Div(Sα−1 A), l’anneau Sα−1 A
est un anneau de valuation discrète, et α vu dans Sα−1 A est égal à div( p1 ) si p engendre le
radical. Il reste à voir que le complémentaire de Sα est bien l’idéal Idv(α) (qui est alors
premier de hauteur 1 par définition). Tout diviseur ξ > 0 s’écrit nξ α + ρ avec nξ ∈ N et ρ ⊥ α
(lemme 2.5). Par définition Idv(α) = { x ∈ A | ξ = divA (x) > α }. Dans la décomposition
précédente, cela signifie que nξ > 0, tandis que x ∈ Sα signifie nξ = 0. On a donc bien deux
parties complémentaires de A.
3. Les trois premiers ensembles sont égaux d’après le corollaire 1.15. Il reste à montrer que p
est un idéal de type fini premier détachable de hauteur 1 si, et seulement si, on a div(p) > 0.
L’implication ⇐ est donnée par 2c ⇒ 2d.
L’implication ⇒ est donnée par le lemme 1.23.
2

Stabilité pour les anneaux de polynômes
Dans ce paragraphe, A est un anneau à diviseurs .
Pour p ∈ A[X] = A[X1 , . . . , Xn ], on note c(p) pour cA,X (p).
Lemme 3.6 Une fraction p/q dans K(X) (avec p et q ∈ A[X]) est dans A[X] si, et seulement si, p/q ∈ K[X] et div(c(q)) 6 div(c(p)). Autrement dit, pour
q divise p
 p, q ∈ A[X],

dans A[X] si, et seulement si, q divise p dans K[X] et div c(q) 6 div c(p) .
Démonstration. La condition est évidemment nécessaire. Montrons qu’elle est suffisante.
Puisque q divise p dans K[X] on écrit qr = ap avec a ∈ A∗ et r ∈ A[X]. On veut montrer
que r/a ∈ A[X]. Or div c(r) > div(a), car



div c(q) + div c(r) = div(a) + div c(p) .
Et puisque a ∈ A∗ cela signifie que a divise tous les coefficients de r.

2

Le théorème suivant est une version constructive non noethérienne du théorème qui
affirme que si A est un anneau de Krull, il en est de même pour A[X] (voir le théorème 3.8
et [22, théorème 12.4]).

T. Coquand, H. Lombardi

29

Théorème 3.7 Soit A un anneau à diviseurs de corps de fractions K. L’anneau A[X] est
également à diviseurs. En outre on a un isomorphisme naturel de groupes réticulés
∼
Div(A[X]) −→

divA[X] (f ) 7−→

Div(K[X]) × Div A, avec

divK[X] (f ), divA (c(f ) pour (f ∈ A[X]).

Démonstration.
Le groupe de divisibilité de A[X] est G = K(X)× /A× , celui de K[X] est H = K(X)× /K∗ .
Puisque K[X] est un anneau à pgcd, Div(K[X]) est simplement le groupe H, en passant en
notation additive.
Pour un f ∈ K(X)× nous notons fG sa classe dans G et fH sa classe dans H. Nous notons 4
la relation de divisibilité dans ces groupes.
On a un morphisme de groupes ordonnés ϕ : G → G0 = H × Div A donné par


ϕ(fG ) = fH , div c(p) − div c(q)
où f = p/q avec p, q ∈ A[X].
D’après le lemme 3.6, ce morphisme est un isomorphisme sur son image, ce qui permet
d’identifier G à un sous-groupe ordonné de G0 .
On va montrer que ϕ satsifait les requêtes du projet divisoriel 2. Il nous reste à voir que tout
élément ∆ = (fH , δ) du groupe réticulé G0 est borne inférieure d’une famille finie dans G.
On peut supposer ∆ > 0. Cela signifie que δ > 0 et fH = uH pour un u dans A[X]. Cela
donne ∆ = (uH , δ).


Pour b ∈ A∗ , on a div c(bu) = div(b)
 + div c(u) .
Soient b tel que div(b) > δ−div c(u) et w = bu ∈ A[X], alors ϕ(wG ) = (uH , δ1 ) avec δ1 > δ.
L’idéal c(u) de A admet un inverse divisoriel qui peut être écrit sous la forme c(v) pour
un v ∈ A[X]. On a donc



div c(uv) = div c(u) + div c(v) = div(a)

pour un a ∈ A∗ (voir le lemme 1.17). En outre δ = div c(r) avec r ∈ A[X].
0
On pose w0 = uvr/a, on a ϕ(wG
) = (uvr)H , δ , et uH 4 (uvr)H .
0
) dans G0 .
2
Finalement ∆ = (uH , δ) = ϕ(wG ) ∧ ϕ(wG
Un corollaire immédiat est le théorème suivant.

Théorème 3.8 Soit A un anneau à diviseurs. Si le groupe réticulé Div A est discret, ou
de dimension 1, ou à décomposition partielle, ou a décomposition bornée, il en va de même
pour Div(A[X]).
Démonstration. Ceci résulte de ce que Div(A[X]) ' Div A × Div(K[X]) (théorème 3.7) et
de ce que Div(K[X]) est discret et à décomposition bornée (a fortiori de dimension 1 et à
décomposition partielle).
2

Stabilité pour les extensions entières intégralement closes
Lemme 3.9 Soit A un anneau intégralement clos de corps de fractions K et L ⊇ K un
corps discret. Soit B la clôture intégrale de A dans L. Soient a, a0 , a1 , . . ., an dans A.
1. L’élément a divise a0 dans A si, et seulement si, il divise a0 dans B.
2. L’élément a est un pgcd fort de (a1 , . . . , an ) dans A si, et seulement si, il l’est dans
B.
Démonstration. 1. Supposons que x = a0 /a ∈ K soit dans B, on doit montrer qu’il est
dans A. Cela résulte de ce que tout élément de B est entier sur A : x ∈ K ∩ B est entier
sur A donc dans A.

30

Anneaux à diviseurs et anneaux de Krull

2. Vu le point 1, l’affirmation dans B est plus forte que celle dans A. Comme la notion de
pgcd fort est stable par multiplication par un élément de A∗ , on peut supposer que a = 1
est pgcd fort des ai dans A et on doit montrer qu’il l’est dans B. Ainsi on doit montrer que
si b ∈ B divise ya1 , . . . , yan dans B (y ∈ B), alors l’élément z = y/b de L est dans B. Pour
cela il suffit de montrer que z est entier sur A. Par hypothèse zai ∈ B pour chaque i.
On dispose de polynômes unitaires gi ∈ A[X] qui annulent les zai , et fournissent autant de
i
polynômes de K[X] qui annulent z : fi (z) = gi (zai )/am
i . On peut calculer dans K[X] le
pgcd unitaire f de ces derniers polynômes
P
f (X) = X m + k<m cm−k X k .
Alors pour chaque i, le polynôme am
i f (X/ai ) divise gi dans K[X], donc ses coefficients c1 ai ,
c2 a2i , . . ., cm am
sont
dans
A
par
le
théorème de Kronecker, parce que A est intégralement
i
clos. Par exemple les c2 a2i sont dans A. Les a2i sont de pgcd fort 1 donc c2 ∈ A. De même
chaque ck est dans A. Et l’on a bien z entier sur A.
2
Définition et notation 3.10 Pour toute liste (a1 , . . . , an ) = (a) dans A, on note K(a) (T )
Pn
le polynôme j=1 aj T j−1 . On dit que c’est le polynôme de Kronecker associé à la liste
ordonnée (a).
Si (b) = (b1 , . . . , bm ) est une autre liste on définit (a) ? (b) par l’égalité K(a)?(b) = K(a) K(b) .
Si A est un anneau à diviseurs, le corollaire 1.17 implique que

divA (a) + divA (b) = divA (a) ? (b) .

Lemme 3.11 Soit A un anneau à diviseurs de corps de fractions K et L ⊇ K un corps
discret. Soit B la clôture intégrale de A dans L.
Pour toute liste (b) = (b1 , . . . , bn ) dans B∗ il existe une liste (b0 ) = (b01 , . . . , b0m ) telle que la
liste (b) ? (b0 ) soit dans A et admette un pgcd fort dans A∗ .
Démonstration. On considère l’anneau B1 = A[b1 , . . . , bn ] qui est un A-module de type fini.
En fait B1 est un quotient d’un anneau C (non nécessairement
Pn intègre) qui est une A-algèbre
libre de rang fini 13 . On considère le polynôme B = K(b) = k=1 bk T k−1 vu dans C[T ], puis
e ∈ C[T ].
l’élément cotransposé B
e et en revenant de C à B1 , cela nous
Soit NB = NC[T ]/A[T ] (B) ∈ A[T ]. On a NB = B B,
donne un C ∈ B1 [T ] avec BC = NB . Si C = K(c) et NB = K(d) on a (b) ? (c) = (d).
La liste (d) de A admet une inverse divisorielle (a1 , . . . , aq ) = (a) dans A. Ainsi (d) ? (a)
admet un pgcd fort g dans A∗ . Le point 2 du lemme 3.9 nous dit que (d) ? (a) admet le
pgcd fort g dans B. Finalement on obtient que la liste (b) ? (c) ? (a) est dans A[T ] et qu’elle
admet g pour pgcd fort (dans A∗ comme dans B∗ ). Ainsi, la liste (b0 ) = (c) ? (a) satisfait les
requêtes voulues.
2

Théorème 3.12 Soit A un anneau à diviseurs de corps de fractions K et L ⊇ K un corps
discret. Soit B la clôture intégrale de A dans L.
1. L’anneau B est un anneau à diviseurs.
2. On a un unique morphisme de groupes réticulés ϕ : Div A → Div B tel que

ϕ divA (a) = divB (a) pour a ∈ A.

Ce morphisme est injectif : cela permet d’identifier Div A à un sous-groupe réticulé
de Div B.
3. Soit x ∈ B et f un polynôme unitaire de A[X] (de degré d) qui annule x. Avec
ξ = divB (x) et D le ppcm des entiers ∈ J1..dK, on a des éléments γk ∈ Div A ⊆
Div
V B dans le sous-groupe engendré par les diviseurs des coefficients de f , tels que
k |Dξ − γk | = 0.
13. On peut prendre C = A[X1 , . . . , Xn ]/hh1 (X1 ), . . . , hn (Xn )i où hi ∈ A[Xi ] est unitaire. Notons que le
polynôme NB est un polynôme régulier de A[T ] (NB (0) = NC/A (b1 )).

T. Coquand, H. Lombardi

31

Démonstration. 1. Toute liste dans B∗ admet une inverse divisorielle d’après le lemme 3.11.
V
2. L’unicité si existenceVest claire car l’élément divA (a1 , . . . , an ) = i divA (ai ) de (Div A)+
doit avoir pour image i divB (ai ) = divB (a1 , . . . , an ).
Pour l’existence, montrons d’abord que l’on peut définir une application ϕ de (Div A)+
dans (Div B)+ en posant
ϕ(δ) = divB (a1 , . . . , an ) si δ = divA (a1 , . . . , an ) pour des ai dans A∗ .
Le lemme 3.9 nous dit que δ = 0 implique ϕ(δ) = 0.
Supposons que divA (a1 , . . . , an ) = divA (a01 , . . . , a0m ). Il existe donc une liste (x) dans A telle
que les familles (ai xj )i,j et (a0i xj )i,j admettent un même pgcd fort g dans A. Le lemme 3.9
nous dit que les familles (ai xj )i,j et (a0i xj )i,j admettent aussi le pgcd fort g dans B, donc
divB (a) + divB (x) = divB (g) = divB (a0 ) + divB (x),
d’où divB (a) = divB (a0 ). Ceci montre que ϕ est bien définie.
Montrons que ϕ est injective. Si divB (a1 , . . . , an ) = divB (a01 , . . . , a0m ), on considère une
liste (x) dans A telle que la liste (ai xj )i,j admette un pgcd fort g dans A. C’est aussi un
pgcd fort dans B, donc divB (a) + divB (x) = divB (g). Donc divB (a0 ) + divB (x) = divB (g),
ce qui signifie que la liste (a0i xj )ij admet le pgcd fort g dans B. Comme c’est une liste
dans A, elle admet aussi g comme pgcd fort dans A. Donc divA (a0 ) + divA (x) = divA (g).
Et divA (a) = divA (a0 ).
L’application ϕ que l’on vient de définir est un morphisme injectif de monoı̈des positifs,
de (Div A)+ dans (Div B)+ et s’étend de manière unique en un morphisme de groupes
réticulés, de Div A dans Div B (vérification laissée au lecteur).
Pd
3. Soit f (X) = j=1 aj X j ∈ A[X] avec ad = 1 et f (x) = 0. On considère les αj = divB (aj xj )
pour les aj ∈ A∗ . Le fait 2.14 nous dit que
V
j
k
j>k, aj ,ak ∈A∗ divB (aj x ) − divB (ak x ) = 0.
Or
divB (aj xj ) − divB (ak ξ k ) = (j − k) divB (x) − divB (ak ) − divB (aj )
V
+
+
et divB (x) > 0. On a donc j>k Dξ − αjk
= 0 pour des αjk
∈ (Div A)+ .


2

Théorème 3.13 Soit A un anneau à diviseurs de corps de fractions K et L ⊇ K un corps
discret. Soit B la clôture intégrale de A dans L (qui est un anneau à diviseurs d’après le
théorème précédent).
1. Si L admet une base discrète sur K et si Div A est discret (i.e. A est à divisibilité
explicite), alors Div B est discret.
2. Si Div A est de dimension 6 1, il en va de même pour Div B.
Démonstration. 1. On doit tester z ∈ B pour un z ∈ L. Puisque L admet une base discrète
sur K, on peut calculer le polynôme minimal f (X) de z sur K. Et par le théorème de
Kronecker, z est zéro un polynôme unitaire de A[X] si, et seulement si, son polynôme
minimal sur K est dans A[X].
V
2. Le point 3 du théorème 3.12 donne j |Dξ − γj | = 0 pour des γj ∈ (Div A)+ . On a un
résultat du même type pour ζ = div(z). On aura donc une double égalité
V
V
+
+
h Dξ − βh = 0 =
h M ζ − βh
où les βh ∈ Div A. Par le lemme 2.15 on obtient C(Dξ) ⊆ C(M ζ)  C(M ζ)⊥ .
Enfin C(Dξ) = C(ξ) et C(M ζ) = C(ζ).

2

32

Anneaux à diviseurs et anneaux de Krull

Autres propriétés de stabilité
La proposition suivante est une sorte de réciproque du théorème 3.12 dans un cas
particulier.
Proposition 3.14 Soit B un anneau à diviseurs, Γ un groupe fini d’automorphismes de B
et A = BΓ le sous-anneau des points fixes de Γ. Alors A est un anneau à diviseurs.
Démonstration. Tout d’abord, A est intégralement clos parce que B est intégralement clos.
Par ailleurs B est entier sur A parce que Γ est fini. Donc B est la clôture intégrale de A
dans Frac(B), ce qui nous amène, à la fin de la démonstration, dans la situation du théorème 3.12.
On considére une liste finie dans A pour laquelle on cherche une inverse divisorielle. Cette
liste donne les coefficients d’un polynôme f ∈ A[X]. Comme la liste admet une inverse
divisorielle dans B, il existe g, h ∈ B[X] et d ∈ B∗ tels que
f g = d h et GrB (c(h)) > 2.

(∗)

En transformant (∗) par les σ ∈ Γ et en faisant le produit des égalités obtenues on a une
égalité
Q
f N G = D H avec N = |Γ| , G = σ∈Γ σ(g), etc.
On écrit ceci sous la forme
f (f N −1 G) = D H où G, H ∈ A[X] et D ∈ A

(#)

On a GrB (c(H)) > 2 car GrB (c(h)) > 2. On applique alors le point 2 du lemme 3.9 et on
obtient GrA (c(H)) > 2. Ainsi (#) fournit un inverse divisoriel de l’idéal c(f ) dans A.
2

Exemple. Soit k un corps discret de caractéristique 6= 2, B = k[X] l’anneau des polynômes
en n indéterminées (n > 2) et A le sous-anneau des polynômes pairs. Alors A est un anneau
à diviseurs, en tant qu’égal à BΓ , avec Γ = hσi, où σ échange Xi et −Xi pour chaque i. On
a par exemple dans A un diviseur irréductible non principal divA (gX1 , gX2 ) pour chaque
polynôme irréductible impair g dans B (divB (gX1 , gX2 ) = divB (g)).

4

Anneaux de Krull

Définition et premières propriétés
Définition 4.1 On appelle anneau de Krull un anneau à diviseurs non trivial dont le groupe
des diviseurs est discret et à décomposition bornée.
Un corps discret est un anneau de Krull dont le groupe des diviseurs est nul. Ce sont
les autres anneaux de Krull qui nous intéressent, ceux pour lesquels existent des diviseurs
strictement positifs.
Définition 4.2 Un anneau à diviseurs est dit à décomposition complète (resp. à décomposition partielle) si son groupe des diviseurs est à décomposition complète (resp. à décomposition
partielle).
Exemples. 1) Si k = Z ou un corps discret, k[X1 , . . . , Xn ] est un anneau à pgcd à divisibilité
explicite et l’on montre facilement que c’est un anneau de Krull. Il est à décomposition
complète lorsque k = Z et pour certains corps discrets, comme Q et ses extensions finies, ou
les corps algébriquement clos.

T. Coquand, H. Lombardi

33

2) Un anneau de valuation discrète est évidemment un anneau de Krull local de dimension 1.
Pour une réciproque voir le lemme 4.5.
3) Les exemples de base d’anneaux de Krull à décomposition complète sont les anneaux
factoriels et les domaines de Dedekind, à condition qu’ils soient à factorisation totale. Voir
aussi le théorème 4.14.
Le fait qui suit rassemble des conséquences de la proposition 2.10 concernant les groupes
réticulés lorsqu’on l’applique au groupe des diviseurs. Le point 3 nous donne une version de
[8, théorème 1, §1.19], que nous reprenons ici dans un cadre constructif plus général. C’est
un outil très utile qui remplace souvent de manière efficace la propriété de décomposition
complète.
Fait 4.3
1. Un anneau à diviseurs à décomposition complète est un anneau de Krull.
2. En mathématiques classiques, les deux notions sont équivalentes car tout groupe
réticulé discret à décomposition bornée est alors à décomposition complète 14 .
3. Un anneau de Krull est à décomposition partielle.
4. Le groupe des diviseurs d’un anneau de Krull A est de dimension 6 1 : pour tout
α ∈ Div A on a Div A = C(α)  C(α)⊥ .
Le théorème suivant nous donne un exemple paradigmatique d’anneau de Krull.
Théorème 4.4
1. Un anneau géométrique intégralement clos est un anneau de Krull.
2. La clôture intégrale d’un anneau géométrique intègre dans son corps de fractions est
un anneau de Krull.
Démonstration. 1. Cas particulier de 2.
2. Avec un changement de variables on obtient une mise en position de Noether qui
fait apparaı̂tre l’anneau géométrique A comme une extension finie d’un anneau de polynômes C = k[X1 , . . . , Xr ]. L’anneau C est un anneau à pgcd à factorisation bornée, donc
un anneau de Krull. Si A est intègre, Frac A est une extension finie de k(X1 , . . . , Xr ). On
conclut alors par le théorème 4.17.
2
Concernant le cas crucial des anneaux de valuation discrètes, la situation en mathématiques constructives est un peu plus délicate qu’en mathématiques classiques comme l’indique
le lemme suivant, qui complète le lemme 1.21. En mathématiques classiques tout anneau de
Krull est à décomposition complète et les cinq points sont équivalents.

Lemme 4.5 (Anneaux de valuation discrète, 2)
Soit A un anneau à diviseurs et un α > 0 dans Div A (par exemple α = div(a) avec
a ∈ A∗ \ A× ). Considérons les propriétés suivantes.
1. A est un anneau de valuation discrète.
2. A est un anneau de Krull local de dimension 1.
3. A est un anneau de Krull local et Div A = C(α).
4. A est un anneau principal local à factorisation bornée et Div A = C(α).
5. Div A est discret et | Div A : Zα | 6 k pour un k > 0.
14. On notera que pour ce point la démonstration classique utilise le tiers exclu (pour le test d’irréductibilité
d’un diviseur) mais pas l’axiome du choix.

34

Anneaux à diviseurs et anneaux de Krull

On a l’implication 1 ⇒ 2, et les équivalences 2 ⇔ 3 ⇔ 4 ⇔ 5.
L’implication 2 ⇒ 1 est valable si A est à décomposition complète.
Démonstration. Dans chacun des points on a Div A discret, i.e. A à divisibilité explicite.
4 ⇒ 3, 1 ⇒ 5, et 1 ⇒ 2. Clair.
2 ⇒ 3, 4 et 5. En tant qu’anneau à diviseurs local de dimension 1, A est un anneau de
valuation (théorème 1.19). Pour un ξ ∈ (Div A)+ arbitraire, on considère une base de décomposition partielle (π1 , . . . , πr ) pour (α, ξ). Les πi sont deux à deux orthogonaux, et dans
un anneau de valuation deux diviseurs > 0 sont toujours comparables. Donc un et un
seul des πi , par exemple π1 , est > 0. On a donc α = `π1 pour un ` > 1, ξ = mπ1 pour
un m > 0, d’où Zπ1 ⊆ Div A ⊆ Qα. Enfin si k majore le nombre d’éléments non nuls dans
une écriture de α comme somme d’éléments > 0, on aura nécessairement | Div A : Zα | 6 k
1
Zα.
et Div A ⊆ k!
3 ⇒ 2. On note que C(α) est absolument borné. Le point 1 du théorème 4.10 nous dit que A
est un anneau principal, donc de dimension 6 1. Il s’agit en fait d’un anneau de valuation et
comme ce n’est pas un corps, il est de dimension exactement 1.
1
5 ⇒ 4. De l’inégalité | Div A : Zα | 6 k on déduit que Zα ⊆ Div A ⊆ k!
Zα. Donc Div A
est à décomposition bornée et absolument borné, donc A est un anneau de Krull principal
(théorème 4.10). Il reste à montrer que A est un anneau local. Supposons que x + y est
inversible. Les diviseurs div x et div y s’expriment sous forme mπ et nπ pour un π ∈ Div A.
Comme 0 = div(x + y) > div(x) ∧ div(y), on a bien div(x) ou div(y) nul.

4 ⇒ 1 (lorsque A est à décomposition complète) : si α est minoré par un diviseur irréductible π,
il est clair que Div A = Zπ.
2

Théorème d’approximation simultanée et conséquences
Le point 2 du théorème suivant nous donne une version de [8, théorème 2, §1.20] dans un
cadre constructif plus général.
Théorème 4.6 (Théorème d’approximation simultanée) Soit A un anneau de Krull.
1. Soient (π1 , . . . , π
r ) des diviseurs
P
P > 0 deux à deux orthogonaux et (n1 , . . . , nk ) dans
N. Notons π = i πi et α = i ni πi . Il existe a ∈ A∗ tel que divA (a) = α + ρ avec
ρ > 0 et ρ ⊥ π (a fortiori ρ ⊥ α).
2. Pour tout α ∈ (Div A)+ et tout γ > α on peut trouver a ∈ A∗ tel que div a = α + ρ
avec ρ > 0 et ρ ⊥ γ.
Démonstration. 1. On suppose en un premier temps les πj irréductibles.
Pour chaque i ∈ J1..kK on va trouver un xi tel que
P
divA (xi ) = ni αi + βi , βi = j6=i mj πj + ρi avec mj > nj + 1 et ρi ⊥ π

(∗)i .

Construisons par exemple x1 . Nous considérons γ1 = (n1 −1)π1 +π. C’est un diviseur que l’on
écrit divA (c1 , . . . , cm ) pour des ci ∈ A∗ . On considère une base de décomposition partielle
pour (π1 , . . . , πr , c1 , . . . , cm ).
Comme elle ne raffine aucun des πi , pour l’un des cj , qui est le x1 recherché, la condition (∗)1
est réalisée.
P
Une fois les xi construits on considère x = i xi . On calcule une base de décomposition
partielle pour (x, x1 , . . . , xr ). Comme
elle ne raffine pas les πi on peut appliquer le lemme 4.7,
Pr
et l’on obtient que divA (x) = i=1 ni πi + ρ avec ρ ⊥ π.
Voyons le cas général. On reprend le calcul précédent. Si à une étape du calcul un ou plusieurs
des πj se décomposent, on remplace (π1 , . . . , πr ) par la liste raffinée et on reprend tous les

T. Coquand, H. Lombardi

35

calculs depuis le début. Cet inconvénient ne peut se produire qu’un nombre fini de fois. À la
fin le calcul se déroule comme si les πi étaient irréductibles.
2. On considère
P une base de décomposition partielle (π1 , . . . , πr ) pour (α, γ).
On écrit α = i∈J1..rK ni πi et on applique le point 1.
2

Lemme 4.7 Soit A un anneau à diviseurs avec
P Div A discret.
On suppose donnés (x1 , . . . , xn ) dans A∗ , avec i xi = 0, et (π1 , . . . , P
πr ) une base de décomr
position partielle pour (ξ1 , . . . , ξn ) (où ξi = divA (xi )). On écrit ξi = i=j nij πj . Alors pour
chaque j ∈ J1..rK, la valeur minimum de nij est atteinte au moins deux fois.
P
V
Démonstration.
Puisque i xi = 0 on a pour chaque i ∈ J1..nK ξi > k6=i ξk , ce qui donne
V
nij > k6=i nkj pour chaque j ∈ J1..rK. En particulier si nij est la plus petite valeur (pour
ce j fixé), cet entier doit être égal à l’un des nkj pour k 6= i.
2
On obtient maintenant des corollaires importants du théorème 4.6.

Théorème 4.8 (Théorème un et demi pour les anneaux de Krull)
Soit A un anneau de Krull et α ∈ (Div A)+ .
1. Pour tout a ∈ A∗ tel que α 6 div(a) il existe b ∈ A∗ tel que
α = div(a) ∧ div(b) = div(an ) ∧ div(b) pour tout n ∈ N∗ .
2. Pour tout c ∈ K∗ tel que div(c) 6 α il existe d ∈ K∗ tel que α = div(c) ∨ div(d).
Démonstration. 1. On pose γ = div(a). Le théorème 4.6 nous donne un b ∈ A tel que
div(b) = α + ρ avec ρ > 0 et ρ ⊥ γ. Par suite, pour n ∈ N∗
div(b) ∧ div(an ) = (α + ρ) ∧ nγ = (α ∨ ρ) ∧ nγ = (α ∧ nγ) ∨ (ρ ∧ nγ) = α ∨ 0 = α.
2. Soit a avec div(a) > α puis β = div(a) − α. On a div(c) 6 α, donc 0 6 β 6 div( ac )
avec ac ∈ A∗ . Le point 1. nous donne un e ∈ A∗ tel que β = div( ac , e), donc

α = div(a) − β = div(a) + div( ac ) ∨ div( 1e ) = div(c) ∨ div( ae ),
d’où le résultat avec d = ae .
2
Corollaire 4.9 Soit A un anneau de Krull, et a, b ∈ A∗ . Il existe c et d ∈ A∗ tels que
c
a
=
et divA (a, b, c, d) = 0.
b
d
D’où l’on déduit (en choissant de mettre a en valeur) :
• ha, bi ha, ci = a ha, b, c, di,
• divA (a, b) + divA (a, c) = divA (a),
• Idv(a, b) = (a : c)A et Idv(a, c) = (a : b)A .
En particulier, pour tout diviseur α > 0, et tout a ∈ A∗ tel que div(a) > α, il existe c ∈ A∗
tel que Idv(α) = (a : c)A .
Démonstration. Posons α = divA (a, b) et β = div(a) − α( 15 ). En appliquant le théorème un
et demi à β et a, il existe c ∈ A∗ tel que β = div(a, c). Puisque α + β = div(a) on obtient
que ha, bi ha, ci admet a pour pgcd fort. En particulier bc est divisible par a, on écrit bc = ad
et l’on obtient ha, bi ha, ci = a ha, b, c, di donc div(a, b, c, d) = 0.
Le dernier point résulte de ce que
div(a, b) = div(a) − div(a, c) = div(1) ∨ div( ac ),
donc Idv(a, b) = A ∩ ac A.
2
15. Si A est cohérent on peut prendre β = divA (b) où b = (a : ha, bi) = (a : b)

36

Anneaux à diviseurs et anneaux de Krull

Remarque. Si A est un domaine de Prüfer possédant la propriété un et demi (par exemple s’il
est de dimension 6 1), on a la même propriété sous une forme plus forte : div(a, b, c, d) = 0
est remplacé par ha, b, c, di = h1i.
Le théorème 4.10 est une version constructive du théorème suivant en mathématiques
classiques : un anneau de Krull avec seulement un nombre fini de diviseurs irréductibles est
un anneau principal (conséquence de [22, théorème 12.2]).
Théorème 4.10 Soit A un anneau de Krull.
1. Si Div A est absolument borné, A est un anneau principal.
2. Si Div A est engendré par les diviseurs irréductibles (π1 , . . . , πr ), on obtient en outre
— A est un anneau principal à factorisation
totale,
Qr
— si πi = divA (pi ), l’élément q = i=1 pi engendre l’idéal Rad A,
— les idéaux maximaux détachables de A sont les hpi i.
3. Pour un a ∈ A∗ les propriétés suivantes sont équivalentes.

(a) Div A = C divA (a) (qui est absolument borné).
(b) A est un anneau principal et a ∈ Rad A.
Démonstration. 2. Tout d’abord, il est clair que Div A est à décomposition complète. Comme
un diviseur orthogonal à tous les πi est nul,
P pour tous (n1 , . . . , nr ) dans N, le théorème 4.6
nous donne un a ∈ A∗ tel que divA (a) = i ni πi . Ainsi tout diviseur est principal, autrement
dit A est un anneau à pgcd.
Montrons maintenant que A est un anneau de Bezout. Pour cela il suffit de montrer que
si b et c ont pour pgcd 1, ils sont comaximaux. On écrit
P
P
div(b) = i∈I mi πi , div(c) = i∈J mi πi avec les mi > 0 et I ∩ J = ∅.
Q
Soit K = J1..rK \ (I ∪ J) et d = k∈K pk . Alors div(b + cd) = 0 par le lemme 4.7 (dans la
décomposition des trois éléments div(b), div(cd) et div(b + cd), la valeur minimum 0 doit
être atteinte au moins deux fois sur chaque composante πi ). Ainsi b + cd ∈ A× , et hb, ci = 1.
Montrons que q ∈ Rad A. I.e., pour x ∈ A∗ , 1 + xq ∈ A× (ou encore divA (1 + xq) = 0).
Dans la décomposition des trois éléments divA (1), divA (1 + xq) et divA (xq), la valeur
minimum 0 doit être atteinte au moins deux fois sur chaque composante πi (lemme 4.7).
Montrons que Rad A ⊆ hqi. Si b ∈ A et si un des pi ne figure pas dans les diviseurs de b,
on a hb, pi i = 1 et donc 1 + xb = ypi pour x et y convenables, donc 1 + xb n’est pas inversible.
On laisse à la lectrice le soin de montrer que les hpi i sont les idéaux maximaux détachables.
1. Les démonstrations dans le point 2 fonctionnent en remplaçant les πi du point 2 par des
bases de décomposition partielle pour les éléments de A qui définissent les diviseurs qui
entrent dans la preuve. Les détails sont laissés au lecteur.
3b ⇒ 3a. D’après le lemme 3.2.
3a ⇒ 3b. L’anneau est principal d’après le point 1 Concernant a ∈ Rad A on reprend la
preuve du point 2 en s’appuyant sur des bases de décomposition partielle.
2
Remarques. 1) Dans le point 3a on ne peut pas remplacer l’hypothèse par la simple existence
d’un élément régulier dans Rad A : il y a des anneaux factoriels locaux de dimension de
Krull arbitraire.
2) En mathématiques classiques tout anneau de Krull A avec Div A absolument borné relève
du point 2 ci-dessus. D’un point de vue constructif, la situation est plus problématique : il
est même impossible d’obtenir qu’un anneau de Krull à décomposition complète avec Div A
absolument borné contient un élément a tel que Div A = C(a).
Exemple. On donne ici un anneau de Krull non cohérent. C’est aussi un anneau local à
pgcd. Il n’est pas cohérent (cela montre aussi qu’il n’est pas noethérien). En mathématiques

T. Coquand, H. Lombardi

37

classiques c’est un anneau factoriel en tant qu’anneau de Krull à pgcd. En outre il est de
dimension de Krull 6 2. C’est l’exemple 5.2 dans [12, Glaz].
On considère le corps discret F = F2 ((ai )i∈N , (bi )i∈N ), puis l’anneau local B = F[x, y]1+hx,yi .
On pose pi = ai x + bi y et l’on définit un automorphisme γ de B par
γ(x) = x, γ(y) = y, γ(ai ) = ai + ypi+1 , γ(bi ) = bi + xpi+1 pour tout i.
On a γ(pi ) = pi et γ engendre le groupe G = {Id, γ} d’ordre 2. Enfin A est le sous-anneau BG
des points fixes de G.

Localisations d’un anneau de Krull, diviseurs irréductibles
Le théorème suivant est une conséquence immédiate du théorème 3.1 et de la proposition 2.16. On notera que les hypothèses du point 2 sont toujours satisfaites en mathématiques
classiques.
Théorème 4.11 Soient A un anneau de Krull, S un filtre ne contenant pas 0, et HS le
sous-groupe solide de Div A engendré par les divA (s) pour s ∈ S. Alors AS est un anneau
à diviseurs, Div AS est à décomposition bornée et de dimension 6 1, et il y a un unique
morphisme de groupes réticulés ϕS : Div A → Div AS tel que ϕS divA (a) = divAS (a) pour
tout a ∈ A∗ .
On a en outre les précisions qui suivent.
1. Si AS est à divisibilité explicite, AS est un anneau de Krull.
2. Si HS est détachable et si Div A = HS  H 0 pour un sous-groupe solide H 0 , AS est
un anneau de Krull et le morphisme ϕS est un morphisme de passage au quotient
par HS : il permet d’identifier Div AS au groupe réticulé quotient (Div A)/HS ' H 0 .
Rappelons que pour un anneau à diviseurs arbitraire, on a une bijection naturelle entre
les ensembles suivants (théorème 1.13).
— Les diviseurs irréductibles.
— Les idéaux divisoriels finis premiers 6= h1i.
Les points 2 à 4 du théorème suivant rajoutent quelques précisions pour les anneaux de
Krull qui ne sont pas des corps (on suppose d’existence d’un diviseur strictement positif).
Théorème 4.12 Soient A un anneau de Krull, α un diviseur >
{ x ∈ A∗ | div x ⊥ α }.

0 et Sα

=

1. L’anneau B = Sα−1 A est un anneau principal avec Div B ' C(α). En particulier on a
un élément régulier dans Rad B et une borne a priori sur le nombre d’éléments deux
à deux étrangers dans B.
2. Les propriétés suivantes sont équivalentes.
(a) α est un diviseur irréductible.
(b) C(α) = Zα.
(c) Idv(α) est un idéal premier.
(d) Sα est un filtre premier de hauteur 6 1 et A = Sα ∪ Idv(α) (union disjointe de
deux parties détachables).
(e) Sα−1 A est un anneau de valuation discrète et si p/1 est une uniformisante, on a
α = divA (p) mod C(α)⊥ .
3. Si A est à décomposition complète, on obtient selon le point 2. des bijections entre les
trois ensembles suivants.
— Les diviseurs irréductibles.
— Les idéaux divisoriels finis premiers 6= h1i.

38

Anneaux à diviseurs et anneaux de Krull

— Les filtres premiers détachables de hauteur 1.
4. Si A est cohérent, les quatre ensembles suivants sont égaux.
— Les idéaux divisoriels finis premiers 6= h1i.
— Les idéaux de type fini premiers q 6= h0i tels que div(q) > 0.
— Les idéaux de type fini premiers q 6= h0i , h1i tels que q = Idv(q).
— Les idéaux de type fini premiers détachables de hauteur 1.
Démonstration. 1. Résulte du point 1 du théorème 3.5 et du théorème 4.10.
2. C’est le point 2 du théorème 3.5. Ici intervient seulement le fait que Div A est discret de
dimension 1.
3. Il reste à vérifier qu’un filtre premier S de hauteur 1 est de la forme Sπ pour un diviseur
irréductible π.
Le localisé AS est par définition un anneau local de dimension 6 1. D’après le point 1
du théorème 3.1, c’est un anneau à diviseurs dont le groupe des diviseurs Div(AS ) est un
quotient de Div A. En tant qu’anneau à diviseurs local de dimension 1, AS est un anneau
de valuation (théorème 1.19).
Soit x ∈ A∗P
\S, on a divAS (x) > 0 car x ∈
/ A×
S . On considère la décomposition de ξ = divA (x)
sous forme i ni πi avec les πi irréductibles et les ni ∈ N∗ . Les πi restent deux à deux orthogonaux dans AS , et dans un anneau de valuation deux diviseurs > 0 sont toujours comparables.
Donc un et un seul des πi , appelons le π, reste > 0 dans Div(AS ). De la même manière
tout diviseur irréductible distinct de π dans Div A s’annule dans Div(AS ). Ceci montre que
Div(AS ) ' (Z, >) avec π comme seul diviseur irréductible, correspondant à 1 ∈ Z dans
l’isomorphisme. Tous les y ∈ A tels que divA (y) ⊥ π dans A sont dans S car divAS (y) = 0,
i.e. ce sont des unités de AS . Ainsi on obtient bien S = Sπ .
4. C’est le point 3 du théorème 3.5.
2
On se propose maintenant d’étudier, autant que faire se peut, (( toutes )) les localisations
d’un anneau de Krull à décomposition complète.
Le théorème 4.13 généralise pour les anneaux de Krull à décomposition complète des
résultats simples dans le cas d’un anneau factoriel. Il résulte essentiellement du théorème 4.11
et du lemme 2.11. En mathématiques classiques il donne une description exhaustive des
localisés d’un anneau de Krull. En mathématiques constructives on se limite aux localisations
en des filtres détachables particuliers. Ce théorème complète pour les anneaux de Krull le
lemme 2.11 qui décrit les sous-groupes détachables d’un groupe réticulé à décomposition
complète.

Théorème 4.13 Soient A un anneau de Krull à décomposition complète et I l’ensemble de
ses diviseurs irréductibles. On reprend les notations du théorème 3.1.
1. Si S est un filtre et si HS est détachable, alors S est détachable, égal à
{ x ∈ A | ∀π ∈ I, π 6 div(x) ⇒ π ∈ HS } .
En outre Div(AS ) ' (Div A)/HS ' HS ⊥ .
2. Si H est un sous-groupe solide détachable de Div A, l’ensemble
{ x ∈ A | ∀π ∈ I, π 6 div(x) ⇒ π ∈ H }
est un filtre détachable S et HS = H.
3. On obtient ainsi des bijections entre les trois ensembles suivants.
— Les filtres S de A tels que HS est détachable.
— Les sous-groupes solides détachables de Div A.
— Les parties détachables de I.
On suppose dans la suite que S est un filtre avec HS détachable.

T. Coquand, H. Lombardi

39

4. Les propriétés suivantes sont équivalentes.
(a) Le filtre S est de hauteur 1.
(b) L’anneau AS est un anneau de Dedekind à factorisation totale.
Dans ce cas les propriétés suivantes sont équivalentes.
(c) Le sous-ensemble I ∩ HS ⊥ de I est fini non vide.
(d) Rad(AS ) contient un élément non nul.
(e) L’anneau AS est principal et les diviseurs irréductibles de AS forment un ensemble
fini non vide.
5. Le filtre S est premier de hauteur 1 si, et seulement si, I ∩ HS ⊥ est un singleton {π}.
Dans ce cas l’idéal premier p = A \ S est égal à Idv(π).
6. Si S est premier de hauteur 6= 0, 1, I ∩ HS ⊥ est infini et div(p) = 0.
Démonstration. La démonstration est laissée à la lectrice.

2

Remarque. Dans le cadre des anneaux de Krull à décomposition complète, il ne semble pas que
l’on puisse démontrer que HS est détachable dès que S est un filtre détachable (contrairement
au cas des anneaux factoriels). De même on ne peut pas calculer en général la hauteur d’un
filtre S sous la seule hypothèse que HS est détachable.
Un anneau est dit pleinement Lasker-Nœther lorsqu’il est noethérien cohérent fortement
discret et que tout idéal radical est intersection finie d’idéaux premiers de type fini (voir
[23]). Rappelons qu’en mathématiques classiques tout anneau noethérien est pleinement
Lasker-Nœther, et donc, d’après le théorème 4.14, tout anneau noethérien intégralement clos
est un anneau de Krull à décomposition complète.
Théorème 4.14 Un anneau intégralement clos pleinement Lasker-Nœther est un anneau de
Krull à décomposition complète.
Démonstration. Dans un anneau de Krull A, on a vu que tout élément irréductible de Div A
est de la forme divA (p) pour un idéal premier détachable p de hauteur 1. Dans [23], il est
montré que pour un anneau pleinement Lasker-Nœther, on peut calculer explicitement les
idéaux premiers de hauteur 1 qui contiennent un a ∈ A∗ fixé. Ceci permet ensuite de calculer
la décomposition complète du diviseur principal div a en somme de diviseurs irréductibles
(en utilisant le fait que Div A est discret). Les détails sont laissés au lecteur.
2

Stabilité pour les extensions polynomiales
Théorème 4.15 Soit A un anneau de Krull et K son corps de fractions.
1. A[X] est aussi un anneau de Krull.
2. A[X] est à décomposition complète si, et seulement si, A et K[X] sont à décomposition
complète.
Démonstration. Ceci résulte de ce que A[X] est un anneau à diviseurs avec Div(A[X]) '
Div A × Div(K[X]) (théorème 3.7).
2

40

Anneaux à diviseurs et anneaux de Krull

Stabilité pour les extensions entières intégralement closes
Théorème et définition 4.16 (Norme d’un diviseur)
Soit A un anneau à diviseurs non trivial de corps de fractions K et L ⊇ K un corps qui
admet une base finie comme K-espace vectoriel. Soit B la clôture intégrale de A dans L.
L’anneau B est aussi un anneau à diviseurs. On sait construire un homomorphisme de
groupes ordonnés N ∗ : Div B → Div A qui satisfait les propriétés suivantes


1. N ∗ divB (b) = divA NL/K (b) pour tout b ∈ B.
2. Pour β ∈ (Div B)+ , on a β = 0 ⇐⇒ NB/A (β) = 0.
3. Pour tout α ∈ Div A, NB/A (α) = [ L : K ] α.
On note NB/A cet homomorphisme, on l’appelle le morphisme norme.
Démonstration. On rappelle qu’une base de L sur K est aussi une base de L[T ] sur K[T ] ou
de L(T ) sur K(T ). Ceci implique que la fonction norme NL/K s’étend de manière naturelle
en NL[T ]/K[T ] ou en NL(T )/K(T ) . On continue à la noter NL/K . On pose r = [ L : K ].
Rappelons aussi que dans la situation où K = Frac(A), A intégralement clos, et B clôture
intégrale de A dans L, on a NL/K (B) ⊆ A : en fait pour x ∈ B, le polynôme caractéristique
de x a tous ses coefficients dans A, et l’élément cotransposé x
e (qui vérifie xe
x = NL/K (x)) est
un élément de B (par exemple en utilisant [18, corollaire III-8.6]).
Rappelons enfin que B[T ] est la clôture intégrale de A[T ] dans L(T ). Tout ceci implique que
la norme d’un élément g ∈ B[T ] est un élément de A[T ] et que ge ∈ B[T ].
On considère les ensembles Lst(B)∗ et Lst(A) et l’application N : Lst(B)∗ → Lst(A) définie
comme suit
Pm
N (b1 , . . . , bm ) = (a1 , . . . , ap ), où
K(b) =
bk T k−1
Pk=1
p
`−1
et NL/K (K(b) ) =
`=1 a` T
Enfin on définit ν : Lst(B)∗ → (Div A)+ par ν(b) = divA (N (b)). A priori on a p 6 (m−1)r+1.
Notons que pour tout α ∈ Div A, on a ν(α) = r α. Cela résulte de ce que si α = divA (a),
r
alors NL/K (K(a) ) = K(a)
= K(c) , donc divA (c) = r divA (a) par le corollaire 1.17.
On démontre alors les points suivants.
1. Les applications N et ν sont bien définies, autrement dit les ai sont dans A et l’un au
moins est régulier. En effet K(b) ∈ B[T ] donc NL/K (K(b) ) ∈ A[T ] d’après les remarques
préliminaires. Par ailleurs K(b) est régulier, donc la multiplication par K(b) est injective
(de L[T ] vers L[T ]), ce qui implique que son déterminant NL/K (K(b) ) est régulier.
2. Si (b) = (bi )i∈J1..nK et (c) = (cj )j∈J1..mK sont dans Lst(B)∗ , on a défini

P
(b) ? (c) =
i+j=`+1 bi cj `∈J1..m+n−1K
On a K(b)?(c) = K(b) K(c) , donc NL/K (K(b)?(c) ) = NL/K (K(b) ) NL/K (K(c) ).
Et en utilisant le corollaire 1.17 ceci implique

ν (b) ? (c) = ν(b) + ν(c).
3. Si divB (b) = 0 alors ν(b) = 0 . Soit (b0 ) = (b01 , . . . , b0m ) telle que la liste (a) = (b) ? (b0 ) soit
dans A et admette un pgcd fort g dans A∗ (lemme 3.11). Donc (a) = g (a0 ) avec divA (a0 ) = 0.
Ceci donne divB (b0 ) = divB (b) + divB (b0 ) = divB (g). Donc g est pgcd fort dans B de la
liste (b0 ). En particulier on peut écrire (b0 ) = g (c) avec (b) ? (c) = (a0 ).
Ceci implique ν(b) + ν(b0 ) = ν(a0 ) = r divA (a0 ) = 0, donc ν(b) = 0.
4. Si ν(b) = 0 alors divB (b) = 0 .
g
En effet, considérons la liste (b0 ) ∈ Lst(B)∗ définie par K
(b) = K(b0 ) , alors


0 = ν(b) = divA N (b) = divA c(K(b) K(b0 ) )) ,

T. Coquand, H. Lombardi

41

et comme Div A s’identifie à un sous-groupe réticulé de Div B on obtient


0 = divA c(K(b) K(b0 ) ) = divB c(K(b) K(b0 ) )

= divB (b) ? (b0 )
= divB (b) + divB (b0 ).
5. En conséquence des points précédents l’élément ν(b) ∈ (Div A)+ ne dépend que de divB (b)
et l’application correspondante
N ∗ : (Div B)+ → (Div A)+
est un morphisme de monoı̈des, qui s’étend de manière unique en un morphisme (en général
non injectif) de groupes ordonnés N ∗ : Div B → Div A.
Quelques précisions.
On démontre d’abord que l’application ν : Lst(B)∗ → (Div A)+ (( passe au quotient )),
c’est-à-dire que si divB (b(1) ) = divB (b(2) ), alors ν(b(1) ) = ν(b(2) ).
Pour ceci considérons une liste (c) dans B∗ telle que (b(1) ) ? (c) admette un pgcd fort e,
autrement dit (b(1) ) ? (c) = e (z) (∗) où la liste (z) admet 1 pour pgcd fort. Cela signifie divB (b(1) ) + divB (c) = divB (e). L’égalité (∗) implique ν(b(1) ) + ν(c) = ν(e) + ν(z),
i.e. ν(b(1) ) + ν(c) = ν(e) car divB (z) = 0 implique ν(z) = 0.
Comme divB (b(2) ) + divB (c) = divB (e), on on a aussi ν(b(2) ) + ν(c) = ν(e) dans (Div A)+ .
D’où ν(b(1) ) = ν(b(2) ).
Une fois que l’on sait que N ∗ définit une opération de (Div B)+ vers (Div A)+ , on voit que
c’est un morphisme pour l’addition. Comme l’image réciproque de 0 est 0 et puisque (Div B)+
et (Div A)+ sont les parties positives de Div A et Div B, il en résulte que N ∗ s’étend de
manière unique en un morphisme de groupes ordonnés.
2
Théorème 4.17 Soit A un anneau de Krull de corps de fractions K et L ⊇ K un corps qui
admet une base finie sur K. Soit B la clôture intégrale de A dans L. Alors B est un anneau
de Krull.

Démonstration. On sait déjà que B est un anneau à diviseurs (théorème 3.12) et que Div B
est discret (théorème 3.13). Il reste à montrer que Div B est à décomposition bornée.
On considère une décomposition divB (b) = divB (b(1) ) + · · · + divB (b(`) ) dans (Div B)+ . Au
moyen du morphisme norme NB/A elle est transformée en une décomposition de NB/A (b)
dans (Div A)+ . Puisque Div A est à décomposition bornée, si ` est suffisamment grand, un
des termes NB/A (b(i) ) de cette décomposition est nul. Et ceci implique divB (b(i) ) = 0. 2

Remarque. Comme cas particulier, si A est un domaine de Dedekind à factorisation bornée, il
en va de même pour B (il n’est donc pas nécessaire de supposer l’extension L/K séparable).

Conclusion
Nous sommes assez convaincus par l’introduction de l’article [2, Aubert], où l’auteur
déplore que seul Jaffard ait compris Lorenzen, alors que Bourbaki, Gilmer et Larsen-McCarthy
par exemple se sont enferrés dans les idéaux divisoriels qui manquent absolument de finitude.
Ici nous avons enfoncé encore un peu plus le clou, en ne faisant jamais référence à l’(( ensemble ))
de tous les idéaux fractionnaires ni à la théorie des ?-opérations sur cet (( ensemble )).
Notons que nos anneaux à diviseurs sont exactement les anneaux avec une théorie des
pgcds de type fini de [20, Lucius]. Lucius attribue la véritable paternité à Aubert tout en
rectifiant une erreur. L’article de Lucius est surout consacré aux anneaux de Krull : en
rajoutant une condition de type noethérien, il obtient ce qu’il appelle les anneaux avec une
théorie des diviseurs, qui sont les anneaux de Krull. Il attribue à [25, Skula] le fait d’avoir

42

Anneaux à diviseurs et anneaux de Krull

élucidé le rapport entre l’approche qu’il propose (que nous avons grosso modo suivie, mais
dans un cadre simplifié et constructif) et la présentation du problème dans [4].
Signalons aussi les articles [1, Arnold] et [6, Clifford] dans lesquels une théorie purement
multiplicative, à savoir l’étude des (( monoı̈des avec une théorie des diviseurs )) est donnée
pour le cas (( Krull )), c’est-à-dire lorsqu’on demande la décomposition unique en facteurs
premiers. Plus précisément, pour un monoı̈de (S, ·, 1) (( réduit )) (ce qui veut dire que 1 est le
seul élément inversible) et (( régulier )) (ce qui veut dire que tout élément est simplifiable),
on examine dans quelles conditions il est contenu dans un monoı̈de Σ jouissant des trois
propriétés suivantes :
— Σ est isomorphe à un monoı̈de (N(I) , +, 0) (i.e. un monoı̈de réduit régulier avec
décomposition unique en facteurs premiers),
— pour a, b in S, on a a|b dans S si, et seulement si, a|b dans Σ,
— tout élément de Σ est borne inférieure d’une famille finie dans S.
Autrement dit, c’est l’approche habituellement attribuée à [4] mais dans un cadre épuré (pas
de condition non multiplicative) et plus général (pas d’anneau intègre, seulement un monoı̈de
multiplicatif). La thèse de Clifford, reportée dans [6] consiste à généraliser les résultats
d’Arnold dans le cadre de monoı̈des plus généraux. Clifford cite [26, van der Waerden] comme
ayant découvert de manière indépendante essentiellement les mêmes résultats qu’Arnold, au
moins pour le cadre des anneaux noethériens intègres.
Quant aux travaux d’Aubert et Lucius, que nous avons repris ici dans un cadre constructif,
ils consistent à laisser tomber la condition de décomposition unique en facteurs premiers et à
demander seulement que Σ soit partie positive d’un groupe réticulé.

Remerciements. Le travail du premier auteur a été financé par le projet ERC (FP7/20072013) / ERC grant agreement nr. 247219. Nous remercions Marco Fontana et Mohammed
Zafrullah pour toutes les informations et conseils utiles concernant l’approche des PvMD dans
la littérature classique, ainsi que leurs réponses à des questions délicates. Nous remercions
aussi tout particulièrement Claude Quitté pour sa collaboration efficace, sans laquelle cet
article n’aurait pas vu le jour.

Références
[1] Arnold I. (1929). Ideale in kommutativen Halbgruppen. Rec. Math. Soc. Moscow 36,
401–407. 2, 42
[2] Aubert K. (1983). Divisors of finite character. Ann. Mat. Pura Appl. 38, 327–360. 2,
5, 41
[3] Bigard A., Keimel K., Wolfenstein S. (1977). Groupes et anneaux réticulés. LNM
Vol. 608. Springer-Verlag, Berlin-New York. 20
[4] Borevitch Z. I., Chafarevitch I. R. (1967). Théorie des nombres. Les Grands
Classiques Gauthier-Villars. Gauthier-Villars, Paris. 2, 5, 6, 42
[5] Chang G.W. (2008). Prüfer ?-multiplication domains, Nagata rings, and Kronecker
function rings. Journal of Algebra 319, 309–319. 2
[6] Clifford A. H. (1938). Arithmetic and ideal theory of commutative semigroups. Annals
of Math. 39, 594–610. 2, 42
[7] Coquand T. (2014). Recursive functions and constructive mathematics. Chapitre 6
dans Bourdeau M., Dubucs J. (Eds.), Constructivity and Computability in Historical
and Philosophical Perspective. Logic, Epistemology and the Unity of Science Vol. 34.
Dordrecht : Springer, Heidelberg, London. 12
[8] Edwards H. M. (1990). Divisor Theory. Birkhäuser Boston, Inc., Boston, MA. 1, 33,
34

T. Coquand, H. Lombardi

43

[9] Fontana M., Loper K. (2006). An historical overview of Kronecker function rings,
Nagata rings, and related star and semistar operations. p. 169–187 in Multiplicative Ideal
Theory in Commutative Algebra. A tribute to the work of Robert Gilmer, Jim Brewer,
Sarah Glaz, William Heinzer, and Bruce Olberding Editors, Springer, New-York. 2, 18
[10] Fontana M., Zafrullah M. (2009). A “v-operation free” approach to Prüfer vmultiplication domains. Int. J. Math. Math. Sci. Article ID 349010, 8 pages. 2
[11] Fontana M., Zafrullah M. (2011). On v-domains : a survey. In Commutative
Algebra : Noetherian and non-Noetherian Perspectives (M. Fontana, S. Kabbaj, B.
Olberding, and I. Swanson Editors), Springer, New York. 145–179. 2
[12] Glaz S. (2001). Finite conductor rings. Proc. Amer. Math. Soc. 129, 2833–2843. 15, 37
[13] Griffin M. (1967). Some results on v-multiplication rings. Canad. Math. 19, 710-722.
2
[14] Halter-Koch F. (2011). Characterization of Prüfer-like monoids and domains by
gcd-theories, Comm. Algebra 39, 486–496. 2
[15] Jaffard P. (1960). Les systèmes d’idéaux. Dunod, Paris. 2
[16] Kang B. G. (1989). Prüfer v-multiplication domains and the ring R[X]Nv . J. Algebra.
123, 151–170. 19
[17] Krull W. (1936). Beiträge zur Arithmetik kommutativer Integritätsbereiche. II. vIdeale und vollständig ganz abgeschlossene Integritätsbereiche. Math. Z. 41, Vol. 6,
665–679. 2
[18] Lombardi H., Quitté C. (2015). Commutative algebra : constructive methods. Finite
projective modules. Translated from the French. Springer, Berlin. 1, 9, 14, 15, 16, 17, 20,
23, 24, 25, 26, 27, 40
[19] Lorenzen P. (1939). Abstrakte Begründung der multiplikativen Idealtheorie. Math. Z.
45, no 6, 533–553. 2
[20] Lucius F. (1998). Rings with a theory of greatest common divisors. Manuscripta Math.
95, 117–136. 2, 41
[21] Lucius F. (1998). Kronecker’s Divisor Theory and the Generalization of Notions
and Theorems of Classical Algebraic Number Theory to Krull Domains. Mathematica
Gottingensis Vol. 13, 17 pages. 2
[22] Matsumura H. (1989). Commutative ring theory. Cambridge studies in advanced
mathematics, Vol. 8. Cambridge University Press, Cambridge. 15, 16, 28, 36
[23] Mines R., Richman F., Ruitenburg W. A Course in Constructive Algebra. Universitext. Springer-Verlag, (1988). 39
[24] Prüfer H. (1932). Untersuchungen über Teilbarkeitseigenschaften in Körpern. J. Reine
Angew. Math. 168, 1–36. 2
[25] Skula L. (1970). Divisorentheorie einer Halbgruppe. Math. Z. 114, 113–120. 41
[26] van der Waerden B. L. (1929). Zür Produktzerlegung der Ideale in ganz abgeschlossenen Ringe. Math. Annalen 101, 293–308. 2, 42
[27] Zafrullah M. (2006). What w-coprimality can do for you. Dans Multiplicative Ideal
Theory in Commutative Algebra : A tribute to the work of Robert Gilmer, Jim Brewer,
Sarah Glaz, William Heinzer, and Bruce Olberding Editors, Springer, New-York. 387–404
8

44

Anneaux à diviseurs et anneaux de Krull

Table des matières
Introduction
1 Anneaux à diviseurs
Pgcd fort, ppcm et profondeur > 2 . . . . . . . .
Idéaux divisoriellement inversibles . . . . . . . .
Projet pour le groupe des diviseurs . . . . . . . .
Le théorème de base . . . . . . . . . . . . . . . .
Exprimer un diviseur comme borne supérieure de
Quand le groupe des diviseurs est-il discret ? . .
Diviseurs irréductibles . . . . . . . . . . . . . . .
Propriétés de clôture intégrale . . . . . . . . . . .
Anneaux à diviseurs de dimension 6 1 . . . . . .
Anneaux de valuation discrète . . . . . . . . . . .
Localisations d’un anneau à diviseurs, 1 . . . . .
Un anneau à la Kronecker . . . . . . . . . . . . .
Principe local-global et applications . . . . . . .

1

. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
diviseurs principaux
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .

2 Propriétés de décomposition des groupes réticulés
Groupes réticulés quotients . . . . . . . . . . . . . . . . .
Un principe de recouvrements par quotients . . . . . . . .
Groupes réticulés de dimension 1 . . . . . . . . . . . . . .
Groupes totalement ordonnés de dimension 1 . . . . . . .
Sous-groupes premiers d’un groupe réticulé . . . . . . . .
Propriétés de décomposition générales . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

3
3
4
5
6
10
12
12
14
15
16
17
18
18

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

20
20
20
21
22
22
23

3 Propriétés de stabilité pour les anneaux à diviseurs
Localisations d’un anneau à diviseurs, 2 . . . . . . . . . . .
Anneaux avec groupe des diviseurs de dimension 1 . . . . .
Stabilité pour les anneaux de polynômes . . . . . . . . . . .
Stabilité pour les extensions entières intégralement closes .
Autres propriétés de stabilité . . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

26
26
27
28
29
32

4 Anneaux de Krull
Définition et premières propriétés . . . . . . . . . . . . . .
Théorème d’approximation simultanée . . . . . . . . . . .
Localisations d’un anneau de Krull, diviseurs irréductibles
Stabilité pour les extensions polynomiales . . . . . . . . .
Stabilité pour les extensions entières intégralement closes

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

32
. 32
. 34
. 37
. 39
. 40

.
.
.
.
.

Conclusion

41

Références

42

