On Izumi's theorem on comparison of valuations

From MaRDI portal
(Redirected from Publication:534540)




Abstract: We prove that the sequence of MacLane key polynomials constructed in cite{Mac1} and cite{Sp2} for a valuation extension (K,u)subset(K(x),mu) is finite, provided that both u and mu are divisorial and mu is centered over an analytically irreducible local domain (R,frakm)subsetK[x]. As a corollary, we prove Izumi's theorem on comparison of divisorial valuations. %We show that the existence of Izumi constants is equivalent to the finiteness of the sequence of the MacLane key-polynomials. We give explicit bounds for the Izumi constant in terms of the key polynomials of the valuations. We show that this bound can be attained in some cases.









This page was built for publication: On Izumi's theorem on comparison of valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534540)