Legendre符号的定义和基本性质

定义

  $p$是一个奇素数，$a\in \mathbb{Z}$，定义
$$\left(\frac{a}{p}\right)=\{\begin{array}{rl}& 1,a是模p的平方剩余且p\cancel{|}a\\ & -1,a是模p的平方非剩余\\ & 0,p|a\end{array}$$
读作$a$对$p$的Legendre符号。
  该符号必须有圆括号；该符号不是分式的意思。

注
  Legendre符号的定义也可以写作
$$\left(\frac{a}{p}\right)=a^{\frac{p-1}{2}}\mathrm{m}\mathrm{o}\mathrm{d}p$$
其中$a^{\frac{p-1}{2}}\mathrm{m}\mathrm{o}\mathrm{d}p$表示用$p$除$a^{\frac{p-1}{2}}$得到的余数$r\left(r\in {\mathbb{Z}}_{\ge 0},r<p\right)$。

意义

  由Legendre符号的定义可以看出，如果能够很快地算出它的值，那么就会立刻知道同余式
$$x^2\equiv a\mathrm{m}\mathrm{o}\mathrm{d}p,p是奇素数,a\in \mathbb{Z}$$
是否有解。具体地说：

1. 当$\left(\frac{a}{p}\right)=1$时，$a$是模$p$的平方剩余，根据平方剩余的定义，同余式有解。
2. 当$\left(\frac{a}{p}\right)=0$时，有$p|a\Rightarrow a\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$，此时同余式
   $$x^2\equiv a\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   有唯一解$x\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$（$p$是素数，$\mathbb{Z}/p$是域，是整环）。
3. 当$\left(\frac{a}{p}\right)=-1$时，$a$是模$p$的平方非剩余，由平方非剩余的定义，同余式无解。
   
   

若干性质

1. $\left(\frac{a}{p}\right)\equiv a^{\frac{p-1}{2}}\mathrm{m}\mathrm{o}\mathrm{d}p$

证明

1. 若$p\cancel{|}a$，由于$p$是一个素数，因此有$\gcd \left(a,p\right)=1$。此时由Euler判别法和Legendre符号的定义，有
   $$\begin{array}{rl}& a是模p的平方剩余\Rightarrow \{\begin{array}{rl}& a^{\frac{p-1}{2}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \left(\frac{a}{p}\right)=1\end{array}\Rightarrow a^{\frac{p-1}{2}}\equiv \left(\frac{a}{p}\right)\mathrm{m}\mathrm{o}\mathrm{d}p\\ & a是模p的平方非剩余\Rightarrow \{\begin{array}{rl}& a^{\frac{p-1}{2}}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p\\ & \left(\frac{a}{p}\right)=-1\end{array}\Rightarrow a^{\frac{p-1}{2}}\equiv \left(\frac{a}{p}\right)\mathrm{m}\mathrm{o}\mathrm{d}p\end{array}$$

2. 若$p|a$，由Legendre符号的定义有
   $$\left(\frac{a}{p}\right)=0$$
   且此时有$a\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$，因此也有
   $$a^{\frac{p-1}{2}}\equiv 0^{\frac{p-1}{2}}=0\mathrm{m}\mathrm{o}\mathrm{d}p$$
   因此有
   $$a^{\frac{p-1}{2}}\equiv \left(\frac{a}{p}\right)\mathrm{m}\mathrm{o}\mathrm{d}p$$
   
   

2. $\left(\frac{1}{p}\right)=1$

证明
( 1 p ) ≡ 1 p − 1 2 = 1     m o d   p ( 1 p ) ∈ { 0 , ± 1 } }   ⇒   ( 1 p ) = 1 \left. \begin{aligned} & \left( \frac{1}{p} \right)\equiv { {1}^{\frac{p-1}{2}}}=1\text{ }\bmod p \\ & \left( \frac{1}{p} \right)\in \left\{ 0,\pm 1 \right\} \\ \end{aligned} \right\}\text{ }\Rightarrow \text{ }\left( \frac{1}{p} \right)=1 ​(p1​)≡12p−1​=1 modp(p1​)∈{ 0,±1}​⎭⎪⎪⎪⎬⎪⎪⎪⎫​ ⇒ (p1​)=1

3. $\left(\frac{-1}{p}\right)={\left(-1\right)}^{\frac{p-1}{2}}=\{\begin{array}{rl}& 1,p\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4\\ & -1,p\equiv 3\mathrm{m}\mathrm{o}\mathrm{d}4\end{array}$