Special Identities for Comtrans Algebras (1806.10204v2)

Abstract: Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gr\"obner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial identities for the special commutator $[x,y,z] = xyz-yxz$ and special translator $\langle x, y, z \rangle = xyz-yzx$ in associative triple systems. In degree 3, the defining identities for comtrans algebras generate all identities. In degree 5, we simplify known identities for each operation and determine new identities relating the operations. In degree 7, we use representation theory of the symmetric group to show that each operation satisfies identities which do not follow from those of lower degree but there are no new identities relating the operations. We use noncommutative Gr\"obner bases to construct the universal associative envelope for the special comtrans algebra of $2 \times 2$ matrices.