GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED
SINGULAR LINKS AND QUANDLES

arXiv:1702.01150v1 [math.GT] 3 Feb 2017

KHALED BATAINEH, MOHAMED ELHAMDADI, MUSTAFA HAJIJ, AND WILLIAM YOUMANS

Abstract. We give a generating set of the generalized Reidemeister moves for oriented singular
links. We use it to introduce an algebraic structure arising from the study of oriented singular
knots. We give some examples, including some non-isomorphic families of such structures over
non-abelian groups. We show that the set of colorings of a singular knot by this new structure is
an invariant of oriented singular knots and use it to distinguish some singular links.

Contents
1. Introduction
2. Basics of quandles
3. Oriented singular knots and quandles
4. Oriented singquandles over groups
5. A generating set of oriented singular Reidemeister moves
6. Open questions
References

1
2
2
6
8
13
13

1. Introduction
The discovery of the Jones polynomial of links [10] generated a search which uncovered vast
families of invariants of knots and links, among them the Vassiliev knot invariants [16]. The Jones
polynomial and its relatives can be computed combinatorially using knot diagrams or their braid
representations. A fundamental relationship between the Jones polynomial and Vassiliev invariants
was established in the work of Birman and Lin [4] where they showed that Vassiliev invariants can be
characterized by three axioms. Instead of focusing on a given knot, Vassiliev changed the classical
approach by deciding to study the space of all knots instead. This allowed one to study the space
of all knots instead of focusing on a single knot. As a result of this work, Vassiliev generated the
theory of singular knots and their invariants and has gained considerable attention since then.
Singular knots and their invariants have proven to be important subjects of study on their own,
and many classical knot invariants have been successfully extended to singular knots. For example,
the work of Fiedler [9] where the author extended the Jones and Alexander polynomials to singular
knots. The colored Jones polynomial was generalized to singular knots in [2]. Jones-type invariants
for singular links were constructed using a Markov trace on a version of Hecke algebras in [12].
The main purpose of this paper is to relate the theory of quandles to theory of singular knots.
In [6], the authors developed a type of involutory quandle structure called singquandles to study
non-oriented singular knots. This article solves the last open question given in [6] by introducing
certain algebraic structures with the intent of applying them to the case of oriented singular knots.
2000 Mathematics Subject Classification. Primary 57M25.
Key words and phrases. Generating sets of Reidemeister moves; Quandles, Singular Links.
1

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

2

We call these structures oriented singquandles. We give multiple examples of such structures and
use them to distinguish between various singular knots. Finally, for the purpose of constructing
the axioms of singquandles, it was necessary to construct a generating set of Reidemeister moves
acting on oriented singular links which can be found in section 5.
Organization. This article is organized as follows. In section 2 we review the basics of quandles. In section 3 we introduce the notion of oriented singquandles. In section 4 we focus our
work on oriented singquandles whose underlying structures rely on group actions and provide some
applications of singquandles to singular knot theory. Finally, in section 5 we detail a generating set
of Reidemeister moves for oriented singular knots and links.
2. Basics of quandles
Before we introduce any algebraic structures related to singular oriented links, we will need to
recall the definition of a quandle and give a few examples. For a more detailed exposition on
quandles, see [7, 11, 13].
Definition 2.1. A quandle is a set X with a binary operation (a, b) 7→ a ∗ b such that the following
axioms hold:
(1) For any a ∈ X, a ∗ a = a.
(2) For any a, b ∈ X, there is a unique x ∈ X such that a = x ∗ b.
(3) For any a, b, c ∈ X, we have (a ∗ b) ∗ c = (a ∗ c) ∗ (b ∗ c).
Axiom (2) of Definition 2.1 states that for each y ∈ X, the map ∗y : X → X with ∗y (x) := x ∗ y
is a bijection. Its inverse will be denoted by the mapping ∗y : X → X with ∗y (x) = x ∗ y, so that
(x ∗ y) ∗ y = x = (x ∗ y) ∗ y. Below we provide some typical examples of quandles.
• Any set X with the operation x ∗ y = x for any x, y ∈ X is a quandle called the trivial
quandle.
• A group X = G with n-fold conjugation as the quandle operation: x ∗ y = y −n xy n .
• Let n be a positive integer. For elements x, y ∈ Zn (integers modulo n), define x∗y ≡ 2y −x
(mod n). Then ∗ defines a quandle structure called the dihedral quandle, Rn .
• For any Z[T, T −1 ]-module M , x ∗ y = T x + (1 − T )x where x, y ∈ M defines an Alexander
quandle.
• Let < , >: Rn × Rn → Rn be a symmetric bilinear form on Rn . Let X be the subset of Rn
consisting of vectors x such that < x, x > 6= 0. Then the operation
2 < x, y >
x∗y =
y−x
< x, x >
defines a quandle structure on X. Note that, x ∗ y is the image of x under the reflection in
y. This quandle is called a Coxeter quandle.
A function φ : (X, ∗) → (Y, ) is a quandle homomorphism if φ(a ∗ b) = φ(a)  φ(b) for any a, b ∈ X.
A bijective quandle endomorphism of (X, ∗) is called a quandle isomorphism. For example any
map fa,b : (Zn , ∗) → (Zn , ∗) defined by fa,b (x) = ax + b with a, b ∈ Zn and a invertible in Zn is a
quandle isomorphism, where x ∗ y = 2y − x (see [8] for more details).
3. Oriented singular knots and quandles
Recall that a singular link in S 3 is the image of a smooth immersion of n circles S 3 that has
finitely many double points, called singular points. An orientation of each circle induces orientation
on each component of the link. This given an oriented singular link. In this paper we will assume
that any singular link is oriented unless specified otherwise. Furthermore, we will work with singular
link projections, or diagrams, which are projections of the singular link to the plane such that the
information at each crossing is preserved by leaving a little break in the lower strand. Two oriented

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

3

singular link diagrams are considered equivalent if and only if one can obtain one from the other
by a finite sequence of singular Reidemeister moves (see Figure 2).
In the case of classical knot theory, the axiomatization of the Reidemeister moves gives rise
to the definition of a quandle. One of the goals of this paper is to generalize the structure of
quandles by considering singular oriented knots and links. We will call this structure an oriented
singquandle (see the definition below). The axioms of oriented singquandles will be constructed
using a generating set of Reidemeister moves on oriented singular links (see Figure 2).
A semiarc in a singular link diagram L is an edge in the link L considered as a 4-valent graph.
The oriented singquandle axioms are obtained by associating elements of the oriented singquandle
to semiarcs in an oriented singular link diagram and letting these elements act on each other at
crossings as shown in the following figure:

Figure 1. Regular and singular crossings

Now the goal is to derive the axioms that the binary operators R1 and R2 in Figure 1 should
satisfy. For this purpose, we begin with the generating set of Reidemeister moves given in Figure 2.
The proof that this is a generating set will be postponed to section 5. Using this set of Reidemeister
moves, the singquandle axioms can be derived easily. This can be seen in Figures 3, 4 and 5.
x

y

z

x

y

z

x¯
∗y
y

R1 (x¯
∗y, z) ∗ y

y

y

R2 (x¯
∗y, z)

R1 (x, z ∗ y)

y

Figure 3. The Reidemeister move Ω4a and colorings

R2 (x, z ∗ y)¯
∗y

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

Figure 2. A generating set of singular Reidemeister moves
x

(y¯
∗R1 (x, z)) ∗ x

z

x

(y ∗ R2 (x, z))¯
∗z

z

x
y¯
∗R1 (x, z)

R1 (x, z)

y ∗ R2 (x, z)

y

R2 (x, z)

R1 (x, z)

y

Figure 4. The Reidemeister move Ω4e and colorings

R2 (x, z)

4

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES
x

x

y

R1 (x, y) ∗ R2 (x, y)

R2 (x, y)

R1 (y, x ∗ y)

5

y

R2 (y, x ∗ y)

Figure 5. The Reidemeister move Ω5a and colorings

The previous three figures immediately gives us the following definition.
Definition 3.1. Let (X, ∗) be a quandle. Let R1 and R2 be two maps from X × X to X. The
triple (X, ∗, R1 , R2 ) is called an oriented singquandle if the following axioms are satisfied:
R1 (x¯
∗y, z) ∗ y
R2 (x¯
∗y, z)
(y¯
∗R1 (x, z)) ∗ x
R2 (x, y)
R1 (x, y) ∗ R2 (x, y)

=
=
=
=
=

R1 (x, z ∗ y) coming from Ω4a
R2 (x, z ∗ y)¯∗y coming from Ω4a
(y ∗ R2 (x, z))¯∗z coming from Ω4e
R1 (y, x ∗ y) coming from Ω5a
R2 (y, x ∗ y) coming from Ω5a

(3.1)
(3.2)
(3.3)
(3.4)
(3.5)

We give the following examples.
Example 3.2. Let x ∗ y = ax + (1 − a)y, where a is invertible so that x ∗¯ y = a−1 x + (1 − a−1 )y.
Now let R1 (x, y) = bx + cy, then by axiom 2.4 we have R2 (x, y) = acx + (c(1 − a) + b)y. By plugging
these expressions into the above axioms we can find the relation c = 1 − b. Substituting, we find
that the following is an oriented singquandle for any invertible a and any b in Zn :
x ∗ y = ax + (1 − a)y
R1 (x, y) = bx + (1 − b)y
R2 (x, y) = a(1 − b)x + (1 − a(1 − b))y

(3.6)
(3.7)
(3.8)

It is worth noting that all of the above relations between constants can be derived from axiom
2.3, and the other axioms provide only trivial identities or the same relations. In this way, we can
extend this generalized affine singquandle to the nonoriented case as well by allowing x ¯∗ y = x ∗ y,
since axiom 2.3 will reduce to it’s counterpart in the axioms of nonoriented singquandles. (See
axiom 4.1 given in [6]).
With this observation we can generalize the class of involutive Alexander quandles into a class
of singquandles, which is given in the following example.
Example 3.3. Let Λ = Z[t±1 , v] and let X be a Λ-module. Then the operations
x ∗ y = tx + (1 − t)y,

R1 (x, y) = α(a, b, c)x + (1 − α(a, b, c))y

and

R2 (x, y) = t(1 − α(a, b, c))x + (1 − t)(1 − α(a, b, c))y
where α(a, b, c) = at + bv + ctv, make X an oriented singuandle we call an Alexander oriented
singquandle. That X is an oriented singquandle follows from proposition 3.2 by straightforward
substitution.
A coloring of an oriented singular link L is a function C : R −→ L, where X is a fixed oriented
singquandle and R is the set of semiarcs in a fixed diagram of L, satisfying the conditions given in
Figure 1. Now the following lemma is immediate from Definition 3.1.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

6

Lemma 3.4. The set of colorings of a singular knot by an oriented singquandle is an invariant of
oriented singular knots.
The set of colorings of a singular link L by an oriented singquandle X will be denoted by
ColX (L). As in the usual context of quandles, the notions of oriented singquandle homomorphisms
and isomorphisms are immediate.
Definition 3.5. Let (X, ∗, R1 , R2 ) and (Y, ., S1 , S2 ) be two oriented singquandles. A map f :
X −→ Y is homomorphism if the following axioms are satisfied :
(1) f (x ∗ y) = f (x) . f (y),
(2) f (R1 (x, y)) = S1 (f (x), f (y)),
(3) f (R2 (x, y)) = S2 (f (x), f (y)).
If in addition f is a bijection then we say that (X, ∗, R1 , R2 ) and (Y, ., S1 , S2 ) are isomorphic. Note
that isomorphic oriented singquandles will induce the same set of colorings.
4. Oriented singquandles over groups
When the underlying set of an oriented singquandle X is a group one obtains a rich family of
structures. In this section we give a variety of examples including a generalization of affine oriented
singquandles as well as an infinite family of non-isomophic singquandles over groups.
Example 4.1. Let X = G be an abelian group, with f being a group automorphism and g a group
endomorphism. Consider the operations x ∗ y = f (x) + y − f (y) and R1 (x, y) = g(y) + x − g(x).
We can deduce from axiom 2.4 that R2 (x, y) = g(f (x)) + y − g(f (y)). Plugging into the axioms,
we find that the axioms are satisfied when (f ◦ g)(x) = (g ◦ f )(x). This structure will reappear in
example 3.2, which follows as a special case where f (x) = ax and g(x) = (1 − b)x.
Example 4.2. Let X = G be a group, and take the n-fold conjugation quandle from Definition 2.1
with n = 1 such that x ∗ y = y −1 xy. Then a direct computation gives the fact that (X, ∗, R1 , R2 )
is a singquandle if and only if R1 and R2 satisfy the following equations:
y −1 R1 (yxy −1 , z)y = R1 (x, y −1 zy)
R2 (yxy

−1

, z) = yR2 (x, y

−1

zy)y

(4.1)
−1

x−1 R1 (x, z)y[R1 (x, z)]−1 x = z[R2 (x, z)]−1 y[R2 (x, z)]z −1
−1

[R2 (x, y)]

(4.2)
(4.3)

R2 (x, y) = R1 (y, y

−1

xy)

(4.4)

R1 (x, y)R2 (x, y) = R2 (y, y

−1

xy)

(4.5)

A straightforward computation gives the following solutions, for all x, y ∈ G.
(1) R1 (x, y) = x and R2 (x, y) = y.
(2) R1 (x, y) = xyxy −1 x−1 and R2 (x, y) = xyx−1 .
(3) R1 (x, y) = y −1 xy and R2 (x, y) = y −1 x−1 yxy.
(4) R1 (x, y) = xy −1 x−1 yx, and R2 (x, y) = x−1 y −1 xy 2 .
(5) R1 (x, y) = y(x−1 y)n and R2 (x, y) = (y −1 x)n+1 y, where n ≥ 1.
Next we focus our attention on a subset of infinite families of oriented singquandle structures in
order to show that some in fact are not isomorphic.
Proposition 4.3. Let X = G be a non-abelian group with the binary operation x ∗ y = y −1 xy.
Then, for n ≥ 1, the following families of maps R1 and R2 give pairwise non-isomorphic oriented
singquandles structures (X, ∗, R1 , R2 ) is an oriented singquandle on G:
(1) R1 (x, y) = x(xy −1 )n and R2 (x, y) = y(x−1 y)n ,
(2) R1 (x, y) = (xy −1 )n x and R2 (x, y) = (x−1 y)n y,
(3) R1 (x, y) = x(yx−1 )n+1 and R2 (x, y) = x(y −1 x)n .

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

7

Furthermore, in each of the cases (1), (2) and (3), different values of n give also non-isomorphic
singular quandles.
Proof. A direct computations show that R1 and R2 satisfy the five axioms of Definition 3.1.

Figure 6. An oriented Hopf link

To see that the three solutions are pairwise non-isomorphic singquandles, we compute the set
of colorings of a singular knot by each of the three solutions. Consider the singular link given in
figure 6 and color the top arcs by elements x and y of G. Then it is easy to see that the set of
colorings is given by
ColX (L) = {(x, y) ∈ G × G | x = R1 (y, y −1 xy) y = R2 (y, y −1 xy)}.
Using R1 (x, y) =

x(xy −1 )n

and R2 (x, y) =

y(x−1 y)n

(4.6)

from solution (1), the set of colorings becomes:

ColX (L) = {(x, y) ∈ G × G | (x−1 y)n+1 = 1},
(xy −1 )n x

(4.7)
(x−1 y)n y

while the set of colorings of the link L with R1 (x, y) =
and R2 (x, y) =
from
solution (2) is:
ColX (L) = {(x, y) ∈ G × G | x−1 (x−1 y)n y = 1}.
(4.8)
−1
n+1
−1
Finally, the set of colorings of the same link with R1 (x, y) = x(yx )
and R2 (x, y) = x(y x)n
from solution (3) is:
ColX (L) = {(x, y) ∈ G × G | (y −1 x)n = 1}.
(4.9)
This allows us to conclude that solutions (1), (2), and (3) are pairwise non-isomorphic oriented
singquandles. In fact these computations also give that different values of n in any of the three
solutions (1), (2) and (3) give non-isomorphic oriented singquandles. We exclude the case of n = 0
as solutions (1) and (2) become equivalent.

We illustrate here how these new structures can be used to distinguish between oriented singular
knots and links.
Example 4.4. We choose X to be a non-abelian group and consider the 1-fold conjugation quandle
on X along with the binary operation R1 and R2 given by R1 (x, y) = x2 y −1 and R2 (x, y) = yx−1 y.
By considering solution (5) in Example 4.2 when n = 1 we know that X is an oriented singquandle.
In this example we show how the this oriented singquandle can be used to distinguish between two
singular knots that differ only in orientation.
Color the two arcs on the top of the knot on the left of Figure 7 by elements x and y. This
implies that the coloring space is the set in the diagonal in G × G. On the other hand, the knot on
the righthand side of Figure 7 has the coloring space {(x, y) ∈ G × G, xyx−1 = yxy −1 }. Since this

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

8

set is not the same as the diagonal of G × G, the coloring invariant distinguishes these two oriented
singular knots.
7
x

y

y

x

y

y −1 xy
R1 (y, x)
R2 (y, x)

x

y

x

y

Figure 7. Two oriented singular Hopf links with one singular point

5. A generating set of oriented singular Reidemeister moves
The purpose of this section is to give a generating set of oriented singular Reidemeister moves.
We used this generating to write the axiom of our singquandle structure in section 3.
Minimal generating sets for oriented Reidemeister moves have been studied previously by Polyak
in [15], where he proved that 4 moves are sufficient to generate the set for classical knots. However,
analogous work for singular knot theory seems to be missing from the literature. In this section we
will give a generating set of Reidemeister Moves for oriented singular links.
It was proven in [15] that the moves in Figure 5 constitute a minimal generating set of Reidemeister moves on oriented classical knots. For convenience we will use the same Ω notation used
by Polyak [15] in our paper.

Figure 8. A generating set of Reidemeister moves for oriented knot.

To obtain a generating set of oriented singular Reidemeister moves we enumerate all possible
such moves we then we show that they all can be obtained by a finite sequence of the moves given
in Figure 2. Recall first that the nonoriented case of singular knots, we have the four moves given
in Figure 5 singular Reidemeister moves.
If we consider the oriented case, we can easily compute the maximum number of Reidemeister
moves to consider. For Ω4 moves we have 8 independent orientations, and for Ω5 we will have 6.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

9

Figure 9. All four possible moves on nonoriented singular knots that involve singular crossings.
While a combinatorically driven approach yields a handful more, it is easily seen that some moves
are simply the rotation of other moves, thus they are not considered. The 14 for Ω4 and Ω5 moves
are tabulated in Figure 5 for reference.

Figure 10. All 14 oriented moves involving singular crossings.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

10

Theorem 5.1. Only 3 oriented singular Reidemeister moves are required to generate the entire
set of moves. These four moves are Ω4a, Ω4e, and Ω5a.
To show each moves dependence on this generating set, we will need to invoke Reidemeister
moves of type Ω1 and Ω2 while performing transformations. The specific moves are given in [15].
To prove this theorem, we will first show that the moves of type Ω4 are generated by two unique
moves. We will formulate this as a separate theorem:
Theorem 5.2. Only 2 oriented singular Reidemeister moves of type Ω4 are required to generate
all type Ω4 moves. These moves are Ω4a and Ω4e.
S
S
Lemma 5.3. The move Ω4c is equivalent to Ω2a Ω4a Ω2d.
Proof.


Lemma 5.4. the move Ω4d is equivalent to Ω2c

S

Ω4a

S

Ω4e

S

Ω4e

S

Ω2d.

Proof.


Lemma 5.5. the move Ω4g is equivalent to Ω2c

S

Ω2d.

Proof.


Lemma 5.6. the move Ω4h is equivalent to Ω2c

S

Ω2d.

Proof.



GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

Lemma 5.7. the move Ω4b is equivalent to Ω2a

S

Ω2c

S

Ω4a

S

Ω2d

S

11

Ω2b.

Proof.


By applying Lemma 5.4 we see that Ω4d reduces further, and the lemma follows.
S
S
S
S
Lemma 5.8. the move Ω4f is equivalent to Ω2b Ω2c Ω4e Ω2d Ω2a.
Proof.


By applying Lemma 5.6 we see that Ω4h reduces further, and the lemma follows.
From here it remains to show that all moves of type Ω5 can be generated using only the Ω5d
move. We formulate this as a theorem:
Theorem 5.9. Only 1 oriented singular Reidemeister move of type Ω5 is required to generate all
type Ω5 moves.
The proof of Theorem 5.9 is a consequence of the following Lemmas.
S
S
S
S
Lemma 5.10. The move Ω5b is equivalent to Ω1a Ω4a Ω5d Ω4e Ω1a.
Proof.


Lemma 5.11. The move Ω5c is equivalent to Ω1b

S

Ω4a

S

Ω5d

S

Ω4e

S

Ω1b.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

12

Proof.


Lemma 5.12. The move Ω5e is equivalent to Ω1c

S

Ω4e

S

Ω5a

S

Ω4a

S

Ω1c.

Proof.


Lemma 5.13. The move Ω5f is equivalent to Ω1d

S

Ω4e

S

Ω5a

S

Ω4a

S

Ω1d.

Proof.


At this point, all Ω5 moves have been shown to depend on only Ω4a, Ω4e, Ω5a, and Ω5d. The
last step remaining is to eliminate Ω5d.
Lemma 5.14. The move Ω5d can be realized by a combination of Ω2 moves, and one Ω5a move.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

13

Proof.


6. Open questions
The following are some open questions for future research:
• Find other generating sets of oriented singular Reidemeister moves and prove their minimality.
• Define a notion of extensions of oriented singquandles as in [5].
• Define a cohomology theory of oriented singquandles and use low dimensional cocycles to
construct invariants that generalize the number of colorings of singular knots by oriented
singquandles.
References
[1] John C. Baez, Link invariants of finite type and perturbation theory, Lett. Math. Phys. 26 (1992), no. 1, 43–51,
doi: 10.1007/BF00420517. MR1193625 (93k:57006)
[2] Khaled Bataineh, Mohamed Elhamdadi, and Mustafa Hajij, The colored Jones polynomial of singular knots, New
York J. Math 22 (2016), 1439–1456.
[3] Joan S. Birman, New points of view in knot theory, Bull. Amer. Math. Soc. (N.S.) 28 (1993), no. 2, 253–287.
MR1191478 (94b:57007)
[4] Joan S. Birman and Xiao-Song Lin, Knot polynomials and Vassiliev’s invariants, Invent. Math. 111 (1993), no. 2,
225–270, doi: 10.1007/BF01231287. MR1198809
[5] J. Scott Carter, Mohamed Elhamdadi, Marina Appiou Nikiforou, and Masahico Saito, Extensions of quandles and
cocycle knot invariants, J. Knot Theory Ramifications 12 (2003), no. 6, 725–738, doi: 10.1142/S0218216503002718.
MR2008876
[6] Indu R. U. Churchill, Mohamed Elhamdadi, Mustafa Hajij, and Sam Nelson, Singular Knots and Involutive
Quandles, arXiv:1608.08163, 2016.
[7] Mohamed Elhamdadi and Sam Nelson, Quandles—an introduction to the algebra of knots, Student Mathematical
Library, vol. 74, American Mathematical Society, Providence, RI, 2015. MR3379534
[8] Mohamed Elhamdadi, Jennifer Macquarrie, and Ricardo Restrepo, Automorphism groups of quandles, J. Algebra
Appl. 11 (2012), no. 1, 1250008, 9, doi: 10.1142/S0219498812500089. MR2900878
[9] Thomas Fiedler, The Jones and Alexander polynomials for singular links, J. Knot Theory Ramifications 19 (2010),
no. 7, 859–866. MR2673687 (2012b:57024)
[10] V. F. R. Jones, Hecke algebra representations of braid groups and link polynomials, Ann. of Math. (2) 126 (1987),
no. 2, 335–388, doi: 10.2307/1971403. MR908150
[11] David Joyce, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra 23 (1982), no. 1, 37–65,
doi: 10.1016/0022-4049(82)90077-9. MR638121
[12] Jesús Juyumaya and Sofia Lambropoulou, An invariant for singular knots, Journal of Knot Theory and Its
Ramifications 18 (2009), no. 06, 825–840.

GENERATING SETS OF REIDEMEISTER MOVES OF ORIENTED SINGULAR LINKS AND QUANDLES

14

[13] S. V. Matveev, Distributive groupoids in knot theory, Mat. Sb. (N.S.) 119(161) (1982), no. 1, 78–88, 160
(Russian). MR672410
[14] Luis Paris, The proof of Birman’s conjecture on singular braid monoids, Geom. Topol. 8 (2004), 1281–1300
(electronic). MR2087084
[15] Michael Polyak, Minimal generating sets of Reidemeister moves, Quantum Topol. 1 (2010), no. 4, 399–411, doi:
10.4171/QT/10. MR2733246
[16] V. A. Vassiliev, Cohomology of knot spaces, Theory of singularities and its applications, Adv. Soviet Math.,
vol. 1, Amer. Math. Soc., Providence, RI, 1990, pp. 23–69. MR1089670
Jordan University of Science and Technology, Irbid, Jordan
E-mail address: khaledb@just.edu.jo
University of South Florida, Tampa, USA
E-mail address: emohamed@mail.usf.edu
University of South Florida, Tampa, USA
E-mail address: mhajij@usf.edu
University of South Florida, Tampa, USA
E-mail address: wyoumans@mail.usf.edu

