CINTA作业九：QR

---

1. 证明命题11.2

用 QR_p 表示模 p 的 QR 的集合，QR_p 在乘法上成群。

---

证明：
封闭性：
$\forall$m₁,m₂$\in$QR_p，有m₁$\equiv$x₁² (mod p)，m₂$\equiv$x₂² (mod p)，x₁,x₂$\in$Z_p，
那么 m₁$\cdot$m₂$\equiv$x₁²$\cdot$x₂²(mod p)=(x₁$\cdot$x₂)²(mod p)，即m₁$\cdot$m₂$\equiv$(x₁$\cdot$x₂)²(mod p)，
而x₁$\cdot$x₂$\in$Z_p，因此m₁m₂$\in$QR_p 。
结合律：
$\forall$m₁,m₂,m₃$\in$QR_p，有m₁$\equiv$x₁² (mod p)，m₂$\equiv$x₂² (mod p)，m₃$\equiv$x₃²(mod p)
x₁,x₂,x₃$\in$Z_p 。(m₁m₂)m₃$\equiv$(x₁²x₂²)x₃² (mod p)=x₁²(x₂²x₃²) (mod p)
因此，(m₁m₂)m₃=m₁(m₂m₃)。
单位元：
首先可知，gcd(1，p)=1，1$\in$Z_p，又有1$\equiv$ 1² (mod p)，因此1$\in$QR_p 。又由于$\forall$m$\in$QR_p，m$\cdot$ 1=m=1$\cdot$m，因此1是单位元。
逆元：
$\forall$m$\in$QR_p，有m$\equiv$x²(mod p)，x$\in$Z_p，
又因为Z_p在乘法下成群，有x^-1$\in$Z_p，
而m^-1$\equiv$x^-(1)2 (mod p)，那么m$\cdot$m^-1$\equiv$x²$\cdot$x^-(1)2(mod p)=1 (mod p)
因此m$\cdot$m^-1=1，可知m^-1为元素m的逆元，且存在QR_p 。
以上四点群公理均满足，所以QR_p 在乘法上成群。

---

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

设 p 为奇素数，则刚好存在 (p − 1)/2 个模 p 的 QR 和 (p − 1)/2 个模 p 的 QNR。

---

证明：
首先|Z_p|=p-1，QR的个数+QNR的个数=|Z_p|=p-1.
构造映射$\varphi$：Z_p$\to$QR_p为a$\to$a²(mod p)
$\forall$a，b$\in$Z_p，$\varphi$(a，b)=(ab)²(mod p)=a²b² (mod p)=$\varphi$(a)$\varphi$(b)，
证得$\varphi$是一种同态映射。
令 K = ker $\varphi$ = {1 , p−1}，构造映射$\phi$：Z_p$\to$Z_p/K.
根据第一同构定理可得
同构映射$\eta$：Z_p/K$\to$$\varphi$(Z_p)，即Z_p/K$\to$QR_p。
根据命题9.1可知，对于同构映射$\eta$：Z_p/K$\to$QR_p
有|Z_p/K| = |QR_p|
|Z_p| / |K| = (p-1)/2。
因此|QR_p|=(p-1)/2，|QNR_p| = |Z_p| - |QR_p| = (p-1)/2。

---

3. 定义映射 $\psi$ : Z_p^* $\to$ {±1} 为 $\psi$(a) = (a/p) ，∀a ∈ Z_p^*。请证明这是一个满同态。

---

证明：
由于Z_p^*一定存在QR与QNR，那么可知$\psi$是一个满射。
由命题11.4可知，$\forall$a，b$\in$Z_p^*，$\psi$(ab)=$\psi$(a)$\psi$(b)，即证得$\psi$是一个同态映射。
因此$\psi$是一个满同态。

---

4. 设 p 是奇素数，请证明 Z_p^* 的所有生成元都是模 p 的二次非剩余。

---

证明：
设g是Z_p^*的生成元，由p是奇素数可知g的阶为p-1。
假设g是模p的二次剩余，则存在a$\in$Z_p^*，g$\equiv$a² (mod p)。
可得g^(p-1)$\equiv$a^2(p-1)$\equiv$ 1 (mod p)，而由费尔马小定理得a^(p-1)$\equiv$ 1(mod p)
g^(p-1)/2$\equiv$a^(p-1)$\equiv$ 1 (mod p)，这与g的阶为p-1矛盾。
因此Z_p^* 的所有生成元都是模 p 的二次非剩余。

---

5. 证明命题11.4

设 p 是奇素数，a, b ∈ Z 且不被 p 整除。则有：

1. 如果 a ≡ b (mod p)，则 a/p= b/p；
2. (a/p)(b/p)=(ab/p)；
3. (a²/p)=1。

---

证明：
1.
如果a$\equiv$b (mod p)，若a是模p的QR，那么b$\equiv$ a $\equiv$x² (mod p),x$\in$Z_p，因此b也是模p的QR，a/p = b/p =1。
若a是模p的QNR，那么不存在Z_p中的元素的平方与a同模，同样也不与b同模，因此b也是模p的QNR，a/p = b/p = -1。
2.
根据命题11.3可以得出。
3.
由第二点可以得出。即(a²/p)=(a/p)(a/p)=(a/p)²=1。

---

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

设 p 是一个奇素数，则：
如果p$\equiv$ 1(mod 4)，(-1/p) = 1；
如果p$\equiv$ −1 (mod 4)，(-1/p)=-1。

---

证明：
根据欧拉准则，(-1/p) $\equiv$ (-1)^(p-1)/2 (mod p)
1.若p$\equiv$ 1(mod 4)，则存在k$\in$Z，有p=4k+1，代入得
(-1/p) $\equiv$ (-1)^2k (mod p) $\equiv$ 1 (mod p)。因此(-1/p) = 1。
2.若p$\equiv$ −1 (mod 4)，则存在k$\in$Z，有p=4k-1，代入得
(-1/p) $\equiv$ (-1)^2k-1 (mod p) $\equiv$ -1 (mod p)。因此(-1/p) = -1。