Sia $H$ sottogruppo di $G$. Allora $H$ è sotto gruppo normale di $G$ se e solo se
$$ \forall x \in H \forall g\in G \ \ gxg^{-1}\in H $$