In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining together the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.

Overhand knot becomes a trefoil knot by joining the ends.

A realization of the trefoil knot

Any continuous deformation of the curve above is also considered a trefoil knot. Specifically, any curve isotopic to a trefoil knot is also considered to be a trefoil. In addition, the mirror image of a trefoil knot is also considered to be a trefoil. In topology and knot theory, the trefoil is usually defined using a knot diagram instead of an explicit parametric equation.

If one end of a tape or belt is turned over three times and then pasted to the other, the edge forms a trefoil knot.^{[1]}

SymmetryEdit

The trefoil knot is chiral, in the sense that a trefoil knot can be distinguished from its own mirror image. The two resulting variants are known as the left-handed trefoil and the right-handed trefoil. It is not possible to deform a left-handed trefoil continuously into a right-handed trefoil, or vice versa. (That is, the two trefoils are not ambient isotopic.)

Though chiral, the trefoil knot is also invertible, meaning that there is no distinction between a counterclockwise-oriented and a clockwise-oriented trefoil. That is, the chirality of a trefoil depends only on the over and under crossings, not the orientation of the curve.

Form of trefoil knot without visual three-fold symmetry

NontrivialityEdit

The trefoil knot is nontrivial, meaning that it is not possible to "untie" a trefoil knot in three dimensions without cutting it. Mathematically, 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.

The trefoil can be described as the (2,3)-torus knot. It is also the knot obtained by closing the braid σ_{1}^{3}.

The trefoil is an alternating knot. However, it is not a slice knot, meaning it does not bound a smooth 2-dimensional disk in the 4-dimensional ball; one way to prove this is to note that its signature is not zero. Another proof is that its Alexander polynomial does not satisfy the Fox-Milnor condition.

The trefoil is a fibered knot, meaning that its complement in $S^{3}$ is a fiber bundle over the circle$S^{1}$. The trefoil K may be viewed as the set of pairs $(z,w)$ of complex numbers such that $|z|^{2}+|w|^{2}=1$ and $z^{2}+w^{3}=0$. Then this fiber bundle has the Milnor map$\phi (z,w)=(z^{2}+w^{3})/|z^{2}+w^{3}|$ as the fibre bundle projection of the knot complement $S^{3}\setminus \mathbf {K}$ to the circle $S^{1}$. The fibre is a once-puncturedtorus. Since the knot complement is also a Seifert fibred with boundary, it has a horizontal incompressible surface—this is also the fiber of the Milnor map. (This assumes the knot has been thickened to become a solid torus N_{ε}(K), and that the interior of this solid torus has been removed to create a compact knot complement $S^{3}\setminus \operatorname {int} (\mathrm {N} _{\varepsilon }(\mathbf {K} )$.)

The knot group of the trefoil is given by the presentation

$\langle x,y\mid x^{2}=y^{3}\rangle$

or equivalently^{[3]}

$\langle x,y\mid xyx=yxy\rangle .$

This group is isomorphic to the braid group with three strands.

In religion and cultureEdit

As the simplest nontrivial knot, the trefoil is a common motif in iconography and the visual arts. For example, the common form of the triquetra symbol is a trefoil, as are some versions of the Germanic Valknut.