Famille admise associée à une valuation de K(X)
arXiv:1912.10869 · doi:10.1112/blms.12378
Abstract
Let K be a field with a valuation and let L = K(x) be a transcendental extension of K, then any valuation of L which extends is determined by its restriction to the polynomial ring K[x]. We know how to associate to this valuation a family of valuations A = (i)iI of K[x], called the associated admise family, which converges in a certain sense towards the valuation . Although the definition of this family, as well as the notion of convergence, essentially imply the structure of the polynomial ring, in particular the degree of polynomials, we show in this note that the family A of valuations of L do not depend on the chosen generator x.
in French