Two-Term Polynomial Identities

Abstract

We study algebras satisfying a two-term multilinear identity, namely one of the form $x_1\cdots x_n=q{x}_{\ddot{I}ƒ(1)}\cdots x_{\ddot{I}ƒ(n)}$, where $q$ is a parameter from the base field. We show that such algebras with $q=1$ and $\ddot{I}ƒ$ not fixing 1 or $n$ are eventually commutative in the sense that the equality $x_1\cdots x_k=x_{\ddot{I}„(1)}\cdots x_{\ddot{I}„(k)}$ holds for $k$ large enough and all permutations $\ddot{I}„\in S_k$. Calling the minimal such $k$ the degree of eventual commutativity, we prove that $k$ is never more than $2n-3$, and that this bound is sharp. For various natural examples, we prove that $k$ can be taken to be $n+1$ or $n+2$. In the case when $q\ne 1$, we establish that the algebra must be nilpotent. We, moreover, demonstrate that if an algebra is eventually commutative of arbitrary characteristic, then it has a finite basis of its polynomial identities, thus confirming the Specht conjecture in this particular case.

to appear in Journal of Algebra