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.
closed as too localized by Andreas Blass, Andres Caicedo, Felipe Voloch, Kevin Walker, Daniel Litt Dec 31 2011 at 1:42