Calculus in \(\mathcal O\)-algebras with positive squares (Q1766235)

An \(l\)-algebra \(A\) is called an \(\mathcal O'\)-algebra if the product of two disjoint elements is nilpotent. A Banach \(l\)-algebra \(B\) with positive squares is said to be an \(\mathcal O\)-algebra if and only if \(B\) is an \(\mathcal O'\)-algebra. In Section 2, the author proves that the set of all nilpotent elements in an Archimedean \(\mathcal O'\)-algebra with positive squares is an \(l\)-ideal. Let \(A\) be an Archimedean \(\mathcal O\)-algebra with positive squares, \(F\) be a homogeneous polynomial of degree \(p\in \mathbb Z^{+}\setminus \{0, 2\}\) in \(\mathbb R^+[x_1,\dots, x_n]\). Then, in Section 3, the author shows that, for any \(\{a_1,\dots, a_n\}\subseteq A^+\), there exists a positive element \(a\) in \(A\) such that \(a^p= F(a_1, \dots, a_n)\). As an application, the author obtains that every algebra homomorphism from an \(\mathcal O\)-algebra \(A\) with positive squares into an Archimedean semiprime \(f\)-algebra \(B\) is positive. This improves a result of \textit{H. Render} [Ill. J. Math. 36, No. 2, 238--250 (1992; Zbl 0845.46028)].