On embedding the fundamental group of a 3-manifold in one of its knot groups

This paper gives necessary and sufficient conditions on a compact, connected, orientable 3-manifold M for it to contain a knot K such that M-K is irreducible and pi_1(M) embeds in pi_1(M-K). This result provides counterexamples to a conjecture of Lopes and Morales and characterizes those orientable 3-manifolds for which it is true.