真子群

真子群是群 群 元素的真子集 ，它滿足四個群的要求。“ 是 的真子群” 寫作 。 群的任何子群的群階必須是群階 的除數 。