浅谈群论与Burnside引理

群

摘要：$(-1{)}^2=-2$

简介

群不是个集合，是个代数系统。

定义

一个群 $<G,op>$ 由一个集合 $G$ 和一种针对 $G$ 中元素（不一定是数字）的运算 $op$ （在群中用乘法的一系列记号表示，但不一定是乘法）组成，有时简称群 $G$，并满足以下条件：

• 对于 $\forall a,b\in G,a\cdot b(\mathtt{a}\mathtt{o}\mathtt{p}\mathtt{b})\in G$ ，即封闭性。
• $op$ 运算满足结合律。
• 存在唯一单位元 $e\in G$ 满足 $\forall a\in G,a\cdot e=e\cdot a=a$ 。
• $op$ 对 $G$ 中所有元素都有逆元。

如果 $op$ 还满足交换律，就叫做交换群（阿贝尔群），整数&加法就是个交换群。

阶

群的阶就是元素的个数，元素 $x$ 的阶就是最小的正整数 $k$ 满足 $x^k=e$ 。

子群

若群 $<H,op>$ 满足 $H\subseteq G$ ，就是 $<G,op>$ 的一个子集。必须注意它得先是个群。

定义 N ( a ) = { x ∣ x ∈ G , x a = a x } N(a)=\{x|x\in G,xa=ax\} N(a)={x∣x∈G,xa=ax} ，即能和 $a$ 满足交换律的 $G$ 的所有元素，则 $N(a)$ 是 $G$ 的一个子群（可证明满足封闭性、单位元存在性与逆元存在性），称为 $G$ 的一个正规化子。

对于 $a\in G$ 和一个子群 $H$，定义 a H = { a h ∣ h ∈ H }   ,   H a = { h a ∣ h ∈ H } aH=\{ah|h\in H\}~,~Ha=\{ha|h\in H\} aH={ah∣h∈H} , Ha={ha∣h∈H} ，那么称子群 $aH{a}^{-1}$ 为 $H$ 的共轭子群。

子群 $H$ 与子群 $K$ 的交集 $H\cap K$ 也是子群。

若 A = < a > = { a i ∣ i ∈ Z } A=<a>=\{a^i|i\in \Z\} A=<a>={ai∣i∈Z} ，则称 $A$ 为循环群，$a$ 为生成元。若 $a\in G$ 则 $A$ 是由 $a$ 生成的子群。

陪集分解

设 $G$ 是群，设 $H$ 是 $G$ 的子群，$a\in G$，定义 H a = { h a ∣ h ∈ H } Ha=\{ha|h∈H\} Ha={ha∣h∈H}，称 $Ha$ 是子群 $H$ 在 $G$ 中的一个右陪集，左陪集定义类似。陪集是个集合，不一定是群。

若 $a,b\in G$ ，则条件 $a\in Hb\iff a{b}^{-1}\in H\iff Ha{b}^{-1}=H\iff Ha=Hb$ ，

最有用的结论是 $Ha=Hb\iff a{b}^{-1}\in H$ 。我们若把满足 $Ha=Hb$ （明显具有传递性）的 $a,b$ 归到一个关于 $H$ 的等价类中，称为陪集分解，则 $H$ 的所有等价类大小相等，都等于 $H$ 的阶。

拉格朗日定理：设 $G$ 是有限群，$H$ 是 $G$ 的子群，则 $G$ 的阶一定是 $H$ 的阶的倍数，且 $\frac{|G|}{|H|}$ 等于 $H$ 陪集分解后的等价类个数。

共轭类分解

对于任意的 $a,b\in G$ ，若存在 $x\in G$ 满足 $b=xa{x}^{-1}(a=x^{-1}bx)$ ，则称 $a,b$ 共轭，容易证明共轭关系也具有传递性，因此可以划分等价类（共轭类），进行共轭类分解。

定理：$a$ 所在的共轭类的大小等于 $\frac{|G|}{|N(a)|}$ ，这也说明共轭的两元素的正规化子同阶。

Burnside引理

置换群

一个 定义域和值域相同且有穷 的 一一映射，称为置换。

置换乘法，本质是函数的合成，即对于两个置换 $f(x),g(x)$ ，$(f\cdot g)(x)=f(g(x))$ 。由于置换是一一映射，所以置换乘法有逆元。

由置换集和置换乘法组成的群叫置换群。

轨道-稳定子群定理

设 $G$ 是一个置换群，其中每个置换的定义域/值域为 $A$ 。

对于 $a\in A$ ，定义 G a = { f ∣ f ∈ G , f ( a ) = a } G^a=\{f|f\in G,f(a)=a\} Ga={f∣f∈G,f(a)=a} 为 $a$ 的稳定子群。

定义 G ( a ) = { f ( a ) ∣ f ∈ G } G(a)=\{f(a)|f\in G\} G(a)={f(a)∣f∈G} ，称为 $a$ 的轨道，性质上是 $A$ 的子集。

考虑基于 $G^a$ 进行陪集分解，令 $x,y\in G$ 且 $x{G}^a=y{G}^a$ ，那么
$$y^{-1}x\in G^a\Rightarrow (y^{-1}x)(a)=a\Rightarrow x(a)=y(a)$$

也就是说，对于陪集分解后的每一个等价类，都会刚好贡献一个元素到 $G(a)$ 中，$G(a)$ 其实就等于 $G^a$ 的陪集分解等价类个数，那么根据拉格朗日定理，可得轨道-稳定子群定理：
$$|G|=|G^a||G(a)|$$

伯恩赛德引理

其实就是推式子推出来的，

对于 $f\in G$ ，定义 $A^f$ 表示 $A$ 在 $f$ 作用下的不动点集合，即满足 $a\in A,f(a)=a$ 的所有 $a$ 。我们尝试求所有 $|A^f|$ 的求和，中途使用轨道-稳定子群定理：
$$\begin{gathered} \sum _{f\in G}|A^f|=\sum _{f\in G}\sum _{a\in A}[f(a)=a] \\ =\sum _{a\in A}\sum _{f\in G}[f(a)=a] \\ =\sum _{a\in A}|G^a| \\ =|G|\sum _{a\in A}\frac{1}{|G(a)|} \end{gathered}$$

对于右边的这个式子 $\sum \frac{1}{|G(a)|}$ ，每个大小为 $x$ 的轨道的 $x$ 个元素会分别贡献 $\frac{1}{x}$ ，即每个轨道会贡献 $1$ ，所以令 $A$ 在置换群 $G$ 制约下的总轨道数为 $L$ ，则
$$\begin{gathered} \sum _{f\in G}|A^f|=|G|L \\ \Updownarrow \\ L=\frac{1}{|G|}\sum _{f\in G}|A^f| \end{gathered}$$

对于 $\forall f\in G$ ，如果我们定义 $a$ 与 $f(a)$ 是同构的，那么 $L$ 就是 $A$ 中不同构的种类数。$\mathtt{B}\mathtt{u}\mathtt{r}\mathtt{n}\mathtt{s}\mathtt{i}\mathtt{d}\mathtt{e}$ 引理就是这么用的。

使用时要注意，假若我们对一个序列染色，$A$ 就是所有的染色方案集，而不是这个序列的下标集。