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

最新推荐文章于 2023-12-23 20:44:29 发布

GOAT_0x02

最新推荐文章于 2023-12-23 20:44:29 发布

阅读量481

点赞数

分类专栏： cinta 文章标签：数学

本文链接：https://blog.csdn.net/weixin_51966535/article/details/122073185

版权

cinta 专栏收录该内容

11 篇文章 0 订阅

订阅专栏

1、证明命题11.2

请添加图片描述

封闭性

设任意两个元素 $m_{1},m_{2}\in\mathbb{QR}_{p}$ ，则存在 $x_{1},x_{2}\in\mathbb{Z}_{p}^{*}$ ，使得
$m_{1}\equiv x_{1}^{2} \mod p \\ m_{2}\equiv x_{2}^{2} \mod p$
则 $m_{1}m_{2}\equiv x_{1}^{2}x_{2}^{2}\equiv (x_{1}x_{2})^{2} \mod p$ ，而 $x_{1}x_{2}\in\mathbb{Z}_{p}^{*}$ ，故 $m_{1}m_{2}$ 在模p下是一个平方数， $m_{1}m_{2}\in\mathbb{QR}_{p}$ ，满足封闭性

结合律

设任意三个元素 $m_{1},m_{2},m_{3}\in\mathbb{QR}_{p}$ ，则存在 $x_{1},x_{2},x_{3}\in\mathbb{Z}_{p}^{*}$ ，使得
$m_{1}\equiv x_{1}^{2} \mod p \\ m_{2}\equiv x_{2}^{2} \mod p \\ m_{3}\equiv x_{3}^{2} \mod p$
则 $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} \mod p$ ，故满足结合律

单位元

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

逆元

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

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

请添加图片描述
设 $\mathrm{QR}$ 所构成的群为 $\mathbb{QR}_{p}$ ，定义一个映射 $\psi:\mathbb{Z}_{p}^{*}\rightarrow\mathbb{QR}_{p},\psi(a)=a^{2}$ ，由于 $\psi(mn)=(mn)^{2}=m^{2}n^{2}=\psi(m)\psi(n)$ ，故映射 $\psi$ 是一个群同态映射。

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

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

3、定义映射 $\psi:z_{p}^{}\rightarrow\{\pm1\},\psi(a)=(\frac{a}{p}),\forall a\in z_{p}^{}$ ，证明该映射是一个满同态

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

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

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

5、证明命题11.4

请添加图片描述

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

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

勒让德符号相乘

当a是模p的QR，b也是模p的QR时，ab为QR x QR，仍为QR，故 $(\frac{a}{p})(\frac{b}{p})=1*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*(-1)=(-1)*1=-1=(\frac{ab}{p})$
当a是模p的QNR，b也是模p的QNR时，ab为QNR*QNR，结果为QR，故 $(\frac{a}{p})(\frac{b}{p})=(-1)*(-1)=1=(\frac{ab}{p})$ ，证毕

平方数的勒让德符号为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} \mod p$
当 $p\equiv 1 \mod 4$ 时，则有 $p=4k+1,k\in\mathbb{Z}$ ，则 $(\frac{-1}{p})\equiv (-1)^{(p-1)/2}\equiv(-1)^{(4k+1-1)/2} \equiv 1 \mod p$