同余关系 Congruence relation
(重定向自Congruence transformation)
在数学特别是抽象代数中,同余关系或简称同余是兼容于某个代数运算的等价关系。
元型例子是模算术:对于一个正整数n,两个整数a和b被称为同余模n,如果a − b整除于n(还有一个等价的条件是它们除以n得出同样的余数)。
例如,5和11同余模3:
因为11 − 5得出6,它整除于3。或者等价的说,这两个数除以3得到相同的余数:
如果并且
,则
并且
。这把同余(mod n)变成了在所有整数的环上的一个等价。