Burnside引理的简要证明

前言

博主因为不会群论被这个引理的证明折磨了挺久，某天听某大佬悉心讲解了一发，感叹到原来这么SB，本着给群论萌新分享的心情来水一水万年没更的博客（

Burnside引理

$$N(G,C)=\frac{1}{|G|}\sum _{f\in G}c(f)$$

证明

考虑移项，要证：
$$|G|N(G,C)=\sum _{f\in G}c(f)$$

先声明几个符号或名词是什么意思：

• 状态：一种可能的情况（比如说染色状态）被称为状态，$a,b$两种状态一样，则记为$a=b$。
• 等价类：通过置换群中的某个置换的作用，能变为完全一样的状态，这些状态就互相等价，被统称为$1$个等价类，状态的个数为这个等价类的大小。
• $f\ast a$：$a$是一个状态，$f$是一个置换，$f\ast a$表示$f$置换作用于$a$状态得到的新的状态，如果两种状态$a,b$等价，那么易知$\exists f\in G,s.t.f\ast a$