Groups and Complements of Knots

We investigate the extent to which knot groups determine knot manifolds and knot types. Let Ki(i = 1, 2) denote a tame knot in S3, let Ci denote a Ki-knot manifold, and assume that Π1 (C1) ≈ Π 1(C2). The first named author recently showed (in [6]) that, if C1 has no essential annulus, then C1 ≅ C2, and so K1 and K2 are equivalent, if K1 has property P.