10半群与独异点.pptVIP

半群与独异点 离散数学 第10讲 上一讲内容的回顾 运算及其封闭性 运算的性质 运算的性质和运算表的特征 运算表 代数系统 系统公理 结合律、交换律、分配律 单位元、零元、逆元 系统的同构与同态 半群与独异点 系统公理与公理化系统 半群 系统公理 可换半群的运算性质 独异点(单元半群) 系统公理 子独异点 自由半群与形式语言 半群与自动机 公理化系统 抽象的系统：太一般 具体的系统：太多 抽象代数的研究对象：公理化的系统 系统公理：通常是常见的性质中的1条或者多条。 半群 系统公理： 结合律 一个例子: ({1,2},*), *定义如下： 对任意x,y?{1,2}, x*y=y 证明：需证明(x*y)*z = x* (y*z)对一切x,y,z成立。 注意：完全从运算表来证明，则需验证8个式子。 可换半群的运算性质 满足交换律的半群称为“可换半群” 若(S,?)是可换半群，则表达式a1?a2? … ?an (n?2)中各项可以任意交换位置，结果不变。 证明要点：设i1,i2,…,in是1,2,…,n的任意一种排列，并且ij恰好是n。则： ai1?ai2? … ?ain = (ai1? … ?aij-1)?aij?(aij+1? …?ain) = (ai1? … ?aij-1) ?(aij+1? …?ain) ?aij = a1?a2? … ?an (归纳) 因此: (ab)n