Number Theory • Topic 24
Quadratic Residues
This topic asks: "Is a perfect square modulo ?" It leads to the Law of Quadratic Reciprocity, the "Golden Theorem" of number theory.
Definition
Definition (Quadratic Residue)
An integer (coprime to ) is a quadratic residue modulo if there exists an such that:
Otherwise, is a quadratic non-residue.
Legendre Symbol
For an odd prime , the Legendre Symbol is defined as:- : if is a quadratic residue modulo .
- : if is a non-residue modulo .
- : if .
Euler's Criterion
Theorem (Euler's Criterion)
Key Values
- is a residue iff .
- is a residue iff .
Practice Problems
Exercise (Problem 1)
Determine if 3 is a quadratic residue modulo 13.
Exercise (Problem 2)
Use Euler's Criterion to find the Legendre symbol .
Exercise (Problem 3)
Prove that there are exactly quadratic residues modulo .