离散数学-代数系统5-同余

 

通过定义，我们可知同余关系本质上就是运算代换，

 

知道了同余关系就是运算的等价关系

接下来我们就要学会验证是否满足同余关系

 

步骤：先根据等价关系，选择对于等价关系等价的两个变量 （一元运算）（如果代数系统中运算是二元运算，我们要选4个变量  i1等价于i2，i3等价于i4, 然后判断  i1和i3在代数系统运算规则下是否和i2和i4在代数系统运算规则下等价）

我们看看他们对于代数系统的运算规则后是否满足 等价关系

结合这个例子来看，首先等价关系是绝对值相等，代数系统中+是二元运算，需要定义4个自变量，然后我们要看等价关系对于运算是否满足，即  i1+i3和  i2+i4 是否满足等价关系

 

同余关系其实是同态映射下的一个衍生物：就是对于f(x)因变量相同的自变量组合