16-置是换群的应用.pptVIP

置换群的应用 离散数学 第16讲 上一讲内容的回顾 变换和变换群 置换及其表示 置换群 任意群与变换群同构 置换群的应用 置换群的应用 置换群诱导的等价关系 轨道 轨道的大小 轨道的个数-Burnside定理 Burnside定理的应用 相同？不同？ 等价类计数 如果定义上述函数的集合上的关系R：函数f1, f2满足关系关系R当且仅当它们可以用同一个电路实现(只需调整接入方式，也可以用外部转相器)。 显然，上述关系R是等价关系。 可以用同一电路实现的所有函数包含在同一个等价类中。 因此，计算需要多少种不同电路才能实现所有可能的函数问题就转化为等价类计数问题。 对称在计数中的作用 更一般的情况 如果不是每个面的着色都不同, 比如有两个面是红的，如何判断两种着色是“真正”不同？ 设着色对象的集合是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之下保持不变的x的个数。计算?g?G|F(g)|显然比计算?x?X|Gx|容易，而且： ?g?G|F(g)| = ?x?X|Gx| 利用下列矩阵计数： ?x ? ? g √ g行x列有√表示：g(x)=x ? 按行