Abstract
It is known that a knot (link) is rational if and only if its \(\pi \)-orbifold group is dihedral. A semigroup version of this result has been formulated as a conjecture. Working towards proving the conjecture, we describe certain semigroups associated with twist links, clarify how these semigroups are related to dihedral groups and find defining relations of these semigroups.
Similar content being viewed by others
Notes
Some minor variations of the constructions are possible, which do not affect the knot semigroups. For instance, the torus knot (link) can be considered as one represented by a 4-plat diagram whose braid part is \(\sigma _{1}^{-n}\) instead of \(\sigma _{1}^{n}\), as discussed in the beginning of Sect. 4 in [10].
We are grateful to Jose Montesinos (Universidad Complutense de Madrid), Genevieve Walsh (Tufts University) and Vanni Noferini (University of Essex) for attracting our attention to this result.
For understanding the structure of the proof, it is useful to note that this is the only place where we use relations at both ends of the twist diagram to produce an effect of treating indices as numbers modulo \(4(c+d)+4\).
More generally, links \(\mathfrak {tw}_{c}^{d}\) and \(\mathfrak {tw}_{c+d}^{0}\) are equivalent for all values of c and d.
For example, the main theorem in [2] (Sect. 5.2) showing that quandles are knot invariants excludes split links from consideration.
Two of the authors (A. Vernitski and A. Lisitsa) are now involved in research in which the process of untangling a knot diagram of the trivial knot is facilitated by considering knot semigroups of certain tangle diagrams.
Chapter 5 of [9] contains a useful discussion of how proofs in cancellative semigroups compare with those in groups.
References
Boileau, M., Zimmermann, B.: The \(\pi \)-orbifold group of a link. Math. Z. 200(2), 187–208 (1989)
Fenn, R., Rourke, C.: Racks and links in codimension two. J. Knot Theory Ramif. 1(04), 343–406 (1992)
Fish, A., Lisitsa, A.: Detecting unknots via equational reasoning, I: exploration. In: International Conference on Intelligent Computer Mathematics, pp. 76–91. Springer (2014)
Fish, A., Lisitsa, A., Stanovský, D.: A combinatorial approach to knot recognition. In: Horne, R. (ed.) Embracing Global Computing in Emerging Economies: First Workshop, EGC 2015, Almaty, Kazakhstan, February 26–28, 2015. Proceedings, pp. 64–78. Springer, Berlin (2015)
Fox, R.: A quick trip through knot theory. In: Fort, M.K. (ed.) Topology of Three-Manifolds and Related Topics. Prentice-Hall, Englewood Cliffs (1962)
Kamada, S.: Knot invariants derived from quandles and racks. Geom. Topol. Monogr. 4, 4 (2002)
Kawauchi, A.: A Survey of Knot Theory. Birkhäuser, Basel (1996)
Lisitsa, A., Vernitski, A.: Automated reasoning for knot semigroups and \(\pi \)-orbifold groups of knots. In: International Conference on Mathematical Aspects of Computer and Information Sciences, pp. 3–18. Springer (2017)
McCune, W., Padmanabhan, R.: Automated deduction in equational logic and cubic curves, vol. 1095. Springer, Berlin (1996)
Vernitski, A.: Describing semigroups with defining relations of the form xy = yz and yx = zy and connections with knot theory. In: Semigroup Forum, pp. 1–17 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Victoria Gould.
Rights and permissions
About this article
Cite this article
Vernitski, A., Tunsi, L., Ponchel, C. et al. Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links. Semigroup Forum 97, 75–86 (2018). https://doi.org/10.1007/s00233-018-9918-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-018-9918-5