数论中的重要概念。给定一个正整数m,如果二整数α、b)满足m│α-b)(α-b)被m整除),就称整数α、b)对模m同余，记作α≡b)(mod m)。对模m同余是整数的一个等价关系。

性质信息

1 反身性 a ≡ a (mod m)

2 对称性 若a ≡ b(mod m) 则b ≡ a (mod m)

3 传递性 若a ≡ b (mod m)，b ≡ c (mod m),则a ≡ c (mod m)

4 同余式相加若a ≡ b (mod m)，c≡d(mod m)，则a+-c≡b+-d（mod m）

5 同余式相乘 若a ≡ b (mod m)，c≡d(mod m)，则ac≡bd（mod m）