Famille admise associée à une valuation de K(X)

Abstract

Let K be a field with a valuation $\nu$ and let L = K(x) be a transcendental extension of K, then any valuation $\mu$ of L which extends $\nu$ is determined by its restriction to the polynomial ring K[x]. We know how to associate to this valuation $\mu$ a family of valuations A = ($\mu$i)i$\in$I of K[x], called the associated admise family, which converges in a certain sense towards the valuation $\mu$. 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.