2
$\begingroup$

Let $f$ be a homomorphism mapping $G$ to $J$ groups. Assume that $J$ is abelian. Prove that if $H$ is a subgroup of $G$ and if $\mathrm{ker}(f)$ is a subset of $H$, then $H$ is normal in $G$.

I honestly have no idea how to start this proof. The fact that $J$ is abelian gives me that for all $a$ and $b$ in $G$, $f(ab) = f(ba)$; but this tells me nothing since $f$ is not injective. Furthermore, what exactly can I get from the fact that $\mathrm{ker}(f)$ is a subset of $H$? I understand the given information but I am having issues putting it all together as I see no possible relation!

My plan was to piece the information all together to somehow set things up for the normal subgroup test, however since I see no connection with the given information my approach seems to be rather futile.

Another thought I just got was to prove that $f$ is injective then use the fact that $J$ is abelian to show that $ah = ha$ for all $a$ in $G$ and $h$ in $H$.

Thanks.

1 Answers 1

2

You won't be able to prove that $f$ is injective, since there is absolutely no reason why it would be; and you can probably come up with examples of groups which satisfy the set-up but where $f$ is not injective. If you cannot, here's one: take $G=Q_8$, the quaternion group of order $8$. Let $J = C_2\times C_2$, the Klein $4$-group. Let $f\colon G\to J$ be the map that sends $1$ and $-1$ to $(0,0)$, $i$ and $-i$ to $(1,0)$; $j$ and $-j$ to $(0,1)$; and $k$ and $-k$ to $(1,1)$. Now take $H = \{1, -1, i, -i\}$. (Of course, $H$ is normal in $G$; but the point is that this set-up satisfies all the hypothesis, but $f$ is not injective; so you won't be able to prove, in general, that $f$ is injective).

If you already know the isomorphism theorems, you should remember that one of them says:

Theorem. Let $f\colon G\to K$ be a group homomorphism. The subgroups of $G$ that contain $\mathrm{ker}(f)$ are in one-to-one, inclusion preserving, normality preserving correspondence with the subgroups of $f(G)$.

and that will solve your problem directly.

If you don't know the isomorphism theorems, start from what you need to start: let $h\in H$ and $g\in G$; you need to show that $ghg^{-1}\in H$, right?

Well, $f(ghg^{-1}) = f(g)f(h)f(g)^{-1} = f(g)f(g)^{-1}f(h) = f(h)$, since $J$ is abelian.

What do you know about two elements that map to the same thing under a group homomorphism (in terms of the kernel of course)?

(Hint: $f(a) = f(b)$ if and only if $f(a)f(b)^{-1}=1$, if and only if $f(ab^{-1})=1$, if and only if ....)

What do you know about the kernel of $f$ in this case? Can you use these facts to conclude that $ghg^{-1}\in H$?

  • 0
    $f(ghg^{-1}) = f(h)$, we have that $ghg^{-1}kerf = hkerf$. My issue now is the presence of the $kerf$. Since they are sets I'm not sure if I can just eliminate directly since they appear both sides. Other thing I can see is that since we know that $hkerf$ is some element of H (H is a group so closed by operation), let $h^{'} = hkerf$. Then we have $ghg^{-1}kerf = h^{'}$. however the presence of $kerf$ also causes some issue.2011-03-11
  • 0
    @MyNameIsDan: Rather: Let me write $N=\mathrm{ker}f$. You have $ghg^{-1}N = hN$. But remember what that means: it means that $h^{-1}(ghg^{-1})\in N$. And since $N\subseteq H$, then $h^{-1}(ghg^{-1})$ is in $H$. And the product of two elements of $H$ is always in $H$, so if you, say, multiply $h$ by this complicatedly-named-element we just discovered is in $H$, what do we get?2011-03-12
  • 0
    @MyNameIsDan: That is: you have to remember that if $G$ is a group and $K$ is a subgroup, then the equality $xK = yK$ means that $y^{-1}x\in K$ (in fact, is equivalent to that); that's what lets you go from statements about cosets to statements about elements.2011-03-12
  • 0
    @MyNameIsDan: Here is a supplement: Denoting $\mathrm{Ker(f)}$ by $N$, we have that G is the direct sum of $N$ and $J$, since $H$ contains $N$, it is a direct product of $N$ and a subgroup of $J$, which is of course normal in $G$. This argument, however, is aimed to give an intuition, instead of any rigor, which is why I didn't put it an answer.2011-03-12
  • 0
    @awllower: Where do you get that $G$ is the direct sum of $N$ and $J$? That's false in general. See the example I started with: $Q_8$ is most definitely not the direct sum of $C_2$ and $C_2\times C_2$.2011-03-12
  • 0
    But aren't they isomorphic?2011-03-12
  • 0
    @awllower: Since $Q_8$ is **nonabelian** and both $C_2$ and $C_2\times C_2$ are abelian, I think the answer is a pretty resounding no. (Your claim is not even true in abelian groups: $C_4$ maps onto $C_2$ with kernel $C_2$, but $C_4$ is not the direct sum of $C_2$ and $C_2$; in the latter, all elements are of order dividing $2$, but $C_4$ has elements of order $4$).2011-03-12
  • 0
    Or maybe I remember the isomorphism theorem wrongly, I would like to see any clarification, thanks. And is the $f$ in the example a homomorphism?2011-03-12
  • 0
    @awllower: The isomorphism theorem says that $G/N$ is isomrophic to $\varphi(G)\lt J$; it most definitely does *not* say that $G$ is isomorphic to $N\oplus \varphi(G)$.2011-03-12
  • 0
    Hmm, it seems that I am definitely wrong, sorry, best apology here.2011-03-12
  • 0
    Then we can use the fact that $0 \rightarrow N \rightarrow G \rightarrow \phi(G) \rightarrow 0$ is exact, right?2011-03-12
  • 1
    @awllower: You could, but (i) I don't see that it will do you any good; and (ii) you don't have to use it at all. If you already know the isomorphism theorems, then this is a trivial consequence of the lattice isomorphism theorem; if you don't know them, then "exact sequences" is going to be well over your head. The simple argument I outline is more than enough.2011-03-12
  • 0
    @Arturo Magidin: I feel like I have interrupted you for just too long, so, thank you very much for the detailed clarification and in fact I agree with you that it is weird to mention the exactness here.2011-03-12
  • 0
    @awllower: You're not interrupting me (it's not like my phone rings every time you make a comment! I look at them when I want to), so don't worry about *that.*2011-03-12