正规子群

H 是群 G 的子群，如果 H 的每一个左陪集也是右陪集，则称 H 为 G 的 正规子群，或不变子群

$$\forall a\in G,aH=Ha$$

记为

$$H◃G$$