设 <H,×> 是 <G,×> 的一个子群,设 |H|=m , |G|=n 则有 m|n 。
欧拉定理:若 (b,p)=1 ,则 bφ(p)=1(modp)
我查阅了很久的资料,没怎么找到这个东西的定义。
英文版的名字大致上是叫 Group action
只能笼统地讲一下我对置换群作用的理解。
首先置换群是个群,它满足群的性质。
它的运算是一个元素到他自身的一一映射,称作置换。 i1,i2,...,in 分别是 1,2,...,n 的像,其中 i1,i2,...,in 是一个 1 到 n 的排列。
置换的作用可以形象地理解为把一个数组上的元素简单地调换了一下位置。原本在 x 位置上的元素调到了 ix 上。
以下的 S 不妨看为这个数组, x 不妨看作是位置标号
注意置换和置换之间可以运算,相当于将两次置换后的结果看作是一次新的置换,而置换群就是若干个置换构成集合,置换作为运算的一个群。
∀x∈S ,定义 x 的轨道为
Ox={gx|g∈G}
可以简单地理解为 x 这个位置被群中的任意一个置换调换一次后,可能到达新的位置的集合。
∀x∈S ,定义 x 的稳定化子为
Zx={g|g∈G,gx=x}
也就是所有不调换 x 这个位置,或者说 ix=x 的置换构成的集合。
这个听起来略高大上的定理形式很简单,但是理解起来我认为有点难度,首先给出内容。
∀x∈S,|Ox|⋅|Zx|=|G|
也就是说任意一个位置它的轨道数与稳定化子数乘积为群的大小。
下面给出证明:
不妨设 |Ox|=l ,不失一般性,记 Ox={a1=x,a2,...,al} 。
∀ai∈Ox,∃pi∈G,x−→piai
不妨用 pi 代表 ai 来证明。
综上我们有 |G|=|⋃li=1Zxpi|
接下来只要证明 Zxpi 之间互不相交,我们就可以得到它是 G 的一个划分,证明也不难。
由于 pi 将 x 转移到 ai , pj 将 x 转移到 aj , 其中 ai≠aj 。因此 Zxpi∩Zxpj=∅
∴∑li=1|Zxpi|=|G| ,即 |Zx|⋅|Ox|=|G| 。
给出一个数组和置换群,我们将所有可以通过置换群相互得到的数组视为等价的,问有多少个本质不同的数组。
burnside 引理给出
n=1|G|∑pi∈GC(pi)
其中 n 是本质不同的方案数, C(pi) 表示 pi 这个置换的不动点数目。
证明:
记 δ(g,x) 表示 x 位置是否在 g 置换中为不动点。
∑pi∈GC(pi)=∑pi∈G∑x∈Sδ(g,x)=∑x∈S|Zx|
首先我们证明等价类中的所有方案,他们的 Zx 都是相同的。
显然两种方案等价当且仅当它们可以通过 G 中的置换进行转移。
假如 x,y 属于同一等价类。
∃p,q,x→py,y→qx
下面证明 |Zx|≤|Zy|
∀pi∈Zx,y→qx−→pix→py⟺y−→−qpipy
又 qpip∈G
∴qpip∈Zy
同理, |Zy|≤|Zx|
因此 |Zx|=|Zy|
于是我们可以直接一整个等价类地计算原式
∑x∈S|Zx|=∑np=1|Zp||Op|
由于上面我们已经证明了 |Zp||Op|=|G| ,于是有
∑x∈S|Zx|=∑np=1|G|=n|G|
那么 burnside 引理就得证了。
考虑染色计数问题。现在有 m 种颜色,若两种填色方案可以通过置换群的运算得到,则视为同一种。问有多少种不同的染色方案。
显然可以用 burnside 引理。
首先把所有的染色方案找出。共 n=mp 种,其中 p 是格子数。
然后套用 burnside 引理,对于每一种染色方案,考虑计算每一个置换的不动点数。不动点数可以 O(p) 算出。那么总的时间复杂度为 O(np|G|) 。
然而 n 的数量是十分巨大的,直接套用 burnside 显然是不现实的,我们不得不放弃枚举所有染色方案这种思路。
如何计算不动点的数目呢?
我们先引入一些概念。
循环:一种特殊的置换。循环 (a1,a2,...,ak) 表示将元素 a1 变成 a2 , a2 变成 a3 ,…, ak 变成 a1 的一个置换。
那么每个置换都可以写成若干个互不相交的循环的乘积。
比如 (1 2 3 4 5 63 5 6 4 2 1) 可以表示为 (1 3 6)(2 5)(4)
循环节数:一个置换写成循环乘积的形式以后循环的个数。
那么在染色以后,有可能成为不动点的必定是一个循环,并且这个循环必须要染上同一种颜色。
有了这个结论, Pólya 定理也就呼之欲出了。
Pólya 定理
n=1|G|∑p∈Gmc(p)
其中 c(p) 表示 p 这个置换的循环节数。