A base of the free alternative superalgebra on one odd generator (Q1048495)

A nonassociative superalgebra \(A=A_0\oplus A_1\) over a field of characteristic different from 2 and 3 is an alternative superalgebra if \( (x,y,z) = - (-1)^{d(x)d(y)}(y,x,z) = -(-1)^{d(y)d( z)}(x,z,y). \) for all homogeneous elements \(x,y,z\). Suppose that \(A\) is a free alternative superalgebra with one odd free generator \(x\). Put by induction \[ x^{[1]}=x,\quad x^{[i+1]}= x^{[i]}x - (-1)^{d(x)d(x^{[i]})}xx^{[i]}; \] \[ t=x^{[2]},\quad z^{[k]}= x^{[k]}t-(-1)^{d(t)d(x^{[k]})}tx^{[k]}; \] \[ u^{[k]} = x^{[k]} x^{[3]} + (-1)^{d(x^{[k]})d( x^{[3]})} x^{[3]}x^{[k]}. \] In the main result of the paper it is shown that these elements form a base of \(A\) as a vector space. As an application there are found the associative center of \(A\), the supercenter of \(A\), the base of the Grassmann envelope of \(A\), a dimension of skew symmetric elements in a free alternative algebra of a finite rank. It is shown the square of the radical of free alternative algebra does not vanish if its rank is at least 9.