I found the lots of way to extend the valuation for transcendental case. But our case here is algebraic. We know that in an algebraic extension, the extension of DVR is again a DVR. How can we extend the 2-adic valuation from Q to Q(sqrt(2)) explicitly? Thank you.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
0
|
|||||||||
|
closed as too localized by Andreas Blass, Andres Caicedo, Felipe Voloch, Kevin Walker, Daniel Litt Dec 31 2011 at 1:42 |

