# Does an abelian subgroup inject into the abelianisation of the whole group? [closed]

If $H <G$ are groups and H is abelian, do we get an injection from H into $G/[G,G]$?

• Take $G$ perfect (e.g., (nonabelian) simple) and $H$ cyclic. May 20, 2016 at 17:07
• Abstractly, this fails to happen because abelianization is a left adjoint but not a right adjoint. Left adjoints preserve epimorphisms but not necessarily monomorphisms in general. May 20, 2016 at 17:20

No. Take $G=S_3$. The abelianization of $G$ is $C_2$. But $C_3$ is a subgroup of $S_3$ and certainly does not inject into $C_2$.
Let $G$ be a group, let $H$ be an abelian group and let $\phi\colon G\to H$ be a homomorphism. Then there is a unique homomorphism $\hat{\phi}\colon G/[G,G]\to H$ such that $\phi$ factors as: $$\phi= G\xrightarrow{\pi}G/[G,G]\xrightarrow{\hat\phi} H$$
In fact, this happens all the time for a nonabelian group $G$. If $G$ is not abelian, then its commutator subgroup $[G,G]$ is nontrivial. Take any $x\in[G,G]$ different from $1$, and let $H$ be the subgroup generated by $x$. Then $H$ is abelian but maps to $0$ in the quotient $G/[G,G]$!