初等数论 课堂笔记 第三章 -- 剩余类，剩余类环，完全剩余系

剩余类, 剩余类环

定义

1. 设$m\in {\mathbb{Z}}_{>0}$ ，$r\in \mathbb{Z}$，$0\le r\le m-1$，则
   K r = { n ∈ Z : n ≡ r (   m o d   m ) } { {K}_{r}}=\left\{ n\in \mathbb{Z}:n\equiv r\left( \bmod m \right) \right\} Kr​={ n∈Z:n≡r(modm)}
   叫做模$m$的剩余类。
2. { K 0 , K 1 , ⋯   , K m − 1 } \left\{ { {K}_{0}},{ {K}_{1}},\cdots ,{ {K}_{m-1}} \right\} { K0​,K1​,⋯,Km−1​}构成模$m$的剩余类环（环：加减乘封闭），写为 Z / m Z = { 0 , 1 , ⋯   , m − 1 } \mathbb{Z}/m\mathbb{Z}=\left\{ 0,1,\cdots ,m-1 \right\} Z/mZ={ 0,1,⋯,m−1}。环上的加法和乘法如下定义:
   $$K_a+K_b=K_c若a+b\equiv c\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$
   $$K_a\cdot K_b=K_c若ab\equiv c\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$
   
   

例子

1. $\left\{\overline{0},\overline{1},\overline{2},\overline{3}\right\}$是模4的剩余类环，在$\mathbb{Z}/4\mathbb{Z}$中，$\overline{2}\times \overline{2}=\overline{0}$。

2. 若$p$是素数，则模$p$的剩余类环成为一个有限域（加减乘除封闭），写作${\mathbb{F}}_p=\mathbb{Z}/p\mathbb{Z}$。
   例如，在${\mathbb{F}}_7=\left\{\overline{0},\overline{1},\overline{2},\overline{3},\overline{4},\overline{5},\overline{6}\right\}$中，由于
   $$\begin{array}{rl}& 2\times 4=8\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}7\right)\\ & 3\times 5=15\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}7\right)\\ & 6\times 6=36\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}7\right)\end{array}$$
   因此有
   $$\begin{array}{rl}& \overline{2}\times \overline{4}=\overline{1}\Rightarrow \frac{\overline{1}}{\overline{2}}=\overline{4}\\ & \overline{3}\times \overline{5}=\overline{1}\Rightarrow \frac{\overline{1}}{\overline{3}}=\overline{5}\\ & \overline{6}\times \overline{6}=\overline{1}\Rightarrow \frac{\overline{1}}{\overline{6}}=\overline{6}\end{array}$$

3. 在${\mathbb{F}}_{13}=\left\{\overline{0},\overline{1},\cdots ,\overline{12}\right\}$中，不用穷举法求出$\frac{\overline{1}}{\overline{5}}$。
   解
     令$\frac{\overline{1}}{\overline{5}}=\overline{a}$，则有
   $$\begin{array}{rl}& \overline{5}\cdot \overline{a}=\overline{1}\\ & \iff \left(13k_1+5\right)\left(13k_2+a\right)=13k+1\\ & \iff 5a+13\left(13k_1{k}_2+a{k}_1+5k_2-k\right)=1,\forall k,k_1,k_2\in \mathbb{Z}\end{array}$$
   因此求解$\overline{a}$等价于求解
   $$5a+13b=1,a,b\in \mathbb{Z}$$
   （因为一方面$\left(a,13k_1{k}_2+a{k}_1+5k_2-k\right)$本身就是$5a+13b=1$的解；另一方面，由于$13k_1{k}_2+a{k}_1+5k_2-k$中$k$的系数是$-1$，所以对于一个确定的$b$，总能找到一组系数对$\left(k,k_1,k_2\right)$使得$b=13k_1{k}_2+a{k}_1+5k_2-k$）
   进行辗转相除法如下。
   $$\begin{array}{rl}& 13=5\times 2+3\\ & 5=3\times 1+2\\ & 3=2\times 1+1\end{array}$$
   因此有
   $$\begin{array}{rl}& P_0=1,P_1=2,P_2=1\times 2+1=3,P_3=1\times 3+2=5\\ & Q_0=0,Q_1=1,Q_2=1\times 1+0=1,Q_3=1\times 1+1=2\end{array}$$
   因此有特解$\left({\left(-1\right)}^3{P}_3,{\left(-1\right)}^2{P}_2\right)=\left(-5,2\right)$，方程的通解为
   $$\{\begin{array}{rl}& a=-5-13t\\ & b=2+5t\end{array},t\in \mathbb{Z}$$
   在 Z \mathbb{Z}