On nilpotency of the barideal of a bernstein algebra (Q4351709)

In ``Solvability of the ideal of all weight zero elements in Bernstein algebras'', Commun. Algebra 22, 3265-3275 (1994; Zbl 0818.17037), \textit{I. R. Hentzel, D. P. Jacobs, L. A. Peresi} and \textit{S. R. Sverchkov} showed by a computer calculation that a barideal \(N\) of a Jordan-Bernstein algebra satisfied the nilpotency conditions: \((N^2)^9=0\) and \((((N^2)^2)^2)^2= 0\). This paper improves the indices to \((N^2)^5= 0\) and \(((N^2)^2)^2= 0\). Furthermore, it gives the proof in traditional detail, written in a very clear manner. The process involves first studying the Jordan-Bernstein algebras to get the indices of nilpotence there. They then make use of the ideal \(U_0\) [first given by \textit{I. R. Hentzel} and \textit{L. A. Peresi} in ``Semiprime Bernstein algebras'', Arch. Math. 52, 539-543 (1989; Zbl 0643.17018)] to establish the results for Bernstein algebras. Theorem 2.11 gives the solvability of \(N\) and Corollary 2.12 gives the nilpotence of \(N^2\). The rest of the paper deals with finitely generated nuclear Jordan-Bernstein algebras. Theorem 3.5 says that \(N^{(r+4)}= 0\) when \(r\) is even, and \(N^{(r+3)}= 0\) when \(r\) is odd where \(r\) is the number of generators.