Graph explorer

Key Polynomials

The notion of key polynomials was first introduced in 1936 by S. Maclane in the case of discrete rank 1 valuations. . Let K -> L be a field extension and ν a valuation of K. The original motivation for introducing key polynomials was the problem of describing all the extensions μ of ν to L. Take a valuation μ of L extending the valuation ν. In the case when ν is discrete of rank 1 and L is a simple algebraic extension of K Maclane introduced the notions of key polynomials for μ and augmented valuations and proved that μ is obtained as a limit of a family of augmented valuations on the polynomial ring K[x]. In a series of papers, M. Vaquié generalized MacLane's notion of key polynomials to the case of arbitrary valuations ν (that is, valuations which are not necessarily discrete of rank 1). In the paper Valuations in algebraic field extensions, published in the Journal of Algebra in 2007, F.J. Herrera Govantes, M.A. Olalla Acosta and M. Spivakovsky develop their own notion of key polynomials for extensions (K, ν) -> (L, μ) of valued fields, where ν is of archimedian rank 1 (not necessarily discrete) and give an explicit description of the limit key polynomials. Our purpose in th