ection::::定义.设 formula_1 为群，如果其内的正规子群只有 formula_2 本身与单位元formula_3组成的群（平凡群）formula_4，则称之为单群。
例子.
有限单群.循环群= Z/3Z，即模3的同余类在加法运算下形成的群是单群。这是因为，若是这个群的一个子群，则它的阶一定是群的阶3的约数，因为3是素数，所以只能是或者平凡群。另一方面，群=Z/12Z就不是单群。因为任意阿贝尔群的子群一定是正规子群，且12为合数，故很容易找