- 1、本文档共38页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第六章 代数系统2:-2nd-li
集合到自身的所有置换(双射)构成的群 * 第六章 代数系统 李豪杰 副教授 大连理工大学软件学院 数字媒体技术系 Email: hjli@dlut.edu.cn */15 同余关系 定义: 给定S,⊙,且E为S中的等价关系。 若 E关于⊙有代换性质:(?x1)(?x2)(?y1)(?y2)((x1,x2,y1,y2∈S∧x1Ex2∧y1Ey2)→ (x1⊙y1)E(x2⊙y2))。 则 E为S,⊙中的同余关系 商代数 S,⊙及其上的同余关系E,且由E对S所产生同余类构成一个商集S/E,定义运算*, [x]E *[y]E = [x⊙y]E,则称S/E,*为代数结构S,⊙的商代数。 S,⊙~S/E,* 积代数 S,⊙与T,*是同类型的,可构造S×T,? s1,t1?s2,t2 = s1⊙s2,t1*t2 */15 半群和独异点的定义 定义:运算满足结合律 性质: 半群、独异点的同态与同构 积半群 定义 性质 群 定义 性质 */39 6.9 积半群 把积代数方法应用于特殊一类代数结构——半群,便产生积半群。 定义6.9.1 给定两个半群S,⊙和T,*。称S×T,?为S,⊙和T,*的积半群,其中S×T为集合S与T的笛卡儿积,运算?定义如下: s1,t1?s2,t2 = s1⊙s2,t1*t2,其中s1,s2∈S,t1,t2∈T 由于运算?是经⊙和*定义的,易知,积半群是个半群。 */39 积半群的性质 结合律 可交换性 幺元 零元 逆元 */39 不难证明下列定理: 定理6.9.1 若半群S,⊙和T,*是可交换的,则S×T,?也是可交换的。 定理6.9.2 给定半群S,⊙和T,*,且e1和e2分别是它们的幺元,则积半群S×T,含有幺元e1,e2。 换言之,若S,⊙,e1和T,*,e2是独异点,则S×T,?,e1,e2是独异点。 */39 定理6.9.3 给定半群S,⊙和T,*,且θ1和θ2分别为它们的零元, 则积半群S×T,?含有零元θ1,θ2。 定理6.9.4 给定半群S,⊙和T,*,且s∈S的逆元s-1,t∈T的逆元t-1,则积半群S×T,?中s,t的逆元是s-1,t-1。 */39 6.10 群的基本定义与性质 定义6.10.1 给定代数系统V=G,⊙,若G,⊙是独异点且每个元素存在逆元, (或者 ①⊙是可结合的, ②关于⊙存在幺元, ③G中每个元素关于⊙是可逆的,) 则称G,⊙是群。 可见,群是独异点的特例,或者说,群比独异点有更强的条件。 */39 例6.10.1 给定Z,+和Q,×,其中Z和Q分别是整数集合和有理数集合,+和×是一般加法和乘法。 可知Z,+是群,0是幺元,每个元素i∈Z的逆元是-i;Q,×不是群,1是幺元,0无逆元。但Q-{0},×便成为群。 定义6.10.2 给定群G,⊙,若G是有限集,则称G,⊙是有限群。并且把G的基数称为该有限群的阶数,若集合G是无穷的,则称G,⊙为无穷群。特别,若| G | =1,则称G,⊙为平凡群。 */39 例6.10.2 例6.10.1中的Z,+是无限群, S,⊙,其中S = {a,b,c},⊙运算表如表6.8.1。 可以验证S,⊙是群,a为幺元,b和c互为逆元;又因| G | = 3,故S,⊙是3阶群。 由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下: */39 1、定理6.10.1 G,⊙是群∧|G|>1?G,⊙无零元。 证明:若0是G,⊙的零元,因|G|>1,则有e?G和e ?0并且对任意x?G均有0⊙x=0?e 即0无逆元,这与群的定义矛盾.故群无零元. 非平凡群不含零元 2、定理6.10.2 G,⊙是群?G,⊙中的惟一等幂元是幺元。 证明:若不然,设还有a?G,a ?e并且有 a⊙a=a, 于是e= a-1 ⊙a= a-1 ⊙(a ⊙a) =(a-1 ⊙ a) ⊙a= e ⊙a=a矛盾. */39 3、定理6.10.3 给定群G,⊙,则有 (?a)(?b)(?c)(a,b,c∈G∧((a⊙b = a⊙c∨b⊙a = c⊙a)?b = c)) 即群满足可约律。 证明:因为G,⊙是群,所以⊙是可结合的,并且每个元素均有逆元,存在幺元e,对任何a∈G,其逆a-1 ∈G,于是有 a ⊙b= a ⊙c ? a-1 ⊙(a ⊙b)= a-1 ⊙(a ⊙c) =(a-1 ⊙a) ⊙b= (a-1 ⊙a) ⊙c e⊙b= e ⊙c ? b=c 同理可证b ⊙a=c ⊙a ?b=c 即群满足可约律. */39 4、定理6.10.4 给定群G,⊙,则 (?a)(?b)(a,b∈G→((?!x)(
您可能关注的文档
- 第九章 C、多用电表.ppt
- 第九章 汽轮机主要零部件用钢及事故分析P.ppt
- 第九章 脂类代谢).ppt
- 第九章 财务管理的价值观念9、13.ppt
- 第九章 人格测量.ppt
- 第三讲 南唐遗韵.ppt
- 第九章 舱室照明.ppt
- 第九章的第一节 直接分解法.doc
- 第九节 练习使用多用电表.doc
- 第九讲 法家.ppt
- 金融产品2024年投资策略报告:积极适应市场风格,行为金融+机器学习新发现.pdf
- 交运物流2024年度投资策略:转型十字路,峰回路又转(2023120317).pdf
- 建材行业2024年投资策略报告:板块持续磨底,重点关注需求侧复苏.pdf
- 宏观2024年投资策略报告:复苏之路.pdf
- 光储氢2024年投资策略报告:复苏在春季,需求的非线性增长曙光初现.pdf
- 公用环保2024年投资策略报告:电改持续推进,火电盈利稳定性有望进一步提升.pdf
- 房地产2024年投资策略报告:聚焦三大工程,静待需求修复.pdf
- 保险2024年投资策略报告:资产负债匹配穿越利率周期.pdf
- 政策研究2024年宏观政策与经济形势展望:共识与分歧.pdf
- 有色金属行业2024年投资策略报告:新旧需求共振&工业原料受限,构筑有色大海星辰.pdf
最近下载
- 结题报告高中物理小课题.PPT
- NB∕T 32037-2017 光伏发电建设项目文件归档与档案整理规范.pdf VIP
- 2024《高考志愿填报咨询服务意愿的影响因素实证研究》16000字.docx
- 无线网络优化模考试题(附答案).docx
- 中图版高中地理必修第二册课后习题 第四章 国土开发与保护 第一节 京津冀协同发展的地理背景 (2).doc VIP
- 工厂消防安全设备检查记录表.docx VIP
- 海绵城市监理实施细则.doc VIP
- 人教版小学二年级数学下册期中试卷.doc VIP
- 巴黎奥运樊振东乒乓球故事介绍【优质公开课】精品PPT课件模板.pptx
- 丽声北极星分级绘本第一级上 A Day with Monster Toon课件 .pptx VIP
文档评论(0)