Related papers: Units in quasigroups with classical Bol-Moufang ty…
A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary…
We present results about groupoids of small order with Bol-Moufang type identities both classical and non-classical which are listed in [7, 8].
We initiate (co)homology theory for quasigroups of Bol-Moufang type based on analysis of their extensions by affine quasigroups of the same type. We use these extensions to define second and third boundary operations, $\partial_2(x,y)$ and…
We proceed the research of generalized quasigroup derivatives started in early papers of the last co-author ([20, p. 212], [13]). For any quasigroup there exist 648 generalized derivatives. Here we study the problem about existence of units…
Some varieties of groupoids and quasigroups generated by linear-bivariate polynomials $P(x,y)=a+bx+cy$ over the ring $\mathbb{Z}_n$ are studied. Necessary and sufficient conditions for such groupoids and quasigroups to obey identities which…
We count number of groupoids of order 3 with some Bol-Moufang type identities.
The article is a continuation of the author's work "Linear quasigroups. I" and devoted to linear quasigroups and some of their generalizations. In the second part identities and linearity of quasigroups are investigated, in particular, the…
We describe the combinatorics of the multisemigroup with multiplicities for the tensor category of subbimodules of the identity bimodule, for an arbitrary non-uniform orientation of a finite cyclic quiver.
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…
The existence of finite simple non-Moufang Bol loops was considered as one of the main open problems in the theory of loops and quasigroups. In this paper, we present a class of proper simple Bol loops. This class also contains finite and…
We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops.
Some results that are true in classical groups are investigated in generalized groups and are shown to be either generally true in generalized groups or true in some special types of generalized groups. Also, it is shown that a Bol groupoid…
The binary products of right, left or double division in semigroups that are semilattices of groups give interesting groupoid structures that are in one to one correspondence with semigroups that are semilattices of groups. This work is…
In this paper we use a certain class of well-monotone covers on a quasi-uniform space $(X, \mathcal{U})$ to investigate whether there are quasi-uniformities $\mathcal{V}$ that are distinct from $\mathcal{U}$, but have the property that the…
We describe those group algebras over fields of characteristic different from 2 whose units symmetric with respect to the classical involution, satisfy some group identity.
In this paper we investigate the class of semimedial left quasigroups, a class that properly contains racks and medial left quasigroups. We extend most of the results about commutator theory for racks collected in \cite{CP} and some of the…
In this paper we investigate central congruence of left quasigroups in the sense of Freese and McKenzie \cite{comm} and we extend some known results for quandles. In particular, we can extend the characterization of finite nilpotent latin…
We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial.
A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…
Any Neumann quasigroup $(Q, \cdot)$ (quasigroup with Neumann identity $ x \cdot(yz \cdot yx) = z$ is called Neumann quasigroup) can be presented in the form $x\cdot y = x-y$, where $(Q, +)$ is an abelian group. Automorphism group of Neumann…