CINTA作业九：QR

最新推荐文章于 2024-09-28 11:36:52 发布

mkhhh233

最新推荐文章于 2024-09-28 11:36:52 发布

阅读量302

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/mkhhh233/article/details/121913866

版权

1.证明命题11.2。

证：

封闭性：∀a,b∈QR_p，则∀a,b∈Z^*_p，a*b (mod p) = a(mod p) * b(mod p)，由因为存在x，y∈Z^*_p，使得a ≡ x² (mod p)，b ≡ y² (mod p)，所以a * b ≡ x² * y² (mod p)，由二次剩余的定义可得a * b = QR∈QR_p

结合律：∀a,b,c∈QR_p，有a ≡ x₁² (mod p)，b ≡ x₂² (mod p)，c ≡ x₃² (mod p)，所以(a * b) * c = x₁²x₂²x₃²(mod p) = a * (b * c)

单位元：因为a² * 1 ≡ 1 * a² (mod p)，所以1为单位元

逆元：∀a∈QR_p，存在x∈Z，使得a ≡ x² (mod p)，又由a * (x^-1)² ≡ x² * (x^-1)² ≡ 1(mod p)，所以a^-1 ≡ (x^-1)² (mod p)

综上，得证

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

证：

定义ϕ是从Z^*_p到QR_p的映射：∀a∈Z^*_p，a→a²，令a,b∈Z^*_p，有ϕ(a * b) = (a * b)² = a² * b² = ϕ(a) * ϕ(b)，故ϕ是一种群同态

由因为QR_p的单位元为1，由Kernel定义可得Kerϕ = ϕ_-1({1}) = 1，

又由命题9.7可得Kerϕ为Z^*_p的正规子群，由标准同态的定义可知，存在同态映射ψ：Z^*_p→Z^*_p/Kerϕ，

综上由第一同构定理可得存在唯一同构映射η：QR_p→Z^*_p/Kerϕ，故有|QR_p| = |Z^*_p/Kerϕ| = |Z^*_p|/|Kerϕ| = p-1/2 ，则|QNR_p = p-1/2

综上，得证

3.定义映射 ψ : Z^_p → {±1} 为 ψ(a) = (a/p) ，∀a ∈ Z^_p。请证明这是一个满同态。

证：

因为ψ(a * b) = (a * b/p) = (a/p) * (b/p) = ψ(a) * ψ(b)，所以ψ是一种同态，

由勒让德符号的定义可得当a为QR时，ψ(a) = 1，当a为QNR时ψ(a) = -1，故ψ是满射，综上可证ψ是一种满同态

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

证：

令g为Z^*_p的生成元，且g是一个QR，则存在x∈Z^*_p，使得g ≡ x²(mod p)，由例7.5的结论可得，|g| = |Z^*_p| = p-1，因为Z^*_p的单位元为1，所以由阶的定义可得g^p-1 ≡ x^2(p-1) ≡ 1 (mod p)，由费尔马小定理得a^p-1 ≡ 1(mod p)，所以有g^(p-1)/2 ≡ a^p-1 ≡ 1(mod p)，矛盾，故g不是生成元