Identities for the ternary commutator (Q1270086): Difference between revisions

Let \(A\) be an associative algebra over a field \(k\). Put \[ [a_1,a_2,a_3]=\sum_{\sigma\in S_3}a_{\sigma 1}a_{\sigma 2}a_{\sigma 3}. \] Then \((A,[a_1,a_2,a_3])\) is a ternary multioperator algebra in the sense of A. G. Kurosh. It should be assumed in the paper that \(\text{char }k\neq 2,3,5,7,\) although the author does not mention it. The first result of the paper states that there is no nontrivial identity of degree 5 satisfied by all algebras of the form \((A,[a_1,a_2,a_3])\). A complete classification of all nontrivial identities of degree 7 for the algebras \((A,[a_1,a_2,a_3])\) is given. The computations were programmed in Maple 5.4 and executed on a Sun Ultra 1 workstation.