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^{(n)}_r$ of ranks $r=2,3$ with the identity $[x_1,\dots, x_n]=0$ of Lie nilpotency of step $n\geqslant 3$ over a field $K$ of characteristic $\neq 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^{(n)}_r)=(T^{(n-1)}+Z_q)(F^{(n)}_r)$, where $p=\mathrm{char}(K)\geqslant 5$ and $q$ is a least power of $p$ such that $q\geqslant n-1$ and $Z_q$ is a T-space generated by $x^q$. We also prove the equality $Z(F^{(n)}_2)=F^{(n)}_2\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^{(n)}_2$ $(n\geqslant 4)$ over a field $K$ of characteristic $p\geqslant n$ possesses a finite strictly descending "composition" series of T-ideals $T^{(3)}=T_1\supset T_2\supset \dots \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.