网站大量收购独家精品文档,联系QQ:2885784924

置换群在计数中的应用.pptVIP

  1. 1、本文档共29页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多

置换群在计数中的应用净听我瞎扯淡吧【笑

1你要知道置换群是什么鬼

一.置换群的根本概念定义1任一集合A到自身的映射都叫做的A一个变换,如果A是有限集且变换是一一变换〔双射〕,那么这个变换为A的一个置换。有限集合A的假设干个置换假设作成群,就叫做置换群。含有n个元素的有限群A的全体置换作成的群,叫做n次对称群。通常记为Sn。

置换群是一种特殊的变换群。换句话说,置换群就是有限集上的变换群。由于是定义在有限集上,故每个置换的表现形式,固有特点都是可揣测的。大家应该知道什么是变换群吧?封闭性、可结合、有单位元、存在逆元

举个栗子

p119

关于循环置换

2这个置换群在计数中到底有什么应用

等价类计数

瞅一道题吧用6种不同颜色给正方体的六个面着色,每个面有6中选择,假设给定每个面的编号,不同的着色序列有6!(=720)个,但哪些是“真正”不同的?因此:不同的着色有6!/(6+3+6+8+1)=30种?90?180?180?120?6种3种6种8种1种

其实我并没有看太明白

接下来我就要介绍一种简单粗暴的方法

如果不是每个面的着色都不同,比方有两个面是红的,如何判断两种着色是“真正”不同?设着色对象的集合是S,允许使用的颜色的集合是C(我们只考虑有限集)。一种着色方案就是一个函数f:S?C。f与f2被认为“实际上”是一样的,当且仅当在所允许的变换(即前面例子中的对称旋转)下,f1能转变为f2或相反。而对称旋转即置换群的元素。我们称“(置换)群作用于S,也作用于C。”其实我们看一下群与对称更好额

比立方体简单一点的例子3个黑珍珠和6个白珍珠能做出多少样式不同的项链??轴?翻转顺时针旋转80?

置换群诱导的等价关系假设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之下保持不变的x的个数。计算?g?G|F(g)|显然比计算?x?X|G

文档评论(0)

199****4744 + 关注
实名认证
文档贡献者

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

版权声明书
用户编号:7002121022000045

1亿VIP精品文档

相关文档