Relatively Free Algebras with the Identity<i>x</i>³ = 0^<i>#</i> (Q5707928)

All algebras considered in the paper are over a fixed infinite field \(K\) of characteristic \(p\geq 0\). Let \(K(X)'\) be the free nonunitary associative algebra, freely generated by \(X=\{x_1,\dots,x_d\}\). Let \(N_{nd}\) be the nonunitary relatively free algebra determined by the identity \(x^n=0\), then \(N_{nd}=K(X)'/I\) where \(I\) is the ideal generated by all \(n\)-th powers. Denote by \(C(n,d,K)\) the nilpotency degree of \(N_{nd}\). It is well known that when \(p=0\) one has \(n(n+1)/2\leq C(n,d,K)\leq n^2\). A long-standing conjecture in this area states that actually \(C(n,d,K)=n(n+1)/2\). In an earlier work the author of the paper under review computed \(C(3,d,K)\) with the exception of \(p=3\) and \(d\) odd [see \textit{A. A. Lopatin}, Commun. Algebra 32, No. 7, 2863-2883 (2004; Zbl 1076.16020)]. In the present paper the author produces a basis of \(N_{3d}\), and as a corollary obtains the exact value of \(C(3,d,K)\) in all cases. As an important application the author exhibits a minimal homogeneous generating set of the \(3\times 3\) matrix invariant algebra.