这一部分在黑书中，
是在群论这一部分介绍的
所以我们先了解什么是群
群的定义
给定一个集合G={a,b,c…}和集合G上的一个二元计算*，满足以下四个条件：
(1)封闭性
若a,b∈G,则存在唯一确定的c∈G,使得a*b=c;
(2)结合律成立
任意a,b,c∈G,有(a*b)* c=a* (b*c);
(3)单位元存在
存在e∈G,对任意a∈G，满足a*e=e*a=a，称e为单位元，也称幺元;
(4)逆元存在
任意a∈G,存在唯一确定的b∈G, a*b=b*a=e(单位元)，则称a与b互为逆元素，简称逆元，记作a^(-1)=b.
通常称G上的二元运算*为“乘法”，称a*b为a与b的积，并简写为ab.
若群G中元素个数是有限的，则G称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。
置换的定义
n个元素1,2,3,4,…，n之间的一个置换为
表示1被1到n中的某一个数a1取代，2被1到n中的某一个数a2取代，直到n被1到n中的某一个数an取代，且a1到an各不相同
置换群
置换群的元素是置换，运算的置换的连接
可以验证置换群满足群的四个条件：
循环
记
