子群

一个群的子集对于原来的运算仍然是一个群，则称为子群

一个群至少有两个子群：G 本身和只包含单位元的子集 $\{e\}$，称为 G 的 平凡子群，其他子群称为 真子群（$H<G$）

子群的性质

子群的判定定理