Let $H$ be a group, if its abelianization is $\mathbb{Z}_2$ does this mean that $H$ has torsion?

As is mentioned in the title, I have some group $H$ and I know that its abelianization is $\mathbb{Z}_2$. Does this imply that $H$ has torsion?

Edit: Since people want more context, here's some context. Basically I'm looking at the fundamental group of the Klein bottle and I want to show that it can't split as $\pi_1(K) \cong \mathbb{Z} \oplus H$ for any group $H$. I know if I abelianize then I end up getting $\mathbb{Z} \oplus \mathbb{Z}_2$. So if the abelianization splits over direct sums (which I'm not sure about) then if somehow I could say that $H$ must be going to $\mathbb{Z}_2$ through this abelianization map and $H$ had to have torsion I'd have a contradiction to the klein bottle being a manifold and thus having torsion-free fundamental group. I think there are a number of holes in this argument though, but I'm still interested in the particular question I asked above.


Solution 1:

No. Take $G$ to be an infinite, torsion-free perfect group. Let $x$ be a nontrivial element of $G$. Take the amalgam of $G$ with $\mathbf{Z}$ by identifying $x$ with $2$: $$H=\langle G,c\mid c^2=x\rangle.$$ As an amalgam of two torsion-free groups, it is torsion-free. From the presentation, the abelianization is clearly of order 2, generated by the image of $c$.

There are many choices for $G$, including finitely presented ones, for instance $\langle s,t\mid (st)^2=s^3=t^7\rangle$.

Solution 2:

I believe the answer should be “no”. What I have is not an example, but I suspect that something along these lines could be massaged into an example.

The group $E\Pi\operatorname{Aut}(F_3)$, is torsion-free (a theorem of Glover and Jensen) and given by the following presentation. Throughout, $i,j,k$ will be pairwise distinct elements of $\{1,2,3\}$.

$$E\Pi\operatorname{Aut}(F_3) = \langle \rho_{ij} \mid [\rho_{ij},\rho_{ik}], \rho_{ik}\rho_{jk}\rho_{ij} = \rho_{ij}\rho_{jk}\rho_{ik}^{-1}\rangle.$$

Notice that the latter relator abelianizes to saying the image of $\rho_{ik}$ is equal to the image of $\rho_{ik}^{-1}$, so the abelianization of $E\Pi\operatorname{Aut}(F_3)$ is $C_2^6$.