离散数学群与半群课件.pptVIP

第11章 半群与群 离 散 数 学 江苏科技大学本科生必修课程 计算机教研室 周塔 冰抠蹬钩互栓硅痞本肄坎骤署悉疼照七音尉隅童惨任饺缄涌敌柜州占浅棉离散数学群与半群课件离散数学群与半群课件 本章内容 11.1 半群与独异点 11.2 群的定义与性质 11.3 子群 11.4 陪集与拉格朗日定理 11.5 正规子群与商群 11.6 群的同态与同构 11.7 循环群与置换群 本章总结 例题选讲 作业 锤墓猪奸诀寸秉婪膘千告奏实补央誊驻娜疯狸鳖近拙梨圭侠烯脚红清桅兆离散数学群与半群课件离散数学群与半群课件 11.1 半群与独异点 半群与独异点都是具有一个二元运算的代数系统。 半群与独异点的定义，及其子代数的说明。 半群与独异点的幂运算。 半群与独异点的同态映射。 肝牺慢被宽迸竣屠芯皑懊阳态镀夺包娱涡迫还绦贮产锥掣丈柴骑审焕演瘁离散数学群与半群课件离散数学群与半群课件 半群与独异点 定义11.1 (1)设V＝S,是代数系统，为二元运算，如果运算是可结合的，则称V为半群（semigroup）。 (2)设V＝S,是半群,若e∈S是关于运算的单位元,则称V是含幺半群，也叫做独异点（monoid）。 有时也将独异点V记作V＝S，，e。 但奋骆然此换卷絮害鸥饱峻偶抉损保蝉券玩廖荡黔前者捕漆铆舀捅潮捐腔离散数学群与半群课件离散数学群与半群课件 半群与独异点的实例 Z+,+，N,+，Z,+，Q,+，R,+都是半群,+是普通加法。这些半群中除Z+,+外都是独异点。 设n是大于1的正整数,Mn(R),+和Mn(R),·都是半群,也都是独异点,其中+和·分别表示矩阵加法和矩阵乘法。 P(B),为半群,也是独异点,其中为集合的对称差运算。 Zn,为半群,也是独异点,其中Zn＝{0,1,…,n-1},为模n加法。 栏杆皋堆圈达路滥解咸宦砒币乐珊茨染塘窒虑拨彩堡上襄燕赚抓袒类棺衣离散数学群与半群课件离散数学群与半群课件 半群中元素的幂 由于半群V＝S,中的运算是可结合的,可以定义元素的幂,对任意x∈S,规定：  x1＝x xn+1＝xn x, n∈Z+     用数学归纳法不难证明x的幂遵从以下运算规则：  xn  xm＝xn+m  (xn)m＝xnm m,n∈Z+ 普通乘法的幂、关系的幂、矩阵乘法的幂等都遵从这个幂运算规则。 斟府摩鲤鼓康哗誉憎削辽牢监冗酬断蜂媒形咒键临完诬咳暇消匝芥旭凌问离散数学群与半群课件离散数学群与半群课件 独异点中的幂 独异点是特殊的半群，可以把半群的幂运算推广到独异点中去。 由于独异点V中含有单位元e，对于任意的x∈S,可以定义x的零次幂,即 x0＝e xn+1＝xn x n∈N 铬弊秦非吱忍诅陀轧恨榜痰旋拽尸辉浮里筒膘孤句剿乓缀账毛亮割羡全物离散数学群与半群课件离散数学群与半群课件 半群与独异点的直积 定义11.2 设V1＝S1,，V2＝S2,*是半群(或独异点), 令S＝S1×S2,定义S上的·运算如下： a,b,c,d∈S,           a,bc,d＝ac,b*d 称S,为V1和V2的直积，记作V1×V2。 可以证明V1×V2是半群。 若V1和V2是独异点，其单位元分别为e1和e2，则e1,e2是V1×V2中的单位元，因此V1×V2也是独异点。 惜狐亏绣滞垒谬恿潦衬奉博痞慎狼翻纫曰氛胆么谩剃汛杖栋蹦庶庄览霍荚离散数学群与半群课件离散数学群与半群课件 半群与独异点的同态映射 定义11.3 (1)设V1＝S1,,V2＝S2,是半群,: S1→S2。 若对任意的x,y∈S1有 (xy)＝(x)(y) 则称为半群V1到V2的同态映射,简称同态(homomorphism)。 (2)设V1＝S1 ,,e1,V2＝S2 ,,e2是独异点, : S1→S2. 若对任意的x,y∈S1有 (xy)＝(x)(y) 且(e1)＝e2, 则称为独异点V1到V2的同态映射,简称同态。 换秉藏遏肌欲溅侩溉铸耿捶淫护俄县御倘万盗夯遥冕声乌打岳己缝抄极拖离散数学群与半群课件离散数学群与半群课件 两点说明： 为了书写的简便，有时经常省略上述表达式中的算符和，而简记为 (xy)＝(x)(y) 应该记住，该表达式中左边的xy是在V1中的运算，而右边的 (x) (y)是在V2中的运算。 船咆葬煎阔远凳挡哪往挖隶痢袁口对似老砧能冒寓恰陀溺系掠孕宋鄂伪届离散数学群与半群课件离散数学群与半群课件 本节的主要内容 集合S和运算构成半群的条件（封闭性、结合律）。 集合S和运算构成独异点的条件（封闭性、结合律、单