Related papers: On Core Quandles
We give a formal treatment of simple type theories, such as the simply-typed $\lambda$-calculus, using the framework of abstract clones. Abstract clones traditionally describe first-order structures, but by equipping them with additional…
We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite.…
Many kinds of data are naturally amenable to being treated as sequences. An example is text data, where a text may be seen as a sequence of words. Another example is clickstream data, where a data instance is a sequence of clicks made by a…
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.
In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.
Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…
We investigate the classification of topological quandles on some simple manifolds. Precisely we classify all Alexander quandle structures, up to isomorphism, on the real line and the unit circle. For the closed unit interval $[0, 1]$, we…
The core group is an invariant of unoriented virtual links. We introduce a peripheral structure for the core group, in which the longitudes are sensitive to orientations. We show that the combination of the core group and its peripheral…
A quandle is an algebraic structure whose axioms correspond to the Reidemeister moves of knot theory. S. Kamada introduced the notion of a quandle with a good involution, which is later called a symmetric quandle. We are interested in the…
Quantum entanglement is at the heart of many tasks in quantum information. Apart from simple cases (low dimensions, few particles, pure states), however, the mathematical structure of entanglement is not yet fully understood. This tutorial…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the…
We study the structure of symplectic quandles, quandles which are also R-modules equipped with an antisymmetric bilinear form. We show that every finite dimensional symplectic quandle over a finite field F or arbitrary field F of…
Here, we show that the first isomorphism theorem, the orbit-stabilizer theorem, and the non-uniqueness of solutions of underdetermined linear systems are all manifestations of the same underlying algebraic property. We will call this…
In this article we look into characterizing primitive groups in the following way. Given a primitive group we single out a subset of its generators such that these generators alone (the so-called primitive generators) imply the group is…
In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature…
A number of network structural characteristics have recently been the subject of particularly intense research, including degree distributions, community structure, and various measures of vertex centrality, to mention only a few. Vertices…
In this paper, we investigate the residual finiteness and subquandle separability of quandles, properties that respectively imply the solvability of the word problem and the generalized word problem for quandles. From Winker's work, we know…
The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce is…
We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial…