16置换群的应用文档资料.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
上一讲内容的回顾 变换和变换群 置换及其表示 置换群 任意群与变换群同构 置换群的应用 置换群的应用 置换群诱导的等价关系 轨道 轨道的大小 轨道的个数-Burnside定理 Burnside定理的应用 相同?不同? f(x,y,z,t) 4个变量, 可能的输入值有24个; 因此, 可以定义216(65,536)个不同的函数。 但是,真的需要这么多种电路吗? f(x,y,z,t) 由于对称性,只要调整接入线,同样的电路可以实现不同的函数。 等价类计数 如果定义上述函数的集合上的关系R:函数f1, f2满足关系关系R当且仅当它们可以用同一个电路实现(只需调整接入方式,也可以用外部转相器)。 显然,上述关系R是等价关系。 可以用同一电路实现的所有函数包含在同一个等价类中。 因此,计算需要多少种不同电路才能实现所有可能的函数问题就转化为等价类计数问题。 对称在计数中的作用 用6种不同颜色给正方体的六个面着色,每个面有6中选择,假如给定每个面的编号,不同的着色序列有6!(=720)个,但哪些是“真正”不同的? 因此:不同的着色有6!/(6+3+6+8+1)=30种 更一般的情况 如果不是每个面的着色都不同, 比如有两个面是红的,如何判断两种着色是“真正”不同? 设着色对象的集合是S,允许使用的颜色的集合是C(我们只考虑有限集)。一种着色方案就是一个函数f:SC。f与f2被认为“实际上”是一样的,当且仅当在所允许的变换(即前面例子中的对称旋转)下, f1能转变为f2或相反。 而对称旋转即置换群的元素。我们称“(置换)群作用于S,也作用于C。” 比立方体简单一点的例子 3个黑珍珠和6个白珍珠能做出多少样式不同的项链? 置换群诱导的等价关系 假设G是集合X上的置换群。定义X上的关系“”如下: x,yX, xy  gG, 使得g(x)=y “”是等价关系 自反性:置换群中的单位元素一定是恒等映射。 对称性:由群的逆元素性保证。 传递性:由群的封闭性保证。 将关系所决定的等价类记为Gx: Gx={y|yX, 且gG, 使得g(x)=y} 这样的等价类称为X上G的轨道。 保持x不变的置换构成子群 G中所有“将x变为y”的置换构成的集合: G(xy) = {g|gG, 且g(x)=y} G中所有“保持x不变”的置换的集合: Gx={g|gG, 且g(x)=x} 注意:Gx构成子群(只需证明封闭性)。 G(xy)是Gx的右陪集:hG(xy), G(xy)=Gxh 若Gxh, 令=h(Gx), 则xX, (x) = h((x)) = h(x) =y, G(xy) 若 G(xy), 则xX, h-1((x))=h-1(y)=x, 即h-1Gx,  Gxh 轨道的大小 子群与相应的陪集等势,因此:若yGx, |G(xy)|=|Gx|, 否则|G(xy)|=0。 对任意xX, x所在的轨道的大小与保持x不变的置换的个数的乘积与x无关。 给定xX, 构造如下的矩阵: y   g √ g行y列有√表示:g(x)=y  对√计数:按行数:每行恰有1个√。总数为|G|。按列数,若某个yGx, 则该列恰有|G(xy)|=|Gx|个√,否则为空列。所以: |Gx||Gx|=|G| yGx|Gy|值与所在轨道无关 对任意的yX, 若yGx, 则|Gx|=|Gy| 实际上,G(xy)是Gy的左陪集:即hG(xy), G(xy)= hGy 若hGy, 令=h (Gy), 则xX, (x)=(h(x))=(y)=y, G(xy) 若 G(xy), 则yX, (h-1(y))=(x)=y, 即h-1Gy,  hGy 所以,对每个轨道,yGx|Gy|=|Gx||Gx|=|G|, yGx|Gy|是“一个轨道中保持各元素不变的置换的总数” 轨道的个数 令轨道数为t, 因为每个轨道中保持各元素不变的置换的总数均为|G|,  xX|Gx| = t•|G|。 F(g)表示在置换g之下保持

文档评论(0)

beoes + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档