Abstract. We introduce a knot semigroup as a cancellative semigroup whose dening relations are produced from crossings on a knot diagram in a way similar to the Wirtinger presentation of the knot group; to be more precise, a knot semigroup as we dene it is closely related to such tools of knot theory as the 2-fold branched cyclic cover space of a knot and the involutory quandle of a knot. We describe knot semigroups of several standard classes of knot diagrams, including torus knots and torus links T (2, n) and twist knots. The description includes a solution of the word problem. To produce this description, we introduce alternating sum semigroups as certain naturally dened factor semigroups of free semigroups over cyclic groups. We formulate several conjectures for future research.
The context and the paper planWe consider cancellative semigroups (which we call knot semigroups) whose dening relations come in pairs of the form xy = yz and yx = zy, where x, y, z are generators, and are`read' from a certain natural diagram (namely, a knot diagram 1 ). Our inspiration in this research comes partially from the study of right-angled Artin groups (and the corresponding semigroup-theory construction, trace monoids [1]). A right-angled Artin group is a group in which every dening relation has a form xy = yx. Given an undirected graph, one can dene a group whose set of generators is the set of vertices of the graph, and a dening relation xy = yx is introduced whenever vertices x and y are adjacent. This construction denes a natural correspondence between undirected graphs and right-angled Artin groups. Whereas knot diagrams are not as ubiquitous as graphs, they have attracted much attention of algebraists in the last century, and knot semigroups described in this paper can become a new natural way of dening semigroups corresponding to knot diagrams; we discuss this further in Section 8. Each relation dening a knot semigroup has words of the same length on the two sides of the equality; such relations are called homogeneous and, accordingly, semigroups dened in this way are also sometimes called homogeneous; another example of homogeneous semigroups are braid semigroups (for their denition see, for example, [2]); for a brief review of more examples of classes of homogeneous semigroups see [3]. There has been a number of attempts to dene conjugate elements in semigroups, generalising conjugation in groups. For recent reviews of ideas in this direction, see 1 Note that a knot semigroup is not a knot invariant; that is, there are cases when two dierent diagrams of the same knot produce non-isomorphic knot semigroups. See more in Section 8.