thesaurus.maths.org

An element a ∈ F_p^× which "has a square root", i.e. for which there is a solution of the equation x² ≡ a (mod p) . There are exactly (p−1)/2 quadratic residues.