Burnside引理

来源:互联网 发布:天正建筑软件最新版 编辑:程序博客网 时间:2024/06/10 17:16

Burnside引理
神呐,st大神群论之王。。。
以下内容仅为本人浅显的理解,如果有误,还请指出

目录

    • 需要的姿势
      • 置换群
    • Burnside引理
      • 稳定核
      • Burnside引理
    • 应用
      • BZOJ1004HNOI2008Cards
        • 参考资料

需要的姿势

1.群

给定一个集合G={a,b,c,},和作用于G中元素的二元运算,记为
满足
1. 封闭的,即a,bG,cG,使ab==c
2. 可结合的,即a,b,cG,abc==a(bc)
3. 有单位元,即eG,使aG,ae==a
4. aG,有唯一的bG,使ab==e,其中e为上文提到的单位元.
则称G运算下是一个,记为(G,)

2.置换群

  1. 置换:集合{a1,a2,,an}中的元素对该集合中元素的一一映射为一元置换eg.{1,2,3}{2,3,1}
    记为:

    σ=(a1σ(a1)a2σ(a2)a3σ(a3)anσ(an))

    其中,对于G的一些置换方式σi作为元素组成的集合就是一个G的置换群。
    ps:有一种特殊的置换——单位置换,满足aiG,σ(ai)==ai.

  2. 置换“乘法”
    个人感觉这个不能称之为乘法,只是一个群的二元运算

    SnG的一个置换群,σi,σjSn,定义它们的“乘积”为x(σiσj)=(xσi)σj,其中xG.


这里σ可以看作一个对x操作的函数,只是写法很神奇。
举个栗子(ak表示σ操作的集合中第k个元素,(ak)表示将该元素置换为原集合第k个元素):

G={1,3,5}
σi={(a2),(a3),(a1)}
σj={(a1),(a3),(a2)}

x=G[2]=3,则:
x(σiσj)===xσij{(a2),(a1),(a3)}(xG[1])1

(xσi)σj===(xG[3])σj(5G[1])1

全体置换运算构成的群Sn,称为n次对称群,(Sn,)的任意子群称为置换群。

所以,把σiG中每个元素的置换方式“看作”σi的元素的话,σiσj可以看作把σi的元素按σj的方式置换一下,得到的新的置换方式再去置换x
那么显然,这和先把xσi置换再按σj置换没有区别。
3. 循环
置换

(aiajajakakai)
称为一个循环,记为(ai,aj,ak),一个涉及m个元素的循环称为m阶循环。
循环是一种简单但特殊的置换,它只与相邻的元素有关,即每个元素被置换为了集合中的下一个元素。
由于循环也是一种置换,所以若干循环的“乘积”,我们可以表示任意一个置换。
栗子:
(ahaiaiajajahakakalal)=(ai,aj,ah)(al,ak)

性质和定理:
- 如果两个循环中没有公共元素,则称这两个循环是不相交的
- 任何一个置换都可以表示称若干个互不相交的循环的乘积,且表示方法是唯一的。

Burnside引理

OI计数问题中,有一种类型是给出一些置换方式,问本质不同的染色有多少种,而Burnside引理即是用于解决此类问题的!

稳定核

n阶对称群Sn的一个子群为G={g1,g2,,gt},集合A的第k个元素A[k],k{kN+|kn},集合{gG|g(A[k])==A[k]}称为k稳定核,或称G中使k固定不变的置换群,记为Zkgi,i[1,t]不变元(置换gi下使原集合固定不变的元素)个数记为λ(gi)
(。・∀・)ノ栗子:

Sn==={(ai(ai)aj(aj)ak(ak)),(ai(ai)aj(ak)ak(aj)),(ai(aj)aj(ai)ak(ak)),(ai(aj)aj(ak)ak(ai)),(ai(ak)aj(ai)ak(aj)),(ai(ak)aj(aj)ak(ai))}{e,(aj,ak),(ai,aj),(ai,aj,ak),(ai,ak,aj),(ai,ak)}{g1,g2,g3,g4,g5,g6}

↑循环有省略部分(自己置换为自己的)
Z1={e,(aj,ak)},Z2={e,(ai,ak)},Z3={e,(ai,aj)}
λ(g1)=3,λ(g2)=λ(g3)=λ(g6)=1,λ(g4)=λ(g5)=0.

Burnside引理

GSn,gG,设λ(g)为置换g中不变元的个数,则群G的等价类个数(即染色问题中本质不同的方案数)为1|G|gGλ(g).

证明

应用

[BZOJ1004]HNOI2008Cards

题解

参考资料

  • ST巨佬口述
  • ZC大神的博客
原创粉丝点击