cinta作业9：QR（二次剩余）

1、证明命题11.2

• 封闭性

设任意两个元素 $m_1,m_2\in {\mathbb{Q}\mathbb{R}}_p$，则存在 $x_1,x_2\in {\mathbb{Z}}_p^{\ast }$，使得
$$\begin{gathered} m_1\equiv x_1^2\mathrm{m}\mathrm{o}\mathrm{d}p \\ {m}_2\equiv x_2^2\mathrm{m}\mathrm{o}\mathrm{d}p \end{gathered}$$
则$m_1{m}_2\equiv x_1^2{x}_2^2\equiv (x_1{x}_2{)}^2\mathrm{m}\mathrm{o}\mathrm{d}p$，而 $x_1{x}_2\in {\mathbb{Z}}_p^{\ast }$，故 $m_1{m}_2$ 在模p下是一个平方数，$m_1{m}_2\in {\mathbb{Q}\mathbb{R}}_p$，满足封闭性

• 结合律

设任意三个元素 $m_1,m_2,m_3\in {\mathbb{Q}\mathbb{R}}_p$，则存在 $x_1,x_2,x_3\in {\mathbb{Z}}_p^{\ast }$，使得
$$\begin{gathered} m_1\equiv x_1^2\mathrm{m}\mathrm{o}\mathrm{d}p \\ {m}_2\equiv x_2^2\mathrm{m}\mathrm{o}\mathrm{d}p \\ {m}_3\equiv x_3^2\mathrm{m}\mathrm{o}\mathrm{d}p \end{gathered}$$
则 $m_1(m_2{m}_3)\equiv x_1^2(x_2^2{x}_3^2)\equiv (x_1^2{x}_2^2)x_3^2\equiv (m_1{m}_2)m_3\mathrm{m}\mathrm{o}\mathrm{d}p$，故满足结合律

• 单位元

易知模p下1是平方数，故群 ${\mathbb{Q}\mathbb{R}}_p$有单位元1

• 逆元

设任意元素 $m\in {\mathbb{Q}\mathbb{R}}_p$，则存在 $x\in {\mathbb{Z}}_p^{\ast }$，使得
$$m\equiv x^2\mathrm{m}\mathrm{o}\mathrm{d}p$$
而$x\in {\mathbb{Z}}_p^{\ast }$，所以存在一个逆元 $x^{-1}$ 使得
$$x{x}^{-1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$$
则有 $m(x^{-1}{)}^2\equiv x^2(x^{-1}{)}^2\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$，故 $m$ 模p下存在一个逆元为$(x^{-1}{)}^2$，记作 $m^{-1}$，而 $m^{-1}$ 显然是模p的平方数，即 $m^{-1}\in {\mathbb{Q}\mathbb{R}}_p$ ，故存在逆元

---

2、群论的方法证明定理11.1

设 $\mathrm{Q}\mathrm{R}$ 所构成的群为 ${\mathbb{Q}\mathbb{R}}_p$ ，定义一个映射 $\psi :{\mathbb{Z}}_p^{\ast }\to {\mathbb{Q}\mathbb{R}}_p,\psi (a)=a^2$，由于$\psi (mn)=(mn{)}^2=m^2{n}^2=\psi (m)\psi (n)$，故映射 $\psi$ 是一个群同态映射。

并且易知映射 $\psi$ 的 $\mathrm{K}\mathrm{e}\mathrm{r}\mathrm{n}\mathrm{e}\mathrm{l}$ 为 { 1 , p − 1 } \{1,p-1\} {1,p−1} ，记作 $K$，则有商群 ${\mathbb{Z}}_p/K$ ，且存在一个标准同态 $\varphi :{\mathbb{Z}}_p\to {\mathbb{Z}}_p/K$，根据商群的定义以及拉格朗日定理可得：$|{\mathbb{Z}}_p/K|=[{\mathbb{Z}}_p:K]=|{\mathbb{Z}}_p|/|K|=(p-1)/2$

再根据第一同构定理，映射 $\eta :{\mathbb{Z}}_p/K\to {\mathbb{Q}\mathbb{R}}_p$ 是一个群同构，故有$|{\mathbb{Q}\mathbb{R}}_p|=|{\mathbb{Z}}_p/K|=(p-1)/2$，即 $\mathrm{Q}\mathrm{R}$ 共有 $(p-1)/2$ 个，而 $\mathrm{Q}\mathrm{N}\mathrm{R}$ 即是 ${\mathbb{Z}}_p$ 中另外的 $(p-1)/2$ 个，证毕

---

3、定义映射 ψ : z p ∗ → { ± 1 } , ψ ( a ) = ( a p ) , ∀ a ∈ z p ∗ \psi:z_{p}^{*}\rightarrow\{\pm1\},\psi(a)=(\frac{a}{p}),\forall a\in z_{p}^{*} ψ:zp∗​→{±1},ψ(a)=(pa​),∀a∈zp∗​，证明该映射是一个满同态

设 $m,n\in z_p^{\ast }$ ，则 $\psi (mn)=(\frac{mn}{p})=(\frac{m}{p})(\frac{n}{p})=\psi (m)\psi (n)$，故映射 $\psi$ 是一个同态映射。
而 $p$ 是素数，根据定理1.1可知，模 $p$ 的 $\mathrm{Q}\mathrm{R}$ 有 $(p-1)/2$ 个， $\mathrm{Q}\mathrm{N}\mathrm{R}$ 有 $(p-1)/2$ 个，则群 $z_p^{\ast }$ 中所有元素分别通过映射 $\psi (a)=(\frac{a}{p})$，映射到+1或者-1上，故映射 $\psi$ 是一个满射。
综上，该映射是一个满同态

---

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

设 $a$ 为 ${\mathbb{Z}}_p^{\ast }$ 的生成元，则 $\forall x\in {\mathbb{Z}}_p^{\ast }$，都有 $a^k=x,k\in \mathbb{Z}$，
假设 $a$ 是模 $p$ 的二次剩余 $\mathrm{Q}\mathrm{R}$，又因为$\mathrm{Q}\mathrm{R}\times \mathrm{Q}\mathrm{R}=\mathrm{Q}\mathrm{R}$，则 $a^k={\mathrm{Q}\mathrm{R}}^k=\mathrm{Q}\mathrm{R},k\in \mathbb{Z}$，
故当 $x$ 为 ${\mathbb{Z}}_p^{\ast }$ 中的 $\mathrm{Q}\mathrm{N}\mathrm{R}$ 时，产生矛盾，则生成元 $a$ 不可能是二次剩余 $\mathrm{Q}\mathrm{R}$，所以$z_p^{\ast }$ 的所有生成元都是模p的二次非剩余

---

5、证明命题11.4

1. 同余式得出勒让德符号相等

当a为模p的QR时，则有 $a\equiv b\equiv x^2\mathrm{m}\mathrm{o}\mathrm{d}p$，故b也是模p的QR，则有 $(\frac{a}{p})=(\frac{b}{p})$ ，
当a为模p的QNR时，则有 $a\equiv b\not\equiv x^2\mathrm{m}\mathrm{o}\mathrm{d}p$，故b也是模p的QNR，则有 $(\frac{a}{p})=(\frac{b}{p})$
综上， $a\equiv b\mathrm{m}\mathrm{o}\mathrm{d}p$，则 $(\frac{a}{p})=(\frac{b}{p})$ ，证毕

2. 勒让德符号相乘

当a是模p的QR，b也是模p的QR时，ab为QR x QR，仍为QR，故 $(\frac{a}{p})(\frac{b}{p})=1\ast 1=1=(\frac{ab}{p})$
当a,b其中一个是模p的QR，另一个是模p的QNR时，ab为QR x QNR或者QNR x QR，结果为QNR，故 $(\frac{a}{p})(\frac{b}{p})=1\ast (-1)=(-1)\ast 1=-1=(\frac{ab}{p})$
当a是模p的QNR，b也是模p的QNR时，ab为QNR*QNR，结果为QR，故 $(\frac{a}{p})(\frac{b}{p})=(-1)\ast (-1)=1=(\frac{ab}{p})$ ，证毕

3. 平方数的勒让德符号为1

$a\in \mathbb{Z}$，故 $a^2$ 是模p的平方数，即 $a^2$ 是模p的QR，故 $(\frac{a^2}{p})=1$

---

6、证明推论11.1

因为p是一个奇素数，根据欧拉准则可得：
$$(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\mathrm{m}\mathrm{o}\mathrm{d}p$$
当 $p\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}4$ 时，则有 $p=4k+1,k\in \mathbb{Z}$，则 $(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k+1-1)/2}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$

当 $p\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}4$ 时，则有 $p=4k-1,k\in \mathbb{Z}$，则 $(\frac{-1}{p})\equiv (-1{)}^{(p-1)/2}\equiv (-1{)}^{(4k-1-1)/2}\equiv -1\mathrm{m}\mathrm{o}\mathrm{d}p$

综上，证毕