Related papers: Tying up baric algebras
An algebraic structure with two constants and one ternary operation, which is not completely commutative, is put forward to accommodate ternary Boolean algebras. When the ternary operation is interpreted as Church's conditioned disjunction,…
A code algebra $A_C$ is a nonassociative commutative algebra defined via a binary linear code $C$. In a previous paper, we classified when code algebras are $\mathbb{Z}_2$-graded axial (decomposition) algebras generated by small…
We develop the theory of double multiplicative Poisson vertex algebras. These structures, defined at the level of associative algebras, are shown to be such that they induce a classical structure of multiplicative Poisson vertex algebra on…
In this paper, we present a complete classification of 2-dimensional endo-commutative straight algebras of type II$_1$ over any field. An endo-commutative algebra is a non-associative algebra in which the square mapping preserves…
The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the…
From the definition and properties of unital hom-associative algebras, and the use of the Kaplansky's constructions, we develop new algebraic structures called 2-hom-associative bialgebras, 2-hom-bialgebras, and 2-2-hom-bialgebras. Besides,…
A new structure, based on joining copies of a group by means of a \emph{twist}, has recently been considered to describe the brackets of the two exceptional real Lie algebras of type $G_2$ in a highly symmetric way. In this work we show…
This article explores \Z_2-graded L_\infinity algebra structures on a 2|1-dimensional vector space. The reader should note that our convention on the parities is the opposite of the usual one, because we define our structures on the…
Poisson superalgebras are known as a $\mathbb{Z}_2$-graded vector space with two operations, an associative supercommutative multiplication and a super bracket tied up by the super Leibniz relation. We show that we can consider a single…
We consider an evolution algebra which corresponds to a bisexual population with a set of females partitioned into finitely many different types and the males having only one type. We study basic properties of the algebra. This algebra is…
In this paper, we define and study (co)homology theories of a compatible associative algebra $A$. At first, we construct a new graded Lie algebra whose Maurer-Cartan elements are given by compatible associative structures. Then we define…
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…
We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a…
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract…
We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…
Given two associative algebras A, C and a linear space V together with some linear maps R_1, R_2, R_3, E satisfying some conditions, we define an associative algebra structure on A\otimes V\otimes C called a two-sided crossed product.…
Given two algebras A and B, sometimes assumed to be C*-algebras, we consider the question of putting algebra or C*-algebra structures on the tensor product A\otimes B. In the C*-case, assuming B to be two-dimensonal, we characterize all…
In this note we study a family of algebras with one parameter defined by generators and relations. The set of generators contains the generators of the usual braids algebra, and another set of generators which is interpreted as ties between…
Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…
Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that…