valuation

ALGEBRE

Une valuation sur un corps F est une application g de F sur R complété par +l’infini vérifiant les conditions suivantes :
– pour tout x de F, g(x)=+infini équivaut à x=0 ;
– pour tout (x,y)de FxF, g(xy)= g(x) + g(y) ;
– pour tout (x,y)de FxF, g(x-y)>ou=min{g(x),g(y)}.