🪢Knot Theory
Important Knot Diagrams
Study smarter with Fiveable
Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.
Why This Matters
Knot theory sits at the intersection of topology, algebra, and geometry—and understanding key knot diagrams is essential for grasping how mathematicians classify and distinguish these objects. You're being tested on your ability to recognize knots by their invariants, understand crossing number, linking number, and tricolorability, and explain why certain knots are fundamentally different despite looking similar. These diagrams aren't just pretty pictures; they're the primary tool for computing invariants and proving equivalence (or inequivalence) between knots.
Don't just memorize what each knot looks like—know what concept each diagram illustrates. Can you explain why the trefoil is nontrivial? Why the Borromean rings demonstrate a property that pairwise linking misses? The exam will push you to connect specific diagrams to broader principles like prime decomposition, chirality, and the distinction between knots and links. Master the "why" behind each example, and you'll be ready for any comparison question they throw at you.
The Foundation: Trivial and Prime Knots
Every knot can be decomposed into prime knots—knots that cannot be expressed as the connected sum of two nontrivial knots. Understanding prime knots is like understanding prime numbers: they're the building blocks of all knot complexity.
Unknot (Trivial Knot)
- Crossing number of zero—the only knot that can be deformed to a simple circle without any crossings
- Baseline for all invariants—every knot invariant is calibrated against the unknot (e.g., the Jones polynomial equals 1)
- Recognition problem—determining whether a complex diagram represents the unknot is computationally difficult, highlighting why invariants matter
Trefoil Knot
- Simplest nontrivial knot with crossing number 3—cannot be simplified to fewer crossings through any sequence of Reidemeister moves
- First example of chirality—the left-handed and right-handed trefoils are distinct knots (mirror images that cannot be deformed into each other)
- Tricolorable—can be colored with three colors following the tricolorability rules, proving it's not equivalent to the unknot
Figure-Eight Knot
- Crossing number of 4—the unique knot with exactly four crossings
- Amphichiral (achiral)—equivalent to its mirror image, contrasting sharply with the chiral trefoil
- Hyperbolic knot—its complement admits a complete hyperbolic structure, making it fundamental in geometric topology
Compare: Trefoil vs. Figure-Eight—both are prime knots with low crossing numbers, but the trefoil is chiral while the figure-eight is amphichiral. If an FRQ asks about mirror symmetry in knots, these two are your go-to contrast.
Higher Crossing Number Knots
As crossing number increases, knots become more numerous and harder to distinguish. These examples show how invariants become essential tools when visual inspection fails.
Cinquefoil Knot
- Crossing number of 5—a torus knot, meaning it wraps around a torus 5 times in one direction and 2 times in the other
- Torus knot family—belongs to the well-understood class where invariants can be computed directly from the parameters
- Chiral like the trefoil—its mirror image is a distinct knot, reinforcing the pattern that most torus knots lack amphichirality
Stevedore Knot
- Crossing number of 6—specifically knot in standard tables
- Ribbon knot—bounds a self-intersecting disk in 4-dimensional space, connecting to the slice-ribbon conjecture
- Unknotting number of 1—changing just one crossing converts it to the unknot, despite its apparent complexity
Compare: Cinquefoil vs. Stevedore—both have relatively low crossing numbers, but the cinquefoil is a torus knot (lives on a torus surface) while the stevedore is a twist knot (formed by twisting and closing). This distinction matters for computing Alexander polynomials.
Composite Knots and Binding Failures
Not every knot is prime—some are connected sums of simpler knots. Understanding composite knots helps explain why certain "knots" fail in practical applications.
Square Knot
- Composite knot—the connected sum of a trefoil and its mirror image ()
- Crossing number of 6—but unlike prime 6-crossing knots, it decomposes into simpler pieces
- Amphichiral composite—despite being made of chiral components, the square knot equals its mirror image
Granny Knot
- Also composite—the connected sum of two identical trefoils (), both left-handed or both right-handed
- Chiral unlike the square knot—this is the key distinction, despite both being "trefoil + trefoil"
- Same crossing number, different knot—demonstrates that crossing number alone cannot distinguish knots
Compare: Square Knot vs. Granny Knot—both are connected sums of two trefoils with crossing number 6, but the square knot uses opposite-handed trefoils (making it amphichiral) while the granny uses same-handed trefoils (making it chiral). This is a classic exam example of why chirality matters in composition.
Links: When Multiple Components Interact
Links extend knot theory to multiple closed curves. The key question becomes: how are the components entangled with each other?
Hopf Link
- Simplest nontrivial link—two unknotted circles with linking number
- Linking number demonstration—the fundamental example for teaching how to compute and interpret this invariant
- Each component is an unknot—the complexity comes entirely from how they're linked, not from the individual curves
Whitehead Link
- Linking number of zero—despite being clearly linked, the algebraic count of crossings cancels out
- Not equivalent to the unlink—proves that linking number is an incomplete invariant (necessary but not sufficient)
- Boundary link—each component bounds a surface (Seifert surface) that doesn't intersect the other component
Compare: Hopf Link vs. Whitehead Link—both are two-component links, but the Hopf link has nonzero linking number while the Whitehead link has linking number zero yet remains linked. This contrast is essential for understanding the limitations of linking number as an invariant.
Borromean Rings
- Three-component link with pairwise linking number zero—any two rings form the unlink, yet all three together are inseparable
- Brunnian link—removing any single component causes the remaining two to become unlinked
- Higher-order linking—demonstrates that pairwise invariants miss global entanglement, motivating Milnor invariants
Compare: Whitehead Link vs. Borromean Rings—both have zero pairwise linking numbers, but the Whitehead involves two components while the Borromean requires three to exhibit its "all-or-nothing" linking. Use the Borromean rings when asked about Brunnian properties or limitations of pairwise invariants.
Quick Reference Table
| Concept | Best Examples |
|---|---|
| Prime knots | Trefoil, Figure-eight, Cinquefoil, Stevedore |
| Composite knots | Square knot, Granny knot |
| Chirality vs. amphichirality | Trefoil (chiral) vs. Figure-eight (amphichiral) |
| Crossing number basics | Unknot (0), Trefoil (3), Figure-eight (4), Cinquefoil (5) |
| Linking number | Hopf link (nonzero), Whitehead link (zero) |
| Brunnian links | Borromean rings |
| Torus knots | Trefoil , Cinquefoil |
| Knot vs. link distinction | Trefoil (one component) vs. Hopf link (two components) |
Self-Check Questions
-
Which two knots both have crossing number 6 but differ in chirality, and what accounts for this difference?
-
The Whitehead link and Hopf link are both two-component links—what invariant distinguishes them, and why does this matter for understanding invariant limitations?
-
Compare and contrast the trefoil and figure-eight knots in terms of crossing number, chirality, and tricolorability. Which would you use to demonstrate that a knot can equal its mirror image?
-
If an FRQ asks you to explain why pairwise linking numbers are insufficient to detect all linking, which diagram provides the strongest example and why?
-
Both the square knot and granny knot are connected sums of trefoils—explain precisely how their constructions differ and what topological property this affects.