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 of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

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.     

Polynomial Identities of Finite Dimensional Simple Algebras

Let F be an algebraically closed field and let A and B be arbitrary finite dimensional simple algebras over F. We prove that A and B are isomorphic if and only if they satisfy the same identities.     

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.     

Identities of Conformal Algebras and Pseudoalgebras

For a given conformal algebra C, we write the correspondence between identities of the coefficient algebra Coeff C and identities of C itself as a pseudoalgebra. In particular, we write the defining relations of Jordan, alternative, and Mal'cev conformal algebras, and show that the analogue of the Artin's Theorem does not hold for alternative conformal algebras.     

Polynomial Identities of M2,1(G)

We describe the multilinear identities of the superalgebra M _{2, 1}(G) of matrices over the Grassmann algebra, in the minimal possible degree, which is 9.     

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.     

Polynomial Identities of Algebras of Small Dimension

It is well known that given an associative algebra or a Lie algebra A, its codimension sequence c _n (A) is either polynomially bounded or grows at least as fast as 2 ⁿ . In [2 Giambruno , A. , Mishchenko , S. , Zaicev , M. ( 2006 ). Algebras with intermediate growth of the codimensions . Adv. Appl. Math. 37 ( 3 ): 360 – 377 .[Crossref], [Web of Science ®] , [Google Scholar]] we proved that for a finite dimensional (in general nonassociative) algebra A, dim A = d, the sequence c _n (A) is also polynomially bounded or c _n (A) ≥ a ⁿ asymptotically, for some real number a > 1 which might be less than 2. Nevertheless, for d = 2, we may take a = 2. Here we prove that for d = 3 the same conclusion holds. We also construct a five-dimensional algebra A with c _n (A) < 2 ⁿ .     

Application of Full Quivers of Representations of Algebras,to Polynomial Identities

In [7 Belov , A. , Rowen , L. H. , Vishne , U. Full quivers of representations of algebras. To appear in Trans. Amer. Math. Soc.  [Google Scholar]] we introduced the notion of full quivers of representations of algebras, which are more explicit than quivers of algebras, and better suited for algebras over finite fields. Here, we consider full quivers as a combinatorial tool in order to describe PI-varieties of algebras. We apply the theory to clarify the proofs of diverse topics in the literature: Determining which relatively free algebras are weakly Noetherian, determining when relatively free algebras are finitely presented, presenting a quick proof for the rationality of the Hilbert series of a relatively free PI-algebra, and explaining counterexamples to Specht's conjecture for varieties of Lie algebras.     

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.     

A Trace-Like Invariant for Representations of Hopf Algebras

We introduce an invariant for the irreducible representations of finite dimensional Hopf algebras, defined as the trace of a map induced by the antipode on the endomorphisms of each corresponding simple module. We also compute the value of this invariant for the representations of two families of non-semisimple Hopf algebras.