正規部分群

定義

$$H\subset G,{}^{\forall }x\in G,xH=Hx$$

のとき$G⊴H$