群论

群论

---

定义

G是一个集合，* 为定义在G集合的一个运算
如果满足一下性质，那么（G，* ）为一个群。

1. 封闭性：∀?,? ∈ ?: ? ∗ ? ∈ ?；
2. 结合律：∀?,?,? ∈ ?: ? ∗ ? ∗ ? = ? ∗ ? ∗ ? ；
3. 单位元：∃? ∈ ?,∀? ∈ ?: ? ∗ ? = ? ∗ ? = ?；
4. 逆元：∀? ∈ ?,∃? ∈ ?:? ∗ ? = ? ∗ ? = ?。

简单来说， ?,× 就是一个群。

---

置换

一个 1,? → 1,? 的一一映射。
置换群的元素是置换，运算是置换的连接。

---

一些概念

??（k不动置换类）：? ∈ 1,? ，那么?中使得?保持不变置换的全体为??。
??（k等价类）：? ∈ 1,? ，?在置换群?作用下的轨迹，即?在?作用下可变为的所有元素 的集合，叫做??。
?（??）：表示在置换??下的不动点个数。

---

一些结论

根据定义有：
$|E_k||Z_k|=|G|$
${\sum }_j^n|Z_j|={\sum }_i^{|G|}D(a_i)$
Burnside引理：
$L=\frac{1}{|G|}{\sum }_i^{|G|}D(a_i)$
L为等价类个数

---

循环

记 $(a_1{a}_2\dots an)={(}_{a_1{a}_2\dots a_n}^{a_2{a}_3\dots a_1})$为?阶循环。
一个置换可以写成若干个互不相交的循环的乘积。
置换的循环节数为上述表示中循环的个数。

---

一些结论

令??循环节数为?（??），m为颜色数
则 $D(ai)=m^{C(a_i)}$
polya定理：
$L=\frac{1}{|G|}{\sum }_i^{|G|}{m}^{C(a_i)}$

---

暂结