- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
群论基础课件.ppt
第七章 群论基础 7.1 半群的定义与性质 定义7.1.1 设( S,?)为一个代数结构,若二元运算?满足结合律,则称 S为半群,或关于?的半群。 含有单位元的半群,称 S为含幺半群(或拟群、独异点),记为( S,?, e ),其中e为单位元。 例. (Z, +) 和 (Z, x)都是半群,它们分别有单位元0和1,即它们都是含幺半群,也可分别记为: (Z, +,0) 和 (Z, x,1);而(Z, -) 则不是半群。 例7.1.1 (1)(E, +) 和 (E, x)都是半群,其中E为偶数集合。 (E, +)有单位元0,即它是含幺半群,可记为:(E, +,0);而 (E, x)没有单位元。 (2) (O, x)都是半群,其中O为奇数集合,并且有单位元1;但(O, +) 不是半群,因为奇数对加法不封闭。 (3) (P(S), ?)和(P(S), ?)都是半群,并且都是含幺半群(P(S), ?, ?)和(P(S), ?, S)。 (4) (Mn(R),+,╳)关于+和╳都是含幺半群。 若半群( S,?)的二元运算满足交换律,则称( S,?)为交换半群,反之,则称其为非交换半群。 若S为有限集合,则称半群( S,?)为有限半群; 若S为无限集合,则称半群( S,?)为无限半群。 定理7.1.1 有限半群一定含有幂等元。 定义7.1.2 设( S,?)为半群,H?S, 若S的元素均可由H中的若干元素经过有限次的二元运算?而得到,则称子集H生成半群( S,?)。并将生成半群的子集中最小的称为半群( S,?)的生成元集。 注意:生成元集不一定唯一!其最小性是相对于集合的基数而言。 通常用P表示由集合P ?S中的元素经过有限次的二元运算而得到的S的子集。 例. 设S={0, 1}, S上全体函数的集合SS,°为函数的复合运算,则(SS,°)是含幺半群。记S上的函数及其运算表如下: 例7.1.2 设( S,?)为半群,其中S ={a, b, c, d},二元运算?由下面的运算表给出:试求该半群的生成元集。 定义7.1.3 若半群( S,?)的生成元集为{ g },则称S为循环半群,g 称为 S的生成元。 循环半群( S,?) 的结构非常简单。若 g ?S 生成 S 则 S中的元素都是 g 的幂的形式,即: S={ g, g2,···, gn,···} (其中可能有相同的元素) 循环半群是可交换的。 例. 设F为平面上一个正三角形(如图),AF为所有保持F不变的旋转变换的集合, T 表示绕点O的120° 旋转,°表示复合运算。 定义7.1.4 若( T,?)是半群( S,?)的子代数, 则称( T,?)为 S 的子半群。 S 的子集T 能构成半群( S,?)的子半群的充分必要条件是T对于二元运算?是封闭的,即: 定义7.1.4’ 若( T,?)是含幺半群( S,?, e )的子代数,且 e ?T,则称( T,?)为 S 的含幺子半群。 T 能构成含幺半群( S,?,e )的含幺子半群的充分必要条件是T 对于二元运算是封闭的,且 e ?T 。 半群的同态保持其二元运算;而含幺半群的同态除了保持二元运算还必须保持单位元。 定理7.1.2 半群( S,?)与半群( T,*)都含有单位元的充分必要条件是积半群( S xT,⊙)含有单位元。 定理7.1.3 半群( S,?)与半群( T,*)都是交换半群的充分必要条件是积半群( S xT,⊙)是交换半群。 定理7.1.4 半群( S,?)与半群( T,*)都含有零元的充分必要条件是积半群( S xT,⊙)含有零元。 * * 则生成元集{ f, f0 }, { f, f1}, e为单位元, e ={ e }, f ={ e, f }, f0 ={ f0}, f1 ={ f1}, e, f ={ e, f }, e, f0 ={ e, f0}, e, f1 ={ e, f1}, f, f0 ={ e, f, f0, f1}, f, f1 ={ e, f, f0, f1}, f0, f1 ={ f0, f1} 单位元是d, a ={a, d}, b ={ b }, c ={ c }, d ={ d }; a, b={a, b, c, d}, a, c={a, b, c, d}, a, d={a, d}, b, c={b, c},c, d={c, d} 故{a, b}, {a, c}都是S的生成元集。 O 1 2 3 因为保持F不变绕点 O的旋转共有:绕点O旋转120°, 240°, 360°, 所以 AF ={ T, T2, T3 },并且 (AF ,
您可能关注的文档
最近下载
- 2024-2025年数学选择性必修第一册共线向量与共面向量同步检测 2(带答案).docx VIP
- 数据治理概论课件:数据治理工具.pptx VIP
- 08J907 洁净厂房建筑构造.pdf VIP
- 04G323-2 图集钢筋混凝土吊车梁(工作级别A4、A5).pdf VIP
- 全国优质课一等奖统编版语文八年级上册唐诗五首《野望》《黄鹤楼》《使至塞上》《渡荆门送别》《钱塘湖春行》公开课课件.pptx
- 幼儿高热惊厥的急救处理.pptx VIP
- 惯性器件原理课件.pptx VIP
- 新版建设工程工程量清单计价标准解读.pptx VIP
- 危大工程专项施工方案.doc VIP
- 莫桑比克考察报告.pdf VIP
文档评论(0)