模算术/二次剩余

二次剩余

如果存在整数 $\gamma$ 使得同余式

$\alpha \equiv \gamma ^{2}{\pmod {\beta }}$

成立，那么整数 $\alpha$ 可以称为模 $\beta$ 的二次剩余。否则 $\alpha$ 是模 $\beta$ 的二次非剩余。