Past exam of the short options course of the University of Oxford / 2017 / 1 / a / Solution

For distinct odd primes $p,q$, quadratic reciprocity statesHere the Legendre symbol records whether a nonzero congruence class is a quadratic residue. The first supplementary law for quadratic reciprocity and second supplementary law for quadratic reciprocity giveThus minus one is a square exactly when $p\equiv 1(\mathrm{mod}4)$, and two is a square exactly when $p\equiv 1$ or $7(\mathrm{mod}8)$.

To test the specified congruence class, factor $111=3\cdot 37$. Since $2017\equiv 1(\mathrm{mod}4)$, multiplicativity of the Legendre symbol and quadratic reciprocity yieldThere is no sign change on swapping $19$ and $37$ because $37\equiv 1(\mathrm{mod}4)$. Finally $18=2\cdot 3^2$, so multiplicativity of the Legendre symbol gives $(18/19)=(2/19)=-1$, since $19\equiv 3(\mathrm{mod}8)$. Therefore