1
$\begingroup$

Let $H \leq G$, $N := N_G(H) = \{g \in G\mid gHg^{-1} = H\}$ and $C:=C_G(H)= \{g \in G \mid \forall h \in H: ghg^{-1} = h\}$.

I have shown that $C \lhd N$. How can I show that $N/C$ is isomorphic with a subgroup of $Aut(H)$?

$\endgroup$
2
$\begingroup$

You should think of a homomorphism $N\to\operatorname{Aut}(H)$; the definition of the normalizer is a clue. Then (if you've chosen the right thing), the kernel will be $C$, and you can use the first isomorphism theorem.

(As an aside, this would also show that $C$ is normal in a very neat way, as the kernels of homomorphisms are normal.)

$\endgroup$
  • 1
    $\begingroup$ Great thanks ! I thinks this will work: Let $\phi: N \rightarrow Aut(H): n \mapsto i_n$ where $i_n:H \rightarrow H: h \mapsto nhn^{-1}$. $\endgroup$ – user42761 Dec 4 '12 at 18:25
0
$\begingroup$

Say $\phi:N \to \operatorname{Aut}(H)$ is given by $\phi(g) = \sigma_g$, where $\sigma_g$ is our inner automorphism $\sigma_g(x) = gxg^{-1}$. The kernel of $\phi$ is obviously $C$. By the first isomorphism theorem, we know that $N/C \cong \operatorname{Im}(\phi) \le \operatorname{Aut}(H)$.

$\endgroup$
  • $\begingroup$ Indeed. That is what I have found, too :) $\endgroup$ – user42761 Dec 4 '12 at 18:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy