组合数学：群

• 群的定义

定义：给定集合G和G上的二元运算，满足下列条件称为群。
封闭性：
若$a,b\in G$，则存在$c\in G$，使得$a\cdot b=c$。
结合律
任意$a,b,c\in G$,有$(a\cdot b)\cdot c=a\cdot (b\cdot c)$。
由于结合律成立，$(a\cdot b)\cdot c=a\cdot (b\cdot c)$可以记做$a\cdot b\cdot c$。
有单位元
存在$e\in G$，任何$a\in G$，$a\cdot e=e\cdot a$
有逆元
任意$a\in G$，存在$b\in G$，$a\cdot b=b\cdot a=e$，记为$b=a^{-1}$

• 群的一些概念
  有限群：群元素的个数是有限的。
  无限群：群元素的个数是无限的。
  有限群G的元素个数叫做群的阶，记做$|G|$。
  设G是群，H是G的子集，若H在G原有的运算之下也是一个群，则称为G的一个子群。
  若群G的任意元素$a,b$恒满足ab=ba。则称G为交换群，或Abel群。

单位元唯一
消去律成立
$ab=ac\to b=c$
每个元的逆元唯一

• 置换群
  置换群是最重要的有限群，所有的有限群都可以用之表示。
  置换
  $[1,n]$到自身的$1-1$映射称为n阶置换。$[1,n]$目标集上的置换表示为$\left(\begin{array}{cccc}1& 2& \cdots & n\\ a_1& a_2& \cdots & a_n\end{array}\right)$，$a_1,a_2,\cdots ,a_n$是$[1,n]$中元的一个排列。
  n阶置换共有$n!$个。
  置换群
  [1,n]上的由多个置换组成的集合在上面的乘法定义下构成一个群，则称为置换群。
  对称群
  [1,n]上的所有置换（共$n!$个）构成一个群，称为n阶对称群，记做$S_n$。
  共轭类
  一般可以把$S_n$中任意一个置换$p$分解为若干不相交的循环乘积。
  $P=(a_1{a}_2\cdots a_{k1})(b_1{b}_2\cdots b_{k2})\cdots (h_1{h}_2\cdots h_{kl})$ ，其中$k_1+k_2+k_3+\cdots +k_l=n$，设k阶循环出现的次数为$c_k$，用$(k{)}^{ck}$表示。则$s_n$中的置换的格式为：
  $(1^{c1})(2^{c2})\cdots (n^{cn})$
  ${\sum }_{i=0}^{n}k\ast c_k=n$
  等价类
  置换$p_i$使图像k变为l，则称k和l属于同一等价类。数k所属的等价类被称为$E_k$。
  k不动置换类（Stabilizer）
  设G是$[1,n]$上的一个置换群。G是$S_n$的一个子群。$k\in [1,n]$，G中使k元素保持不变的置换全体，称为k不动置换类，记做$Z_k$。
• Burnside引理
  定理（Orbit-stabilizer theorem）设G是$[1,n]$上的一个置换群，$E_k$是$[1,n]$在G的作用下包含k的等价类，$Z_K$是k不动置换类。有$|E_k||Z_k|=|G|$。
  

来自学堂在线—组合数学