Burnside引理和Polya定理

首先谈一下我对置换群的理解（PS：写给没学过抽象代数的我们……）：置换群就是一些置换的集合，例如

$$\begin{pmatrix} 1 & 2 & 3 & 4\\ 2 & 3 & 1 & 4 \end{pmatrix}$$
是一个置换，但不是一个置换群,置换只与每列的相对字符有关，与列顺序天关，比如 $$\begin{gather}\begin{pmatrix} 1 & 2 & 3 & 4\\ 2 & 3 & 1 & 4 \end{pmatrix}=\begin{pmatrix} 2 & 1 & 3 & 4\\ 3 & 2 & 1 & 4 \end{pmatrix}\end{gather}$$
$$\begin{pmatrix} 3 & 2 & 4 & 1 \end{pmatrix}$$ 在经过 $$\begin{pmatrix} 1 & 2 & 3 & 4\\ 2 & 3 & 1 & 4 \end{pmatrix}$$ 置换之后就成了 $$\begin{pmatrix} 4 & 3 & 2 & 1 \end{pmatrix}$$ 。
群还要求一些奇特的性质，比如

（1）封闭性：∀f,g∈G,f⋅g=h,则h∈G;（2）结合律：∀f,g,h∈