07-半群和群-7.5-7.7讲述.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第七章 半群和群 第五节 置换群和循环群 一、置换和置换群 定义:设X是非空、有穷集合 双射函数p: X ? X称为集合X中的置换(permutation),并称|X|为置换的阶。 若X={a1, a2, …, an},则n阶置换表为: 称 为置换p的反置换 置换 称 为X中的么置换或恒等置换 用PX表示集合X中所有置换的集合 定理:若X={a1, a2, …, an},则|PX|=n! 置换 置换可以进行复合运算:(定义) 给定集合X,pi, pj ? PX ,pi ◇ pj 称为置换pi和pj的复合,表示先进行置换pi ,再进行置换 pj 所得到的置换。 ◇是复合置换运算 pi ◇ pj = pi ° pj = pj o pi = pj (pi (x)) 置换 例7.5.1 令X={a, b, c},则PX ={p1, p2, p3, p4, p5, p6 },且 p2的反置换是: p5的反置换是: p3 ◇ p4 = ◇ = = p6 置换 置换是双射函数,因此它有以下性质: PX 对◇是封闭的:对于任意pi , pj ? PX,有 pi ◇ pj ? PX 且 pj ◇ pi ? PX (∴ PX, ◇是 ) PX 对◇是可结合的:对于任意pi , pj , pk ? PX,有 pi ◇(pj ◇ pk) = ( pi ◇pj )◇ pk (∴ PX, ◇是 ) PX 中含么元——么置换pe:对于任意pi ? PX,有 pi ◇pe = pe ◇pi = pi (∴ PX, ◇是 ) PX 中每个置换都有逆元——反置换:对于任意pi ? PX,有 pi-1 ? PX,pi ◇pi-1 = pi-1◇pi = pe (∴ PX, ◇是 ) 置换群 我们将 PX, ◇称为对称群(symmetric group) 它独立于集合X中的元素,却依赖于集合X中元素的个数 所以通常我们用 S|X|, ◇代替 PX, ◇ ,表示对称群 若Q ? PX = S|X| ,则由Q和◇构成的群 Q, ◇,称为置换群(permutation group) 若|X|=n,则由X上置换构成的群称为n次置换群 由X上所有置换构成的群,称为n次(n!阶)对称群 置换群 S3, ◇是一个三次对称群 因为|S3|=3!=6,所以也称为三次六阶对称群 {p1, p3}, ◇ 和{p1, p4, p5}, ◇ 称为三次置换群 而不是对称群 而{p2, p3}, ◇ 和{p1, p4}, ◇ 不是群 置换群 定义:设Q, ◇是一个置换群,且Q ? S|X|,称 R={a,b|a,b ? X ∧ p ? Q ∧ p(a)=b} 为由Q, ◇所诱导的X上的二元关系 例7.5.2 设X={a, b, c, d}, Q={pe, p1, p2, p3} 置换群 定理: 由置换群Q, ◇所诱导的X上的二元关系R,是一个等价关系 证明:1) 因为Q, ◇是群,所以么置换pe ? Q,所以对于任意 a ? X,都有a,a ? R,所以R是自反的 2) 对于任意a,b ? R,必定存在p ? Q,使得p(a)=b 因为Q, ◇是群,因此必定存在p-1 ? Q,使得p(b)=a 即b,a ? R,所以R是对称的 3)对于任意a,b,b,c?R,必定存在p1,p2?Q,使得p1(a)=b, p2(b)=c,因为Q, ◇是群,所以必定有p1 ◇ p2?Q,即 (p1◇p2)(a)=c,即a,c ? R,所以R是传递的 置换群 定理: 在有限群G, ⊙中,运算表的每行(或每列)都是G中元素的置换 (即,每个元素在运算表的每行(或每列) 中都出现且仅出现一次) 证明:1) 证明G中的每个元素都在运算表的每行中出现 对于任意a,b?G,由于b=a⊙(a-1⊙b),所以b必然出现在a对应行中 2) 证明G中的每个元素在运算表的每行中仅出现一次 假设对于任意a?G,有b?G,且在a对应行中,出现了两个b,分别对应的列表头元素是c和d(c≠d),则有:a⊙c= a⊙d=b 根据群上的可约律可以得到:c=d,与c≠d矛盾。 置换群 在许多研究群论的数学家眼中,也即指在抽象群论中,数学家关心的是各元素间的运算关系,也即群的结构,而不管一个群的元素的具体含义是什么。 群论研究表明,任何一个群都同构于由群的元素组成的置换群。于是,特别是对研究有限群来说,研究置换群就是一个重要的问题了。 变换群 前面讲的置换,是有穷集合X上的双射函数。下面扩展到无穷集合 定

文档评论(0)

舞林宝贝 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档