Triangular bases of integral closures

DOI10.1016/J.JSC.2017.07.012MaRDI QIDQ1690787zbMATH OpenOpenAlexFDO

Authors Hayden D. Stainsby

Publication date 12 January 2018

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.01904, http://hdl.handle.net/10803/284995

zbMATH Keywords

integral basislocal fieldMontes algorithmOM representationdiscrete valuationfractional ideal

Mathematics Subject Classification ID

Algebraic number theory computations (11Y40) Integral closure of commutative rings and ideals (13B22)

Abstract: In this work, we consider the problem of computing triangular bases of integral closures of one-dimensional local rings. Let $(K,v)$ be a discrete valued field with valuation ring $mathcalO$ and let $mathfrakm$ be the maximal ideal. We take $finmathcalO[x]$, a monic irreducible polynomial of degree $n$ and consider the extension $L=K[x]/(f(x))$ as well as $mathcal{O}_L$ the integral closure of $mathcalO$ in $L$, which we suppose to be finitely generated as an $mathcalO$-module. The algorithm $operatornameMaxMin$, presented in this paper, computes triangular bases of fractional ideals of $mathcal{O}_L$. The theoretical complexity is equivalent to current state of the art methods and in practice is almost always faster. It is also considerably faster than the routines found in standard computer algebra systems, excepting some cases involving very small field extensions.

Recommendations

• Computing local integral closures
• Computation of integral bases
• scientific article; zbMATH DE number 1985595
• On the complexity of the integral closure
• scientific article; zbMATH DE number 1253986

Cites work

• scientific article; zbMATH DE number 435565 (Why is no real title available?)
• scientific article; zbMATH DE number 729452 (Why is no real title available?)
• A new computational approach to ideal theory in number fields
• Construction of integral basis. I
• Genetics of polynomials over local fields
• Higher Newton polygons and integral bases
• Higher Newton polygons in the computation of discriminants and prime ideal decomposition in number fields
• Newton polygons of higher order in algebraic number theory
• On the equivalence of types
• Residual ideals of MacLane valuations
• Single-factor lifting and factorization of polynomials over local fields
• The Magma algebra system. I: The user language

Cited in

(5)

• scientific article; zbMATH DE number 12943 (Why is no real title available?)
• Computation of triangular integral bases
• Computing local integral closures
• Reduced normal form of local integral bases
• Fast integral bases computation

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Triangular bases of integral closures

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