Constructing an infinite family of quandles from a quandle

arXiv2211.13360MaRDI QIDQ6418324FDOQ6418324

Authors: Pedro T. P. Lopes, Manpreet Singh 

Publication date: 23 November 2022

Abstract: Quandles are self-distributive, right-invertible, idempotent algebras. A group with conjugation for binary operation is an example of a quandle. Given a quandle $(Q,ast)$ and a positive integer $n$, define $aas{t}_{n}b=(cdots(aastunderbrace{b)astcdots)astb}_n$, where $a,binQ$. Then, $(Q,as{t}_n)$ is again a quandle. We set forth the following problem. ``Find $(Q,ast)$ such that the sequence $(Q,as{t}_n),:,ninmathbb{Z}^{+}$ is made up of pairwise non-isomorphic quandles. In this article we find such a quandle $(Q,ast)$. We study the general linear group of $2$-by-$2$ matrices over $mathbbC$ as a quandle under conjugation. Its (algebraically) connected components, that is, its conjugacy classes, are subquandles of it. We show the latter are connected as quandles and prove rigidity results about them such as the dihedral quandle of order $3$ is not a subquandle for most of them. Then we consider the quandle which is the projective linear group of $2$-by-$2$ matrices over $mathbbC$ with conjugation, and prove it solves the problem above. In the course of this work we prove a sufficient and necessary condition for a quandle to be latin. This will reduce significantly the complexity of algorithms for ascertaining if a quandle is latin.

Mathematics Subject Classification ID

Sets with a single binary operation (groupoids) (20N02) Generalized knots (virtual knots, welded knots, quandles, etc.) (57K12)

This page was built for publication: Constructing an infinite family of quandles from a quandle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6418324)