CINTA 第七章

CINTA 作业七：CRT

1. 运用 CRT 求解：

$$\begin{gathered} x\equiv 8(\mathrm{m}\mathrm{o}\mathrm{d}11) \\ x\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}19) \end{gathered}$$

解：
$$\left[\begin{array}{ccc}1& 0& 11\\ 0& 1& 19\end{array}\right]\text{\hspace{1em}(1)}$$
$$\left[\begin{array}{ccc}0& 1& 19\\ 2& -1& 3\end{array}\right]\text{\hspace{1em}(2)}$$
$$\left[\begin{array}{ccc}2& -1& 3\\ -12& 7& 1\end{array}\right]\text{\hspace{1em}(3)}$$

• 求得：
  $$\{\begin{array}{l}{p}^{-1}\equiv -12(\mathrm{m}\mathrm{o}\mathrm{d}19)\\ q^{-1}\equiv 7(\mathrm{m}\mathrm{o}\mathrm{d}11)\end{array}\text{\hspace{1em}(4)}$$
• 原式可由： $(aq{q}^{-1}+bp{p}^{-1})\mathrm{m}\mathrm{o}\mathrm{d}pq=41$

2. 运用 CRT 求解：

$$\begin{gathered} x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}5) \\ x\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}7) \\ x\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}9) \\ x\equiv 4(\mathrm{m}\mathrm{o}\mathrm{d}11) \end{gathered}$$

已知：$M=5\ast 7\ast 9\ast 11=3465,k_i=M/m_i$
那么：$x\equiv a{k}_1{k}_1^{-1}+b{k}_2{k}_2^{-1}+c{k}_3{k}_3^{-1}+d{k}_4{k}_4^{-1}$
由中国剩余定理推广：$k_i{k}_i^{-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$
$$\{\begin{array}{l}a\ast k_1\ast k_1^{-1}\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ b\ast k_2\ast k_2^{-1}\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ c\ast k_3\ast k_3^{-1}\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}{m}_3)\\ d\ast k_4\ast k_4^{-1}\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}{m}_4)\end{array}$$

• 计算得：
  $$\{\begin{array}{l}{k}_1^{-1}=2\\ k_2^{-1}=3\\ k_3^{-1}=4\\ k_4^{-1}=8\end{array}$$

• 结果为：$(1\ast 693\ast 2+2\ast 495\ast 3+3\ast 385\ast 4+4\ast 315\ast 8)\mathrm{m}\mathrm{o}\mathrm{d}3465=1735$

3. 手动计算 $2000^{2019}(\mathrm{m}\mathrm{o}\mathrm{d}221)$ ，不允许使用电脑或者其它电子设备。

已知：$221=13\times 17$
那么：${\mathbb{Z}}_{221}^{\ast }$ 同构于 ${\mathbb{Z}}_{13}^{\ast }\times {\mathbb{Z}}_{17}^{\ast }$
所以：$2000\leftrightarrow (-2,-6)$
因此原式转为：$2000^{2019}\leftrightarrow ((-2{)}^{2019}\mathrm{m}\mathrm{o}\mathrm{d}13,(-6{)}^{2019}\mathrm{m}\mathrm{o}\mathrm{d}17)$
又有欧拉定理：$2000^{2019}\leftrightarrow ((-2{)}^3\mathrm{m}\mathrm{o}\mathrm{d}13,(-6{)}^3\mathrm{m}\mathrm{o}\mathrm{d}17)=(5,5)$
结果为：$2000^{2019}\leftrightarrow (5,5)\leftrightarrow 5$

9. 请使用第一同构定理证明定理 10.4 中定义的映射 $\varphi$ 的单射性。

原命题：
设 $n=pq,p>1$ 和 $q>1$ 是两个互素的正整数。则
$${\mathbb{Z}}_n\cong {\mathbb{Z}}_p\times {\mathbb{Z}}_q且{\mathbb{Z}}_n^{\ast }\cong {\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$$
定义运算 $\varphi (x)=([x\mathrm{m}\mathrm{o}\mathrm{d}p],[x\mathrm{m}\mathrm{o}\mathrm{d}q])$

• 对于 ${\mathbb{Z}}_n\cong {\mathbb{Z}}_p\times {\mathbb{Z}}_q$
  已知：$\mathbb{Z}$ 的单位元为0
  那么：${\mathbb{Z}}_n$ 的单位元也为0，${\mathbb{Z}}_p\times {\mathbb{Z}}_q$ 单位元为 $(0,0)$
  而且： K = ker ⁡ ( ϕ ) = { 0 } \mathbb{K}=\ker(\phi)=\{0\} K=ker(ϕ)={0} 满足 $\mathbb{K}$ 为 ${\mathbb{Z}}_n$ 的正规子群
  又因：$|\mathbb{K}|=1$ 则：$ord({\mathbb{Z}}_n/\mathbb{K})=|\mathbb{Z}|$
  得：映射 $\Phi :{\mathbb{Z}}_n\mapsto {\mathbb{Z}}_n/\mathbb{K}为\Phi (z)=z\mathbb{K},\forall z\in {\mathbb{Z}}_n$
  所以：$\Phi :{\mathbb{Z}}_n\mapsto {\mathbb{Z}}_n/\mathbb{K}$ 为标准同态，至少为一单射
  又知：$\varphi (a+b)=\varphi (a)+\varphi (b),\forall a,b\in {\mathbb{Z}}_n$ 为同态映射
  所以：据第一同构定理，存在唯一同构映射 $\eta :{\mathbb{Z}}_n/\mathbb{K}\mapsto \varphi ({\mathbb{Z}}_n)$ 使得 $\varphi =\eta \Phi$
  那么：$\varphi$ 至少为一单射
  
  

• 对于 ${\mathbb{Z}}_n^{\ast }\cong {\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$
  同理：我们可以找到 ${\mathbb{Z}}_n^{\ast }$ 单位元1
  而且：可以得到 ${\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 单位元 $(1,1)$
  所以：同样可以得到 $\varphi :{\mathbb{Z}}_n^{\ast }\mapsto {\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 为一单射

10. 完成定理 10.4 的证明，即证明 ${\mathbb{Z}}_n^{\ast }$ 与 ${\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 同构。

已知：$n=pq,\gcd (p,q)=1$
要证明：${\mathbb{Z}}_n^{\ast }$ 与 ${\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 同构
即证明：${\mathbb{Z}}_n^{\ast }\mapsto {\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 为双射

• 单射：
  设定运算 $\varphi :{\mathbb{Z}}_n^{\ast }\mapsto {\mathbb{Z}}_p^{\ast }\times {\mathbb{Z}}_q^{\ast }$ 为：
  $$\varphi (x)=([x\mathrm{m}\mathrm{o}\mathrm{d}p],[x\mathrm{m}\mathrm{o}\mathrm{d}q])$$
  那么，$\forall a,b\in {\mathbb{Z}}_n^{\ast }$，有：
  $$\begin{gathered} \varphi (a\times b)=([a\times b\mathrm{m}\mathrm{o}\mathrm{d}p],[b\times b\mathrm{m}\mathrm{o}\mathrm{d}q]) \\ =([(a\mathrm{m}\mathrm{o}\mathrm{d}p)\times (b\mathrm{m}\mathrm{o}\mathrm{d}p)\mathrm{m}\mathrm{o}\mathrm{d}p],[(a\mathrm{m}\mathrm{o}\mathrm{d}q)\times (b\mathrm{m}\mathrm{o}\mathrm{d}q)\mathrm{m}\mathrm{o}\mathrm{d}q]) \\ =(a\mathrm{m}\mathrm{o}\mathrm{d}p,a\mathrm{m}\mathrm{o}\mathrm{d}q)\times (b\mathrm{m}\mathrm{o}\mathrm{d}q,b\mathrm{m}\mathrm{o}\mathrm{d}q) \\ =\varphi (a)\times \varphi (b) \end{gathered}$$
  
  

• 满射：
  据中国剩余定理：
  $\forall a\in {\mathbb{Z}}_p^{\ast },b\in {\mathbb{Z}}_q^{\ast }$
  存在唯一解 $x,(0\le x\le n)$ 使得：
  $$\begin{gathered} x\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p) \\ x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}q) \end{gathered}$$
  因此：$a,b$ 遍布上述群，满足满射条件