同余(Congruence Modulo)是数论中的一种等价关系。给定一个正整数 ,如果用
去除任意两个正整数
与
所得到的余数相同,我们就称
对模
同余,记为
,否则称
对模
不同余,记为
,其中
称作模。
- 性质1(反身性):
- 性质2(对称性):若
,那么
- 性质3(传递性):若
,那么
- 性质4(可加减性):若
,
,那么
证明:设
,则
,
,即
- 性质5(可乘性):若
,
,那么
证明:设
,则
,
,所以
,
,即
- 性质6:若
,那么
- 性质7:若
,
,那么
- 性质8:若
,则
- 性质9:若
,
为
的公因数,则
- 性质10:若
,则
- 性质11:若
,则
- 性质12:若
,则
参考文献: