ISSN1472-2739(on-line)1472-2747(printed)443
A lgebraic&G eometric T opology
A T G Volume5(2005)443–462
Published:26May2005
Signed ordered knotlike quandle presentations
Sam Nelson
Abstract We define enhanced presentations of quandles via generators
and relations with additional information comprising signed operations and
an order structure on the set of generators.Such a presentation determines
a virtual link diagram up to virtual moves.We list formal Reidemeister
moves in which Tietze moves on the presented quandle are accompanied by
corresponding changes to the order structure.Omitting the order structure
corresponds to replacing virtual isotopy by welded isotopy.
AMS Classification57M25,57M27;27M05,20F05
Keywords Quandles,virtual knots,presentations,Reidemeister moves,
welded isotopy
Dedicated to the memory of my mother,Linda M Nelson,who was killed in
an automobile accident while this paper was in preparation.
1Introduction
The knot quandle was defined in[10]and has been studied in a number of sub-sequent works.It is well known that the knot quandle is a classifying invariant for classical knots,in the sense that the quandle contains the same informa-tion as the fundamental group system and hence determines knots and links up to(not necessarily orientation-preserving)homeomorphism of pairs.Whether the quandle alone is a complete invariant of knot type,however,depends on the meaning of“equivalence”–in particular,if“equivalent”means“ambient isotopic”,then the quandle alone does not classify knots.Indeed,there are examples of pairs of classical(and virtual)knots with isomorphic knot quan-dles which are not ambient(or virtually)isotopic,such as the left and right hand trefoil knots.This shows that a quandle isomorphism need not translate to a Reidemeister move sequence.Moreover,Reidemeister moves on a knot diagram correspond to sequences of Tietze moves on the presented quandle, but the converse is not generally true.We wish,then,to characterize which Tietze moves on quandle presentations do correspond to Reidemeister movesThe knot quandle was defined in[10]and has been studied in a number of sub-sequent works.It is well known that the knot quandle is a classifying invariant for classical knots,in the sense that the quandle contains the same informa-tion as the fundamental group system and hence determines knots and links up to(not necessarily orientation-preserving)homeomorphism of pairs.Whether the quandle alone is a complete invariant of knot type,however,depends on the meaning of“equivalence”–in particular,if“equivalent”means“ambient isotopic”,then the quandle alone does not classify knots.Indeed,there are examples of pairs of classical(and virtual)knots with isomorphic knot quan-dles which are not ambient(or virtually)isotopic,such as the left and right hand trefoil knots.This shows that a quandle isomorphism need not translate to a Reidemeister move sequence.Moreover,Reidemeister moves on a knot diagram correspond to sequences of Tietze moves on the presented quandle, but the converse is not generally true.We wish,then,to characterize which Tietze moves on quandle presentations do correspond to Reidemeister moves
c G eometry&T opology P ublications
人教新课标五年级上册数学 《第七单元数学广角《植树问题_第1课时》》课件
2016高考政治大二轮复习 增分策略 专题八 文化作用与文化发展课件
【英语】湖北省武汉市第六中学2018-2019学年高二上学期期中考试英语试题
2015-2016高中历史人民版必修1习题 专题四 一 新中国初期的政治建设.doc
Book 5 Unit 1 Period 4 Using Language
对照《广东省药品零售企业药品经营质量管理规范认证现场检查项目》自查情况表
山东科技大学大学物理学习指导11-22章例题习题答案.[1]1
2010年全国各地中考物理真题分类汇编·试题+答案·考点20:压强 液体压强