Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $(K,\leq)$ is a totally ordered field with $P\!=\!\{\alpha\!\in\!K;\, 0\!\leq\!\alpha\}$, how is the valuation associated to $P$ defined?

I was searching through Prestel & Delzell's Positive Polynomials and Engler & Prestel's Valued Fields, but didn't find anything. Perhaps I didn't search thoroughly enough. Google also didn't provide much. Any reference is welcome.

I must calculate the valuation $v$ on $\mathbb{R}(x)$ associated to $P\!=\!\{x^kf(x);\, k\!\in\!\mathbb{Z}, f\!\in\!\mathbb{R}(x), 0\!<\!f(0)\!<\!\infty\}$.

Furthermore, given an ordering $\leq$ and valuation $v$ on $K$, when is $v$ compatible with $\leq$ (definition)?

share|improve this question
    
$v$ is compatible with "$\le$" if $0<b\le a$ implies $v(a)\le v(b)$. Which order are you using on $\mathbb{R}(x)$, because in the "canonical" order I can't see why is your $P$ the set of non-negative elements of $\mathbb{R}(x)$. –  user26857 Jul 29 '12 at 8:26
    
Thank you for the definition of compatible. I am using the positive cone $P$ as defined above, so the ordering is $f\!\leq\!g\Leftrightarrow g\!-\!f\!\in\!P$. –  Leon Lampret Jul 30 '12 at 1:48
add comment

1 Answer

This doesn't really deserve to be an answer but I don't have enough points to make a comment, so here it is:

As navigetor23 says, a valuation is order compatible if $0<a\leq b$ implies $v(a)\geq v(b)$.

But, for me at least, a nicer equivalent formulation is that the valuation ring $\mathcal{O}_v$ corresponding to $v$ is convex.

There are three more equivalent conditions on page 3 of the following link (along with other useful results):

http://math.usask.ca/~fvk/bookch10.pdf

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.