剩余类、剩余系与完全剩余系

定义 若整数aaa和整数bbb除以正整数mmm的余数相等，则称aaa，bbb模mmm同余，记为a≡b(moda \equiv b(moda≡b(mod m)m)m)，定义很好理解的。 同余类与剩余系 对于∀a∈[0,m−1]\forall a \in[0,m-1]∀a∈[0,m−1]，集合a+km（k∈Z）{a+km}（k \in \Z）a+km（k∈Z）的所有数模mmm同余，余数是aaa，（这个稍微想想就知道，不写证明了），该集合称为一个模mmm的同余类，简记为a‾\overline aa。模mmm的一