Higher identities for the ternary commutator
Abstract
We use computer algebra to study polynomial identities for the trilinear operation [a, b, c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a, b, c] satisfies the alternating property in degree 3, no new identities in degree 5, a multilinear identity in degree 7 which alternates in 6 arguments, and no new identities in degree 9. We use the representation theory of the symmetric group to demonstrate the existence of new identities in degree 11. The only irreducible representations of dimension <400 with new identities correspond to partitions 25, 1 and 24, 13 and have dimensions 132 and 165. We construct an explicit new multilinear identity for partition 25, 1 and we demonstrate the existence of a new non-multilinear identity in which the underlying variables are permutations of a2b2c2d2e2f.
- Publication:
-
Journal of Physics A Mathematical General
- Pub Date:
- December 2012
- DOI:
- 10.1088/1751-8113/45/50/505201
- arXiv:
- arXiv:1207.6312
- Bibcode:
- 2012JPhA...45X5201B
- Keywords:
-
- Mathematics - Rings and Algebras;
- Mathematical Physics;
- Mathematics - Representation Theory;
- 17A40 (Primary) 17-04;
- 17A50;
- 20C30;
- 81R99 (Secondary)
- E-Print:
- 12 pages