Talk:Equivalence of Definitions of Normal Subgroup

The proofs look unnecessarily complicated.

Like for Definition 1 $\iff$ Definition 3. You can just conclude the other one by swapping $g$ and $g^{-1}$. Why do you need two proofs - starting with Similarly - for each direction??? -- Jd.t13