第4章-代数系统(杨圣洪版教材).ppt

  1. 1、本文档共108页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第4章-代数系统(杨圣洪版教材).ppt

【定义4.11.1】(n元置换)n元集合S到它自身的一个一一映射,称为S上的一个置换或n元置换。 4.11 置换群 设S={a1,a2,…,an},S上的置换可表示为: 其中 是1,2,…,n的一个排列, 在置换σ下的像。(有n!种不同的置换) 例如:S={1,2,3,4,5}, 如下定义的σ就是S上的一个置换 乘积或复合: 设?与?是S上的两个置换,置换的复合运算???,就是先进行?变换,再接着进行?变换。 4.11 置换群 复合运算???: 1??2??2, 故1???2; 2??3??1, 故2???1; 3??4??4, 故3???4; 4??1??3, 故4???3。 如: 定理4.11.1:设?(S)是S上所有置换的集合,?是置换的复合运算,则?(S),?是群。 证明: (1)封闭性: ??1,?2??(S),则?1??2=先进行?1变换,接着进行?2变换,变换后仍为S?S的双射,故?1??2 ??(S)。 (2)可结合性: ??1,?2,?3? ?(S),求证(?1??2)??3=?1?(?2??3) 不妨设x??1y??2z??3w. 则(x??1y??2z)??3w ?(x??1?2z)??3w ?x??1?2?3w x??1(y??2z??3w) ?x??1(y??2?3w) ?x??1?2?3w 4.11 置换群 定理4.11.1:设?(S)是S上所有置换的集合,?是置换的复合运算,则?(S),?是群。 证明: (3)有单位元: 定义映射e:x?ex,即不变映射!可证??e=e??=?。 对????(S),有: x??y?ey ?x??ey ? ??e=? (x?ex??y) ?x?e?y ? e??=? (4)有逆元:????(S),不妨设映射?:x??y,取映射: ?:y??x,可证?为?的逆映射,即???=???=e。 x??y??x ?x???x, y??x??y ?y???y 故x???x, y???y保持不变,即为不变映射!故?与?互为逆元。 4.11 置换群 【证毕】 1 1 2 2 3 3 1 1 2 2 3 3 1 1 2 2 3 3 举例:考虑集合s={1,2,3},s共有3!=6种不同的置换;它所有可能的变换如下: 单位置换即恒等置换,表示为:(1) 1与3互换,2不变,表示为:(1,3) 1与2互换,3不变,表示为:(1,2) 4.11 置换群 举例:考虑集合s={1,2,3},s共有3!=6种不同的置换;它所有可能的变换如下: 1、3、2轮换,表示为: (1,3,2) 1、2、3轮换,表示为: (1,2,3) 1 1 2 2 3 3 1 1 2 2 3 3 1 1 2 2 3 3 2与3互换,1不变,表示为:(2,3) 4.11 置换群 所有可能的变换可表示为: ?(S)={(1),(1,2),(1,3),(2,3),(1,2,3),(1,3,2)} ?(S),?的运算表如下:(?为置换的复合运算) ? (1) (1,2) (1,3) (2,3) (1,2,3) (1,3,2) (1) (1) (1,2) (1,3) (2,3) (1,2,3) (1,3,2) (1,2) (1,2) (1) (1,2,3) (1,3,2) (1,3) (2,3) (1,3) (1,3) (1,3,2) (1) (1,2,3) (2,3) (1,2) (2,3) (2,3) (1,2,3) (1,3,2) (1) (1,2) (1,3) (1,2,3) (1,2,3) (2,3) (1,2) (1,3) (1,3,2) (1) (1,3,2) (1,3,2) (1,3) (2,3) (1,2) (1) (1,2,3) 4.11 置换群 【有关群的知识就学习到这里,群是只涉及到一种运算的代数系统】 【定义4.12.1】(环)设G,?,*是代数系统,?与*是二元运算,如果 (1) G, ?是交换群; (2) G, *是半群(封闭与可结合); (3) 半群运算符*对群运算符?可分配。 则称G,?,*是环! 4.12 环与域 如:R,+,? (实数集上的普通加法与乘法)是环! R,+是交换群; R,?是半群; x?(y+z)=x?y+y?z (?对+可分配) 故R,+,?是环。 又如:Zn , ?, ? 是环! 其中:Zn={0,1,2,3…,n-1}, x?y=mod(x+y,n) x?y=mod(x?y,n) 容易验证: Zn,?为群(封闭、

文档评论(0)

heroliuguan + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:8073070133000003

1亿VIP精品文档

相关文档