Valuation de Krull

Un article de Wikipédia, l'encyclopédie libre.

En algèbre, une valuation de Krull est une extension de la notion de valeur absolue non archimédienne. Sur un corps (commutatif) K, une valuation de Krull est une application v:K\rightarrow G\cup \{\infty\}, où G est un groupe abélien totalement ordonné, vérifiant les trois propriétés suivantes :

  • Pour tout x, v(x)=\infty ssi x=0 ;
  • Pour tous x et y dans K, v(xy) = v(x) + v(y) ;
  • Pour tous x et y dans K, v(x+y)\geq min[v(x),v(y)].

La première propriété implique que la restriction de v à K * définit une application v:K*\rightarrow G. La deuxième propriété dit exactement que cette application est un morphisme de groupes. L'image est un sous-groupe de G. Par corestriction, on peut toujours supposer v surjective. À v est associée la plus petite topologie sur K rendant v continue pour la topologie de l'ordre sur G.

Deux valuations de Krull surjectives v1 et v2 sont dites équivalentes lorsqu'il existe un isomorphisme de groupes ordonnés f:G_1\rightarrow G_2 tel que : v_2=f\circ v_1.

Si G est un sous-groupe de R, alors, exp( − v) est une valeur absolue non-archimédienne (les vérifications étant immédiates). L'équivalence entre deux telles valuations équivaut à l'équivalence entre les valeurs absolues associées.

Pour une valuation de Krull v sur K, l'ensemble A des x pour lesquels v(x)\geq 0 est un sous-anneau de K, qui se trouve être un anneau de valuation. On dispose ainsi d'une bijection entre les classes d'équivalence de valuations de Krull surjectives et les anneaux de valuation de K.