Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2017/1/b/solution

For an odd prime , Euler's criterion states
For , the Legendre symbol is for a quadratic residue and for a quadratic nonresidue; if , both sides are zero.
The product is a single power because the arithmetic progression of exponents has sum :
Since , the second supplementary law for quadratic reciprocity gives . Hence Euler's criterion gives . Reduce the exponent using and :
The least nonnegative remainder is therefore .

New to topics? Read the docs here!