通过定义,我们可知同余关系本质上就是运算代换,
知道了同余关系就是运算的等价关系
接下来我们就要学会验证是否满足同余关系
步骤:先根据等价关系,选择对于等价关系等价的两个变量 (一元运算)(如果代数系统中运算是二元运算,我们要选4个变量 i1等价于i2,i3等价于i4, 然后判断 i1和i3在代数系统运算规则下是否和i2和i4在代数系统运算规则下等价)
我们看看他们对于代数系统的运算规则后是否满足 等价关系
结合这个例子来看,首先等价关系是绝对值相等,代数系统中+是二元运算,需要定义4个自变量,然后我们要看等价关系对于运算是否满足,即 i1+i3和 i2+i4 是否满足等价关系
同余关系其实是同态映射下的一个衍生物:就是对于f(x)因变量相同的自变量组合