CINTA 第七次作业

$$第七次作业$$
$4.证明命题11.4$
$证明：命题11.4表述为：$
$设p是奇素数，a，b\in Z且不被p整除。则有$
$1.如果a\equiv b(\mathrm{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\in Z且不被p整除，所以(\frac{a}{p})=1或-1$
$(\frac{a}{p})=1时，存在x_1，使得x_1^2\equiv a(\mathrm{mod}p)，而a\equiv b(\mathrm{mod}p)$
$所以x_1^2\equiv b(\mathrm{mod}p)，(\frac{b}{p})=1=(\frac{a}{p})$
$同理，(\frac{a}{p})=-1时，不存在x，使得x^2\equiv a(\mathrm{mod}p)，而a\equiv b(\mathrm{mod}p)$
$同样不存在x^2\equiv b(\mathrm{mod}p)，所以(\frac{b}{p})=-1=(\frac{a}{p})$
$再证明2：若a，b都是模p的QR，则(\frac{a}{p})(\frac{b}{p})=1$
$QR\ast QR=QR，所以ab也是模p的QR，(\frac{ab}{p})=1=(\frac{a}{p})(\frac{b}{p})$
$若a，b中一个是QR，一个是QNR，则(\frac{a}{p})(\frac{b}{p})=-1$
$QR\ast QNR=QNR，所以ab不是模p的QR，(\frac{ab}{p})=-1=(\frac{a}{p})(\frac{b}{p})$
$若a，b都是模p的QNR，则(\frac{a}{p})(\frac{b}{p})=1$
$QNR\ast QNR=QR，所以ab是模p的QR，(\frac{ab}{p})=1=(\frac{a}{p})(\frac{b}{p})$
$再证明3：根据2，则(\frac{a^2}{p})=(\frac{a}{p})(\frac{a}{p})$
$若a是模p的QR，则(\frac{a^2}{p})=1\ast 1=1$
$若a是模p的QNR，则(\frac{a^2}{p})=(-1)\ast (-1)=1$
$所以，(\frac{a^2}{p})=1。$

$5.给出推论11.1的完整证明。$
$因为p\equiv 1(\mathrm{mod}4)意味着存在k\in Z使得p=4k+1。根据欧拉准则，$
$$(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k+1-1)/2}\equiv 1(\mathrm{mod}p)$$
$而p\equiv -1(\mathrm{mod}4)意味着存在k\in Z使得p=4k-1。根据欧拉准则，$
$$(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k-1-1)/2}\equiv -1(\mathrm{mod}p)$$
$得证。$

$6.设p是奇素数，请证明Z_p^{\ast }的所有生成元都是模p的二次非剩余。$
$证明：设g是Z_p^{\ast }的任意一个生成元，群<g>的阶为p-1。$
$不妨设g是模p的二次剩余。那么，存在x_1\in Z，使得x_1^2\equiv g(\mathrm{mod}p)$
$根据欧拉定理，x_1^{p-1}\equiv 1(\mathrm{mod}p),那么g^{(p-1)/2}\equiv x_1^{p-1}\equiv 1(\mathrm{mod}p)，即$
$群<g>的阶为(p-1)/2，矛盾，所以Z_p^{\ast }的所有生成元都是模p的二次非剩余。$