Article contents
Reducing number field defining polynomials: an application to class group computations
Published online by Cambridge University Press: 26 August 2016
Abstract
In this paper we describe how to compute smallest monic polynomials that define a given number field $\mathbb{K}$. We make use of the one-to-one correspondence between monic defining polynomials of
$\mathbb{K}$ and algebraic integers that generate
$\mathbb{K}$. Thus, a smallest polynomial corresponds to a vector in the lattice of integers of
$\mathbb{K}$ and this vector is short in some sense. The main idea is to consider weighted coordinates for the vectors of the lattice of integers of
$\mathbb{K}$. This allows us to find the desired polynomial by enumerating short vectors in these weighted lattices. In the context of the subexponential algorithm of Biasse and Fieker for computing class groups, this algorithm can be used as a precomputation step that speeds up the rest of the computation. It also widens the applicability of their faster conditional method, which requires a defining polynomial of small height, to a much larger set of number field descriptions.
MSC classification
- Type
- Research Article
- Information
- LMS Journal of Computation and Mathematics , Volume 19 , Special Issue A: Algorithmic Number Theory Symposium XII , 2016 , pp. 315 - 331
- Copyright
- © The Author(s) 2016
References
- 2
- Cited by