이차잉여

정의

3 이상의 정수 \(m\)과 \((a,m)=1\)인 정수 \(a\)가 주어졌을 때, 법 \(m\)에 대한 합동식

[math]\displaystyle{ x^2\equiv a \pmod m }[/math]

의 해가 존재하면 \(a\)를 법 \(m\)에 대한 이차잉여(quadratic residue)라고 한다. 합동식의 해가 존재하지 않으면 \(a\)를 법 \(m\)에 대한 이차비잉여(quadratic nonresidue)라고 한다.