Polynomial Identities for Tangent Algebras of Monoassociative Loops

We introduce degree n Sabinin algebras, which are defined by the polynomial identities up to degree n in a Sabinin algebra. Degree 4 Sabinin algebras can be characterized by the polynomial identities satisfied by the commutator, associator, and two quaternators in the free nonassociative algebra. We consider these operations in a free power associative algebra and show that one of the quaternators is redundant. The resulting algebras provide the natural structure on the tangent space at the identity element of an analytic loop for which all local loops satisfy monoassociativity, a ² a ≡ aa ². These algebras are the next step beyond Lie, Malcev, and Bol algebras. We also present an identity of degree 5 which is satisfied by these three operations but which is not implied by the identities of lower degree.     

Dendriform Analogues of Lie and Jordan Triple Systems

We use computer algebra to determine all the multilinear polynomial identities of degree ≤7 satisfied by the trilinear operations (a·b)·c and a·(b·c) in the free dendriform dialgebra, where a·b is the pre-Lie or the pre-Jordan product. For the pre-Lie triple products, we obtain one identity in degree 3, and three independent identities in degree 5, and we show that every identity in degree 7 follows from the identities of lower degree. For the pre-Jordan triple products, there are no identities in degree 3, five independent identities in degree 5, and ten independent irreducible identities in degree 7. Our methods involve linear algebra on large matrices over finite fields, and the representation theory of the symmetric group.     

Dialgebras and related triple systems

We consider some algebraical systems that lead to various nearly associative triple systems. We deal with a class of algebras which contains Leibniz-Poisson algebras, dialgebras, conformal algebras, and some triple systems. We describe all homogeneous structures of ternary Leibniz algebras on a dialgebra. For this purpose, in particular, we use the Leibniz-Poisson structure on a dialgebra. We then find a corollary describing the structure of a Lie triple system on an arbitrary dialgebra, a conformal associative algebra and a classical associative triple system. We also describe all homogeneous structures of an (ε, δ)-Freudenthal-Kantor triple system on a dialgebra.     

On Poisson–Malcev Structures

Malcev–Poisson structure on a manifold is analogous to a Poisson structure with the Lie identity replaced by a slightly more general Malcev identity. Examples of such structures arise naturally. In the second part of the paper we study Malcev bialgebras. A theorem of characterization is proved.     

Levi and Malcev Theorems for Finite-Dimensional Algebras from the Variety Defined by the Identities x2 =J(x,y, zu) =0

We study the variety of binary Lie algebras defined by the identities x2 =J(x,y,zu) =0,where J(a,b,c) denotes the Jacobian of a,b,c.Building on previous work by Carrillo,Rasskazova,Sabinina and Grishkov,in the present article it is shown that the Levi and Malcev theorems hold for this variety of algebras.     

Totally compatible associative and Lie dialgebras, tridendriform algebras and PostLie algebras

This paper studies the concepts of a totally compatible dialgebra and a totally compatible Lie dialgebra,defined to be a vector space with two binary operations that satisfy individual and mixed associativity conditions and Lie algebra conditions respectively.We show that totally compatible dialgebras are closely related to bimodule algebras and semi-homomorphisms.More significantly,Rota-Baxter operators on totally compatible dialgebras provide a uniform framework to generalize known results that Rota-Baxter related operators give tridendriform algebras.Free totally compatible dialgebras are constructed.We also show that a Rota-Baxter operator on a totally compatible Lie dialgebra gives rise to a PostLie algebra,generalizing the fact that a Rota-Baxter operator on a Lie algebra gives rise to a PostLie algebra.     

The Cayley–Dickson process for dialgebras

We adapt the algorithm of Kolesnikov and Pozhidaev, which converts a polynomial identity for algebras into the corresponding identities for dialgebras, to the Cayley–Dickson doubling process. We obtain a generalization of this process to the setting of dialgebras, establish some of its basic properties, and construct dialgebra analogues of the quaternions and octonions.     

A polynomial identity for the bilinear operation in Lie–Yamaguti algebras

We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie–Yamaguti algebra. This identity is a consequence of the defining identities for Lie–Yamaguti algebras, but is not a consequence of anticommutativity. We give an explicit form of this identity as an alternating sum over all permutations of the variables in a nonassociative polynomial with 8 terms. Our computations show that no such identities exist in degrees less than 8.     

Degenerations of binary Lie and nilpotent Malcev algebras

We describe degenerations of four-dimensional binary Lie algebras, and five- and six-dimensional nilpotent Malcev algebras over ?. In particular, we describe all irreducible components of these varieties.     

Structures of Malcev Bialgebras on a Simple Non-Lie Malcev Algebra

In this work we consider Malcev bialgebras. We describe all structures of a Malcev bialgebra on a simple non-Lie Malcev algebra.     

Ternary analogues of Lie and Malcev algebras

We consider two analogues of associativity for ternary algebras: total and partial associativity. Using the corresponding ternary associators, we define ternary analogues of alternative and assosymmetric algebras. On any ternary algebra the alternating sum [a, b, c] = abc − acb − bac + bca + cab − cba (the ternary analogue of the Lie bracket) defines a structure of an anticommutative ternary algebra. We determine the polynomial identities of degree ?7 satisfied by this operation in totally and partially associative, alternative, and assosymmetric ternary algebras. These identities define varieties of ternary algebras which can be regarded as ternary analogues of Lie and Malcev algebras. Our methods involve computational linear algebra based on the representation theory of the symmetric group.     

Non-Existence of Coassociative Quantized Universal Enveloping Algebras of the Traceless Octonions

The purpose of this brief note is to prove that any coassociative bialgebra deformation of the universal enveloping algebra of the seven dimensional central simple exceptional Malcev algebra over a field of characteristic zero is cocommutative.     

Construction of dialgebras through bimodules over algebras

The varieties of dialgebras (also known as Loday-type algebras) over a given type of algebra have been the subject of multiple recent developments. We provide here a construction of such dialgebra varieties via bimodules over an algebra and a surjective equivariant map. Our construction is equivalent to the KP construction (Kolesnikov–Pozhidaev construction) when departing from the set of linearized identities of the algebra variety. The novel construction simplifies the obtention of the dialgebra equations without forcing a complete linearization of the algebra identities. We illustrate the use of the novel construction providing the dialgebras associated to several varieties of algebras, including those over diverse Lie admissible algebras. We provide some novel explorations on the structure of the dialgebras which are easily articulated through our construction.     

Polynomial identities for the ternary cyclic sum

We simplify the results of Bremner and Hentzel [J. Algebra 231 (2000) 387–405] on polynomial identities of degree 9 in two variables satisfied by the ternary cyclic sum [a, b, c] = abc + bca + cab in every totally associative ternary algebra. We also obtain new identities of degree 9 in three variables which do not follow from the identities in two variables. Our results depend on (i) the LLL algorithm for lattice basis reduction, and (ii) linearization operators in the group algebra of the symmetric group which permit efficient computation of the representation matrices for a non-linear identity. Our computational methods can be applied to polynomial identities for other algebraic structures.     

Lie and Jordan Products in Interchange Algebras

We study Lie brackets and Jordan products derived from associative operations ○, ? satisfying the interchange identity (w?x) ○ (y?z) ≡ (w ○ y)?(x ○ z). We use computational linear algebra, based on the representation theory of the symmetric group, to determine all polynomial identities of degree ≤7 relating (i) the two Lie brackets, (ii) one Lie bracket and one Jordan product, and (iii) the two Jordan products. For the Lie–Lie case, there are two new identities in degree 6 and another two in degree 7. For the Lie–Jordan case, there are no new identities in degree ≤6 and a complex set of new identities in degree 7. For the Jordan–Jordan case, there is one new identity in degree 4, two in degree 5, and complex sets of new identities in degrees 6 and 7.     

Identités Multilinéaires de Degré 4 pour les Algèbres de Bernstein et de Mutation Non Commutatives

We give the identities generating the spaces of degree 4 multilinear identities satisfied by the non commutative 0th-order Bernstein algebras and the non commutative mutation algebras. For it, we use a method reducing the search for multilinear identities to the resolution of linear systems.     

Identities on Clifford algebras

We obtain some estimates of the codimensions and PI-exponent of identities on the Clifford algebras associated to a quadratic form of a given rank, find a hook where the cocharacters of Clifford algebras lie, exhibit an identity that holds on the Clifford algebras of a given rank, and describe the multilinear identities of minimal degree for the Clifford algebras of rank 1.     

Sur les identités polynomiales vérifiées par les algèbres de rétrocroisement

We study the ideal of polynomial identities of a single indeterminate satisfied by all backcrossing algebras. For this we distinguish two categories according to whether or not these algebras satisfy an identity for the plenary powers. For each category, we give the generators for the vector space of identities, a condition for any object belonging to one of these two categories verify a given identity, a necessary and su?cient condition that a polynomial is an identity and we study the existence of an idempotent element. We give a method which brings the search of identities satified by the backcrossing algebras to the solution of linear systems and we illustrate this method by constructing generators of homogeneous and non homogeneous identities of degrees less than 8.