Abstract
Let f(X) be a separable polynomial with coefficients in a field K, generating a field extension M/K. If this extension is Galois with a solvable automorphism group, then the equation f(X) = 0 can be solved by radicals. The first step of the solution consists of splitting the extension M/K into intermediate fields. Such computations are classical, and we explain how fast polynomial arithmetic can be used to speed up the process. Moreover, we extend the algorithms to a more general case of extensions that are no longer Galois. Numerical examples are provided, including results obtained with our implementation for Hilbert class fields of imaginary quadratic fields.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A.O.L. Atkin and F. Morain. Elliptic curves and primality proving. Math. Comp., 61(203):29–68, July 1993.
J.D. Dixon. Computing subfields in algebraic number fields. J. Austral. Math. Soc. Ser. A, 49: 434–448, 1990.
A. Enge, P. Gaudry, G. Hanrot, and P. Zimmermann. Reconstructing a polynomial from its roots. In preparation, 2002.
A. Enge and F. Morain. Further investigations of the generalised Weber functions. Preprint, July 2001.
A. Enge and F. Morain. Comparing invariants for class fields of imaginary quadratic fields. In C. Fieker and D. R. Kohel, editors, ANTS IV — Algorithmic Number Theory, volume 2369 of Lecture Notes in Comput. Sci., pages 252–266. Springer-Verlag, 2002.
A. Enge and R. Schertz. Constructing elliptic curves from modular curves of positive genus. Preprint, 2001.
A. Enge and P. Zimmermann. mpc — a library for multiprecision complex arithmetic with exact rounding. Version 0.4.1, available from http://www.lix.polytechnique.fr/Labo/Andreas.Enge.
J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
T. Granlund et. al. gmp — gnu multiprecision library. Version 4.1.2, available from http://www.swox.com/gmp.
G. Hanrot, V. Lefèvre, and P. Zimmermann et. al. mpfr — a library for multiple-precision floating-point computations with exact rounding. Version contained in [9]. Available from http://www.mpfr.org.
G. Hanrot and F. Morain. Solvability by radicals from an algorithmic point of view. In B. Mourrain, editor, Symbolic and algebraic computation, pages 175–182. ACM, 2001. Proceedings ISSAC’2001, London, Ontario.
G. Hanrot and F. Morain. Solvability by radicals from a practical algorithmic point of view. Submitted. Available from http://www.lix.polytechnique.fr/Labo/Francois.Morain, November 2001.
E. Hecke. Vorlesungen über die Theorie der algebraischen Zahlen. Chelsea Publishing Company, 2nd ed., 1970.
J. Klüners. On computing subfields. A detailed description of the algorithm. J. Théor. Nombres Bordeaux, 10:243–271, 1998.
J. Klüners and M. Pohst. On computing subfields. J. Symbolic Comput., 24:385–397, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Enge, A., Morain, F. (2003). Fast Decomposition of Polynomials with Known Galois Group. In: Fossorier, M., Høholdt, T., Poli, A. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 2003. Lecture Notes in Computer Science, vol 2643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44828-4_27
Download citation
DOI: https://doi.org/10.1007/3-540-44828-4_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40111-7
Online ISBN: 978-3-540-44828-0
eBook Packages: Springer Book Archive