CINTA：二次剩余

1.证明命题11.2：
用$\mathbb{Q}$$\mathbb{R}$${}_p$表示模p的$\mathbf{Q}\mathbf{R}$的集合，$\mathbb{Q}$$\mathbb{R}$${}_p$在乘法上成群。

证：
①根据命题11.3，$\mathbf{Q}\mathbf{R}$$\times$$\mathbf{Q}\mathbf{R}$=$\mathbf{Q}\mathbf{R}$$(\mathrm{m}\mathrm{o}\mathrm{d}p)$，因此满足了封闭性。
②由于${\mathbb{Z}}_p^{\ast }$满足结合律，因此，$\mathbb{R}$${}_p$在乘法上满足结合律。
③设单位元为e。a${}^2$e${}^2$$\equiv$e${}^2$a${}^2$$\equiv$a${}^2$ $(\mathrm{m}\mathrm{o}\mathrm{d}p)$ ，单位元存在，为1。
④$\forall x\in$$\mathbb{Q}$$\mathbb{R}$${}_p$，$\exists a\in {\mathbb{Z}}_p^{\ast }$，使得$x\equiv a^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$.
$x(a^{-1}{)}^2\equiv a^2(a^{-1}{)}^2\equiv (\mathrm{m}\mathrm{o}\mathrm{d}p)$
$x^{-1}\equiv (a^{-1}{)}^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$
存在乘法逆元。

综上所述，$\mathbb{Q}$$\mathbb{R}$${}_p$在乘法上满足群公理。

2.使用群论的方法证明定理11.1：
设 p 为奇素数，则刚好存在 (p − 1)/2个模p的$\mathbf{Q}\mathbf{R}$和(p − 1)/2个模p的$\mathbf{Q}\mathbf{N}\mathbf{R}$。

证：
设$\psi {\mathbb{Z}}_p^{\ast }\to \mathbb{Q}\mathbb{R}$${}_p$为$a\to a^2$。
因此，$\forall a,b\in {\mathbb{Z}}_p^{\ast }$，$\psi (ab)=(ab{)}^2=a^2{b}^2=\psi (a)\circ \psi (b)$，$\psi$是群同态。
因为${\mathbb{Q}\mathbb{R}}_p$的单位元是1，所以$Ker\psi =1$，$\mathbb{K}$是${\mathbb{Z}}_p^{\ast }$的正规子群。
因此存在标准同态$\Phi :{\mathbb{Z}}_p^{\ast }/\mathbb{K}$，根据第一同构定理，存在唯一同构映射${\mathbb{Z}}_p^{\ast }\to {\mathbb{Z}}_p^{\ast }/\mathbb{K}$，因此$\mid$$\mathbb{Q}$$\mathbb{R}$${}_p\mid$=$\mid {\mathbb{Z}}_p^{\ast }/\mathbb{K}\mid$=$\frac{\mid {\mathbb{Z}}_p^{\ast }\mid }{\mid \mathbb{K}\mid }$=$\frac{p-1}{2}$。
原命题得证。

3.定义映射$\psi$: ${\mathbb{Z}}_p^{\ast }$$\to$ { \lbrace {$\pm$$$\}$为$\psi$(a)=($\frac{a}{p}$)，$\forall$a$\in$ ${\mathbb{Z}}_p^{\ast }$。请证明这是一个满同态。

证：
根据题意，$\psi (ab)=(\frac{ab}{p})=(\frac{a}{p})(\frac{b}{p})=\psi (a)\psi (b)$，$\psi$是群同态。
$\forall a\in {\mathbb{Z}}_p^{\ast }$，$a$为$\mathbf{Q}\mathbf{R}$时$\psi (a)=1$，a为$\mathbf{Q}\mathbf{N}\mathbf{R}$时$\psi (a)=-1$。
因此$\psi$为满同态。
原命题得证。

4.设p是奇素数，请证明${\mathbb{Z}}_p^{\ast }$的所有生成元都是模p的二次非剩余。

证：
设g为${\mathbb{Z}}_p^{\ast }$的任意一个生成元。
根据欧拉定理，$g^{\varphi (p-1)}\equiv (\mathrm{m}\mathrm{o}\mathrm{d}p)$
$g\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，
$g^{p-1}g\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，
$g_p\equiv x^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，
$(p^{\frac{p}{2}}{)}^2\equiv x^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，
根据p是奇素数，$\frac{p}{2}\notin \mathbb{Z}$，因此不存在$g\equiv x^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$。
因此，${\mathbb{Z}}_p^{\ast }$的所有生成元都是模p的二次非剩余。
原命题得证。

5.证明命题11.4
设p是奇素数，a,b$\in \mathbb{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$为$\mathbf{Q}\mathbf{R}$时，$a\equiv b\equiv x^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，因此$b$为$\mathbf{Q}\mathbf{R}$，$(\frac{a}{p})$=$(\frac{b}{p})$。
$a$为$\mathbf{Q}\mathbf{N}\mathbf{R}$时，$a\equiv b\not\equiv x^2(\mathrm{m}\mathrm{o}\mathrm{d}p)$，因此$b$为$\mathbf{Q}\mathbf{N}\mathbf{R}$。
原命题得证。

证明2.：
$a,b$为$\mathbf{Q}\mathbf{R}$时，ab=$\mathbf{Q}\mathbf{R}$$\times$$\mathbf{Q}\mathbf{R}$=$\mathbf{Q}\mathbf{R}$，因此$(\frac{a}{p})$$(\frac{b}{p})$=$(\frac{ab}{p})$。
$a,b$一个为$\mathbf{Q}\mathbf{R}$一个为$\mathbf{Q}\mathbf{N}\mathbf{R}$时，ab=$\mathbf{Q}\mathbf{R}$$\times$$\mathbf{Q}\mathbf{N}\mathbf{R}$=$\mathbf{Q}\mathbf{N}\mathbf{R}$或ab=$\mathbf{Q}\mathbf{N}\mathbf{R}$$\times$$\mathbf{Q}\mathbf{R}$=$\mathbf{Q}\mathbf{N}\mathbf{R}$，因此$(\frac{a}{p})$$(\frac{b}{p})$=$(\frac{ab}{p})$。
$a,b$为$\mathbf{Q}\mathbf{N}\mathbf{R}$时，ab=$\mathbf{Q}\mathbf{N}\mathbf{R}$$\times$$\mathbf{Q}\mathbf{N}\mathbf{R}$=$\mathbf{Q}\mathbf{N}\mathbf{R}$，因此$(\frac{a}{p})$$(\frac{b}{p})$=$(\frac{ab}{p})$。

证明3.：
因为$a\in \mathbb{Z}$，所以$a^2$为$\mathbf{Q}\mathbf{R}$，因此$(\frac{a^2}{p})$=1。

综上，原命题得证。

6.给出推论11.1的完整证明。

证：
当$p\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}4)$时，设p=4k+1，其中k为整数。
根据欧拉定理，$(\frac{-1}{p})\equiv (-1{)}^{\frac{p-1}{2}}=(-1{)}^{\frac{4k}{2}}=(-1{)}^{2k}=1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

当$p\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}4)$时，设p=4k-1，其中k为整数。
根据欧拉定理，$(\frac{-1}{p})\equiv (-1{)}^{\frac{p-1}{2}}=(-1{)}^{\frac{4k-2}{2}}=(-1{)}^{2k-1}=-1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

综上，原命题得证。