同余式

**1**.**自反性**：$a\equiv a(\bmod m)$ **2**.**对称性**：若 $a\equiv b(\bmod m)$ ,则 $b\equiv a(\bmod m)$ **3**.**传递性**：若 $a\equiv b(\bmod m)$ ,$b\equiv c(\bmod ......

剩余类与完全剩余系 剩余类 定义： $C_r$:形如$qm+r$的所有整数组成的集合 $C_0,C_1,...,C_(m-1)$:模数$m$的剩余类 完全剩余系 定义： 1.从剩余类的每类中各取一个数，组成的$m$个数称为模数$m$的一组完全剩余系。 证明……是一组完全剩余系/通过完全剩余系：两两对 ......