Relatively free associative algebras of ranks 2 and 3 with Lie nilpotency identity and systems of generators for some T-spaces

Abstract

We study relatively free associative algebras $F_r^{(n)}$ of ranks $r=2,3$ with the identity $[x_1,\dots ,x_n]=0$ of Lie nilpotency of step $n⩾3$ over a field $K$ of characteristic $\ne 2,3$. First we prove a Theorem on the inclusion $T^{(m)}{T}^{(n)}\subseteq T^{(m+n-1)}$ for an associative algebra $A$ of rank $3$, where $T^{(n)}=T^{(n)}(A)$ is a T-ideal of $A$ generated by the commutator $[x_1,\dots ,x_n]$; the restriction on rank is essential. Further, we describe 3-variable identities of the algebra $F^{(n)}$. In particular, the obtained description implies that $Z(F_r^{(n)})=(T^{(n-1)}+Z_q)(F_r^{(n)})$, where $p=\mathrm{char}(K)⩾5$ and $q$ is a least power of $p$ such that $q⩾n-1$ and $Z_q$ is a T-space generated by $x^q$. We also prove the equality $Z(F_2^{(n)})=F_2^{(n)}\cap Z(F^{(n)})$. Finally, we obtain certain generalizations and refinements of some results by A. V. Grishin and V. V. Shchigolev, respectively. For example, we prove that a unital algebra $F_2^{(n)}$ $(n⩾4)$ over a field $K$ of characteristic $p⩾n$ possesses a finite strictly descending "composition" series of T-ideals $T^{(3)}=T_1\supset T_2\supset \cdots \supset T_k\supset T_{k+1}=0$ such that each quotient $T_i/T_{i+1}$ does not contain any proper T-spaces. Key words: Lie nilpotency identity, center, kernel, proper polynomial, 3-variable identity, T-space.

18 pages in Russian