前言
博主因为不会群论被这个引理的证明折磨了挺久,某天听某大佬悉心讲解了一发,感叹到原来这么SB,本着给群论萌新分享的心情来水一水万年没更的博客(
Burnside引理
N ( G , C ) = 1 ∣ G ∣ ∑ f ∈ G c ( f ) N(G,C)=\frac{1}{|G|}\sum_{f \in G} c(f) N(G,C)=∣G∣1f∈G∑c(f)
证明
考虑移项,要证:
∣ G ∣ N ( G , C ) = ∑ f ∈ G c ( f ) |G|N(G,C)=\sum_{f \in G}c(f) ∣G∣N(G,C)=f∈G∑c(f)
先声明几个符号或名词是什么意思:
- 状态:一种可能的情况(比如说染色状态)被称为状态, a , b a,b a,b两种状态一样,则记为 a = b a=b a=b。
- 等价类:通过置换群中的某个置换的作用,能变为完全一样的状态,这些状态就互相等价,被统称为 1 1 1个等价类,状态的个数为这个等价类的大小。
- f ∗ a f*a f∗a: a a a是一个状态, f f f是一个置换, f ∗ a f*a f∗a表示 f f f置换作用于 a a a状态得到的新的状态,如果两种状态 a , b a,b a,b等价,那么易知 ∃ f ∈ G , s . t . f ∗ a = b \exist f \in G,s.t. f*a=b ∃f∈G,s.t.f∗a