大连理工大学软件学院离散数学第六章代数系统1：-3rd资料.pptVIP

第六章 代数系统 ;回顾;6(1).4 同余关系 定义6(1).4.1 给定S，⊙且E为S中的等价关系。 E关于⊙有代换性质：(?x1)(?x2)(?y1)(?y2)((x1，x2，y1，y2∈S∧x1Ex2∧y1Ey2)→ (x1⊙y1)E(x2⊙y2))。 E为S，⊙中的同余关系：E有代换性质。 与此同时，称同余关系E的等价类为同余类。;由定义可知，同余关系是代数结构的集合中的等价关系，并且在运算的作用下，能够保持关系的等价类。即在x1⊙y1中，如果用集合S中的与x1等价的任何其它元素x2代换x1，并且用与y1等价的任何其它元素y2代换y1，则所求的结果x2⊙y2与x1⊙y1位于同一等价类之中。亦即若[x1]E = [x2]E并且[y1]E = [y2]E，则[x1⊙y1]E = [x2⊙y2]E。此外，同余关系与运算密切相关。如果一个代数结构中有多个运算，则需要考察等价关系对于所有这些运算是否都有代换性质。如果有，则说该代数结构存在同余关系；否则，同余关系不存在。;例6(1).4.1 给定Z，+，×，其中Z是整数集合，+和×是一般加、乘法。假设Z中的关系R定义如下： i1Ri2：= | i1 | = | i2 | 其中i1、i2∈Z 试问，R为该结构的同余关系吗？ 其中| i1 | 表示i1的绝对值. 相等关系是等价关系是明显的，只要证它满足代换性即可．即证对任意的