This paper studies the triviality of commutators in central products of Cayley-Dickson loops. Two immediate outcomes of this study are (1) the construction of a sequence of non-commutative di-associative loops in which the probability that a random commutator is trivial approaches 1, and (2) an easy proof that if two central products of $n$-fold Cayley-Dickson loops are isomorphic for $n\geq 3$, then the loops in the first product are term-wise isomorphic to the loops in the second product.
Hani Abdelwahab, Ivan Kaygorodov, Bauyrzhan Sartayev
We present a comprehensive study of two new Poisson-type algebras. Namely, we are working with $δ$-Poisson and transposed $δ$-Poisson algebras. Our research shows that these algebras are related to many interesting identities. In particular, they are related to shift associative algebras, $F$-manifold algebras, algebras of Jordan brackets, etc. We classify simple $δ$-Poisson and transposed $δ$-Poisson algebras and found their depolarizations. We study $δ$-Poisson and mixed-Poisson algebras to be Koszul and self-dual. Bases of the free $δ$-Poisson and mixed-Poisson algebras generated by a countable set $X$ are constructed.
A skew brace $A = (A,\cdot,\circ)$ is said to be \textit{left-simple} if $A\neq1$ and it has no left ideal other than $1$ and $A$. The purpose of this paper is to give a partial classification of the finite left-simple skew braces. A result of Stefanello and Trappeniers implies that finite left-simple skew braces correspond precisely to minimal Hopf--Galois structures on finite Galois extensions of fields.
In this paper we define three different notions of tensor products for Leibniz bimodules. The ``natural" tensor product of Leibniz bimodules is not always a Leibniz bimodule. In order to fix this, we introduce the notion of a weak Leibniz bimodule and show that the ``natural" tensor product of weak bimodules is again a weak bimodule. Moreover, it turns out that weak Leibniz bimodules are modules over a cocommutative Hopf algebra canonically associated to the Leibniz algebra. Therefore, the category of all weak Leibniz bimodules is symmetric monoidal and the full subcategory of finite-dimensional weak Leibniz bimodules is rigid and pivotal. On the other hand, we introduce two truncated tensor products of Leibniz bimodules which are again Leibniz bimodules. These tensor products induce a non-associative multiplication on the Grothendieck group of the category of finite-dimensional Leibniz bimodules. In particular, we prove that in characteristic zero for a finite-dimensional solvable Leibniz algebra this Grothendieck ring is an alternative power-associative commutative Jordan ring, but for a finite-dimensional non-zero semi-simple Leibniz algebra it is neither alternative nor a Jordan ring. 45 pages
We describe totally compatible structures on the Jacobson radical of the incidence algebra of a finite poset over a field. We show that such structures are in general non-proper. Final version
This paper examines the connections between (relative) Rota--Baxter groups, skew left braces, and enlargements of these structures on naturally associated semi-direct products. Given a skew left brace, we define a new skew left brace, referred to as its square, on the natural semi-direct product of its additive and multiplicative groups. Further, the square construction is distinct from the previously known double construction arising as a special case of matched pairs of skew braces. This provides a method to construct a new bijective, non-degenerate solution to the Yang--Baxter equation from an existing solution arising from a skew left brace. We show that the square construction is functorial and integrates naturally into both the cohomological and extension-theoretic frameworks for (relative) Rota--Baxter groups and skew left braces. Furthermore, we provide a sufficient condition under which two isoclinic skew left braces yield isoclinic squares.
This article lays the foundations for an analogue of geometric group theory that studies actions on graphs by right quasigroups, including racks and quandles. We study markings of graphs that realize racks, and we introduce (di)graph invariants based on such markings. We show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. This solves two problems of Valeriy Bardakov. Finally, we give graph-theoretic characterizations of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei. Final version for publication
