Higher Newton polygons and integral bases
arXiv:0902.3428
Abstract
Let be a Dedekind domain, the fraction field, $\p$ a non-zero prime ideal of , and $K_\pp$ the completion of with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, , Montes algorithm determines the factorization of over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of determined by \cite{newapp}. In this paper we present new (and faster) methods to compute $\p$-integral bases, based on the use of the quotients of certain divisions with remainder of that occur along the flow of Montes algorithm.