子群

子群是群 元素的子集 ，它满足四个群的要求。因此，它必须包含单位元。“ 是 的子群” 被写作 ，或者有时写作 (例如，Scott 1987, p. 16)。

群的任何子群的阶必须是群 的阶 的除数。

不包含整个群 本身的群 的子群 被称为真子群，记为 或 。