Nilpotency in Bernstein algebras (Q583354)

A commutative nonassociative algebra A over a field K is called a Bernstein algebra if there is a nonzero algebra homomorphism \(\omega\) : \(A\to K\) such that \(x^ 2x^ 2=\omega (x)^ 2x^ 2\) for all \(x\in A\). Let (A,\(\omega)\) be a Bernstein algebra and denote by N the kernel of \(\omega\). It is known that if A is finitely generated then N is solvable but in general N is not nilpotent [the author and \textit{I. R. Hentzel}, Arch. Math. 52, No.6, 539-543 (1989; Zbl 0643.17018)]. In this paper we prove that if A is finitely generated and \(A^ 2=A\) then N is nilpotent. This proves the truth of a conjecture posed by \textit{A. N. Grishkov} [Dokl. Akad. Nauk SSSR 194, No.1, 27-30 (1987; Zbl 0643.17017)].