课程离散课件二11半群与.pdfVIP

上一讲内容的回顾 ⚫ 运算及其封闭性 ⚫ 运算的性质 ⚫ 运算的性质和运算表的特征 ⚫ 运算表 ⚫ 代数系统 ⚫ 系统公理 ⚫ 结合律、交换律、分配律 ⚫ 单位元、零元、逆元 半群与群 ⚫ 系统公理与公理化系统 ⚫ 半群 ⚫ 独异点(单元半群) ⚫ 群公理 ⚫ 群方程及其解 ⚫ 群与消去律 ⚫ 群表 群公理 ⚫ “代数系统”+结合律=“半群”(Semigroup) ⚫ “半群”+单位元素=单元半群(Monoid) ⚫ “单元半群”+逆元素=群(Group) Group theory is the branch of mathematics that answers the question, What is symmetry?“ Nathan C. Carter 半群 ⚫ 系统公理： ⚫ 结合律 ⚫ 一个例子: ({1,2},*), *定义如下： 对任意x,y ˛{1,2}, x*y=y 证明：需证明(x*y)*z = x* (y*z)对一 成立。