[Math] Quotient set of Normalizer by centalizer

abstract-algebra

Let $H \leq G$. Why is the quotient group of the normalizer of $H$ by the centralizer of $H$ isomorphic to a subgroup of $Aut(H)$? I've tried i=finding this theorem, but I haven't had much luck.

Best Answer

That is because you have a homomorphism \begin{align*} N(H)&\longrightarrow \operatorname{Aut}H\\ g&\longmapsto (h\mapsto ghg^{-1}) \end{align*} and the kernel of this homomorphism is the centraliser of $H$.