Motivated by the construction of free quandles and Dehn quandles of orientable surfaces, we introduce Dehn quandles of groups with respect to their subsets. As a characterisation, we prove that Dehn quandles are precisely those quandles which embed n
aturally into their enveloping groups. We prove that the enveloping group of the Dehn quandle of a given group with respect to its generating set is a central extension of that group, and that enveloping groups of Dehn quandles of Artin groups and link groups with respect to their standard generating sets are the groups themselves. We discuss orderability of Dehn quandles and prove that free involutory quandles are left orderable whereas certain generalised Alexander quandles are bi-orderable. Specialising to surfaces, we give generating sets for Dehn quandles of mapping class groups of orientable surfaces with punctures and compute their automorphism groups. As applications, we recover a result of Niebrzydowski and Przytycki proving that the knot quandle of the trefoil knot is isomorphic to the Dehn quandle of the torus and also extend a result of Yetter on epimorphisms of Dehn quandles of orientable surfaces onto certain involutory homological quandles. Finally, we show that involutory quotients of Dehn quandles of closed orientable surfaces of genus less than four are finite.
Cycle sets are known to give non-degenerate unitary solutions of the Yang--Baxter equation and linear cycle sets are enrich
The paper develops a general theory of orderability of quandles with a focus on link quandles of tame links and gives some general constructions of orderable quandles. We prove that knot quandles of many fibered prime knots are right-orderable, where
as link quandles of most non-trivial torus links are not right-orderable. As a consequence, we deduce that the knot quandle of the trefoil is neither left nor right orderable. Further, it is proved that link quandles of certain non-trivial positive (or negative) links are not bi-orderable, which includes some alternating knots of prime determinant and alternating Montesinos links. The paper also explores interconnections between orderability of quandles and that of their enveloping groups. The results establish that orderability of link quandles behave quite differently than that of corresponding link groups.
Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces is considered as a planar analogue of virtual knot theory with the genus zero case corresponding to classic
al knot theory. Alexander and Markov theorems are known in this setting with the role of groups being played by a class of right-angled Coxeter groups called twin groups, denoted $T_n$, in the genus zero case. For the higher genus case, the role of groups is played by a new class of groups called virtual twin groups, denoted $VT_n$. A virtual twin group $VT_n$ contains the twin group $T_n$ and the pure virtual twin group $PVT_n$, an analogue of the pure braid group. The paper investigates in detail important structural aspects of these groups. We prove that the pure virtual twin group $PVT_n$ is an irreducible right-angled Artin group with trivial center and give its precise presentation. We show that $PVT_n$ has a decomposition as an iterated semidirect product of infinite rank free groups. We also give a complete description of the automorphism group of $PVT_n$ and establish splitting of some natural exact sequences of automorphism groups. As applications, we show that $VT_n$ is residually finite and $PVT_n$ has the $R_infty$-property. Along the way, we also obtain a presentation of $gamma_2(VT_n)$ and a freeness result on $gamma_2(PVT_n)$.
Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to clas
sical knot theory. Alexander and Markov theorems for the genus zero case are known where the role of groups is played by twin groups, a class of right angled Coxeter groups with only far commutativity relations. The purpose of this paper is to prove Alexander and Markov theorems for higher genus case where the role of groups is played by a new class of groups called virtual twin groups which extends twin groups in a natural way.
The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an abelian extensio
n of quandles. A non-abelian counterpart of this sequence involving dynamical cohomology classes is also established, and some applications to lifting of quandle automorphisms are given. Viewing the construction of the conjugation, the core and the generalised Alexander quandle of a group as an adjoint functor of some appropriate functor from the category of quandles to the category of groups, we prove that these functors map extensions of groups to extensions of quandles. Finally, we construct some natural group homomorphisms from the second cohomology of a group to the second cohomology of its core and conjugation quandles.
An odd Coxeter group $W$ is one which admits a Coxeter system $(W,S)$ for which all the exponents $m_{ij}$ are either odd or infinity. The paper investigates the family of odd Coxeter groups whose associated labeled graphs $mathcal{V}_{(W,S)}$ are tr
ees. It is known that two Coxeter groups in this family are isomorphic if and only if they admit Coxeter systems having the same rank and the same multiset of finite exponents. In particular, each group in this family is isomorphic to a group that admits a Coxeter system whose associated labeled graph is a star shaped tree. We give the complete description of the automorphism group of this group, and derive a sufficient condition for the splitting of the automorphism group as a semi-direct product of the inner and the outer automorphism groups. As applications, we prove that Coxeter groups in this family satisfy the $R_infty$-property and are (co)-Hopfian. We compare structural properties, automorphism groups, $R_infty$-property and (co)-Hopfianity of a special odd Coxeter group whose only finite exponent is three with the braid group and the twin group.
Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set-theoretic solutions of the well-known Yang-Baxter equation. The first half
of this paper proposes some natural constructions of biquandles from groups and from their simpler counterparts, namely, quandles. We completely determine all words in the free group on two generators that give rise to (bi)quandle structures on all groups. We give some novel constructions of biquandles on unions and products of quandles, including what we refer as the holomorph biquandle of a quandle. These constructions give a wealth of solutions of the Yang-Baxter equation. We also show that for nice quandle coverings a biquandle structure on the base can be lifted to a biquandle structure on the covering. In the second half of the paper, we determine automorphism groups of these biquandles in terms of associated quandles showing elegant relationships between the symmetries of the underlying structures.
