Manifolds and cell complexes Knot theory Theorem
Alexander's theorem on closed braids
Builds on LinkBraid group
Statement
Let be a tame oriented link in . Then there are an integer and a braid in the braid group with this property. The link is ambient isotopic, as an oriented link, to the closure of . Here is obtained from a picture of in a cylinder in the following way. The top end of each strand is joined to the bottom end in the same position, outside the cylinder and without new crossings. All strands are oriented downward.
Remarks
The idea of the proof is to choose an axis and to make the link wind around it in one direction. Take a polygonal diagram of and a point of the plane off the diagram. Each edge that runs clockwise around can be replaced by two edges that pass on the other side of , so that they run counterclockwise. After finitely many such moves every edge runs counterclockwise around , and cutting along a ray from shows the link as a closed braid. For example, the trefoil knot is the closure of in , and the Hopf link is the closure of in . The braid is far from unique; the Markov theorem says exactly when two braids have the same closure.
Going deeper
For a student
The theorem turns questions about links into questions about the braid groups , which are groups with simple presentations. Together with the Markov theorem, it shows that a link invariant is the same as a function on all braid groups that is unchanged by the two Markov moves. This is how Jones first found the Jones polynomial, from traces on representations of braid groups. The least for which is a closed -braid is called the braid index of .
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Braid group concept
- Link concept
- Alexander's theorem on closed braids statement
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | PRWP1JF486 |
|---|---|
| URI | m2://PRWP1JF486 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 57K10, 20F36 |
| Status | This copy of the site has no build data. Run m2 status PRWP1JF486. |
| About | Link, Braid group |
| Uses | Link, Braid group |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.