Euler's criterion
Statement
For an odd prime and : ; equivalently, is a quadratic residue modulo if and only if .
Why is it true?
It turns an existence question (does some square to ?) into a single modular exponentiation, which is exactly what makes the Legendre symbol computable and multiplicative.
Proof sketch
Since is cyclic of order (a standard fact for prime moduli), fix a primitive root and write for some . The quadratic residues modulo are exactly the even powers of : if then satisfies , and conversely every square is an even power. So is a quadratic residue exactly when is even.
Now compute . If is even, write ; then by Fermat's little theorem, matching the residue case.
If is odd, then is a square root of , so . It cannot be : if it were, the order of would have to divide , but and is odd means is not a multiple of unless already is, contradicting that is a primitive root of exact order . Hence exactly when is odd, i.e. exactly when is a nonresidue.
Combining both cases: iff is a quadratic residue, and otherwise, which is precisely the statement .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Wikipedia contributors (2024). Quadratic reciprocity
- Kenneth Ireland, Michael Rosen (1990). A Classical Introduction to Modern Number Theory