Fundamental Properties of Valuation Theory and Hensel's Lemma

Hidetsune Kobayashi

August 8, 2007

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


Convergence with respect to a valuation is discussed as convergence of a Cauchy sequence. Cauchy sequences of polynomials are defined. They are used to formalize Hensel's lemma.


BSD License


Session Valuation