An integer is a quadratic residue modulo , if there exists an integer such that . Euler's criterion asserts that, if is an odd prime, and is not a multiple of , then is a quadratic residue modulo if and only if
*: .

Congruence classes

The congruence relation is an equivalence relation. The

1.Previous
3.Next