6.4同余关系.pdfVIP

离散数学 Discrete Mathematics 6.4同余关系 张晓西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011420 本节我们把代数A= 〈S, *, △〉作为讨论对象。 是S上 的二元运算，△是S上的一元运算，我们并把a b写成ab。 设~是代数A= 〈S, *, △〉的载体S上的一个等价关系, a、 b、c是S的任意元素。 (1) 当a~b时, 若有ac~bc和ca~cb, 那么我们说等价关系~, 在运算 下, 具 有置换性质。即置换一个运算对象为等价类中另一个, 不变更结果的等价类。 或者说, 等价关系~, 在运算 下, 仍能保持。 (2) 当a~b时, 若有△a~△b, 那么我们说等价关系~, 在运算△下, 具有置换 性质, 或者说, 等价关系在运算△下仍能保持。 。 定义 6.41 在代数载体上的等价关系R, 如果在代数运算 下, 仍能保持, 那么称R是关于运算 。的同余关系。 图6.41 例 1 (a) 我们定义一个分数为整数序偶 〈P, Q〉, 写作P/Q, 这里Q≠0。设 F是所有分数的集合, 和是普通乘法和一元减法。我们建立F上的等价关系 如下: P R R ~ ⇔ PS = PQ Q S P R T 对F中的任意元素 a = ,b = ,c = ,因为 Q S U P R Q ~ S ⇒ PS = RQ 两边同乘TU ⇒ PT ⋅ SU = RT ⋅ QU PT RT ⇒ ~ QU SU  P  T R T       ⇒  ⋅ ~ ⋅         Q U S U         所以, 当a~b时, 有ac~bc。又乘法可交换, 故等价关系~是关于乘法运算的 同余关系。又 P R ~ ⇒ PS = RQ Q S ⇒ −PS = −RQ − P − R