If $p \equiv 1 \pmod n$, what additional conditions are needed to ensure that $$2^{(p-1)/n} \equiv 1 \pmod p?$$
I know:
- For $n=3$ (cubic reciprocity) the form is $p=x^2+27y^2$.
- For $n=4$ (biquadratic reciprocity) the form is $p=x^2+64y^2$.
- The solution has to deal with Gaussian integers and Artin's reciprocity theorem.
Can someone please show me how exactly to do this, maybe with the example $n=5$.