Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let $M^3$ be a compact $3$-manifold such that $\pi_1(M)$ contains a normal subgroup isomorphic to $\mathbb Z$.
Can we show either $\pi_1(M)$ is torsion free-free or $\pi_1(M)=\mathbb Z \oplus \mathbb Z_2$ or $\mathbb Z_2 * \mathbb Z_2$?
Can we show either $\pi_1(M)$ is torsion free or $\pi_1(M)=\mathbb Z \oplus \mathbb Z_2$ or $\mathbb Z_2 * \mathbb Z_2$?
Can we show either $\pi_1(M)$ is torsion-free or $\pi_1(M)=\mathbb Z \oplus \mathbb Z_2$ or $\mathbb Z_2 * \mathbb Z_2$?