初等数论 2.3 剩余类

定理：由同余关系是一种等价关系，对于给定的$m\in {\mathbb{Z}}^{+}$，可以通过模$m$对应$\mathbb{Z}$的分拆.
定义：设$m\in {\mathbb{Z}}^{+}$，对每个整数$0\le r\le m-1$，称集合$$C_r=n\mid n\equiv r(\mathrm{m}\mathrm{o}\mathrm{d}m)，n\in \mathbb{Z}$$为模$m$的一个剩余类.

$C_0,C_1,\cdots ,C_{m-1}$构成$\mathbb{Z}$的一个分拆.

定义：设$m\in {\mathbb{Z}}^{+}$，从模$m$的每个剩余类中任取一个数$x_i(0\le i\le m-1)$，称集合 { x 0 , x 1 , ⋯   , x m − 1 } \displaystyle \{x_0,x_1,\cdots,x_{m-1}\} {x0​,x1​,⋯,xm−1​}为模$m$的一个完全剩余类（complete residue system）.

模$m$的完全剩余系有无穷多个.

一些常用的完全剩余系：
1.模$m$的最小非负完全剩余系： { 0 , 1 , 2 , ⋯   , m − 1 } \displaystyle \{0,1,2,\cdots,m-1\} {0,1,2,⋯,m−1}.
2.模$m$的最小正完全剩余系： { 1 , 2 , ⋯   , m } \displaystyle \{1,2,\cdots,m\} {1,2,⋯,m}.
3.模$m$的绝对最小完全剩余系： { { − m − 1 2 , ⋯   , − 2 , − 1 , 0 , 1 , 2 , ⋯   , m − 1 2 } m 为 奇 数 { − m 2 + 1 , ⋯   , − 2 , − 1 , 0 , 1 , 2 , ⋯   , m 2 } 或 { − m 2 , ⋯   , − 2 , − 1 , 0 , 1 , 2 , ⋯   , m 2 + 1 } m 为 偶 数 \displaystyle \begin{cases} \{-\dfrac{m-1}{2},\cdots,-2,-1,0,1,2,\cdots,\dfrac{m-1}{2}\} \quad m为奇数 \\ \{-\dfrac{m}{2}+1,\cdots,-2,-1,0,1,2,\cdots,\dfrac{m}{2}\}或\{-\dfrac{m}{2},\cdots,-2,-1,0,1,2,\cdots,\dfrac{m}{2}+1\} \quad m为偶数 \end{cases} ⎩⎨⎧​{−2m−1​,⋯,−2,−1,0,1,2,⋯,2m−1​}m为奇数{−2m​+1,⋯,−2,−1,0,1,2,⋯,2m​}或{−2m​,⋯,−2,−1,0,1,2,⋯,2m​+1}m为偶数​
定理：$m$个整数构成模$m$的一个完全剩余系当且仅当它们两两模$m$不同余.
定理：设$m\in {\mathbb{Z}}^{+}，a,b\in \mathbb{Z}，(a,m)=1$，若 { x 1 , x 2 , ⋯   , x m } \{x_1,x_2,\cdots,x_m\} {x1​,x2​,⋯,xm​}是模$m$的一个完全剩余系，则 { a x 1 + b , a x 2 + b , ⋯   , a x m + b } \{ax_1+b,ax_2+b,\cdots,ax_m+b\} {ax1​+b,ax2​+b,⋯,axm​+b}也是模$m$的一个完全剩余系.
定理：设$m_1,m_2\in {\mathbb{Z}}^{+}，k\in \mathbb{Z}$，且$(k,m_1)=1$.又设 X = { x 1 , x 2 , ⋯   , x m 1 } Y = { y 1 , y 2 , ⋯   , y m 2 } \displaystyle X=\{x_1,x_2,\cdots,x_{m_1}\} \quad Y=\{y_1,y_2,\cdots,y_{m_2}\} X={x1​,x2​,⋯,xm1​​}Y={y1​,y2​,⋯,ym2​​}分别是模$m_1$与模$m_2$的完全剩余系，则 M = { k x + m 1 y ∣ x ∈ X , y ∈ Y } \displaystyle M=\{kx+m_1y\mid x\in X,y\in Y\} M={kx+m1​y∣x∈X,y∈Y}是模$m_1{m}_2$的一个完全剩余系.
推论：若$m_1,m_2\in {\mathbb{Z}}^{+}$，且$(m_1,m_2)=1$，则当$x_1$与$x_2$分别通过模$m_1$与模$m_2$的完全剩余时$m_2{x}_1+m_1{x}_2$通过模$m_1{m}_2$的完全剩余系.
一般地，设$m_i\in {\mathbb{Z}}^{+}(1\le i\le n,n\ge 2)$，则当$x_i(1\le i\le n)$通过模$m_i$的完全剩余时$$x=x_1+m_1{x}_2+m_1{m}_2{x}_3+\cdots +m_1{m}_2\cdots m_{n-1}{x}_n$$通过模$m_1{m}_2\cdots m_n$的完全剩余系.

---

练习：对于$\forall m\in {\mathbb{Z}}^{+}$，存在无穷多个Fibonacci数$f_n$，使得$m\mid f_n$.