CINTA QR(二次剩余)

CINTA作业九 QR

一、证明：用QR_p表示模p的QR的集合，QR_p在乘法上成群。

证明：

若成群，模p的QR 1 必然满足单位元的功能。

结合性：
略；

封闭性：
任意a、b∈QR_p，有
a ≡ x² （mod p） b ≡ y² (mod p) (x、y∈Z)
ab ≡ x²y² ≡ (xy)² ( mod p )
因而ab为 p的QR，在集合内，集合满足封闭性。

逆元：
任意 a ∈QR_p 存在x∈Z 使得 a ≡ x² (mod p)
费尔马小定理告诉我们：
a^p-1 ≡ 1 （mod p）
只需证 a^p-2在QR_p内，则集合内任意元有其逆元。
a = kp+x² ;
乘法操作下 a^p-2 = (kp+x²)^p-2 = np + (x^p-2)² (k,n∈Z)
a^p-2 ≡ (x^p-2)² (mod p) ，因而a^p-2∈QR_p

综上所述，QR_p在乘法上成群。

二、使用群论的方法证明：设p为奇素数，则刚好存在(p-1)/2个模p的QR和(p-1)/2个模p的QNR。

证明：

p为奇素数，Z_p^*内有 p-1 个元素。
设 m 为 模p的QR，
m ≡ x² (mod p) （x∈Z_p^*）
m为QR，存在且必存在两个不同余解 x₀，x₁
即 Z_p^* p-1 个元素中两两成对“产生同样的效果”。
所以，刚好存在(p-1)/2个模p的QR和(p-1)/2个模p的QNR。

三、定义映射φ ：Z_p^*→{±1}为φ(a)=(a/p),任意a∈Z_p^*。请证明这是一个满同态。

证明：

∈ {Z_p}^*, 即不存在 p | a, 由勒让德符号的定义可得这是一个满射, QR -> 1, QNR -> -1.
ψ(ab) = (ab/p) = (a/p)(b/p) = ψ(a)ψ(b), 即是一个同态

参考：

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

证明：
设g是Zp的生成元，由p是奇素数可知g的阶为p-1。
假设g是模p的二次剩余，则存在a∈ \in∈Zp，g≡ \equiv≡a2 (mod p)。
可得g(p-1)≡ \equiv≡a2(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矛盾。
因此Zp* 的所有生成元都是模 p 的二次非剩余。
参考：https://blog.csdn.net/m0_53549959/article/details/122124798

五、证明 ：设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.

证明：

如果a≡ \equiv≡b (mod p)，若a是模p的QR，那么b≡ \equiv≡ a ≡ \equiv≡x2 (mod p),x∈ \in∈Zp，因此b也是模p的QR，a/p = b/p =1。
若a是模p的QNR，那么不存在Zp中的元素的平方与a同模，同样也不与b同模，因此b也是模p的QNR，a/p = b/p = -1。
2.
根据命题11.3可以得出。
3.
由第二点可以得出。即(a2/p)=(a/p)(a/p)=(a/p)2=1。
参考：https://blog.csdn.net/m0_53549959/article/details/122124798

六、给出以下推论的完整证明：

设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
参考：https://blog.csdn.net/m0_53549959/article/details/122124798