Abstract Algebra – If $H$ is a Normal Subgroup of $G$ with $G/H$ Abelian, Then the Commutator Subgroup of $G$ is in $H$

abstract-algebragroup-theoryproof-verification

This is part of Exercise 2.7.9 of F. M. Goodman's "Algebra: Abstract and Concrete".

Let $C$ be the commutator subgroup of a group $G$. Show that if $H$ is a normal subgroup of $G$ with $G/H$ abelian, then $C\subseteq H$.

The following seems to be wrong.

My Attempt:

The commutator subgroup $C$ of $G$ is the subgroup generated by all elements of the form $xyx^{-1}y^{-1}$ for $x, y\in G$.

Since $G/H$ is abelian, we have for $x, y\in G$,
$$\begin{align}
xyx^{-1}y^{-1}H&=xyy^{-1}x^{-1}H \\
&=H,
\end{align}$$ so that all elements of the form $xyx^{-1}y^{-1}$ are in $H$. Thus $C\subseteq H$.

But I don't use the fact that $H$ is normal. What have I done wrong and what is the right proof?

Best Answer

$G/H=\{gH: g\in G\}$ by definition. this is only a group under $(gH)(g'H) = (gg')H$ if $Hg' = g'H$. But this is just another way of stating the definition of $H$ being normal. In your proof you just neglected to note that $xyx^{-1}y^{-1}H$ is only relevant because it is equal to $(xH)(yH)(x^{-1}H)(y^{-1}H)$ because $H$ is normal.

I would call this "incomplete" rather than "wrong" if anything, as the problem is a few steps beyond reproving the basic fact that $G/H$ is only a group when $H$ is normal. I think you just forgot that that's what makes $G/H$'s group operation well-defined.