4. L’ensemble des idéaux principaux de Aest totalement ordonné pour l’inclusion
5. Il existe un groupe commutatif totalement ordonné Γet une application (que l’on peut
supposer surjective) ν:K→Γ∪ {∞} vérifiant les conditions suivantes :
(a) Pour tous x, y de K,ν(xy) = ν(x) + ν(y)
(b) Pour tous x, y de K,ν(x+y)≥min(ν(x), ν(y))
(c) Pour tout x de K,ν(x) = ∞ ⇔ x= 0
(d) A={x∈K|ν(x)≥0}
Un anneau vérifiant l’une des conditions précédentes est appelé anneau de valuation de K.
Une application νvérifiant les conditions (a) à (c) est appelée une valuation de K.
Démonstration.
– Supposons 1. Soit xdans K. Supposons que xn’est pas dans A. Alors, l’idéal engendré par
max(A)dans A[x]est égal à A[x]. En effet, sinon, il serait inclus dans un idéal maximal met
en localisant, A[x]mserait un sous-anneau local de Kdominant strictement A. Il existe donc
m0, . . . , mn∈max(A)tels que
n
X
j=0
mjxj= 1, d’où (1 −m0)(x−1)n−
n
X
j=1
mj(x−1)n−j= 0.
Puisque 1−m0est inversible (sinon 1 = (1 −m0) + m0∈max(A)), x−1est entier sur
A. Supposons que l’idéal engendré par max(A)dans A[x−1]est égal à A[x−1]tout entier.
Alors, par le lemme de Nakayama, on dispose de a∈max(A)tel que (1 + a)A[x−1] = 0,
donc A[x−1]=0, ce qui est absurde. Ainsi max(A)est inclus dans un idéal maximal m0de
A[x−1]et l’anneau A[x−1]m0domine A. Ainsi, on a A[x−1]m0=Aet donc x−1∈A.
– Supposons 2. Soient Iet Jdeux idéaux de A. Supposons I6⊂ Jet J6⊂ I. Soient x∈I\J
et y∈J\I. D’après 2., x
you y
xest dans Adonc xest dans Jou yest dans I, ce qui est
absurde. On obtient ainsi 3.
– 3. implique manifestement 4.
– Supposons 4. Notons ∞= (0) et Γ+={(x), x ∈A\ {0}}.Γ+est un monoïde commutatif
pour la multiplication des idéaux (de neutre A= (1)) totalement ordonné (d’après 4.)
par l’inclusion. Par symétrisation (construction analogue à la construction de Zdepuis N),
on peut plonger Γ+dans un groupe commutatif totalement ordonné Γde sorte que Γ =
Γ+∪(−Γ+). L’application ν:x7→ (x)se prolonge alors naturellement en une application
˜ν:K→Γ∪ {∞} vérifiant les conditions (a) à (d).
– Supposons 5. Aest local puisqu’on vérifie que l’ensemble A\A×={x∈A|ν(x)>0}est
un idéal de A.Aest maximal pour l’ordre de domination, en effet soit Bun sous-anneau
local de Ktel que AB. Supposons A(Bet soit x∈B\A. On a x−1∈max(A)donc
x−1∈max(B)donc x6∈ B, absurde. Ainsi A=B, ce qui montre 1.
Il découle de la démonstration que l’on peut naturellement associer à une valuation νd’un
corps Kun anneau de valuation Aν={x∈K|ν(x)≥0}de K, un corps dit corps résiduel
κν=Aν/max(Aν)et un groupe commutatif totalement ordonné Γν=ν(K∗)∼
=K∗/A×, son
groupe de valeurs et qu’à un anneau de valuation de K, on peut associer une valuation ν:K→
Γ∪{∞}. On va voir dans la proposition suivante que cette valuation est essentiellement unique
(ce qui permettra de parler de "la" valuation associée à un anneau de valuation).
Définition 2.1. Soient νet ν0deux valuations d’un corps Kde groupes de valeurs respectifs
Γet Γ0. On dit que νet ν0sont isomorphes s’il existe un isomorphisme de groupes ordonnés
φ: Γ →Γ0tel que ν0
|K∗=φ◦ν|K∗.
2