CINTA作业九

本文详细证明了QRp和QNRp的封闭性、结合律、单位元和逆元,利用群论方法阐述定理11.1,并探讨了映射到{-1, +1}

CINTA作业九

1.证明命题 11.2。
证明:
(1)封闭性:
∀ a,b∈QRp ,∃ x,y∈Zx2≡a(mod p),y2≡b(mod p) ,则a×b≡x2×y2=(x×y)2故a×b∈QRp\forall\ a,b\in QR_p\ ,\exist\ x,y\in Z\\ x^2\equiv a(mod\ p),y^2\equiv b(mod \ p)\ ,\\ 则a\times b\equiv x^2\times y^2=(x\times y)^2\\ 故a\times b\in QR_p a,bQRp , x,yZx2a(mod p),y2b(mod p) ,a×bx2×y2=(x×y)2a×bQRp

(2)结合律:
∀ a,b,c∈QRp ,∃ x,y,z∈Zx2≡a(mod p),y2≡b(mod p) ,z2≡c(mod p)则(a×b)×c≡x2×y2×z2=a×(b×c)\forall\ a,b,c\in QR_p\ ,\exist\ x,y,z\in Z\\x^2\equiv a(mod\ p),y^2\equiv b(mod \ p)\ ,z^2\equiv c(mod\ p)\\ 则(a\times b)\times c\equiv x^2\times y^2\times z^2=a\times(b\times c) a,b,cQRp , x,y,zZx2a(mod p),y2b(mod p) ,z2c(mod p)(a×b)×cx2×y2×z2=a×(b×c)

(3)单位元:1

(4)逆元:
对于任意的a∈QR,由封闭性和费马小定理得
∃ap−2∈QRp, 使a×ap−2=ap−1≡1(mod p)\exist a^{p-2}\in QR_p,\ 使a\times a^{p-2}=a^{p-1}\equiv1(mod \ p)ap2QRp, 使a×ap2=ap11(mod p)

2.使用群论的方法证明定理 11.1。
构造一个映射 ϕ:Zp∗→QRp为a→a2,∀a∈Zp∗\phi:Z^*_p\rightarrow QR_p为a\rightarrow a^2,\forall a\in Z^*_pϕ:ZpQRpaa2,aZpQRpQR_pQRp的定义可知该映射是一个满射,
又由ϕ(ab)=(ab)2=a2b2=ϕ(a)ϕ(b)\phi(ab)=(ab)^2=a^2b^2=\phi(a)\phi(b)ϕ(ab)=(ab)2=a2b2=ϕ(a)ϕ(b)可知ϕ\phiϕ是一个群同态
K=kerϕ={1,p−1}K=ker\phi=\{1,p-1\}K=kerϕ={1,p1},构造一个标准同态ψ:Zp∗→Zp∗/K\psi :Z^*_p\rightarrow Z^*_p/Kψ:ZpZp/K
由第一同构定理可得Zp∗/K≅QRpZ^*_p/K\cong QR_pZp/KQRp,则有∣QRp∣=∣Zp∗/K∣=(p−1)/2|QR_p|=|Z^*_p/K|=(p-1)/2QRp=Zp/K=(p1)/2

3.定义映射ψ:Zp∗→{−1,+1}为ψ(a)=(a/p),∀a∈Zp∗\psi :Z^*_p\rightarrow\{-1,+1\}为\psi(a)=(a/p),\forall a\in Z^*_pψ:Zp{1,+1}ψ(a)=(a/p)aZp。请证明这是一个满同态。

默认ppp是一个奇素数,由定理11.1得存在(p−1)/2(p −1)/2(p1)/2个模pppQRQRQR(p−1)/2(p −1)/2(p1)/2个模pppQNRQNRQNR,故映射ψ\psiψ是满射

由勒让德符号的属性得
∀a,b∈Zp∗, ψ(ab)=(ab/p)=(a/p)(b/p)=ψ(a)ψ(b)\forall a,b\in Z^*_p,\ \psi(ab)=(ab/p)=(a/p)(b/p)=\psi(a)\psi(b)a,bZp, ψ(ab)=(ab/p)=(a/p)(b/p)=ψ(a)ψ(b),故ψ\psiψ是满同态

4.设 p 是奇素数,证明Zp∗Z^*_pZp的所有生成元都是模 p 的二次非剩余。

使用反证法:假设Zp∗Z^*_pZp的所有生成元都是模 p 的二次剩余。
令g是Zp∗Z^*_pZp的一个生成元,且g是GR,则∃a∈Z,g≡a2(mod p)\exist a\in Z,g\equiv a^2(mod \ p)aZ,ga2(mod p)
结合费马小定理有g(p−1)/2≡a2(p−1)/2=ap−1≡1(mod p)g^{(p-1)/2} \equiv a^{2(p-1)/2}=a^{p-1}\equiv 1(mod\ p)g(p1)/2a2(p1)/2=ap11(mod p),这与生成元g的阶p-1相矛盾

Zp∗Z^*_pZp的所有生成元都是模 p 的二次非剩余

5、证明命题11.4
1、
①当a是QR时,∃x∈Z,a≡b≡x2(mod p)\exist x\in Z,a\equiv b \equiv x^2(mod\ p)xZ,abx2(mod p),故b也是QR,所以(a/p)=(b/p)=1(a/p)=(b/p)=1(a/p)=(b/p)=1
②当 a 是 Q N R 时 ,则 a≡b≡x2(mod p)a\equiv b\equiv x^2 ( mod\ p )abx2(mod p)无 解,故b也是QNR,所以(a/p)=(b/p)=−1(a/p)=(b/p)=-1(a/p)=(b/p)=1

2、
由命题11.3
①当a,b均为QR时,ab也是QR,故(a/p)(b/p)=1=(ab/p)(a/p)(b/p)=1=(ab/p)(a/p)(b/p)=1=(ab/p)
②当a,b均为QNR时,ab是QR,故(a/p)(b/p)=(−1)(−1)=1=(ab/p)(a/p)(b/p)=(-1)(-1)=1=(ab/p)(a/p)(b/p)=(1)(1)=1=(ab/p)
③当a,b其中一个为QR,一个为QNR时,ab是QNR,故(a/p)(b/p)=(−1)1=−1=(ab/p)(a/p)(b/p)=(-1)1=-1=(ab/p)(a/p)(b/p)=(1)1=1=(ab/p)
综上(a/p)(b/p)=(ab/p)(a/p)(b/p)=(ab/p)(a/p)(b/p)=(ab/p)

3、无论a是QR或QNR,a2a^2a2都是QR,所以(a2/p)=1(a^2/p)=1(a2/p)=1

6、给出推论11.1的完整证明
p≡1(mod 4)p\equiv 1(mod\ 4)p1(mod 4)时,存在k∈Zk\in ZkZ,使得p=4k+1p=4k+1p=4k+1,根据欧拉准则
(−1/p)≡(−1)(p−1)/2=(−1)(4k+1−1)/2=1(mod p)(-1/p)\equiv(-1)^{(p-1)/2}=(-1)^{(4k+1-1)/2}=1(mod\ p)(1/p)(1)(p1)/2=(1)(4k+11)/2=1(mod p)

p≡−1(mod 4)p\equiv -1(mod\ 4)p1(mod 4)时,存在k∈Zk\in ZkZ,使得p=4k−1p=4k-1p=4k1,根据欧拉准则
(−1/p)≡(−1)(p−1)/2=(−1)(4k−1−1)/2=(−1)2k−1=−1(mod p)(-1/p)\equiv(-1)^{(p-1)/2}=(-1)^{(4k-1-1)/2}=(-1)^{2k-1}=-1(mod\ p)(1/p)(1)(p1)/2=(1)(4k11)/2=(1)2k1=1(mod p)

评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值