To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Reidemeister move

From Wikipedia, the free encyclopedia

Reidemeister moves
Reidemeister move 1.png
Frame left.png
Reidemeister move 2.png
Type I Type II
Reidemeister move 3.png
Type III

In the mathematical area of knot theory, a Reidemeister move is any of three local moves on a link diagram. Reidemeister (1927) and, independently, Alexander & Briggs (1926), demonstrated that two knot diagrams belonging to the same knot, up to planar isotopy, can be related by a sequence of the three Reidemeister moves.

Each move operates on a small region of the diagram and is one of three types:

  1. Twist and untwist in either direction.
  2. Move one loop completely over another.
  3. Move a string completely over or under a crossing.

No other part of the diagram is involved in the picture of a move, and a planar isotopy may distort the picture. The numbering for the types of moves corresponds to how many strands are involved, e.g. a type II move operates on two strands of the diagram.

One important context in which the Reidemeister moves appear is in defining knot invariants. By demonstrating a property of a knot diagram which is not changed when we apply any of the Reidemeister moves, an invariant is defined. Many important invariants can be defined in this way, including the Jones polynomial.

The type I move is the only move that affects the writhe of the diagram. The type III move is the only one which does not change the crossing number of the diagram.

In applications such as the Kirby calculus, in which the desired equivalence class of knot diagrams is not a knot but a framed link, one must replace the type I move with a "modified type I" (type I') move composed of two type I moves of opposite sense. The type I' move affects neither the framing of the link nor the writhe of the overall knot diagram.

Trace (1983) showed that two knot diagrams for the same knot are related by using only type II and III moves if and only if they have the same writhe and winding number. Furthermore, combined work of Östlund (2001), Manturov (2004), and Hagge (2006) shows that for every knot type there are a pair of knot diagrams so that every sequence of Reidemeister moves taking one to the other must use all three types of moves. Alexander Coward demonstrated that for link diagrams representing equivalent links, there is a sequence of moves ordered by type: first type I moves, then type II moves, type III, and then type II. The moves before the type III moves increase crossing number while those after decrease crossing number.

Coward & Lackenby (2014) proved the existence of an exponential tower upper bound (depending on crossing number) on the number of Reidemeister moves required to pass between two diagrams of the same link. In detail, let n be the sum of the crossing numbers of the two diagrams, then the upper bound is where the height of the tower of 2s (with a single n at the top) is

Lackenby (2015) proved the existence of a polynomial upper bound (depending on crossing number) on the number of Reidemeister moves required to change a diagram of the unknot to the standard unknot. In detail, for any such diagram with c crossings, the upper bound is .

Hayashi (2005) proved there is also an upper bound, depending on crossing number, on the number of Reidemeister moves required to split a link.

Modified Reidemeister move
Reidemeister move 1 prime.png
Type I'

YouTube Encyclopedic

  • 1/3
    2 366
  • Introduction to Diagrams and Reidemeister Moves
  • Kauffman Bracket, Writhe, and Reidemeister Moves
  • Linking number



This page was last edited on 29 February 2016, at 14:04.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.