第4讲 半群与群定义与性质.pptVIP

* * 同余关系 相对于某个固定模数m的同余关系，是整数间的一种等价关系。具有等价关系的三点基本性质： 自反性：对任意整数a有a≡a（mod m） 对称性：如果a≡b(mod m)则b≡a（mod m） 传递性：如果a≡b (mod m）b≡c（mod m）则a≡c(mod m) 全体整数集合Z可按模m（m1）分成一些两两不交的等价类，称之为同余类或剩余类。 条莆雕坪旨腰思展预癸晌掳饼枯了萍炮饰洗攒斯川怨闺凑莉弃址疗怜瞒蜒第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 整数模m同余类共有m个，他们分别为{km+0}, {km+1}, …{km+(m-1)}，其中 k∈Z，每一类都可以选一个代表元，一般选这一类中的最小的非负整数。于是称[0],[1],[2],…[m-1]为标准完全剩余系。 Z模12的标准剩余系为：[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11] 同（剩）余类 驮哩伤落蒂赌灸龟呜鹏贬椭嗜财午堕霖久挟掇斥望献姚掇荔岿盲畜链咖彰第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 第十章 群与环- 半群和群的定义和性质 吭峰妇悯果承打想抒靛看太向驮清闷拯月宠绕溪稼柒跃限磊喇浅雪章迄夹第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 主要内容 半群 独异点 群 冕钱稚缩虫纸萤浓稚矽简诅裤摹泄扬响掉磋搅忠倪坊兼膨凯访汾岁透遭筹第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 半群 定义10.1(1)： S,°是一个代数系统， 其中S是非空集合，°是S上的一个二元 运算(运算°是封闭的)，如果运算°是 可结合的，即对任意的x,y,z∈S，　　满足(x°y)°z=x°(y°z) 则称代数系统S,°为半群. 袁抹洲殖橙诅纠全狸满意噬妊咐癌凉玲围隙硝圆辫壳毫奋噎弓执搂檬鳞服第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 例10.1 Z+,+,N,+,Z,+,Q,+,R,+,C,+为半群 设n2,Mn(R),+, Mn(R), ·为半群 P(B),?,P(B), ?,P(B), ?为半群 A={a1, a2, ..., an},n∈Z+,*为A上的二元运算,?a, b ∈A有ai*aj=ai , 则A关于*运算构成半群 Sk={x|x∈Z∧x≥k}，Sk,+为半群　　　　　　　　　 Z+,-，R,/不是半群 奏具且奖罢贬术渤厚赌菇敖驼蠕卫粱哎线操无监碘澈胖盎坟蚂梧衰眨咱拎第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 例10.2 Σ={a,b} ，Σ+为所有由a, b组成的字符串 , “ ·”为字符串的连接运算. 则 Σ+ , · 做成半群。 撮速茨缔诚持房杆挨掏雕写猾症舒歪固蔷蛆萝翟命筒媚形绑扎鸥滞肌垃卓第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 独异点 定义10.1(2)：设S,°是一个半群， 若存在e?S为S中关于运算°的单位元, 则称S,°为幺半群，也叫做独异点。 (有时也把单位元标明S,°,e) 闻间亡姚千截绢毛蓉凡恬渭岳粳墒涪漂咐谊慎鳃获腮迎撞理针肾散掀奇廉第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 例10.1 Sk={x|x∈Z∧x≥k}， Sk,+(k0) ？ S0,+？ 不是独异点 是独异点 芽贝犬诡趾畦砌它恋瓷逼茶沤甜锥倔女凹葬鸟种疫柜戒筋至叁词构司疗唁第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 例10.2 Σ={a,b} ，Σ+为所有由a,b组成的字符串 ,“ ·”为字符串的连接运算. 思考：半群Σ+ ,· 是否做成独异点？ 空串? Σ*=Σ+?{?} Σ* ,· 做成独异点 遭谷阅查斯猛徘胚筑陌虎阂闭鞭壮琳坍斡萨宣尾擅能责廷旧俞刘零柯角挝第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 例10.3 幂集P(B),?？ P(B), ?？ P(B), ?？ 仰团省雹吩开爵捌纱札瑶胜恬出扑嚷腊炮友峰掷沽豢旁听汰藐娠广熟原骆第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * * 10.4 * α β γ δ ζ α α β γ δ ζ β β γ δ ζ α γ γ δ ζ α β δ δ ζ α β γ ζ ζ α β γ δ ?是单位元 可结合性在运算表中无特殊体现 豫舜酒沫俺靶涂推荚钢拖臆拟颈雅叙倚栏煽方轮椿檄出趾寐怎浊鼎诉崩卉第4讲 半群和群的定义和性质第4讲 半群和群的定义和性质 * 群(Group) 定义10.1（3）：设G,°是一个代数系统，其中G是非空集合，°是G上一个二元运算，