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

剩余类, 剩余类环

定义

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}$，则有
     5 ‾ ⋅ a ‾ = 1 ‾ ⇔ ( 13 k 1 + 5 ) ( 13 k 2 + a ) = 13 k + 1 ⇔ 5 a + 13 ( 13 k 1 k 2 + a k 1 + 5 k 2