群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。子群是群的特殊的非空子集。群G的非空子集H，若对G的乘法也成为群，则称H为G的子群。惯性群是群表示论中一类重要的群。可由正规子群特征标的稳定子群决定的群。设N是一个有限群G的正规子群。