Let $K\subset\Bbb S^3$ be a (smoothly embedded) knot. We show that $K$ is isotopic to the trivial knot if and only if $\pi_1(X_K)\cong\Bbb Z$, where $X_K$ is the knot complement.
Fundamental group of knot complement, Homology of knot complement, etc.