CINTA作业九：QR

1.证明:用QR${}_p$表示模p的QR的集合，QR${}_p$在乘法上成群。

封闭性：任取a${}_1$,a${}_2$∈QR${}_p$,a${}_1$*a${}_2$=a${}_3$,因a${}_1$,a${}_2$都可开根为整数，则a${}_3$也可，则a${}_3$∈QR${}_p$
结合律:任取a${}_1$,a${}_2$,a${}_3$∈QR${}_p$,
a${}_1$≡x${}_1$²(mod p)
a${}_2$≡x${}_2$²(mod p)
a${}_3$≡x${}_3$²(mod p)
(a${}_1$*a${}_2)$*a${}_3$=(x${}_1$²x${}_2$²)x${}_3$²(mod p)=x${}_1$²(x${}_2$²x${}_3$²)(mod p)=a${}_1$ *(a${}_2$*a${}_3$)
单位元:1
逆元:

2.群论证明：设p为奇素数，则刚好存在（p-1）/2个模p的QR和（p-1）/2个模p的QNR

定义从Z${}_p$到QR${}_p$的映射ψ:∀a∈Z${}_p$,a→a² ,则a,b∈Z${}_p$,有:
ψ(a⋅b)=(ab)²=a ²⋅b² =ψ(a)∘ψ(b),
故ψ 是一种群同态。
又Q R${}_p$,的单位元是1，故Kerψ = 1 , p − 1 = K , Kerψ=1,p−1=K,是Z${}_p$的正规子群
则存在标准同态ϕ : Z${}_p$-> Z${}_p$/k
由第一同构定理，存在唯一同构映射η :Z${}_p$-> Z${}_p$/k
故|QR${}_p$|=|Z${}_p$*/k|=(p-1)/2,
得证

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

ψ(a⋅b)==(ab/p)=(a/p)(b/p)=ψ(a)∘ψ(b),
所有ψ是一种同态，
又∀ a ∈ Z p ∗ ,
若a是QR,则：ψ ( a ) = 1
若a是QNR,则：ψ ( a ) = − 1
所以ψ 是 一 种 满 射 。 故 是一种满射。故是一种满射。故ψ是一种满同态。

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

证明：
任取a是Z${}_p$*的生成元，设m是模p的一个QR，n是模p的一个QNR，则存在p , q ∈ Z , 使 得a^p=m,a^q=n
当a是模p的QR时，则∀k∈Z,a^q是QR
当a是模p的QNR时，则∀k∈Z,a^2k是QR,a^2k+1是QNR,
由于a^p=m,a^q=n，故a是QNR，
即Z${}_p$*的所有生成元都是模p的二次非剩余。

5、证明命题11.4

1、

①当 a 是 Q R 时 ， 则 a ≡ b ≡ x ² (mod p),故b是QR，则有a/p=b/p=1
②当 a 是 Q N R 时 ，则 a ≡ b ≡ x ² (mod p)无解,故b是QNR，a/p=b/p=-1,
综上，∀ a , b ∈ Z 且 不 能 被 p 整 除 ， 有 ：
如 果 a ≡ b ( m o d p ) , 则 a/p=b/p,
2、
①当a，b均为QR时，则ab也是QR，(a/p)(b/p)=1⋅1=1=(ab)/p
②当a，b均为QNR时，则ab是QR，故(a/p)(b/p)=−1⋅-1=1=(ab)/p
③当a，b其中一个为QR，另一个为QNR时，则ab是QNR，故(a/p)(b/p)=1⋅−1=-1=(ab)/p
3、
无论a是QR还是QNR，都有a²是QR，故有a²/p=1

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

证明：

当p ≡ 1 ( m o d 4 ) 时 ， 则 存 在 k ∈ Z , 使 得 p = 4 k + 1,根据欧拉准则，有：
-1/p≡(-1)^(p-1)/2≡(-1)^(4k+1-1)/2≡1(mod p)=1
当p ≡ − 1 ( m o d 4 ) 时 ， 则 存 在 k ∈ Z , 使 得 p = 4 k + 3 ,根据欧拉准则，有：
-1/p≡(-1)^(p-1)/2≡(-1)^(4k+1-1)/2≡-1(mod p)=1