Subgroup equals Conjugate iff Normal/Proof 1

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


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

First note that:
 * $(1): \quad \paren {\forall g \in G: g \circ N \circ g^{-1} = N} \iff \paren {\forall g \in G: g^{-1} \circ N \circ g = N}$

which is shown by, for example, setting $h := g^{-1}$ and substituting.

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

Then:

Similarly:

Sufficient Condition
Let $N$ be a subgroup of $G$ such that:
 * $\forall g \in G: g \circ N \circ g^{-1} = N$

and so from $(1)$ above:
 * $\forall g \in G: g^{-1} \circ N \circ g = N$

Then: