离散数学课件第9章半群和群
34页1、-第9章 半群和群semigroup and group9.1 二元运算复习binary operation revisitedA上二元运算 f:AAA f处处有定义的函数。 DomfAA, 对任意a,bA,f(a,b)A,唯一确定。二元运算常记做,*,等等对任意a,bA,abA 说成A对封闭。Aa1,a2,an时,二元运算可以用运算表给出。二元运算的性质 1可换mutative a*b=b*a 2 结合associative a*(b*c)=(a*b)*c 3 幂等idempotent a*a=a特殊元素单位元对任意aA,e*a=a*ea. 单位元也叫恒等元零元对任意aA,0*a=a*00 逆元对任意a,bA,a*b=b*aea,b互为逆元代数构造(A,*)A上定义了二元运算满足1)封闭性2)结合律-半群3)有单位元-独异点4)有逆元-群5)可交换-交换群例子:1) (Zn +), (Zn,)2) (A*, *) 字符串的连接Homework P32332416,20,22,24,25,269.2 半群semigroup半群定义:(S,*) *是S上乘法,满足结合律。半群的例 (Z,
2、Z, N,N, Q,R, P(S),,P(S), , Mn,Mn, S上全体映射,对于复合, L,L,L是格 A*, , 定理1. 半群中,n个元素的乘积与乘法的次序无关。幂power:设S,*是半群,aS,定义a的幂power: a1a, an=an-1*a.a0=.a-n=?am*an=am+n(am)n=amn.子半群subsemigroup 子独异点submonoid设S,*是半群,TS,T对*封闭,则T,*也是半群,称为S,*的子半群。设S,*是独异点,TS,T对*封闭,且eT,则T,*也是独异点,称为S,*的子独异点。N,Z,Q,R,前一个是后一个的子半群,也是子独异点。N,Z,Q,R,前一个是后一个的子半群,也是子独异点。设S,*是半群,S,*是S,*的子半群。设S,*是独异点,S,*是S,*的子独异点。设S,*是独异点, (e,*)是S,*的子独异点。同构isomorphism和同态 homomorphism同构设S,*和T,*是两个半群,函数f:ST是一一对应,a,bS, f(a*b)=f(a)*f(b).称S,*和T,*同构,记做S,*T,*.验证两个半群S,*和T
3、,*同构的方法:定义一个映射f:ST,证明(1) f 单,f(a)=f(b)a=b.(2) f 满,Ran(f)=T.(3) f保持运算f(a*b)=f(a)*f(b).例. 令T2n | nZ,则且Z,T,。证明. 令f:ZT, 对任意nZ,f(n)= 2n.(1) f处处有定义.(2) f单:f(m)=f(n), 即 2m=2nm=n。(3) f满.(4) f保持运算: f(m+n)= 2m+n=2m2n =f(m)f(n)定理2. 假设S,T同构,则恒等元对应恒等元,零元对应零元,逆元对应逆元。同态Homomorphisim在同构的三个条件中,假设仅满足(3)叫做同态。假设仅满足(1)(3)称为同构嵌入。假设仅满足(2)(3)叫做满同态。例20 设A0,1,则自由半群A*, 与A,同态,A,的二元运算由乘法表给出:01001110例. (Z,+) (Zn,+), (Z,) Zn,.定理3. 恒等元的满同态像是恒等元设S,*,T,*是独异点,恒等元分别是e和e,同态f:S,*T,*, 则f(e)=e.定理4.子半群的同态像是子半群。证明.设f:S,* T,*是半群同态,S是S,*的
《离散数学课件第9章半群和群》由会员cn****1分享,可在线阅读,更多相关《离散数学课件第9章半群和群》请在金锄头文库上搜索。
最新某市燃气工程建设项目可行性研究报告(DOC 53页)
2023年山东省泰安市宁阳县伏山镇陶家平村社区工作人员考试模拟试题及答案
镇年农业工作总结及年工作思路
服装加盟合同合集9篇.doc
幼儿园教师个人工作计划小班2023年(三篇).doc
PEP英语五年级下册专题练习选词填空
股东与公司的借款合同范文(5篇).doc
2016年社区文明创建工作总结
幼儿园小班手指操
部编本新人教版五年级上册语文期末考试试卷答案适合于电脑阅卷+带听力考试材料+答题卡
坝体填筑施工技术
高中古诗词鉴赏典型题及答案
CAD常用快捷键一览
压力、流速、流量与管径的一般关系
听专家讲课的心得体会
南开大学21春《公司战略》离线作业1辅导答案87
袋收尘的结构及工作原理
★大学生暑假社会实践心得体会10篇 大学生暑假社会实践心得体会800
做婚礼策划师的要求
电力安装公司规章制度
2023-03-24 4页
2023-10-20 15页
2022-08-10 8页
2023-02-01 120页
2023-10-05 8页
2022-12-17 164页
2022-12-27 3页
2024-03-02 12页
2023-04-12 36页
2023-03-10 11页