2
$\begingroup$

If we have a short exact sequence of continuous group homomorphisms between abelian groups $$0 \rightarrow \mathbb{Z} \oplus \mathbb{Z} \rightarrow X \rightarrow \mathbb{Z} \rightarrow 0,$$ can we conclude that $X = \mathbb{Z}^3$? I want to say, since the map $\mathbb{Z} \oplus \mathbb{Z} \rightarrow X$ is injective by exactness, that its image is $\mathbb{Z} \oplus \mathbb{Z}$ and then just use the first isomorphism theorem; however, is that necessarily true and if so how would I be rigorous about it?

$\endgroup$

1 Answer 1

8
$\begingroup$

This as an exact sequence of abelian groups, or $\mathbb{Z}$-modules, so it is split since the third term $\mathbb{Z}$ is a projective $\mathbb{Z}$-module. By the splitting lemma, it follows $X\cong (\mathbb{Z}\oplus\mathbb{Z})\oplus\mathbb{Z}$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .