18 pages. Fixed a few typos and unclear points on my part that I discovered while doing galleys. After publication, any updates, errata, related references etc. found will be recorded at http://math.berkeley.edu/~gbergman/papers
We review the definition of a quandle, and in particular of the core quandle $\mathrm{Core}(G)$ of a group $G$, which consists of the underlying set of $G$, with the binary operation $x\lhd y = x y^{-1} x$. This is an involutory quandle, i.e., satisfies the identity $x\lhd (x\lhd y) = y$ in addition to the other identities defining a quandle.
Trajectories $(x_i)_{i\in\mathbb{Z}}$ in groups and in involutory quandles (in the former context, sequences of the form $x_i = x z^i$ where $x,z\in G,$ among other characterizations; in the latter, sequences satisfying $x_{i+1}= x_i\lhd\,x_{i-1})$ are examined. A family of necessary conditions for an involutory quandle to be embeddable in the core quandle of a group is noted. Some implications are established between identities holding in groups and in their core quandles. Upper and lower bounds are obtained on the number of elements needed to generate the quandle $\mathrm{Core}(G)$ for $G$ a finitely generated group. Several questions are posed.
We show that the adjoint group of the Alexander quandle associated to an abelian group M and an automorphism T has a nice description in terms of M and T.
In the present paper, we introduce the new construction of quandles. For a group $G$ and its subset $A$ we construct a quandle $Q(G,A)$ which is called the $(G,A)$-quandle and study properties of this quandle. In particular, we prove that if $Q$ is a quandle such that the natural map $Q\to G_Q$ from $Q$ to its enveloping group $G_Q$ is injective, then $Q$ is the $(G,A)$-quandle for an appropriate group $G$ and its subset $A$. Also we introduce the free product of quandles and study this construction for $(G,A)$-quandles. In addition, we classify all finite quandles with enveloping group $\math…
We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine.
For any twisted conjugate quandle $Q$, and in particular any Alexander quandle, there exists a group $G$ such that $Q$ is embedded into the conjugation quandle of $G$.
A (left) quandle is connected if its left multiplication group acts transitively. In 2014, Eisermann introduced the concept of quandle coverings, corresponding to so-called constant quandle cocycles that form a subset of quandle cocycles. A connected quandle is said to be \emph{simply connected} if it has no nontrivial coverings, or, equivalently, if its second constant cohomology groups are trivial. In this paper we develop a combinatorial approach to constant cohomology. Upon applying our theory, we prove that connected quandles that are affine over cyclic groups are simply connected (extend…
A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming from the commutator theory, and by an explicit construction over abelian groups. As a consequence, we obtain efficient algorithms for recognizing affine and quasi-affine quandles, and we enumerate small quasi-affine quandles. We also prove that the "abelian implies quasi-affine" problem of universal algebra has affirmative answer for the class of quandles.
We prove that the automorphism group of the dihedral quandle with n elements is isomorphic to the affine group of the integers mod n, and also obtain the inner automorphism group of this quandle. In [9], automorphism groups of quandles (up to isomorphisms) of order less than or equal to 5 were given. With the help of the software Maple, we compute the inner and automorphism groups of all seventy three quandles of order six listed in the appendix of [4]. Since computations of automorphisms of quandles relates to the problem of classification of quandles, we also describe an algorithm implemente…
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 extension 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 c…
This paper develops an approach for describing centrally extended groups, as determining the adjoint groups associated with quandles. Furthermore, we explicitly describe such groups of some quandles. As a corollary, we determine some second quandle homologies.
Quandle is an algebraic system with one binary operation, but it is quite different from a group. Quandle has its origin in the knot theory and good relationships with the theory of symmetric spaces, so it is well-studied from points of view of both areas. In the present paper, we investigate a special kind of quandles, called generalized Alexander quandles $Q(G,ψ)$, which is defined by a group $G$ together with its group automorphism $ψ$. We develop the quandle invariants for generalized Alexander quandles. As a result, we prove that there is a one-to-one correspondence between generalized Al…
The goal of this paper is to characterization generalized Alexander quandles of finite groups in the language of the underlying groups. Firstly, we prove that if finite groups $G$ are simple, then the quandle isomorphic classes of generalized Alexander quandles of $G$ one-to-one correspond to the conjugacy classes of the automorphism groups of $G$. This correspondence can be also claimed for the case of symmetric groups. Secondly, we give a characterization of generalized Alexander quandles of finite groups $G$ under some assumptions in terms of $G$. As corollaries of this characterization, we…
In this article, we characterize the (covariant) isotropy groups of free, finitely generated racks and quandles. As a consequence, we show that the usual inner automorphisms of such racks and quandles are precisely those automorphisms that are "coherently extendible". We then use this result to compute the global isotropy groups of the categories of racks and quandles, i.e. the automorphism groups of the identity functors of these categories.
In this paper we study different questions concerning automorphisms of quandles. For a conjugation quandle $Q={\rm Conj}(G)$ of a group $G$ we determine several subgroups of ${\rm Aut}(Q)$ and find necessary and sufficient conditions when these subgroups coincide with the whole group ${\rm Aut}(Q)$. In particular, we prove that ${\rm Aut}({\rm Conj}(G))={\rm Z}(G)\rtimes {\rm Aut}(G)$ if and only if either ${\rm Z}(G)=1$ or $G$ is one of the groups $\mathbb{Z}_2$, $\mathbb{Z}_2^2$ or $\mathbb{Z}_3$. For a big list of Takasaki quandles $T(G)$ of an abelian group $G$ with $2$-torsion we prove th…
Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free quandles and knot quandles are residually finite. In this paper, we extend these results and prove that free products of residually finite quandles are residually finite provided their associated groups are residually finite. As associated groups of link quandles are link groups, which are known to be residually finite, it follows that link quandles are residually…
Let $G$ be a group and $φ\in \Aut(G)$. Then the set $G$ equipped with the binary operation $a*b=φ(ab^{-1})b$ gives a quandle structure on $G$, denoted by $\Alex(G, φ)$ and called the generalised Alexander quandle. When $G$ is additive abelian and $φ= -\id_G$, then $\Alex(G, φ)$ is the well-known Takasaki quandle. In this paper, we determine the group of automorphisms and inner automorphisms of Takasaki quandles of abelian groups with no 2-torsion, and Alexander quandles of finite abelian groups with respect to fixed-point free automorphisms. As an application, we prove that if $G\cong (\mathbb…
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 $a\ast_n b = (\cdots (a\ast \underbrace{b)\ast \cdots )\ast b}_{n}$, where $a, b \in Q$. Then, $(Q, \ast_n)$ is again a quandle. We set forth the following problem. ``Find $(Q, \ast)$ such that the sequence $\{(Q, \ast_n)\, :\, n\in \mathbb{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$…
We find all words $W(x,y,z)$ in the free group $F(x,y,z)$, such that for every group $G$ and an element $c\in G$ the algebraic system $(G,*_{W,c})$ with the binary operation $*_{W,c}$ given by $a*_{W,c}b=W(a,b,c)$ for $a,b\in G$ is a quandle. Such quandles are called verbal quandles with one parameter.
We prove that for n>2 there exists a quandle of cyclic type of size n if and only if n is a power of a prime number. This establishes a conjecture of S. Kamada, H. Tamaru and K. Wada. As a corollary, every finite quandle of cyclic type is an Alexander quandle. We also prove that finite doubly transitive quandles are of cyclic type. This establishes a conjecture of H. Tamaru.
In this paper, a theory of quandle rings is proposed for quandles analogous to the classical theory of group rings for groups, and interconnections between quandles and associated quandle rings are explored.
Hayashi property for conjugation quandles over finite Coxeter groups
Indian Institute of Technology Jodhpur（印度技术学院乔德普尔分校）；School of Advanced Engineering, UPES（UPES高级工程学院）；Indian Institute of Science Education and Research Mohali（印度科学教育与研究学院莫哈利分校）
This paper studies the left (right) middle translations on finite involutory latin quandles and their representations. It also shows that a left involutory latin quandle of odd order n can be constructed from a cyclic group of odd order by the application of left middle translations. Furthermore, the concept of spins of involutory latin quandle is investigated, and it is shown that if Q is a left involutory latin quandle of odd order n, then the set of all right spins (r-spins) is a cyclic group of odd order n under composition of mapping.
We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as abelianness and centrality are reflected by the corresponding relative displacement groups, and so do the global properties, solvability and nilpotence. To show the new tool in action, we present three applications: non-existence theorems for quandles (no connected involutory quandles of order $2^k$, no latin quandles of order $\equiv2\pmod4$), a non-colorabil…
We generalise the construction of $Q$-family of quandles and $G$-family of quandles which were introduced in the paper of A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro, and find connection with other constructions of quandles. We define a composition of quandl's structures, which are defined on the same set and find conditions under which this composition gives a quandle. Further we prove that under this multiplication we get a group and show that this group is abelian.
To a Coxeter group $W$ one associates a quandle $X_W$ from which one constructs a group $\mathrm{Ad}(X_W)$. This group turns out to be an intermediate object between $W$ and the associated Artin group. By using a result of Akita, we prove that $\mathrm{Ad}(X_W)$ is given by a pullback involving $W$, and by using this pullback, we show that the classifying space of $\mathrm{Ad}(X_W)$ is given by a space called a polyhedral product whenever $W$ is right-angled. Two applications of this description of the classifying space are given.
A condition of admissibility for generalized Alexander quandles
Kyoto Meitoku High School（京都明德高中）；Faculty of Education, Yamaguchi University（山口大学教育学部）；Center for Educational Research of Science and Mathematics, Nara University of Education（奈良教育大学数理教育研究中心）
In this paper we study the classes of superconnected and superfaithful left quasigroups, that are relevant in the study of Mal'cev varieties of left quasigroups \cite{Maltsev_paper}. Then we focus on quandles and in particular to the involutory ones. We extend the main result of \cite{involutive_quandles_russo} to the infinite case and we offer a characterization of several classes of involutory quandles in terms of the properties of the canonical generators of the displacement group, improving the main results of \cite{Nobu}.
