Confusion in the definition of normal subgroup

abstract-algebragroup-theorynormal-subgroups

Let $G$ be a group and $N$ be a subgroup of $G$. Then the following statements are equivalent:

The subgroup $N$ is normal in $G$.
For all $g\in G$, $gNg^{-1}\subseteq N$.
For all $g\in G$, $gNg^{-1}=N$
I don't understand why we need the second condition. We could've just put the 3rd one and the first one. What was the need for the second one? it just seems that it's redundant.

Best Answer

So that you don't need to prove the reverse inclusion each time you want to test whether a group is normal.

That is, if $N$ is a subgroup of $G$, and I show that for all $n\in N$, $g\in G$, we have that $gng^{-1}\in N$, then $N$ is normal to $G$ automatically.

If we only relied on the third condition, we would have to further prove that for all $n\in N$, $g\in G$, $n\in gNg^{-1}$. Due to the statement given, we see that we automatically get this from the second condition.

Related Question