Inner Automorphisms form Normal Subgroup of Automorphism Group

Theorem
Let $G$ be a group.

Then the set $\Inn G$ of all inner automorphisms of $G$ is a normal subgroup of the automorphism group $\Aut G$ of $G$:


 * $\Inn G \lhd \Aut G$

Proof
Let $G$ be a group whose identity is $e$.

From Inner Automorphisms form Subgroup of Automorphism Group, $\Inn G$ forms a subgroup of $\Aut G$.

It remains to be shown that $\Inn G$ is normal in $\Aut G$.

Let $\kappa_x: G \to G$ be the inner automorphism defined as:
 * $\forall g \in G: \map {\kappa_x} g = x g x^{-1}$

Let $\phi \in \Aut G$.

If we can show that:
 * $\forall \phi \in \Aut G: \forall \kappa_x \in \Inn G: \phi \circ \kappa_x \circ \phi^{-1} \in \Inn G$

then by the Normal Subgroup Test:
 * $\Inn G \lhd \Aut G$

Fix $\kappa_x \in \Inn G$.

We claim $\phi \circ \kappa_x \circ \phi^{-1} = \kappa_{\map \phi x}$.

Since $\phi \in \Aut G$ then $\phi$ is, in particular, a homomorphism.

Therefore:

Therefore:
 * $\phi \circ \kappa_g \circ \phi^{-1} = \kappa_{\map \phi g} \in \Inn G$

Since $\kappa_x \in \Inn G$ and $\phi \in \Aut G$ were arbitrary:
 * $\Inn G \lhd \Aut G$