The partially alternating ternary sum in an associative dialgebra
The alternating ternary sum in an associative algebra, abc−acb−bac+bca+cab−cba, gives rise to the partially alternating ternary sum in an associative dialgebra with products ⊣ and ⊢ by making the argument a the center of each term: a⊣b⊣c−a⊣c⊣b−b⊢a⊣c+c⊢a⊣b+b⊢c⊢a−c⊢b⊢a. We use computer algebra to determine the polynomial identities in degree ≤9 satisfied by this new trilinear operation. In degrees 3 and 5 we obtain [a,b,c]+[a,c,b]≡0 and [a,[b,c,d],e]+[a,[c,b,d],e]≡0; these identities define a new variety of partially alternating ternary algebras. We show that there is a 49-dimensional space of multilinear identities in degree 7, and we find equivalent nonlinear identities. We use the representation theory of the symmetric group to show that there are no new identities in degree 9.
