1
$\begingroup$

I'm having trouble with the next statement:

Let $G$ be a group such that there exists a surjective group homomorphism $G \rightarrow \mathbb Z$, where $\mathbb Z$ denotes the group of the integers. Then for any subgroup of finite index $H$ of $G$, there also exists a surjective group homomorphism $H\rightarrow \mathbb Z$.

I really appreciate if someone gives me a hint or a proof of this fact.

1 Answers 1

1

Let $\phi \colon G \to \mathbb Z$ the an epimorphism. We consider the image $\phi[H]$ of $H$. $\phi[H]$ is a subgroup of $\mathbb Z$ and we have $\phi[H] \ne 0$, we would have an epimorphism $G/H \to \mathbb Z$, contradicting $\mathbb Z$ being infinite. So $\phi[H] = n\mathbb Z$ for some $n \ge 1$, but the latter group is isomorphic to $\mathbb Z$.

  • 1
    I think the word "otherwise" is missing just before "we would..."2012-12-19