Solution (source code)

= Solution

\b[False.] A finite cyclic <group> has nonidentity torsion, whereas $\mathbb Z$ is torsion-free, so an injective homomorphism cannot exist.