Factorization of Polynomials over Finite Fields and Decomposition of Primes in Algebraic Number Fields

Abstract It is shown that factoring polynomials over finite prime fields is polynomial-time equivalent to decomposing primes in algebraic number fields whose generating polynomials have discriminants not divisible by the given primes. The reduction from polynomial factorization to prime decomposition suggests a number-theoretic approach to the former problem. Along this line, two results will be shown based on the generalized Riemann hypothesis (GRH): 1. (1) Given p,n ϵ Z>0 with p prime, all the solutions to Φn(x) = O(p) can be found in time polynomial in n and log p, where Φn denotes the nth cyclotomic polynomial. 2. (2) Given p,n,a ϵ Z>0 with p prime, all the solutions to xn = a(p) can be found in time polynomial in n, log p, and log a.

[1]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[2]  S. Lang Algebraic Number Theory , 1971 .

[3]  Ming-Deh A. Huang Riemann hypothesis and finding roots over finite fields , 1985, STOC '85.

[4]  R. Schoof Elliptic Curves Over Finite Fields and the Computation of Square Roots mod p , 1985 .

[5]  Lajos Rónyai Factoring Polynomials Over Finite Fields , 1988, J. Algorithms.

[6]  E. Berlekamp Factoring polynomials over large finite fields* , 1970, SYMSAC '71.

[7]  Susan Landau,et al.  Factoring Polynomials Over Algebraic Number Fields , 1985, SIAM J. Comput..

[8]  Elwyn R. Berlekamp,et al.  Algebraic coding theory , 1984, McGraw-Hill series in systems science.

[9]  Ming-Deh A. Huang Generalized Riemann Hypothesis and Factoring Polynomials over Finite Fields , 1991, J. Algorithms.

[10]  Ming-Deh A. Huang Factorization of polynomials over finite fields and factorization of primes in algebraic number fields , 1984, STOC '84.

[11]  N. Ankeny The least quadratic non residue , 1952 .

[12]  Michael O. Rabin,et al.  Probabilistic Algorithms in Finite Fields , 1980, SIAM J. Comput..

[13]  Gary L. Miller,et al.  On taking roots in finite fields , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[14]  Arjen K. Lenstra,et al.  Factoring polynominals over algebraic number fields , 1983, EUROCAL.

[15]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[16]  L. Washington Introduction to Cyclotomic Fields , 1982 .

[17]  W. Narkiewicz Elementary and Analytic Theory of Algebraic Numbers , 1990 .