二次剩余

定义

对于整数 \(a\) 和奇素数 \(p\)，若存在整数 \(x\) 使 \(x^2 \equiv a \pmod p\)，则称 \(a\) 是模 \(p\) 的二次剩余；否则称 \(a\) 是模 \(p\) 的二次非剩余。