离散数学课件 第六章_代数系统--复习.pdf 66页

第六章代数系统 大连理工大学软件学院 陈志奎 教授 办公室：综合楼407，Tel 实验室：教学楼A318/A323 ，Tel24 Mobile: Email: zkchen@ zkchen00@ 1/66 第六章-复习 第一部分：代数系统基本概念及性质 第二部分：半群与群 第三部分：格与布尔代数 2/66 代数系统基本概念及性质 3/66 代数系统—基本定义 代数系统：设S是个非空集合且f 是S上的n 元 i i 运算，其中i = 1 ，2 ，…，m 。由S及f 1， f 2 ，…，f m组成的结构，称为代数系统，记 作< S ，f 1，f 2 ，…，f m > 。 • 有限代数 • 无穷代数 4/66 代数系统—基本定义 同型代数系统： 设两个代数系统 <S ，f 1，f 2 ，…，f m>和 <T，g ，g ，…，g > ，如果f 和g (1≤i≤m)具有相 1 2 m i i 同的元数，则称这两个代数系统是同类型的。 5/66 代数系统—基本定义 子代数系统：设<S ，f 1，f 2 ，…，f m >是一代 数系统，且非空集T⊆S在运算f 1，f 2 ，…，f m 作用下是封闭的，且T含有与S 中相同的特 异元，则称<T，f 1，f 2 ，…，f m >为代数系 统 <S ，f 1，f 2 ，…，f m > 的子代数，记为<T，f 1， f 2 ，…，f m > ⊆<S ，f 1，f 2 ，…，f m> 。 6/66 代数系统—基本定义 • 同余： – 给定<S ，⊙>且E 为S 中的等价关系。E关于⊙有代换 性质：(∀x )(∀x )(∀y )(∀y )((x ，x ，y ， 1 2 1 2 1 2 1 y ∈S ∧x Ex ∧y Ey )→ (x ⊙y )E(x ⊙y )) 。E 为 2 1 2 1 2 1 1 2 2 <S ，⊙> 中的同余关系：E有代换性质。与此同 时，称同余关系E 的等价类为同余类。 – 同余关系是代数结构的集合中的等价关系，并且在运 算的作用下，能够保持关系的等价类。