剩余类群

$$a=qm+r(0\le r<m)$$

把模 m 同余的整数归为一类，称为剩余类，剩余类中的每一个数称为该类的剩余或者代表，r 称为该类的最小非负剩余

这些剩余类的集合记为 ${\mathbb{Z}}_m$

在这个集合之间定义模的加法，可以证明这是一个 循环群

$$\bar{i}+\bar{j}=\overline{i+j}$$

剩余类群的性质