Related papers: Connected Quandles Associated with Pointed Abelian…
The subdirect product of two finite groups $A$ and $B$ is defined as a subgroup of the direct product $A \times B$, which is a well-known notion in finite group theory. While it is clear that, under appropriate choices of sets of generators…
Unifying various constructions of quandles including Coxeter quandles, free quandles, knot quandles of prime knots and Dehn quandles of orientable surfaces, we introduce Dehn quandles of groups with respect to their subsets. It turns out…
Quandles with good involutions, which are called symmetric quandles, can be used to define invariants of unoriented knots and links. In this paper, we determine the necessary and sufficient condition for good involutions of a generalized…
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…
Traditional clustering identifies groups of objects that share certain qualities. Tangles do the converse: they identify groups of qualities that often occur together. They can thereby identify and discover 'types': of behaviour, views,…
Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division…
Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the…
We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.
In this paper, we investigate a quandle structure induced by an augmented rack arising from a gauge transformation group. We construct a quandle from a principal bundle and its discrete generalization. When we see a group as a (discrete)…
In this paper, we explore the bounded cohomology of quandles and its applications to knot theory. We establish two key results that provide sufficient conditions for the infinite dimensionality of the second bounded cohomology of quandles.…
We introduce the notion of a hierarchical quandle, which is a generalisation of diquandles and multi-quandles. Using hierarchical quandle colourings, we construct a cocycle invariants for links coloured by quandles.
Quandle homology was defined from rack homology as the quotient by a subcomplex corresponding to the idempotency, for invariance under the type I Reidemeister move. Similar subcomplexes have been considered for various identities of racks…
Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin…
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.
A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily…
We define a two-variable polynomial invariant of finite quandles. In many cases this invariant completely determines the algebraic structure of the quandle up to isomorphism. We use this polynomial to define a family of link invariants…
For an Abelian group $G$, any homomorphism $\mu\colon G\otimes G\rightarrow G$ is called a \textsf{multiplication} on $G$. The set $\text{Mult}\,G$ of all multiplications on an Abelian group $G$ is an Abelian group with respect to addition.…
In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson…
Let G be a group. The intersection graph G(G) of G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of G; and there is an edge between two distinct…
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…