Homepage › Solution manuals › Ivan Niven › An Introduction to the Theory of Numbers › Exercise 3.2.11 (Is $x^2 \equiv a \pmod {pq}$ solvable, where $a$ is a quadratic nonresidue mod $p$ and mod $q$)
Exercise 3.2.11 (Is $x^2 \equiv a \pmod {pq}$ solvable, where $a$ is a quadratic nonresidue mod $p$ and mod $q$)
If is a quadratic nonresidue of each of the odd primes and , is solvable?
Answers
Proof. The conclusion is never true. Suppose that is a quadratic nonresidue of each of the odd primes and . Assume for contradiction that for some integer . Since , . Therefore , or is a quadratic residue modulo . But both are false, since is a quadratic nonresidue modulo . Therefore is not solvable.
A counterexample is given by . Then is a non quadratic nonresidue for and , and is not solvable (otherwise would be solvable). □