3.II.11F
State the Chinese remainder theorem. Let be an odd positive integer. If is divisible by the square of a prime number , prove that there exists an integer such that but .
Define the Jacobi symbol
for any non-zero integer . Give a numerical example to show that
does not imply in general that is a square modulo . State and prove the law of quadratic reciprocity for the Jacobi symbol.
[You may assume the law of quadratic reciprocity for the Legendre symbol.]
Assume now that is divisible by the square of a prime number. Prove that there exists an integer with such that the congruence
does not hold. Show further that this congruence fails to hold for at least half of all relatively prime residue classes modulo .
Typos? Please submit corrections to this page on GitHub.