CINTA作业九

CINTA作业九

1.证明命题 11.2。
证明：
(1)封闭性：
$$\begin{gathered} \forall a,b\in Q{R}_p,\exists x,y\in Z \\ {x}^2\equiv a(modp),y^2\equiv b(modp), \\ 则a\times b\equiv x^2\times y^2=(x\times y{)}^2 \\ 故a\times b\in Q{R}_p \end{gathered}$$

(2)结合律:
$$\begin{gathered} \forall a,b,c\in Q{R}_p,\exists x,y,z\in Z \\ {x}^2\equiv a(modp),y^2\equiv b(modp),z^2\equiv c(modp) \\ 则(a\times b)\times c\equiv x^2\times y^2\times z^2=a\times (b\times c) \end{gathered}$$

(3)单位元：1

(4)逆元：
对于任意的a∈QR，由封闭性和费马小定理得
$\exists a^{p-2}\in Q{R}_p,使a\times a^{p-2}=a^{p-1}\equiv 1(modp)$

2.使用群论的方法证明定理 11.1。
构造一个映射 $\varphi :Z_p^{\ast }\to Q{R}_p为a\to a^2,\forall a\in Z_p^{\ast }$由$Q{R}_p$的定义可知该映射是一个满射，
又由$\varphi (ab)=(ab{)}^2=a^2{b}^2=\varphi (a)\varphi (b)$可知$\varphi$是一个群同态
令 K = k e r ϕ = { 1 , p − 1 } K=ker\phi=\{1,p-1\} K=kerϕ={1,p−1}，构造一个标准同态$\psi :Z_p^{\ast }\to Z_p^{\ast }/K$
由第一同构定理可得$Z_p^{\ast }/K\cong Q{R}_p$，则有$|Q{R}_p|=|Z_p^{\ast }/K|=(p-1)/2$

3.定义映射 ψ : Z p ∗ → { − 1 , + 1 } 为 ψ ( a ) = ( a / p ) ， ∀ a ∈ Z p ∗ \psi :Z^*_p\rightarrow\{-1,+1\}为\psi(a)=(a/p)，\forall a\in Z^*_p ψ:Zp∗​→{−1,+1}为ψ(a)=(a/p)，∀a∈Zp∗​。请证明这是一个满同态。

默认$p$是一个奇素数，由定理11.1得存在$(p-1)/2$个模$p$的$QR$和$(p-1)/2$个模$p$ 的$QNR$，故映射$\psi$是满射

由勒让德符号的属性得
$\forall a,b\in Z_p^{\ast },\psi (ab)=(ab/p)=(a/p)(b/p)=\psi (a)\psi (b)$，故$\psi$是满同态

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

使用反证法：假设$Z_p^{\ast }$的所有生成元都是模 p 的二次剩余。
令g是$Z_p^{\ast }$的一个生成元，且g是GR，则$\exists a\in Z,g\equiv a^2(modp)$
结合费马小定理有$g^{(p-1)/2}\equiv a^{2(p-1)/2}=a^{p-1}\equiv 1(modp)$，这与生成元g的阶p-1相矛盾

故$Z_p^{\ast }$的所有生成元都是模 p 的二次非剩余

5、证明命题11.4
1、
①当a是QR时，$\exists x\in Z,a\equiv b\equiv x^2(modp)$,故b也是QR，所以$(a/p)=(b/p)=1$
②当 a 是 Q N R 时 ，则 $a\equiv b\equiv x^2(modp)$无 解，故b也是QNR，所以$(a/p)=(b/p)=-1$

2、
由命题11.3
①当a，b均为QR时，ab也是QR，故$(a/p)(b/p)=1=(ab/p)$
②当a，b均为QNR时，ab是QR，故$(a/p)(b/p)=(-1)(-1)=1=(ab/p)$
③当a，b其中一个为QR，一个为QNR时，ab是QNR，故$(a/p)(b/p)=(-1)1=-1=(ab/p)$
综上$(a/p)(b/p)=(ab/p)$

3、无论a是QR或QNR，$a^2$都是QR，所以$(a^2/p)=1$

6、给出推论11.1的完整证明
当$p\equiv 1(mod4)$时，存在$k\in Z$，使得$p=4k+1$,根据欧拉准则
$(-1/p)\equiv (-1{)}^{(p-1)/2}=(-1{)}^{(4k+1-1)/2}=1(modp)$

当$p\equiv -1(mod4)$时，存在$k\in Z$，使得$p=4k-1$,根据欧拉准则
$(-1/p)\equiv (-1{)}^{(p-1)/2}=(-1{)}^{(4k-1-1)/2}=(-1{)}^{2k-1}=-1(modp)$