Centralizer is Normal Subgroup of Normalizer

Theorem
Let $G$ be a group.

Let $H \le G$ be a subgroup of $G$.

Let $\map {C_G} H$ be the centralizer of $H$ in $G$.

Let $\map {N_G} H$ be the normalizer of $H$ in $G$.

Let $\Aut G$ be the group of automorphisms of $G$.

Then:


 * $(1): \quad \map {C_G} H \lhd \map {N_G} H$
 * $(2): \quad \map {N_G} H / \map {C_G} H \cong K$

where:
 * $\map {N_G} H / \map {C_G} H$ is the quotient group of $\map {N_G} H$ by $\map {C_G} H$
 * $K$ is a subgroup of $\Aut G$.

Proof
For each $x \in \map {N_G} H$, we invoke the inner automorphism $\kappa_x: H \to G$:


 * $\map {\kappa_x} h = x h x^{-1}$

From the definition of inner automorphism, $\kappa_x$ is an automorphism of $H$.

The kernel of $\kappa_x$ can be shown to be $\map {C_G} H$ (probably by using Kernel of Inner Automorphism Group is Center).

The result follows from the First Isomorphism Theorem for Groups, Kernel of Group Homomorphism is Subgroup and Centralizer in Subgroup is Intersection.