惯性群

（代数名词）

群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。子群是群的特殊的非空子集。群G的非空子集H，若对G的乘法也成为群，则称H为G的子群。当且仅当：