（）是指没有非平凡正规子群的群。任意一个群如果不是单群，都可以作进一步分解而得到一个非平凡正规子群及对应的商群。这个过程可以一直做下去。对于有限群，若尔当-赫尔德定理表明，这个分解过程可以得到该群的唯一的合成列（最多相差一个置换）。在2008年完成的有限单群分类工作是数学史上一个重要的里程碑。
定义.设 formula_1 为群，如果其内的正规子群只有 formula_2 本身与单位元formula_3组成的群（平凡群）formula_4，则称之为单群。
例