Algèbre graduée associée à une valuation de $K[x]$

Abstract

We extend some results on augmented valuations and key-polynomials to limit augmented valuations and limit key-polynomials. As any valuation $\mu$ of $K[x]$ is obtained as a limit of an admissible family of valuations, we deduce a description of the graded algebra associated to $\mu$.