CINTA作业七

4. 证明命题11.4
   设p是奇素数，a,b$\in$Z且不被p整除。则有：
   (1) 如果a$\equiv$b (mod p),则($\frac{a}{p}$)=($\frac{b}{p}$);
   这是显然的。存在x$\in$Z,使得a$\equiv$b$\equiv$$x^2$(mod p)时，($\frac{a}{p}$)=($\frac{b}{p}$)=1；
   若不存在x$\in$Z,使得a$\equiv$b$\equiv$$x^2$(mod p)时，($\frac{a}{p}$)=($\frac{b}{p}$)=0；
   (2)($\frac{a}{p}$)($\frac{b}{p}$)=($\frac{ab}{p}$);
   a,b,p是奇素数且两两互素，由欧拉准则得，（$\frac{ab}{p}$）=$(ab{)}^{(p-1)/2}$ (mod p),
   （$\frac{a}{p}$）=$(a{)}^{(p-1)/2}$ (mod p),（$\frac{b}{p}$）=$(b{)}^{(p-1)/2}$ (mod p)
   又因为$(ab{)}^{(p-1)/2}$=$a^{(p-1)/2}$ $b^{(p-1)/2}$
   所以（$\frac{ab}{p}$）=($\frac{a}{p}$)($\frac{b}{p}$）
   (3).($\frac{a^2}{p}$)=1;
   由欧拉准则得，($\frac{a^2}{p}$) $\equiv$ $a^{2((p-1)/2)}$ $\equiv$ $a^{p-1}$(mod p),
   由费尔马小定理得，$a^{p-1}$ $\equiv$ 1(mod p),所以有($\frac{a^2}{p}$)=1;

$$----------------------------------------$$

5.证明推论11.1
设p是一个奇素数，则：
$（\frac{-1}{p}）=\{\begin{array}{c}1，如果p\equiv 1(mod4)\\ -1，如果p\equiv -1(mod4)\end{array}$
证明如下：
（1）当p$\equiv$ 1(mod 4)，则存在k$\in$Z,使得p=4k+1。则根据欧拉准则得，（$\frac{-1}{p}$）$\equiv$ $(-1{)}^{(p-1)/2}$ $\equiv$ $(-1{)}^{(4k+1-1)/2}$ $\equiv$ 1 ( mod p)。
（2）当p$\equiv$ -1 (mod 4),则存在k $\in$Z,使得p=4k+3。则根据欧拉准则得，（$\frac{-1}{p}$）$\equiv$$(-1{)}^{(p-1)/2}$ $\equiv$ $(-1{)}^{(4k+3-1)/2}$ $\equiv$ $(-1{)}^{(2k+1)}$ $\equiv$ -1 (mod p)

$$----------------------------------------$$
6.设p是奇素数，请证明$Z_p^{\ast }$的所有生成元都是模p的二次非剩余。
证明如下：
$\forall$ a $\in$$Z_p^{\ast }$,且a是$Z_p^{\ast }$的生成元，则有$a^{p-1}$ $\equiv$ 1 (mod p),且 |a|=p-1（a模p的阶为p-1），即最小整数p-1使得$a^{p-1}$ $\equiv$ 1 (mod p),
又因为gcd(a,p)=1,p是奇素数，所以由欧拉准则得，（$\frac{a}{p}$）$\equiv$$a^{(p-1)/2}$ (mod p),$a^{(p-1)/2}$ $\ne$ 1 。
即（$\frac{a}{p}$）$\ne$ 1,所以（$\frac{a}{p}$）=-1。
所以，$Z_p^{\ast }$的所有生成元都是模p的二次非剩余。