Abstract
We propound a systematic and formal method to compute the Galois group of a non-necessarily irreducible polynomial: we proceed by successive inclusions, using mostly computations on scalars (and very few on polynomials). It is based on a formal method of specialization of relative resolvents: it consists in expressing the generic coefficients of the resolvent using the powers of a primitive element, thanks to a quadratic space structure; this reduces the problem to that of specializing a primitive element, which we are able to do in the case of the descending by successive inclusions. We incidentally supply a way to make separable a resolvent.
Research supported by the CNRS GDR 1026 (MEDICIS), the GDR-PRC 967 (MathInfo)t, and the CEC ESPRIT BRA contract 6846 (POSSO).
Preview
Unable to display preview. Download preview PDF.
References
Anai, H., Noro, M., Yokoyama, K.: Computation of the Splitting Fields and the Galois Groups of Polynomials. MEGA'94.
Arnaudiès, J.M., Valibouze, A.: Résolvantes de Lagrange. Rapport interne LITP 93.63, December 1993.
AXIOM, The Scientific Computation System. Jenks, R.D., Sutor, R.S. Springer-Verlag, 1992.
Berwick, E.H.: The Condition That A Quintic Equation Should Be Soluble By Radicals. Proc. London Math. Soc. (2) 14 (1995) 301–307.
Berwick, E.H.: On Soluble Sextic Equations. Proc. London Math. Soc. (2) 29 (1929), 1–28.
Bourbaki, N.: Eléments de mathématiques. Masson, Paris, 1981.
Eichenlaub, Y., Olivier, M.: Computation of Galois Groups for Polynomials with Degree up to Eleven. preprint received in June 1994.
G.A.P. Groups, Algorithms and Programming. Martin Schönert and others, Lehrstuhl D für Mathematik, Rheinisch-Westfälische Technische Hochschule, Aachen, 1992. gap@samson.math.rwth-aachen.de.
Girstmair, K.: On Invariant Polynomials and their Application in Field Theory. Maths of Comp., vol. 48, no 178 (1987), 781–797.
de Lagrange, J.L.: Réflexions sur la résolution algébrique des équations. Prussian Academy, 1770.
de Lagrange, J.L.: Réflexions sur la résolution algébrique des équations. Mémoires de l'Académie de Berlin, 205–421, Oeuvres de Lagrange, tome IV, 205–421.
de Lagrange, J.L.: Traité de la résolution des équations numériques: Notes sur la théorie des équations algébriques. Oeuvres de Lagrange, Tome VIII, 133–367.
McKay, J., Soicher, L.: Computing Galois Groups over the Rationals. Journal of number theory 20 (1985) 273–281.
Soicher, L.: The Computation of Galois Groups. Thesis, Concordia University (Montreal), April 1981.
Stauduhar, R.P.: The Computation of Galois Groups. Math. Comp. 27 (1973) 981–996.
Valibouze, A.: Computation of the Galois Groups of the Resolvent Factors for the Direct and Inverse Galois Problems. In this volume, AAECC 1995.
Valibouze, A.: Mémoire d'habilitation, December 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Colin, A. (1995). Formal computation of Galois groups with relative resolvents. In: Cohen, G., Giusti, M., Mora, T. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1995. Lecture Notes in Computer Science, vol 948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60114-7_13
Download citation
DOI: https://doi.org/10.1007/3-540-60114-7_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60114-2
Online ISBN: 978-3-540-49440-9
eBook Packages: Springer Book Archive