Trefoil Knot - Nontriviality

Nontriviality

The trefoil knot is nontrivial, meaning that it is not possible to “untie” a trefoil knot in three dimensions without cutting it. From a mathematical point of view, this means that a trefoil knot is not isotopic to the unknot. In particular, there is no sequence of Reidemeister moves that will untie a trefoil.

Proving this requires the construction of a knot invariant that distinguishes the trefoil from the unknot. The simplest such invariant is tricolorability: the trefoil is tricolorable, but the unknot is not. In addition, virtually every major knot polynomial distinguishes the trefoil from an unknot, as do most other strong knot invariants.