同余 若整数 a a a和整数 b b b除以正整数 m m m的余数相等,则称 a a a, b b b模 m m m同余,记为 a ≡ b ( m o d a \equiv b(mod a≡b(mod m ) m) m),定义很好理解的。 同余类与剩余系 对于 ∀ a ∈ [ 0 , m − 1 ] \forall a \in[0,m-1] ∀a∈[0,m−1],集合 a + k m ( k ∈ Z ) {a+km}(k \in \Z) a