Some notes about power residues modulo prime

Abstract

Let q be a prime. We classify the odd primes p ≠ q such that the equation x2 ≡ q (mod p) has a solution, concretely, we find a subgroup L4q of the multiplicative group U4q of integers relatively prime with 4q (modulo 4q) such that x2 ≡ q (mod p) has a solution iff p ≡ c (mod 4q) for some c ∈ L4q. Moreover, L4q is the only subgroup of U4q of half order containing −1. Considering the ring Z[√2], for any odd prime p it is known that the equation x2 ≡ 2 (mod p) has a solution iff the equation x2 −2y2 = p has a solution in the integers. We ask whether this can be extended in the context of Z[n√2] with n ≥2, namely: for any prime p ≡ 1 (mod n), is it true that xn ≡ 2 (mod p) has a solution iff the equation D2n(x0, . . . , xn−1) = p has a solution in the integers? Here D2n(x̄) represents the norm of the field extension Q(n√2) of Q. We solve some weak versions of this problem, where equality with p is replaced by 0 (mod p) (divisible by p), and the “norm" Drn(x̄) is considered for any r ∈ Z in the place of 2.