Abstract
Assuming the generalized Riemann hypothesis, we prove the following complexity bounds: The order of the Galois group of an arbitrary polynomial f(x) ∈ ℤ[x] can be computed in P# P. Furthermore, the order can be approximated by a randomized polynomial-time algorithm with access to an NP oracle. For polynomials f with solvable Galois group we show that the order can be computed exactly by a randomized polynomial-time algorithm with access to an NP oracle. For all polynomials f with abelian Galois group we show that a generator set for the Galois group can be computed in randomized polynomial time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balcázar, J.L., Díaz, J., Gabarró, J.: Structural Complexity I & II. In: ETACS monographs on theoretical computer science, Springer, Berlin (1988-1990)
Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, Berlin (1993)
Lagarias, J.C., Odlyzko, A.M.: Effective versions of the Chebotarev density theorem. In: Fröhlich, A. (ed.) Algebraic Number Fields, pp. 409–464. Academic Press, London (1977)
Landau, E.: Sur quelques théorèmes de M. Petrovitch relatifs aux zéros des fonctions analytiques. Bulletin de la Société de France 33, 251–261 (1905)
Landau, S.: Polynomial time algorithms for galois groups. In: Fitch, J. (ed.) EUROSAM 1984 and ISSAC 1984. LNCS, vol. 174, pp. 225–236. Springer, Heidelberg (1984)
Landau, S., Miller, G.L.: Solvability by radicals is in polynomial time. Journal of Computer and System Sciences 30, 179–208 (1985)
Lang, S.: Algebra, 3rd edn. Addison-Wesley Publishing Company, Inc, Reading (1999)
Lenstra Jr., H.W.: Algorithms in algebraic number theory. Bulletin of the American Mathematical Society 26(2), 211–244 (1992)
Luks, E.M.: Permutation groups and polynomial time computations. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 11, 139–175 (1993)
Pálfy, P.: A polynomial bound for the orders of primitive solvable groups. Journal of Algebra, 127–137 (July 1982)
Ribenboim, P.: Classical theory of algebraic numbers. In: Universitext, Springer, Heidelberg (1999)
Sims, C.C.: Computational methods in the study of permutation groups. Computational problems in Abstract Algebra, 169–183 (1970)
Stockmeyer, L.: On approximating algorithms for #P. SIAM Journal of Computing 14, 849–861 (1985)
van der Waerden, B.L.: Algebra, 7th edn., vol. I. Springer, Heidelberg (1991)
Wielandt, H.: Finite Permutation Groups. Academic Press, New York (1964)
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
Arvind, V., Kurur, P.P. (2003). Upper Bounds on the Complexity of Some Galois Theory Problems. In: Ibaraki, T., Katoh, N., Ono, H. (eds) Algorithms and Computation. ISAAC 2003. Lecture Notes in Computer Science, vol 2906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24587-2_73
Download citation
DOI: https://doi.org/10.1007/978-3-540-24587-2_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20695-8
Online ISBN: 978-3-540-24587-2
eBook Packages: Springer Book Archive