Subgroup is Normal iff Contains Conjugate Elements

Theorem
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Let $N$ be a subgroup of $G$.

Then $N$ is normal in $G$ iff:
 * $\forall g \in G, \forall n \in N: g \circ n \circ g^{-1} \in N$
 * $\forall g \in G, \forall n \in N: g^{-1} \circ n \circ g \in N$

Proof
By definition, a subgroup is normal in $G$ iff:


 * $\forall g \in G: g \circ N = N \circ g$

Necessary Condition
Suppose that $N$ is normal in $G$.

Sufficient Condition
Suppose that:


 * $\forall g \in G, \forall n \in N: g \circ n \circ g^{-1} \in N$

Let $g \circ n \circ g^{-1} \in N$.

Similarly, $n \circ g \in N \circ g \implies N \circ G = g \circ N$.

As $g$ is arbitrary, then so is $g^{-1}$.

Thus:
 * $N \circ g \subseteq g \circ N$

From Equality of Sets it follows that $g \circ N = N \circ g$.