If there is an integer x such that x^4 congruent q (mod p), then q is said to be a biquadratic residue (mod p). If not, q is said to be a biquadratic nonresidue (mod p).

biquadratic reciprocity theorem | cubic residue | quadratic residue