Burnside 引理
设 A A A 和 B B B 为有限集合, X X X 为 A → B A\to B A→B 的一个映射集合, G G G 是 A A A 上的一个置换群, X / G X/G X/G 表示置换群 G G G 作用在 X X X 上产生的所有映射的等价类的集合(若 X X X 中两个映射经过 G G G 中的置换作用后相等, 那么这两个映射属于同一个等价类),则:
∣ X / G ∣ = 1 ∣ G ∣ ∑ g ∈ G ∣ X g ∣ |X/G|=\dfrac{1}{|G|}\sum_{g\in G}|X^g| ∣X/G∣=∣G∣1g∈G∑∣Xg∣
其中 X g = { x ∣ x ∈ X , g ( x ) = x } X^g=\{x|x\in X ,g(x)=x\} Xg={x∣x∈X,g(x)=x},即 g g g 作用在 X X X 上的不动点。
可以翻译为:等价类个数=置换群中每个置换的不动点的平均数。
证明:
这里给出 Burnside 引理的更一般些的情况。
设有限集 F , G F,G F,G 和二元运算符 ∗ : F × G → F *:F\times G\to F ∗:F×G→F 和 ∗ : G × G → G *:G\times G\to G ∗:G×G→G。
其中存在 e ∈ G e\in G e∈G,对于任意 f ∈ F , g 1 , g 2 , g 3 ∈ G f\in F,g_1,g_2,g_3\in G f∈F,g1,g2,g3∈G,满足:
( g 1 ∗ g 2 ) ∗ g 3 = g 1 ∗ ( g 2 ∗ g 3 ) g 1 ∗ g 2 = g 2 ∗ g 1 g 1 ∗ e = g 1 ∃ g 1 − 1 ∈ G , g 1 ∗ g 1 − 1 = e ( f ∗ g 1 ) ∗ g 2 = f ∗ ( g 1 ∗ g 2 ) \begin{aligned} (g_1*g_2)*g_3&=g_1*(g_2*g_3)\\ g_1*g_2&=g_2*g_1\\ g_1*e&=g_1\\ \exists_{g_1^{-1}\in G},g_1*g_1^{-1}&=e\\ (f*g_1)*g_2&=f*(g_1*g_2) \end{aligned} (g1∗g2)∗g3g1∗g2g1∗e∃g1−1∈G,g1∗g1−1(f∗g1)∗g2=g1∗(g2∗g3)=g2∗g1=g1=e=f∗(g1∗g2)
对于任意 f a , f b ∈ F f_a,f_b\in F fa,fb∈F,定义 f a , f b f_a,f_b fa,fb 等价当且仅当存在 g ∈ G g\in G g∈G,使得 f a ∗ g = f b f_a*g=f_b fa∗g=fb,记作 f a ≡ f b f_a\equiv f_b fa≡fb。容易验证该等价关系是自反、对称、传递的。
定义 S : = { { h ∈ F : f ≡ h } : f ∈ F } S:=\{\{h\in F:f\equiv h\}:f\in F\} S:={{h∈F:f≡h}:f∈F},即所有等价类构成的集合。
定义 c : G → 2 F c:G\to 2^F c:G→2F 根据 c ( g ) : = { f ∈ F : f ∗ g = f } c(g):=\{f\in F:f*g=f\} c(g):={f∈F:f∗g=f},即 g g g 的不动点。
定义 c : F → 2 G c:F\to 2^G c:F→2G 根据 c ( f ) : = { g ∈ G : f ∗ g = f } c(f):=\{g\in G:f*g=f\} c(f):={g∈G:f∗g=f},即 f f f 的稳定核。
那么 Burnside 引理说明的是:
∣ S ∣ = 1 ∣ G ∣ ∑ g ∈ G ∣ c ( g ) ∣ |S|=\frac{1}{|G|}\sum_{g\in G}|c(g)| ∣S∣=∣G∣1g∈G∑∣c(g)∣
为证明此事,我们先将 ∑ g ∈ G ∣ c ( g ) ∣ \sum_{g\in G}|c(g)| ∑g∈G∣c(g)∣ 转化:
∑ g ∈ G ∣ c ( g ) ∣ = ∑ f ∈ F ∣ c ( f ) ∣ = ∑ E ∈ S ∑ f ∈ E ∣ c ( f ) ∣ \begin{aligned} &\sum_{g\in G} |c(g)|\\ =&\sum_{f\in F} |c(f)|\\ =&\sum_{E\in S} \sum_{f\in E}|c(f)| \end{aligned} ==g∈G∑∣c(g)∣f∈F∑∣c(f)∣E∈S∑f∈E∑∣c(f)∣
现在对于某个等价类 E E E 来考虑。
我们先证明,对于所有 f 1 , f 2 ∈ E f_1,f_2\in E f1,f2∈E,都有 c ( f 1 ) = c ( f 2 ) c(f_1)=c(f_2) c(f1)=c(f2)。
根据定义,存在 g 1 ∈ G g_1\in G g1∈G 使得 f 1 ∗ g 1 = f 2 f_1*g_1=f_2 f1∗g1=f2,那么对于任意 g 2 ∈ c ( f 1 ) g_2\in c(f_1) g2∈c(f1),有:
f 2 ∗ g 2 = ( f 1 ∗ g 1 ) ∗ g 2 = f 1 ∗ g 2 ∗ g 1 = f 1 ∗ g 1 = f 2 f_2*g_2=(f_1*g_1)*g_2=f_1*g_2*g_1=f_1*g_1=f_2 f2∗g2=(f1∗g1)∗g2=f1∗g2∗g1=f1∗g1=f2
于是 g 2 ∈ c ( f 2 ) g_2\in c(f_2) g2∈c(f2),那么 c ( f 1 ) ⊆ c ( f 2 ) c(f_1)\subseteq c(f_2) c(f1)⊆c(f2)。同理可证 c ( f 2 ) ⊆ c ( f 1 ) c(f_2)\subseteq c(f_1) c(f2)⊆c(f1),于是 c ( f 1 ) = c ( f 2 ) c(f_1)=c(f_2) c(f1)=c(f2)。
那么我们不妨记 C = c ( f ) C=c(f) C=c(f),其中 f ∈ E f\in E f∈E。于是:
∑ f ∈ E ∣ c ( f ) ∣ = ∑ f ∈ E ∣ C ∣ = ∣ E ∣ ⋅ ∣ C ∣ \sum_{f\in E}|c(f)|=\sum_{f\in E}|C|=|E|\cdot |C| f∈E∑∣c(f)∣=f∈E∑∣C∣=∣E∣⋅∣C∣
任取 f s ∈ E f_s\in E fs∈E。
根据有限选择引理,存在一个映射 g o : E → G g_o:E\to G go:E→G,使得对于任意 f ∈ E f\in E f∈E 都有 g o ( f ) ∈ { g ∈ G : f s ∗ g = f } g_o(f)\in \{g\in G:f_s*g=f\} go(f)∈{g∈G:fs∗g=f},即对于每个 f ∈ E f\in E f∈E 都选出了一个代表元 g o ( f ) g_o(f) go(f) 使得 f s ∗ g o ( f ) = f f_s*g_o(f)=f fs∗go(f)=f。
考虑映射 T : = E × C → G T:=E\times C\to G T:=E×C→G 根据 T ( f , g ) : = g o ( f ) ∗ g T(f,g):=g_o(f)*g T(f,g):=go(f)∗g,那么 f s ∗ T ( f , g ) = f f_s*T(f,g)=f fs∗T(f,g)=f。可以证明 T ( f , g ) T(f,g) T(f,g) 为单射。
证明 T ( f , g ) T(f,g) T(f,g) 也是满射。对于任意 g v ∈ G g_v\in G gv∈G,构造 f : = f s ∗ g v f:=f_s*g_v f:=fs∗gv 和 g : = g v ∗ g o ( f ) − 1 g:=g_v*g_o(f)^{-1} g:=gv∗go(f)−1,那么 f ∈ E f\in E f∈E 且 g ∈ C g\in C g∈C( f = f s ∗ g v = f s ∗ g 0 ( f ) ∗ g = f ∗ g f=f_s*g_v=f_s*g_0(f)*g=f*g f=fs∗gv=fs∗g0(f)∗g=f∗g),且 T ( f , g ) = g v T(f,g)=g_v T(f,g)=gv。
从而 T T T 是双射,于是 ∣ E ∣ ⋅ ∣ C ∣ = ∣ G ∣ |E|\cdot |C|=|G| ∣E∣⋅∣C∣=∣G∣。那么:
1 ∣ G ∣ ∑ g ∈ G ∣ c ( g ) ∣ = 1 ∣ G ∣ ∑ E ∈ S ∣ E ∣ ⋅ ∣ C ∣ = 1 ∣ G ∣ ∑ E ∈ S ∣ G ∣ = ∣ S ∣ \begin{aligned} &\frac{1}{|G|}\sum_{g\in G}|c(g)|\\ =&\frac{1}{|G|}\sum_{E\in S}|E|\cdot |C|\\ =&\frac{1}{|G|}\sum_{E\in S}|G|\\ =&|S| \end{aligned} ===∣G∣1g∈G∑∣c(g)∣∣G∣1E∈S∑∣E∣⋅∣C∣∣G∣1E∈S∑∣G∣∣S∣
证毕。
Polya 定理
对于
X
X
X 为
A
→
B
A\to B
A→B 的所有映射的集合的情况,我们有:
∣
X
/
G
∣
=
1
∣
G
∣
∑
g
∈
G
∣
B
∣
c
(
g
)
|X/G|=\dfrac{1}{|G|}\sum_{g\in G}|B|^{c(g)}
∣X/G∣=∣G∣1g∈G∑∣B∣c(g)
其中
c
(
g
)
c(g)
c(g) 表示置换
g
g
g 能拆分成的不相交的循环置换的数量,即置换
g
g
g 中的环的数量。
解释起来很简单,我们只是把 Burnside 引理中的 ∣ X g ∣ |X^g| ∣Xg∣ 改成了 ∣ B ∣ c ( g ) |B|^{c(g)} ∣B∣c(g),这是因为 Burnside 引理中 g ( x ) = x g(x)=x g(x)=x 的充要条件显然是 g g g 中的每一个环内的所有元素都对应的是 B B B 中的同一个元素。