On malnormal peripheral subgroups of the fundamental group of a -manifold
Let be a non-trivial knot in the -sphere, its exterior, its group, and its peripheral subgroup. We show that is malnormal in , namely that for any with , unless is in one of the following three classes: torus knots, cable knots, and composite knots; these are exactly the classes for which there exist annuli in attached to which are not boundary parallel (Theorem 1 and Corollary 2). More generally, we characterise malnormal peripheral subgroups in the fundamental group of a...