CINTA作业九：QR

最新推荐文章于 2021-12-30 23:27:45 发布

*猫和老鼠*

最新推荐文章于 2021-12-30 23:27:45 发布

阅读量220

点赞数 1

分类专栏：数论作业

本文链接：https://blog.csdn.net/m0_52190697/article/details/122161624

版权

数学

数论作业专栏收录该内容

9 篇文章 1 订阅

订阅专栏

文章目录

第1题
第2题
第3题
第4题
第5题
第6题

第1题

在这里插入图片描述

$\forall a,b \in QR_p,a*b =QR \in QR_p ∀a,b∈QR p ,a∗b=QR∈QR p$

$\forall m_1,m_2,m_3 \in QRp，有m_1 \equiv x_1^2 (mod p)，m_2, \equiv x_2^2 (mod p)，m_3 \equiv x_3^2(mod p) x_1,x_2,x_3 \in Zp 。(m_1m_2,)m_3 \equiv (x_1^2x_2^2)x_3^2 (mod p)=x_1^2(x_2^2x_3^2) (mod p) 因此，(m_1m_2,)m_3=m_1(m_2,m_3)。$

$(3) 单位元：乘法单位元： 1$
$4) 逆元： p=1时，显然Q R p QR_pQR p 满足群的定理 p≥3时，假设存在逆元a − 1 a^{-1}a −1$

$由费马小定理有： a p − 1 ≡ 1 ( m o d p ) a^{p-1}≡1(mod\ p) a p−1 ≡1(mod p)a a − 1 ≡ 1 ( m o d p ) aa^{-1}≡1(mod\ p) aa −1 ≡1(mod p)$

$a − 1 ≡ a p − 2 a^{-1}≡a^{p-2} a −1 ≡a p−2 故逆元存在$

第2题

在这里插入图片描述
$设 p 为奇素数，则刚好存在 (p - 1) / 2 个模 p 的 Q R 和 (p - 1) / 2 个模 p 的 Q N R 。$

在这里插入图片描述

第3题

在这里插入图片描述
$因为 Z p * 一定存在 Q R 与 Q N R ，所以可知 ψ 是一个满射。由命题 11.4 可知， \forall a ， b \in Z p * ， ψ (a b) = ψ (a) ψ (b) ，即证得 ψ 是一个同态映射。因此 ψ 是一个满同态。$

第4题

在这里插入图片描述
$设g是Zp*的生成元，由p是奇素数可知g的阶为p-1。假设g是模p的二次剩余，则存在a∈Zp*，g≡a^2 (mod p)。可得g^{(p-1)}≡a^{2(p-1)}≡ 1 (mod p)，而由费尔马小定理得a^{(p-1)}≡ 1(mod p) g^{(p-1)/2}≡ a^{(p-1)}≡ 1 (mod p)，这与g的阶为p-1矛盾。因此Zp* 的所有生成元都是模 p 的二次非剩余。$

第5题

在这里插入图片描述

$a≡b≡x^2 (mod\ p),a≡b≡x 2 (mod p),此时b为QR, ( a p ) = ( b p ) = 1 ,\left( \frac a p\right)=\left( \frac b p\right)=1,( p a )=( p b )=1$
$a≡b≡x^2 (mod\ p)，a≡b≡x 2(mod p)，此时b为QNR，有( a p ) = ( b p ) = − 1 \left( \frac a p\right)=\left( \frac b p\right)=-1( p a )=( p b )=−1$

$a≡b(mod\ p),\left( \frac a p\right)=\left( \frac b p\right)a≡b(mod p),( p a )=( p b )成立$

$\left( \frac a p\right)\left( \frac b p\right) = 1·1 = 1 = \left( \frac {ab} p\right)( p a )( p b )=1⋅1=1=( p ab )$

$\left( \frac a p\right)\left( \frac b p\right) = (-1)·(-1) = 1 = \left( \frac {ab} p\right)( p a )( p b )=(−1)⋅(−1)=1=( p ab )$

$\left( \frac a p\right)\left( \frac b p\right) = 1·(-1) = -1 = \left( \frac {ab} p\right)( pa)( p)=1⋅(−1)=−1=( pab ) 故( a p ) ( b p ) = ( a b p ) \left( \frac a p\right)\left( \frac b p\right) =\left( \frac {ab} p\right)( pa )( pb )=( pab)成立$

第6题

在这里插入图片描述

$根据欧拉准则，(-1/p) ≡ (-1)^{(p-1)/2} (mod p) 1.若p≡ 1(mod 4)，则存在k∈Z，有p=4k+1，代入得 (-1/p) ≡ (-1)^{2k} (mod p) ≡ 1 (mod p)。因此(-1/p) = 1。 2.若p ≡ −1 (mod 4)，则存在k∈Z，有p=4k-1，代入得 (-1/p) ≡ (-1)^{2k-1} (mod p) ≡ -1 (mod p)。因此(-1/p) = -1。$