Cinta 第七次作业

1、证明勒让德符号的若干属性

设p是奇素数，a，b∈ Z 且不被p整除。则有：
1、如果a≡b（mod p），则（$\frac{a}{p}$）=（$\frac{b}{p}$）；
2、（$\frac{a}{p}$）（$\frac{b}{p}$）=（$\frac{ab}{p}$）；
3、（$\frac{a^2}{p}$）=1 ；

证明：
1、若 a ≡ x² （mod p），a是模p的QR
∵a≡b（mod p），∴b ≡ x² （mod p）
即b也为模p的QR
∴（$\frac{a}{p}$）=（$\frac{b}{p}$）
若 a ≠ x² （mod p），a是模p的QNR
∵a≡b（mod p），∴b ≠ x² （mod p）
即b也为模p的QNR
∴（$\frac{a}{p}$）=（$\frac{b}{p}$）
得证。
2、若a，b都是模p的QR
∵ QR × QR = QR
∴ ab也为模p的QR
即 （$\frac{a}{p}$）（$\frac{b}{p}$）= 1×1 =（$\frac{ab}{p}$）= 1
若a，b都是模p的QNR
∵ QNR × QNR = QR
∴ ab为模p的QR
即 （$\frac{a}{p}$）（$\frac{b}{p}$）= (-1)×(-1) =（$\frac{ab}{p}$）= 1
若a，b有一个为模p的QR，一个为模p的QNR
∵ QR × QNR = QNR
∴ ab为模p的QNR
即 （$\frac{a}{p}$）（$\frac{b}{p}$）= (-1)×1 =（$\frac{ab}{p}$）= -1
综上：（$\frac{a}{p}$）（$\frac{b}{p}$）=（$\frac{ab}{p}$）得证。
3、若a是模p的QR
∵ QR × QR = QR
∴ a²为模p的QR
即 （$\frac{a^2}{p}$）= 1
若a是模p的QNR
∵ QNR × QNR = QR
∴ a²为模p的QR
即 （$\frac{a^2}{p}$）= 1
综上：（$\frac{a^2}{p}$）= 1

2、推论11.1

证明：设p是一个奇素数，则
$$（\frac{-1}{p}）=\{\begin{array}{ll}1,& 如果p\equiv 1（mod4）;\\ -1,& 如果p\equiv -1（mod4）.\end{array}$$

证明：
因为p≡1（mod 4）意味存在k∈Z使得p=4k+1。根据欧拉准则，
$$(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k+1-1)/2}\equiv 1(modp)$$
若p≡-1（mod 4），及存在k∈Z使得p=4k-1。根据欧拉准则，
$$(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k-1-1)/2}\equiv -1(modp)$$
综上，得证。

3、

$$设p是奇素数，请证明{\mathbb{Z}}_p^{\ast }的所有生成元都是模p的二次非剩余。$$
证明：
假设a为其中一个生成元，则
$$a^{p-1}\equiv 1(modp)，且若a^{n}modp\equiv 1,p-1为n可取的最小值$$
假设a为QR，由欧拉准则得，
$$a^{(p-1)/2}\equiv 1(modp)$$
$$\because p-1>(p-1)/2,即p-1不是使a^{n}modp\equiv 1的最小值$$
$$\therefore 假设a为QR不成立，故{\mathbb{Z}}_p^{\ast }的所有生成元都是模p的二次非剩余。$$