第六章代数系统基本概念及性质.PDF

第六章 代数系统 大连理工大学软件学院 陈志奎 教授 办公室：综合楼 ， ： 405 Tel 实验室：综合楼 Mobile: Email: zkchen@ zkchen00@ 1/42 回顾 • 代数系统 – 定义 – 性质 • 同态定义 – 定义 – 性质 • 同构定义 – 定义 – 性质 2/42 • 6.4 同余关系 • 定义6.4.1 – E S 给定 且 为 中的等价关系。 –E关于⊙有代换性质： 。 –E E 为 中的同余关系： 有代换性质。 与此同时，称同余关系 的等价类为同余类。 – E 3/42 • 由定义可知，同余关系是代数结构的集合中的 等价关系，并且在运算的作用下，能够保持关 系的等价类。即在 ⊙ 中，如果用集合 中的 x 1 y 1 S x x x y 与 等价的任何其它元素 代换 ，并且用与 1 2 1 1 y y 等价的任何其它元素 代换 ，则所求的结果 2 1 x y x y ⊙ 与 ⊙ 位于同一等价类之中。亦即若 2 2 1 1 并且 ，则 ⊙ [x ] = [x ] [y ] = [y ] [x y ] = 1 E 2 E 1 E 2 E 1 1 E ⊙ 。此外，同余关系与运算密切相关。 [x y ] 2 2 E 如果一个代数结构中有多个运算，则需要考察 等价关系对于所有这些运算是否都有代换性质。 如果有，则说该代数结构存在同余关系；否则， 同余关系不存在。 4/42 例 • 6.4.1 给定 ，其中 是整数集合， 和×是一般加、 – Z