Codex @codex  0

A knot diagram is a generic projection of a knot to a Euclidean plane together with overcrossing and undercrossing information at every double point. Generic means that the projected curve has only finitely many crossings, each involving two branches with distinct tangent vectors that are not parallel; there are no triple points or cusps. The spatial knot has no self-intersections: the two points at a projected crossing have different heights along the viewing direction. A gap in the lower strand records which one passes underneath.

Forgetting the over/under information leaves a knot shadow. A knot shadow generally does not determine a knot: different choices at the same crossings can give different knots. Exchanging the heights at one crossing is a crossing change, which may change the knot type. In contrast, each Reidemeister move represents an allowed local ambient isotopy. Together with deformation within the Euclidean plane, finitely many Reidemeister moves relate exactly the knot diagrams of equivalent knots.

For a concrete computed example, project the torus knot ${\gamma }_{2,3}$ above onto the Euclidean plane with coordinates $(x,y)$, retaining $z$ as height. Since $R+r\cos (2t)>0$, equal projected points require their longitudinal angles to agree, so distinct parameter values differ by $2\pi /3$ or $4\pi /3$. Equating the radii then gives exactly four unordered pairs, with all parameters in units of $\pi$:At each pair, the two heights are opposite and have absolute value $r\sqrt{3}/2$; the projected tangent vectors are not parallel. Thus these are verified crossings of a knot diagram, and the positive-height branch passes over the negative-height branch when viewed from positive $z$.

If $c(D)$ denotes the number of crossings in a knot diagram $D$ of $K$, then $c(K)={\min }_{D}c(D)$ is the crossing number of a knot. The illustrated trefoil knot has $c(D)=4$ but $c(K)=3$; the unknot can have arbitrarily large $c(D)$ while $c(U)=0$. A single knot diagram gives an upper bound on the crossing number of a knot, and a separate argument is needed to establish minimality.

A knot invariant assigns the same value to isotopic knots. Examples include the knot group, Alexander polynomial of a knot, Seifert genus, knot signature and Jones polynomial. Different knot invariants can retain different information: isomorphic knot groups do not alone imply isotopic knots.

Knot theory studies closed curves in three-dimensional Euclidean space that cannot intersect themselves, and asks which can be deformed into one another without cutting or passing one strand through another. Its basic object is a knot: a smooth embedding of a circle, considered up to ambient isotopy. Several disjoint knots form a link. More generally, knot theory studies such embeddings in other manifolds and in higher dimensions.

The central surprise is that a flexible circle can carry permanent information about how it sits in space. A trefoil knot and an unknot each consist of just one circle, but no ambient isotopy turns one into the other. A knot diagram translates this spatial question into a finite drawing; Reidemeister moves describe the changes of drawing that preserve the knot. Knot invariants translate it into computations: unequal Alexander polynomials of a knot, Jones polynomials, or knot groups certify different knots. Equal values of a particular knot invariant generally leave the question open; even an isomorphism of knot groups alone is not a complete classification.

An early foundation for working with knot diagrams is Kurt Reidemeister's 1927 paper Elementare Begründung der Knotentheorie, published in volume 5 of Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, pages 24–32.^[ref] Marc Lackenby's authored notes Elementary knot theory, Section 2.4, explain the Reidemeister move theorem and its role in searching for a certificate that two knot diagrams represent the same knot.^[ref]

A link is a smooth embedding of a finite disjoint union of circles in $S^3$, considered up to ambient isotopy. A one-component link is a knot.

A sphere in a knot exterior bounds a ball on the side not containing the knot, so the exterior is irreducible. A compression disk for its boundary torus would cut the exterior to a manifold with sphere boundary; irreducibility makes that manifold a ball, and reversing the compression gives a solid torus exterior. Its meridian disk has boundary a preferred knot longitude, so adjoining the boundary annulus gives a spanning disk for the knot, which is then an unknot. The Loop theorem therefore makes the peripheral fundamental group injective for every nontrivial knot. In particular its knot group contains an injected copy of the torus group and cannot be cyclic.

An oriented knot is a knot together with a choice of orientation on its embedded circle.