Lisitsa, Alexei and Vernitski, Alexei (2024) Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning. Semigroup Forum, 109 (1). pp. 186-193. DOI https://doi.org/10.1007/s00233-024-10433-x
Lisitsa, Alexei and Vernitski, Alexei (2024) Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning. Semigroup Forum, 109 (1). pp. 186-193. DOI https://doi.org/10.1007/s00233-024-10433-x
Lisitsa, Alexei and Vernitski, Alexei (2024) Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning. Semigroup Forum, 109 (1). pp. 186-193. DOI https://doi.org/10.1007/s00233-024-10433-x
Abstract
We apply automated reasoning to investigation of finite factors of algebraic structures associated with knot diagrams. We refute “double size” conjecture about cancellative semigroups and keis.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | Knot; Knot semigroup; Kei; Automated reasoning |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Mathematics, Statistics and Actuarial Science, School of |
SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
Depositing User: | Unnamed user with email elements@essex.ac.uk |
Date Deposited: | 27 Sep 2024 13:57 |
Last Modified: | 30 Oct 2024 21:19 |
URI: | http://repository.essex.ac.uk/id/eprint/39270 |
Available files
Filename: s00233-024-10433-x.pdf
Licence: Creative Commons: Attribution 4.0