Free quandles and knot quandles are residually finite

@article{Bardakov2019FreeQA,
  title={Free quandles and knot quandles are residually finite},
  author={Valeriy G. Bardakov and Mahender Singh and Manpreet Singh},
  journal={Proceedings of the American Mathematical Society},
  year={2019}
}
In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core, and Alexander quandles) is established. Further, residual finiteness of automorphism groups of some residually finite quandles is also discussed. 
Link quandles are residually finite
Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work (Bardakov et al. in Proc Am Math Soc
Zero-divisors and idempotents in quandle rings
The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles
Subquandles of free quandles
We prove that a subquandle of a free quandle is free.
General constructions of biquandles and their symmetries
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

References

SHOWING 1-10 OF 37 REFERENCES
Knot invariants derived from quandles and racks
The homology and cohomology of quandles and racks are used in knot theory: given a nite quandle and a cocycle, we can construct a knot invariant. This is a quick introductory survey to the invariants
A SURVEY OF QUANDLE IDEAS
This article surveys many aspects of the theory of quandles which algebraically encode the Reidemeister moves. In addition to knot theory, quandles have found applications in other areas which are
The Homology of Free Racks and Quandles
We prove that rack (resp. quandle) homology of the free rack (resp. free quandle) is trivial.
A classifying invariant of knots, the knot quandle
Abstract The two operations of conjugation in a group, x▷y=y -1 xy and x▷ -1 y=yxy -1 satisfy certain identities. A set with two operations satisfying these identities is called a quandle. The
The Word Problem for Finitely Presented Quandles is Undecidable
TLDR
It follows that the word problem for recursively presented quandles is not effectively computable, in general, and it is demonstrated that a recursion quandle can be encoded as a recursorsively presented rack.
DISTRIBUTIVE GROUPOIDS IN KNOT THEORY
A sequence of new knot invariants is constructed by using the relationship between the theory of distributive groupoids and knot theory.Bibliography: 3 titles.
Cellular Automata and Groups
TLDR
Theorem: Finitely Generated Amenable Groups + Local Embeddability and Sofic Groups + Uniform Structures + Complements of Functional Analysis + Ultrafilters = 6.
Automorphism groups of quandles and related groups
In this paper we study various questions concerning automorphisms of quandles. For a conjugation quandle $$Q=\mathrm{Conj}(G)$$Q=Conj(G) of a group G we determine several subgroups of
RACKS AND LINKS IN CODIMENSION TWO
A rack, which is the algebraic distillation of two of the Reidemeister moves, is a set with a binary operation such that right multiplication is an automorphism. Any codimension two link has a
The Combinatorial Revolution in Knot Theory
K not theory is usually understood to be the study of embeddings of topological spaces in other topological spaces. Classical knot theory, in particular, is concerned with the ways in which a circle
...
1
2
3
4
...