Related papers: Classification of Connected Shelves
Homology theories for associative algebraic structures are well established and have been studied for a long time. More recently, homology theories for self-distributive algebraic structures motivated by knot theory, such as quandles and…
This paper has partially a novel and partially a survey character. We start with a short review of rack (two term) homology of self distributive algebraic structures (shelves) and their connections to knot theory. We concentrate on a…
We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.
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…
We investigate the matched product of solutions associated with right and left shelves. First, we prove that the requirements to provide the matched product of solutions that come from shelves can be simplified. Then we give conditions for…
A shelf is a set with a binary operation~$\op$ satisfying $a \op (b \op c) = (a \op b) \op (a \op c)$. Racks are shelves with invertible translations $b \mapsto a \op b$; many of their aspects, including cohomological, are better understood…
We classify, up to isomorphism and up to equivalence, division gradings (by abelian groups) on finite-dimensional simple real algebras. Gradings on finite-dimensional simple algebras are determined by division gradings, so our results give…
We investigate the partial orderings of the form (P(X),\subset), where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the…
Algorithms are described and Maple implementations are provided for finding all quandles of order $n$, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a…
We classify the countable linear orders $X$ for which there is an order $A$ with at least two points such that the lexicographic product $AX$ is isomorphic to $X$. Given such an $X$, we determine every corresponding order $A$, and identify…
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary…
We provide a short combinatorial proof of Cayley's formula by means of a bijective map to an outcome space of an urn-drawing problem. Furthermore we introduce an algebraic structure on the set of labeled trees, which provides a more…
To any directed graph we associate an algebra with edges of the graph as generators and with relations defined by all pairs of directed paths with the same origin and terminus. Such algebras are related to factorizations of polynomials over…
We construct and study a class of algebras associated to generalized layered graphs, i.e. directed graphs with a ranking function on their vertices. Each finite directed acyclic graph admits countably many structures of a generalized…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
We classify connected \'etale algebras $A$'s in multiplicity-free modular fusion categories (MFCs) $\mathcal{B}$'s at rank six, namely $\text{rank}(\mathcal{B})=6$. There are eight MFCs in total and the result indicates that only $so(5)_2$…
This article is devoted to the study of self-distributive algebraic structures: algebras, bialgebras; additional structures on them, relations of these structures with Hopf algebras, Lie algebras, Leibnitz algebras etc. The basic example of…
Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their…
An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical…
We classify connected \'etale algebras $A$'s in multiplicity-free modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le9$. We also identify categories $\mathcal B_A$'s of right $A$-modules. The results have physical…