CINTA 作业九

1.证明命题 11.2。

要证 $Q{R}_p$ 在乘法上成群，验证 $Q{R}_p$ 在群公理上是否成立即可。

封闭性：

由命题 11.3 和 $Q{R}_p$ 的定义我们可以得知 QR*QR = QR (mod p)，那么显然乘法是封闭的。

结合律继承 $Z_p^{\ast }$ 的乘法，显然。

单位元：

由 $a^2{1}^2\equiv 1^2{a}^2\equiv a^2(modp)$，有 $1^2\equiv 1(modp)$ 为单位元。

乘法逆元存在：

对 $\forall x\in Q{R}_p,\exists a\in Z_p^{\ast }$，使得 $x\equiv a^2(modp)$，那么由

$x(a^{-1}{)}^2\equiv a^2(a^{-1}{)}^2\equiv 1(modp)$ 可知 $x^{-1}\equiv (a^{-1}{)}^2(modp)$。

证毕。

---

2.使用群论的方法证明定理 11.1。

不妨构造一个映射 $\varphi :Z_p^{\ast }\to Q{R}_p$ 为 $a\to a^2(modp),\forall a\in Z_p^{\ast }$，

从 $Q{R}_p$ 的定义我们可以得知这是一个满射，接着我们证明 $\varphi$ 是一个群同态，显然，由

$\varphi (ab)=(ab{)}^2=a^2{b}^2=\varphi (a)\varphi (b)$ 得证。

令 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{P}_p$，那么有$|Q{R}_p|=|Z_p^{\ast }|/2=(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.2 可得 Z_p^*恰好有 (p-1)/2 个 QR 和 (p-1)/2 个 QNR，

那么由 $\psi$ 的定义可得知 QR 将打在 1 上， QNR 将打在 -1 上，故 $\psi $ 必然会是一个满射。

接着确认 $\psi$ 是一个群同态即可。由命题 11.4可得到，

对 $\forall a,b\in Z_p^{\ast }$，$\psi (ab)=(ab/p)=(a/p)(b/p)=\psi (a)\psi (b)$，证毕。

---

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

令 g $Z_p^{\ast }$ 的生成元，且 g 是一个QR，则 $\exists a\in Z_p^{\ast },g\equiv a^2(modp)$，

那么 g 的阶应该为 p-1，即 $g^{p-1}\equiv a^{2(p-1)}\equiv 1(modp)$，

这意味着 $g^{(p-1)/2}\equiv a^{p-1}\equiv 1(modp)$ 成立，也就是说 g 的阶为 (p-1)/2 < p-1，

g 显然不该是生成元，矛盾。

---

5.证明命题 11.4

从勒让德符号的定义上看， 1 和 3 显然是成立的。

根据命题 11.3 也可证出 2 的结论是正确的。

---

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

续上原证明，

$p\equiv -1(mod4)$，意味着 $\exists k\in Z,p=4k+3(modp)$，

根据欧拉准则，$(-1/p)\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k+3-1)/2}\equiv (-1{)}^{2k+1}\equiv -1(modp)$。

证毕。