No CrossRef data available.
Published online by Cambridge University Press: 17 April 2009
Let F be an arbitrary field, and f(x) a polynomial in one variable over F of degree ≥ 1. Given a polynomial g(x) ≠ 0 over F and an integer m > 1 we give necessary and sufficient conditions for the existence of a polynomial z(x) ∈ F[x] such that z(x)m ≡ g(x) (mod f(x)). We show how our results can be specialised to ℝ, ℂ and to finite fields. Since our proofs are constructive it is possible to translate them into an effective algorithm when F is a computable field (for example, a finite field or an algebraic number field).