Voir la source de Anneau de valuation discrète

En [[mathématiques]], plus précisément en [[algèbre commutative]], un '''anneau de valuation discrète''' est un [[Valuation|anneau de valuation]] dont la valuation est [[Valuation#Valuations discrètes|discrète]] mais non triviale. Un anneau est de valuation discrète lorsqu'il est [[anneau principal|principal]], qu'il ne possède qu'un [[idéal maximal]], et que cet idéal est non nul.

Cette notion est utilisée en [[théorie algébrique des nombres]] et en [[géométrie algébrique]] ; elle constitue un outil d'étude des [[anneau noethérien|anneaux noethériens]], en particulier les [[anneau de Dedekind|anneaux de Dedekind]].

== Définitions et exemples ==
=== Définitions ===

La première définition est presque une [[lapalissade]] :
{{théorème|Première définition|Un anneau de valuation discrète est un [[Valuation#Anneau de valuation|anneau de valuation]] dont la [[valuation]] est discrète mais non triviale.}}

Autrement dit, ''A'' est un anneau commutatif unitaire intègre, et il existe sur son [[corps des fractions]] ''K'' une valuation ''v'', ''à valeurs entières mais non toutes nulles'', telle que
<center><math>A=\{x\in K\mid v(x)\ge 0\}.</math></center>

Par conséquent (comme tout anneau d'une valuation non triviale) ''A'' est un [[anneau local]] mais pas un [[corps commutatif|corps]], et son unique idéal maximal ''M'' est non nul, et constitué des éléments de valuation strictement positive :
<center><math>M=\{x\in K\mid v(x)>0\}.</math></center>

De plus (comme la valuation est à valeurs entières) tout idéal est engendré par n'importe lequel de ses éléments de valuation minimum, si bien que ''A'' est principal. En particulier, un générateur de ''M'' est appelé '''uniformisante''' ou paramètre local de l'anneau.

La réciproque est claire : tout anneau local et principal qui n'est pas un corps est un anneau de valuation discrète. On pose ''v''(''a'') égal à l'[[entier naturel]] ''n'' tel que ''aA = M{{exp|n}}'' (cf. paragraphe « Propriétés »). On obtient donc une définition équivalente :

{{théorème|Seconde définition|Un anneau de valuation discrète est un [[anneau principal]], qui ne possède qu'un [[idéal maximal]], et tel que cet idéal soit non nul.
}}

=== Exemples ===
* Un exemple simple est fourni par un [[sous-anneau]] du corps des [[Nombre rationnel|rationnels]] : l'ensemble ℤ<sub>(''p'')</sub> des fractions ''a''/''b'' où ''a'' est un [[entier relatif]] et ''b'' un entier non divisible par un [[nombre premier]] ''p'' fixé. Les [[inversible]]s de cet anneau sont les ''a''/''b'' pour lesquels ''a'' n'est pas non plus multiple de ''p''.
* Une généralisation naturelle est de remplacer ℤ par un [[anneau de Dedekind]] ''A'' (par exemple [[Entier quadratique|l'anneau des entiers d']]un [[corps quadratique]] ou plus généralement la [[fermeture intégrale]] de ℤ dans un [[corps de nombres]]). Soit ''P'' un [[idéal premier]] non nul de ''A'', le [[localisation (mathématiques)|localisé]] ''A<sub>P</sub>'' de ''A'' en ''P'' est un anneau de valuation discrète (c'est l'ensemble des fractions de la forme ''a''/''b'' où ''a'' est élément de ''A'', et ''b'' un élément de ''A'' qui n'est pas dans ''P'').
*Les [[séries formelles]] à coefficients dans un [[corps commutatif]] forment un anneau de valuation discrète.
*L'anneau ℤ{{ind|''p''}} des [[Entier p-adique|entiers ''p''-adiques]] également, pour tout [[nombre premier]] ''p''.

== Propriétés ==
Dans tout le paragraphe ''A'' désigne un anneau de valuation discrète, au sens « anneau principal possédant un seul idéal maximal ''M'' non nul », et ''t'' désigne une uniformisante, c'est-à-dire que ''M'' = ''t A''.

{{énoncé|Tout élément de ''A'' qui n'est pas dans ''M'' est [[inversible]].}}
En effet, dans un anneau commutatif, un élément est inversible si et seulement s'il n'appartient à aucun idéal maximal ({{cf.}} « [[Théorème de Krull]] »).

{{énoncé|Les seuls [[idéal premier|idéaux premiers]]  de ''A'' sont (0) et ''M''.}}
En effet, dans un anneau principal, tout idéal premier non nul est maximal.

{{énoncé|Tout élément non nul de ''A'' est le produit d'un inversible par une puissance de l'uniformisante.}}
C'est un cas particulier de la décomposition en facteurs premiers dans un anneau principal (ou plus généralement dans un [[anneau factoriel]]), puisqu'ici ''t'' est l'unique [[élément irréductible]] de l'anneau, à produit près par un inversible. On en déduit (puisque les idéaux sont principaux) que tout idéal non nul est une puissance de ''M''.

== Critères ==
Construire un [[anneau local]] est relativement aisé : il suffit de considérer le [[Localisation (mathématiques)|localisé]] d'un anneau commutatif unitaire en un idéal premier. Mais un tel anneau n'est pas toujours principal. Exemple : le localisé de l'anneau de polynômes ℤ[''X'', ''Y''] en l'idéal premier (''X'', ''Y'').

Pour cette raison, il est utile de rechercher des critères permettant d'établir qu'un anneau ''A'' est de valuation discrète. La [[théorie algébrique des nombres]] utilise en particulier le dernier de cette liste :

{{théorème|Soit ''A'' un [[anneau noethérien]] local, d'idéal maximal ''M'' non nul. Les propriétés suivantes sont équivalentes<ref>Cet énoncé est une synthèse de AC.VI.3 proposition 9 et AC.VII.7 proposition 11 de [[N. Bourbaki]], ''[[Éléments de mathématique]]''. La démonstration proposée s'inspire principalement de {{Lien web|lang=en|url=http://math.stanford.edu/~vakil/0708-216/216class22.pdf|titre=Discrete valuation rings = dimension 1 regular noetherian local rings|auteur=[[Ravi Vakil]]|site=[[Université Stanford]]}}. Une preuve plus élémentaire de l'équivalence entre 2, 5, 6 et 7 figure dans les premières pages de {{Serre3}}.</ref> :
# les idéaux premiers de ''A'' sont (0) et ''M'', et le ''A''/''M''-espace vectoriel ''M''/''M''{{exp|2}} est de dimension 1<ref>En termes plus savants : ''A'' est un [[anneau local régulier]] de dimension 1.</ref>,
# ''M'' est un [[idéal principal]] non nilpotent (c'est-à-dire dont toutes les [[Produit d'idéaux|puissances]] sont non nulles),
# les idéaux de ''A'' sont (0) et les puissances de ''M'',
# ''A'' est un anneau de valuation,
# ''A'' est un anneau de valuation discrète,
# ''A'' est principal,
# les idéaux premiers de ''A'' sont (0) et ''M'', et ''A'' est [[élément entier|intégralement clos]].
}}

Certaines de ces hypothèses sont évidemment redondantes : l'ajout « noethérien » est superflu dans 3, 5 et 6, de même que l'ajout « local » dans 3, 4, 5 et 7, et l'ajout « ''M'' non nul » dans 1, 2 et 5. Remarquons que la condition « ''A'' intègre » (qui équivaut à « (0) est premier ») n'est pas imposée ''a priori'' dans 2, mais sera une conséquence des équivalences.

{{démonstration|contenu=
6 ⇒ 1 étant immédiat, on va démontrer (par une boucle d'implications) que les critères 2 à 7 sont équivalents et que (par exemple) 1 ⇔ 2.

1 ⇒ 2 : Soit <math>\scriptstyle t\in M\setminus M^2</math>, alors ''M = tA + M'' {{exp|2}}  donc (d'après le [[lemme de Nakayama]]) ''M = tA''. Puisque ''t'' est non nul (car il n'appartient pas à ''M''{{exp|2}}) et que ''A'' est intègre, toutes ses puissances sont non nulles donc ''M'' n'est pas nilpotent.

2 ⇒ 3 : Aucune des puissances de ''M'' n'est nulle, alors que leur intersection l'est (comme dans tout anneau local noethérien<ref>Plus généralement, le [[Lemme d'Artin-Rees|théorème d'intersection de Krull]] permet de montrer que dans un anneau commutatif noethérien, l'intersection des puissances du [[radical de Jacobson]] est nulle.</ref>). Pour tout idéal non nul ''I'', il existe donc un plus grand entier ''n'' tel que ''I'' soit inclus dans ''M{{exp|n}}''. Pour cet entier ''n'', (''I'' + ''M''{{exp|''n''+1}})/''M''{{exp|''n''+1}} est un sous-espace non nul du ''A''/''M''-espace vectoriel ''M{{exp|n}}''/''M''{{exp|''n''+1}}. Or cet espace est de dimension au plus 1 (c'est ici qu'on utilise que ''M'' est principal), donc le sous-espace non nul lui est égal, c'est-à-dire {{Nobr|1=''M{{exp|n}} = I'' + ''M''{{exp|''n''+1}}. }}  Par le lemme de Nakayama, on conclut que ''I = M{{exp|n}}''.

3 ⇒ 4 : La condition 3 implique que l'ordre d'inclusion sur les idéaux de ''A'' est total, ce qui caractérise les anneaux de valuation.

4 ⇒ 5 : Par noethérianité, ''M'' est finiment engendré. Si ''A'' est l'anneau d'une valuation ''v'' sur ''K'', ''v''(''M'') possède donc un élément minimum, ce qui assure que ''v'' est discrète.

5 ⇒ 6 a déjà été vu ; 6 ⇒ 7 est classique.

7 ⇒ 2 :
Soient ''K'' le corps des fractions de ''A'' et ''a'' un élément non nul de ''M''. Il existe un entier naturel ''n'' tel que ''M<sup>n</sup>'' soit inclus dans ''aA'' (car dans un [[anneau noethérien]] intègre, tout idéal non nul contient un produit d'idéaux premiers non nuls). Choisissons le plus petit ''n'' vérifiant cette propriété. Comme ''a'' appartient à ''M'', ''n'' n'est pas nul ; et comme ''n'' est choisi minimal, il existe un élément ''b'' de ''M''<sup>''n''–1</sup> qui n'est pas élément de ''aA''. Posons ''k = b''/''a'' (élément de ''K'') : alors ''k'' n'appartient pas à ''A'' donc (puisque ''A'' est supposé intégralement clos) ''k'' n'est pas [[élément entier|entier]] sur ''A'', donc il n'existe pas de ''A''[''k'']-module fidèle qui soit de type fini en tant que ''A''-module, si bien que ''M'' (qui est un ''A''-module de type fini, comme idéal d'un anneau noethérien) ne peut être stable par produit par ''k''. Ainsi, ''kM'' n'est pas inclus dans ''M''. Il est cependant inclus dans ''A'' (car ''bM'' est inclus dans ''M<sup>n</sup>'' donc dans ''aA''). C'est donc un idéal de ''A'' non inclus dans l'idéal maximal ''M''. Par conséquent, ''kM = A'', donc ''M = tA'' pour ''t = k''{{-1}}, si bien que ''M'' est principal. (Il est non nilpotent, puisque ''A'' est intègre.)
}}

== Notes et références ==
{{Références}}

==Voir aussi==
=== Liens externes ===
*[http://www.institut.math.jussieu.fr/~merel/TAN.pdf Nombres algébriques et nombres p-adiques] par [[Loïc Merel]], cours préparatoire aux études doctorales 2003-04, Universités [[Université Pierre-et-Marie-Curie|Paris VI]] et [[Université Paris Diderot|Paris VII]]
* {{en}} [http://www.math.uiuc.edu/~r-ash/ComAlg/ComAlg3.pdf Valuation Rings] par Robert B. Ash, [[Université de l'Illinois]]

=== Bibliographie ===
* {{Ouvrage|lang=en|titre=Commutative Ring Theory|auteur=Hideyuki Matsumura|éditeur=[[Cambridge University Press|CUP]]|year=1989|isbn=978-0-521-36764-6|url=https://books.google.fr/books?id=yJwNrABugDEC&pg=PA78|page=78-86}}
* {{Samuel1}}
* {{Serre1}}

{{Portail|algèbre}}

[[Catégorie:Algèbre commutative]]
[[Catégorie:Anneau|Valuation Discrète]]