置换群

置换群

1.1 算法分析

置换群通常用来解决一些涉及“本质不同”的计数问题，例如用 3 种颜色给一个立方体染色，求本质不同的方案数（经过翻转后相同的两种方案视为同一种）。

1.1.1 群

1.1.1.1 群的定义

若集合 $S\ne \varnothing$ 和 $S$ 上的运算$\cdot$ 构成的代数结构 $(S,\cdot )$ 满足以下性质：

• 封闭性： $\forall a,b\in S,a\cdot b\in S$
• 结合律：$\forall a,b,c\in S,(a\cdot b)\cdot c=a\cdot (b\cdot c)$
• 单位元：$\exists e\in S,\forall a\in S,e\cdot a=a\cdot e=a$
• 逆元：$\forall a\in S,\exists b\in S,a\cdot b=b\cdot a=e$，称b为a的逆元，记为$a^{-1}$
  则称(S, ·)为一个群。

1.1.1.2 子群

若$(S,\cdot )是群，T是S的非空子集，且(T,\cdot )也是群，则称(T,\cdot )是(S,\cdot )的子群$

1.1.1.3 置换

定义：
有限集合到自身的双射（即一一对应）称为置换。集合 S = { a 1 , a 2 , . . . , a n } S = \lbrace a_1, a_2, ..., a_n \rbrace S={ a1​,a2​,...,an​} 上的置换可以表示为
[
\left(\begin{array}{cccc}
a_1 & a_2 & … & a_n \
a_{p1} & a_{p2} & … & a_{pn}\
\end{array}\right)
]
意为将 $a_i$ 映射为$a_{pi}$，其中 $p_1, p_2, …, p_n $是 $1,2,3,...,n$ 的一个排列。显然 $S$ 上所有置换的数量为 。
乘法：
对于两个置换 $f =
\left(\begin{array}{cccc}
a_1 & a_2 & … & a_n \
a_{p1} & a_{p2} & … & a_{pn}\
\end{array}\right)
$ 和 $g=
\left(\begin{array}{cccc}
a_{p1} & a_{p2} & … & a_{pn}\
a_{q1} & a_{q2} & … & a_{qn}\
\end{array}\right)
$, $f$ 和 $g$的的乘积记为 $ f \cdot g = \left(\begin{array}{cccc}
a_ 1& a_2 & … & a_n \
a_{q1} & a_{q2} & … & a_{qn}\
\end{array}\right)$,简单来说就是先后经过 $f$ 的映射，再经过 $g$ 的映射。
置换群
易证，集合 $S$ 上的所有置换关于置换的乘法满足封闭性、结合律、有单位元（恒等置换，即每个元素映射成它自己）、有逆元（交换置换表示中的上下两行），因此构成一个群。这个群的任意一个 子群 即称为 置换群 。
循环置换
循环置换是一类特殊的置换，可表示为：
$
\left(\begin{array}{cccc}
a_1 & a_2 & … & a_m\
\end{array}\right) = \left(\begin{array}{cccc}
a_1 & a_2 & … & a_m\
a_2 & a_3 & … & a_1\
\end{array}\right)
$
若两个循环置换不含有相同的元素，则称它们是 不相交 的。有如下定理：
任意一个置换都可以分解为若干不相交的循环置换的乘积，例如
$
\left(\begin{array}{cccc}
a_1 & a_2 & a_3 & a_4 & a_5\
a_3 & a_1 & a_2 & a_5 & a_4\
\end{array}\right) = \left(\begin{array}{cccc}
a_1 & a_3 & a_2\
\end{array}\right) \cdot \left(\begin{array}{cccc}
a_4 & a_5\
\end{array}\right)
$

1.1.2 轨道与稳定化子定理

$|E_k||Z_k|=|G|$
令元素