The Legendre symbol is
The definition depends only on the residue class of modulo the odd prime .
Euler's criterion is
It applies also when . In particular, for a nonzero residue the power is one or minus one according as the residue is a square or a nonsquare.
For distinct odd primes , quadratic reciprocity states
Thus the two symbols agree unless both primes are three modulo four, in which case they have opposite signs.
Euler's criterion implies multiplicativity of the symbol on nonzero residues and gives . Apply quadratic reciprocity with the odd prime 3:
The only nonzero square modulo three is one. Since ,

Articles by others on the same topic (0)

There are currently no matching articles.