On the decomposition of the variety of alternative algebras into a product of subvarieties (Q1317641)

Let \(\Phi\) be a commutative-associative ring with 1/6, and \(Alt\) be the variety of alternative \(\Phi\)-algebras. For subvarieties \(N\) and \(M\) of \(Alt\), the product \(N \circ M\) is the variety of alternative \(\Phi\)- algebras which are extensions of an algebra from \(N\) by an algebra from \(M\). Motivated by his work with Mal'tsev algebras, the author considers two particular subvarieties of \(Alt\). The first of these is the subvariety \(H\) defined by the identity \[ \biggl[ \bigl\{ [y,z],t,x \bigr\}_ -,x \biggr]+\biggl[ \bigl\{ [y,z],z,x \bigr\}_ -, t \biggr]=0, \] where \(\{x,y,z\}_ -=[[x,y],z]-[[x,y],y]+2[x,[y,z]]\). Letting \[ s(z,y,t,a,b)=\bigl\{ J(t,a,b),z,y\bigr\}_ --\bigl\{ J(y,a,b),t,z \bigr\}_ -+ \bigl\{ J(z,a,b),y,t \bigr\}_ -, \] where \(J(t,a,b)= [[t,a],b]+[[b,t],a]+[[a,b],t]\), the other subvariety \(F\) (which contains \(H)\) is defined by the identity \([s(z,y,t,a,b),x]=s([z,x],y,t,a,b)\). Then for \(Ass\) the variety of associative \(\Phi\)-algebras, and for \(C\) the subvariety of \(Ass\) defined by the identity \([[x,y],z]=0\), the author proves the interesting results \(Alt=H \circ Ass=F \circ C\).