properties of the Legendre symbol
Let be an odd prime and let be an arbitrary integer. Let be the Legendre symbol of modulo . Then:
Proposition.
The following properties are satisfied:
- 1.
If then .
- 2.
If then .
- 3.
If and then .
- 4.
.
Proof.
The first three properties are immediate from the definition of the Legendre symbol. Remember that is if has solutions, the value is if there are no solutions, and equals if .
The fourth property is a consequence of Euler’s criterion. Indeed,
It is clear then that . Sincethe numbers involved are all or , the congruence alsoholds with equality in .∎
Remark.
Property (4) is somewhat surprising because, in particular, it says that the product of two quadratic non-residues modulo is a quadratic residue modulo , which is not at all obvious.