Markov theorem

In mathematics the Markov theorem gives necessary and sufficient conditions for two braids to have closures that are equivalent knots or links. The conditions are stated in terms of the group structures on braids.

Braids are algebraic objects described by diagrams; the relation to topology is given by Alexander's theorem which states that every knot or link in three-dimensional Euclidean space is the closure of a braid. The Markov theorem, proved by Russian mathematician Andrei Andreevich Markov Jr.^[1] describes the elementary moves generating the equivalence relation on braids given by the equivalence of their closures.

More precisely Markov's theorem can be stated as follows:^[2][3] given two braids represented by elements ${\displaystyle \beta _{n},\beta _{m}'}$ in the braid groups ${\displaystyle B_{n},B_{m}}$, their closures are equivalent links if and only if ${\displaystyle \beta _{m}'}$ can be obtained from applying to ${\displaystyle \beta _{n}}$ a sequence of the following operations:

1. conjugating ${\displaystyle \beta _{n}}$ in ${\displaystyle B_{n}}$;
2. replacing ${\displaystyle \beta _{n}}$ by ${\displaystyle \beta _{n}\sigma _{n+1}^{\pm 1}\in B_{n+1}}$ (here ${\displaystyle \sigma _{i}}$ are the standard generators of the braid groups; geometrically this amounts to adding a strand to the right of the braid diagram and twisting it once with the (previously) last strand);
3. the inverse of the previous operation (if ${\displaystyle \beta _{n}=\beta _{n-1}\sigma _{n}^{\pm 1}}$ with ${\displaystyle \beta _{n-1}\in B_{n-1}}$ replace with ${\displaystyle \beta _{n-1}}$).