Normal Subgroup iff Normalizer is Group

Theorem
$H \triangleleft G \iff N_G \left({H}\right) = G$

That is, a subgroup of a group is normal in that group iff the normalizer of that subgroup is the group itself.

Proof
Follows directly from Normalizer Largest Subgroup.