Related papers: Mathematical Structures defined by Identities III
The aim of this paper is to extend the notion of bialgebra for Leibniz algebras (and Lie algebras) to $3$-Leibniz algebras (and $3$-Lie algebras) by use of the cohomology complex of $3$-Leibniz algebras. Also, some theorems about Leibniz…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
In this article we shows some results about algebra with the group of units having special polynomial identity.
We extend the concepts of the associator and commutator from algebras with a binary multiplication law to algebras with a ternary multiplication law using cube roots of unity. By analogy with the Jacobi identity for the binary commutator,…
In this article, we study Dorroh extensions of algebras and Dorroh extensions of coalgebras. Their structures are described. Some properties of these extensions are presented. We also introduce the finite duals of algebras and modules which…
We characterize finite-dimensional Lie algebras over an arbitrary field of characteristic zero which admit a non-trivial (quasi-) triangular Lie bialgebra structure.
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…
We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specification theory and then introduce logical and structural…
Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…
We review definitions and basic properties of operads, PROPs and algebras over these structures.
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…
A cohomology theory of weighted Rota-Baxter $3$-Lie algebras is introduced. Formal deformations, abelian extensions, skeletal weighted Rota-Baxter $3$-Lie 2-algebras and crossed modules of weighted Rota-Baxter 3-Lie algebras are interpreted…
We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.
We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…
For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…