On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

Polynomial identities of bicommutative algebras,Lie and Jordan elements

ABSTRACT

An algebra with identities a(bc)?=?b(ac), (ab)c?=?(ac)b is called bicommutative. We construct list of identities satisfied by commutator and anti-commutator products in a free bicommutative algebra. We give criterions for elements of a free bicommutative algebra to be Lie or Jordan.     

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.     

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.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

The Hopf Algebra of Fliess Operators and Its Dual Pre-lie Algebra

We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finite-dimensional, connected grading. Dually, the vector space ? ? x ₀, x ₁ ? is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes ? ? x ₀, x ₁ ? a Com-Pre-Lie algebra. We give a presentation of this object as a pre-Lie algebra.     

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.     

Gröbner–Shirshov bases for brace algebras

Let A be a brace algebra. This structure implies that A is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. For each pre-Lie algebra L, we find a Gröbner–Shirshov basis for its universal brace algebra U_b(L). As applications, we determine an explicit linear basis for U_b(L) and prove that L is a pre-Lie subalgebra of U_b(L).     

Les Pré-(a b)-algèbres à Homotopie Près

Dans cet article on étudie le concept d'algèbre à homotopie près pour une structure définie par deux opérations ? et ?. Des exemples importants d'une telle structure sont ceux des algèbres pré-Gerstenhaber et pré-Poisson graduées. Etant donnée une structure d'algèbre pré-commutative et pré-Lie graduée pour deux décalages des degrés donnés par a et b, on définit la structure d'une pré-(a, b)-algèbre graduée et on donne une construction explicite de l'algèbre à homotopie près associée.

We study in this article the concept of algebra up to homotopy for a structure defined by two operations, ? and ?. Important examples of such structure are those of graded pre-Gerstenhaber and pre-Poisson algebras.

Given a structure of pre-commutative and pre-Lie algebra for two shifts of degree given by a and b, we define the structure of a graded pre-(a, b)-algebra, and we give an explicit construction of the associated algebra up to homotopy     

Deductive systems of a cone algebra — I: Semi-ℓg-cones

A semi-ℓg-cone is an algebra (C;*,:,·) of type (2, 2, 2) satisfying the equations (a*a)*b = b = b: (a: a); a*(b: c) = (a*b): c; a: (b*a) = (b: a)*b and (ab) *c = b* (a * c). An ℓ-group cone is a semi-ℓg-cone and a bounded semi-ℓg-cone is term equivalent to a pseudo MV-algebra. Also, a subset A of a semi-_g-cone C is an ideal of C if and only if it is a deductive system of its reduct (C;*,:).      

JACOBSON FORMULA FOR RIGHT-SYMMETRIC ALGEBRAS IN CHARACTERISTIC p

An algebra is called right-symmetric, if it satisfies the identity a ? (b ? c ? c ? b) = (a ? b) ? c ? (a ? c) ? b. Right-symmetric algebras over a field of characteristic p are considered. A formula for the p-th power of a sum of two elements of right-symmetric algebras is established. The formula is similar to Jacobson formula for the p-th power of a sum of two elements of Lie algebras.     

Exceptional 0-Alia algebras

Analgebra (A, ∘) with the identity [a, b]∘c + [b, c]∘a + [c, a]∘b = 0, where [a, b] = a∘b−b∘a, is called 0-Alia. We prove that the algebra (ℂ[x], ∘) with multiplication a ∘ b = ∂2(2a∂(b)+∂(a)b) is a simple, exceptional 0-Alia algebra. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

The Division Relation: Congruence Conditions and Axiomatisability

We examine a universal algebraic abstraction of the semigroup theoretic concept of “divides:” a divides b in an algebra A if for some n ∈ ω, there is a term t(x, y ₁,…, y _n ) involving all of the listed variables, and elements c ₁,…, c _n such that t ^A (a, c ₁,…, c _n ) = b. The first order definability of this relation is shown to be a very broad generalisation of some familiar congruence properties, such as definability of principal congruences. The algorithmic problem of deciding when a finitely generated variety has this relation definable is shown to be equivalent to an open problem concerning flat algebras. We also use the relation as a framework for establishing some results concerning the finite axiomatisability of finitely generated varieties.     

Simple two-sided anti-Lie-admissible algebras

For a Lie algebra L, a bilinear map is called a commutative cocycle if ψ(a, b) = ψ(b, a) and ψ([a, b], c) + ψ([b, a], c) + ψ([c, a], b) = 0 for any a, b, c ∈ L. We prove that any commutative cocycle of a simple Lie algebra of characteristic p ≠ 2, 3 is trivial if the rank of L is at least 2. In particular, any two-sided Alia algebra connected with a simple, finite-dimensional Lie algebra L is isomorphic to L, except for the case where L = sl ₂ . Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

Finite-dimensional Representations for a Class of Generalized Intersection Matrix Lie Algebras

In this paper, the authors study a class of generalized intersection matrix Lie algebras gim(M_n), and prove that its every finite-dimensional semisimple quotient is of type M(n, a, c, d). Particularly, any finite dimensional irreducible gim(M_n) module must be an irreducible module of Lie algebra of type M(n, a, c, d) and any finite dimensional irreducible module of Lie algebra of type M(n, a, c, d) must be an irreducible module of gim(M_n).