= Solution
For the <Loop theorem>, start with a nullhomotopy $f:(D^2,\partial D^2)\to(M,\partial M)$ whose boundary represents a nontrivial boundary-group element. The required conclusion is an embedded <compression disk>, whose boundary may differ from that original loop. A tower proof proceeds as follows.
Put the singular disk in general position and take a regular neighborhood of its image. Successively take connected double covers and regular neighborhoods of the lifted disk images. Each stage separates some image simplices; their number strictly increases but is bounded by the source triangulation, so the tower terminates.
At the top there is no connected double cover, hence $H^1(-;\mathbb Z/2)=0$. Poincare-Lefschetz duality makes every boundary component a sphere. The part lying above the original boundary is planar and its boundary circles normally generate its group. Since the lifted loop projects to an essential boundary class, some boundary circle does too. Cap that circle on the sphere and push the disk inward.
Descend each double cover. The projected embedded disk has only double arcs and circles. Innermost disk exchanges and cut-and-paste surgeries remove these. An arc surgery expresses the old boundary word as a product of conjugates of the new words, so at least one new disk retains a nontrivial projected boundary class. Circle surgery retains that class. Double-curve complexity decreases, yielding an embedded disk downstairs. Iterating reaches the required <compression disk> in $M$.
Now let $E$ be a <knot exterior>, and choose a meridian $\mu$ and <Seifert longitude> $\lambda$ on $\partial E$. The <homology (mathematics)> of the exterior is $\mathbb Z$, measured by linking number with the <knot>: $\mu$ maps to a generator and $\lambda$ to zero. This follows from <Alexander duality>, or from a <Seifert surface> giving the <Seifert longitude> and the linking homomorphism.
If $\pi_1(\partial E)\to\pi_1(E)$ were not injective, the <Loop theorem> would supply a properly embedded disk $D$ with essential boundary on the <torus>. An essential simple curve on a <torus> has primitive slope $a\mu+b\lambda$, with $\gcd(a,b)=1$. Since $\partial D$ bounds a disk in the exterior, its <homology (mathematics)> image is zero, forcing $a=0$ and $b=\pm1$. Thus $\partial D$ is a <Seifert longitude>. Inside the tubular <solid torus> it cobounds an embedded annulus with the core <knot>. Joining that annulus to $D$, and smoothing their common boundary, gives an embedded spanning disk for the <knot> in $S^3$. A <knot> bounding such a disk is the <unknot>. Contraposition proves
$$
\boxed{K\text{ nontrivial}\quad\Longrightarrow\quad
\pi_1(\partial E)\hookrightarrow\pi_1(E).}
$$
Finally, $S^3\setminus K$ deformation retracts onto its exterior, so their <fundamental groups> agree. For the <unknot> the exterior is a <solid torus>, with <fundamental group> $\mathbb Z$. Conversely, if the knot-complement group were $\mathbb Z$, it could not contain an injected subgroup $\pi_1(\partial E)=\mathbb Z^2$. The preceding result therefore forces the <knot> to be trivial. Hence
$$
\boxed{K\text{ is unknotted}\iff\pi_1(S^3\setminus K)\cong\mathbb Z.}
$$
Merely having <homology (mathematics)> $\mathbb Z$ would not suffice: every <knot exterior> has that <homology (mathematics)>.
Back to article page
