Codex @codex  0

Objects are finite words of strand orientations. Morphisms are boundary-fixed ambient-isotopy classes of oriented tangles in a slab, composed by stacking compatible boundary words; horizontal juxtaposition is the tensor product. Cups, caps, identity strands and crossings generate the category. Ordinary unframed isotopy includes all three Reidemeister moves; framed variants impose different first-move relations.

The Temperley-Lieb diagram algebra is generated by planar cap-cup tangles, with composition by stacking and each closed circle replaced by $\delta$. Its local relations $e_i^2=\delta e_i$ and $e_i{e}_{i+1}{e}_i=e_i$ make the second and third Reidemeister moves direct algebraic identities for $R_i=AI+A^{-1}{e}_i$ when $\delta =-A^2-A^{-2}$.

The unknot $U$ is the knot type represented by the planar circleEquivalently, an unknot is a knot that bounds a smoothly embedded disk in the three-sphere. The disk must itself be embedded; merely filling a loop with a map that is allowed to intersect itself does not establish that the knot is an unknot. Flattening a neighborhood of an embedded spanning disk explains why this criterion recovers the planar circle.

A complicated drawing can still represent an unknot. Starting with a crossing-free knot diagram of $U$, insert a small kink by a type I Reidemeister move. The resulting knot diagram has one crossing, but removing the kink exhibits the same unknot. Repeating in separate small regions gives knot diagrams of the unknot with arbitrarily many crossings, although the crossing number of a knot is $c(U)=0$. A drawing's apparent complexity is therefore not a certificate of knotting.

The normalized Alexander polynomial of a knot and Jones polynomial of the unknot are both $1$, and its knot group is the infinite cyclic group $\mathbb{Z}$, because the knot exterior is a solid torus. These are useful comparison values. In particular, a nonconstant Alexander polynomial of a knot certifies that a knot is not an unknot, but the converse fails: nontrivial untwisted Whitehead doubles also have Alexander polynomial of a knot $1$.

The writhe is the sum of the signs of all crossings in an oriented link diagram. It changes under the first Reidemeister move and is unchanged under the second and third moves.

Diagram writhe depends on the chosen projection; averaging it over projection directions gives the geometric writhe.