Burnside引理和Polya定理

本文详细介绍了博斯奈德引理(Burnside引理)及其在计算有限群作用下等价类数量中的应用。通过证明展示了如何从置换群的不动点平均数推导出等价类的个数。同时,文章还提及了波利亚定理(Polya定理),它在计算颜色不变量时的特殊情况,强调了置换中循环结构的重要性。这些理论在组合设计、图论和计算数学等领域有广泛的应用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

Burnside 引理

A A A B B B 为有限集合, X X X A → B A\to B AB 的一个映射集合, 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=G1gGXg

其中 X g = { x ∣ x ∈ X , g ( x ) = x } X^g=\{x|x\in X ,g(x)=x\} Xg={xxX,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×GF ∗ : G × G → G *:G\times G\to G :G×GG

其中存在 e ∈ G e\in G eG,对于任意 f ∈ F , g 1 , g 2 , g 3 ∈ G f\in F,g_1,g_2,g_3\in G fF,g1,g2,g3G,满足:

( 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} (g1g2)g3g1g2g1eg11G,g1g11(fg1)g2=g1(g2g3)=g2g1=g1=e=f(g1g2)

对于任意 f a , f b ∈ F f_a,f_b\in F fa,fbF,定义 f a , f b f_a,f_b fa,fb 等价当且仅当存在 g ∈ G g\in G gG,使得 f a ∗ g = f b f_a*g=f_b fag=fb,记作 f a ≡ f b f_a\equiv f_b fafb。容易验证该等价关系是自反、对称、传递的。

定义 S : = { { h ∈ F : f ≡ h } : f ∈ F } S:=\{\{h\in F:f\equiv h\}:f\in F\} S:={{hF:fh}:fF},即所有等价类构成的集合。

定义 c : G → 2 F c:G\to 2^F c:G2F 根据 c ( g ) : = { f ∈ F : f ∗ g = f } c(g):=\{f\in F:f*g=f\} c(g):={fF:fg=f},即 g g g 的不动点。

定义 c : F → 2 G c:F\to 2^G c:F2G 根据 c ( f ) : = { g ∈ G : f ∗ g = f } c(f):=\{g\in G:f*g=f\} c(f):={gG:fg=f},即 f f f 的稳定核。

那么 Burnside 引理说明的是:

∣ S ∣ = 1 ∣ G ∣ ∑ g ∈ G ∣ c ( g ) ∣ |S|=\frac{1}{|G|}\sum_{g\in G}|c(g)| S=G1gGc(g)

为证明此事,我们先将 ∑ g ∈ G ∣ c ( g ) ∣ \sum_{g\in G}|c(g)| gGc(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} ==gGc(g)fFc(f)ESfEc(f)

现在对于某个等价类 E E E 来考虑。

我们先证明,对于所有 f 1 , f 2 ∈ E f_1,f_2\in E f1,f2E,都有 c ( f 1 ) = c ( f 2 ) c(f_1)=c(f_2) c(f1)=c(f2)

根据定义,存在 g 1 ∈ G g_1\in G g1G 使得 f 1 ∗ g 1 = f 2 f_1*g_1=f_2 f1g1=f2,那么对于任意 g 2 ∈ c ( f 1 ) g_2\in c(f_1) g2c(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 f2g2=(f1g1)g2=f1g2g1=f1g1=f2

于是 g 2 ∈ c ( f 2 ) g_2\in c(f_2) g2c(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 fE。于是:

∑ f ∈ E ∣ c ( f ) ∣ = ∑ f ∈ E ∣ C ∣ = ∣ E ∣ ⋅ ∣ C ∣ \sum_{f\in E}|c(f)|=\sum_{f\in E}|C|=|E|\cdot |C| fEc(f)=fEC=EC

任取 f s ∈ E f_s\in E fsE

根据有限选择引理,存在一个映射 g o : E → G g_o:E\to G go:EG,使得对于任意 f ∈ E f\in E fE 都有 g o ( f ) ∈ { g ∈ G : f s ∗ g = f } g_o(f)\in \{g\in G:f_s*g=f\} go(f){gG:fsg=f},即对于每个 f ∈ E f\in E fE 都选出了一个代表元 g o ( f ) g_o(f) go(f) 使得 f s ∗ g o ( f ) = f f_s*g_o(f)=f fsgo(f)=f

考虑映射 T : = E × C → G T:=E\times C\to G T:=E×CG 根据 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 fsT(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 gvG,构造 f : = f s ∗ g v f:=f_s*g_v f:=fsgv g : = g v ∗ g o ( f ) − 1 g:=g_v*g_o(f)^{-1} g:=gvgo(f)1,那么 f ∈ E f\in E fE g ∈ C g\in C gC 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=fsgv=fsg0(f)g=fg),且 T ( f , g ) = g v T(f,g)=g_v T(f,g)=gv

从而 T T T 是双射,于是 ∣ E ∣ ⋅ ∣ C ∣ = ∣ G ∣ |E|\cdot |C|=|G| EC=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} ===G1gGc(g)G1ESECG1ESGS

证毕。

Polya 定理

对于 X X X A → B A\to B AB 的所有映射的集合的情况,我们有:
∣ X / G ∣ = 1 ∣ G ∣ ∑ g ∈ G ∣ B ∣ c ( g ) |X/G|=\dfrac{1}{|G|}\sum_{g\in G}|B|^{c(g)} X/G=G1gGBc(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)} Bc(g),这是因为 Burnside 引理中 g ( x ) = x g(x)=x g(x)=x 的充要条件显然是 g g g 中的每一个环内的所有元素都对应的是 B B B 中的同一个元素。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值