Signed ordered knotlike quandle presentations

From MaRDI portal
Publication:2571353



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.


The author defines generalized quandle presentations, so called \textit{signed ordered knotlike quandle presentations} (SOKQ presentations) which are defined in such a way that they exactly represent a virtual knot diagram. The information in which order an arc overcrosses several other arcs is encoded in those presentations. The definition of a SOKQ presentation is rather straight forward. The author then studies the effect of Reidemeister moves of a virtual knot diagram on a SOKQ presentation and defines \textit{formal Reidemeister moves}. The main result is: Two SOKQ presentations present isotopic virtual knots if and only if they are related by a finite sequence of formal Reidemeister moves. This result is also elementary. At last he transmits his result in an obvious way to welded isotopy.











This page was built for publication: Signed ordered knotlike quandle presentations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2571353)