Hempel, in his 1987 article "Residual Finiteness for 3-Manifolds", shows that if $M$ is a compact Haken 3-manifold, then $\pi\_1(M)$ is residually finite. In the proof he starts by reducing the case to '$M$ is closed and irreducible'. Why can he so easily do that?


Thanks in advance!



Residual Finiteness for 3-Manifolds Hempel
These are a routine, but very valuable, pair of exercises in the theory of three-manifolds. So if you are trying to learn the material, don't read the following proof sketches until you desperately need some hints!




---




---




---




---




---






---




---


We assume that $M$ is compact and connected.


Suppose that $M$ is reducible. Then there is a sphere $S$ in $M$ that does not bound a ball on either "side". We deduce that $M$ is either $S^2 \times S^1$ (or perhaps the twisted version) or $M$ is a non-trivial connect sum. Since $\pi\_1(S^2 \times S^1) \cong \mathbb{Z}$ the former case can be ignored. In the latter case $M$ is a connect sum $A \, \# \, B$. Thus $\pi\_1(M) \cong \pi\_1(A) \ast \pi\_1(B)$. So the residual finiteness of $M$ reduces to that of $A$ and $B$. 


Suppose that $M$ has boundary. Define $D(M)$ to be the *double* of $M$ across its boundary: that is, take two copies of $M$ and glue them using the "identity" on their boundaries. Thus $\pi\_1(M)$ injects into $\pi\_1(D(M))$. So the residual finiteness of $M$ reduces to that of $D(M)$.


