子群

子群是群 元素的子集 ，它滿足四個群的要求。因此，它必須包含單位元。“ 是 的子群” 被寫作 ，或者有時寫作 (例如，Scott 1987, p. 16)。

群的任何子群的階必須是群 的階 的除數。

不包含整個群 本身的群 的子群 被稱為真子群，記為 或 。