While preparing for my introduction to topology course, I've realized that I don't know where to find a detailed proof of the Reidemeister theorem (two link diagrams give isotopic links, iff they can be connected by a sequence of Reidemeister moves). The students in my class are not really very advanced and I'm not sure all of them would be able to reconstruct all the details of the proof given in Burde and Zieschang's Knot theory or in other sources I know of. And, being a lazy man, I would like to avoid having to type a detailed proof with pictures when I can refer the students to a book. So does anybody know of a source which would have a proof with all details spelled out?

$\begingroup$ Did you ever find a satisfactory resource? I find myself in a positions similar to yours seven years ago. $\endgroup$ – David Steinberg Apr 20 '17 at 18:37
I taught knot theory last semester and ran into the same problem. I looked in every book I could get my hands on, and could not find an undergraduate level proof. In the end, I wrote up my own notes (which I would be happy to scan when I get back into the office). The key ideas for the casebycase analysis are in the book "Knots, links, braids, and 3manifolds" by Prasolov and Sosinsky. I also found Louis Kauffman's book "On knots" to be helpful. There are two lemmas I could not find anywhere: (1) the general position argument, which says that there is a nice projection and (2) the argument which says that you can find a general projection so that the associated diagram is equivalent to the original diagram (most books skip this issue). The point of the second lemma is that it is not enough to show that there exist two projections that differ by Reidemeister moves, rather, you want to show that the two given diagrams differ by Reidemeister moves.

$\begingroup$ Dan, thanks! I've seen the proof Prasolov and Sossinsky give (my impression is that they give more details than most sources but not all of them). It would be very interesting to see your notes, if you decide to scan them. I can in turn scan mine and post them somewhere. $\endgroup$ – algori Feb 14 '10 at 5:22

$\begingroup$ Hi Dan, the general position argument (1) has a nice proof using the transversality technique in the proof of the weak Whitney embedding theorem given in Guillemin and Pollack. I'm not quite understanding your lemma (2) statement. $\endgroup$ – Ryan Budney Feb 14 '10 at 9:31

$\begingroup$ Hi Ryan. As for lemma (2): You start with two diagrams of the equivalent PL knots. Equivalent means they differ by a finite sequence of triangle moves. So now you need to either rotate the projection plane (or modify the triangle moves) so that each move gives a knot with a regular projection. By regular position (lemma 1), you can do this. However, if you rotate too much, the new diagrams of your original two knots are not equivalent to the original diagrams. Therefore, you are just showing that there exist two diagrams of the original knots that differ by R moves. Does that make sense? $\endgroup$ – Dan Margalit Feb 14 '10 at 12:37

$\begingroup$ Ah, okay. I take it everyone here is thinking about proofs in the PL category. I prefer the proof in the smooth category as there's less details to fuss over. Of course you have to use transversality so you have a bigger machine at your disposal. $\endgroup$ – Ryan Budney Feb 14 '10 at 23:07

$\begingroup$ General position argument (for polygon links) can be found in the book by Crowell and Fox and is pretty simple. $\endgroup$ – Reza Rezazadegan Oct 6 '14 at 10:40
Reidemeister's proof involves a single move: replacing 2 (or 1) edges of a triangle with the other edge (edges). It is in the English translation of his book.
I don't know if you can ferret out the details of our first movie move theorem in JKTR, or even the CRS version, but when we did those, I felt that we had addressed the general position issues that Dan mentions.

$\begingroup$ Scott, thanks! Your second paragraph is a bit cryptic. For the record: I know how to prove Reidemeister's theorem, I'm looking for a detailed proof accessible to undergraduate students with a limited experience of mathematics, let alone topology. $\endgroup$ – algori Feb 14 '10 at 5:30

1$\begingroup$ I did not mean to be cryptic at all, but it was late when I wrote it. Masahico and I proved a "movie move theorem" that was published in Journ. of Knot Thy. and its Ram. There were problems with the interpretations that people could make of it. So we proved a more precise result with Joachim Rieger (CRS). A lot of the transversality arguments are worked out in both places. In particular, when your knot diagram has a height function, you have to deal with critical interchange, zigzag, and $\psi$ moves. I just don't remember if we gave a proof of the R thm, or not. Probably not. $\endgroup$ – Scott Carter Feb 14 '10 at 13:48
Kunio Murasugi's Knot Theory and its Applications contains what you are looking for, I believe. I taught the proof of Reidemeister's theorem as part of a short course on knot theory, from that book. Definitely suitable for undergraduates.

$\begingroup$ Thanks, Daniel! Will try to borrow this tomorrow from the library. $\endgroup$ – algori Feb 14 '10 at 16:57
Messer and Straffin's book "Topology Now!" provides most of the steps starting from their definition of a knot (able to decomposed into a finite number of linear segments), building up the ideas of general position and triangular moves, and then proving the Reidemeister moves. I say "most of" because some of the steps are left as exercises. The material is very accessible to undergraduates.
If you are willing to take a difficult theorem of Moise for granted (which proves equivalence of link isotopy in the smooth (tame) and PL category, in his "Affine Structures in 3 Manifolds VIII"), there is a concise proof in the book "Knot Theory" by Manturov.