Some identities in algebras obtained by the Cayley-Dickson process (Q1945463)

Polynomial identities, that are the central objects of Polynomial Identities Theory, play a very important role on understanding the properties of algebras. \textit{M. Hall} [Trans. Am. Math. Soc. 54, 229--277 (1997; Zbl 0060.32209)] proved the identity \((xy-yx)^{2}z=z(xy-yx)^{2}\) for all elements \(x,y,z\) in a quaternion algebra, which is called Hall identity. Also he proved the converse: if the Hall identity is true in a skew-field \(F\), then \(F\) is a quaternion division algebra. The Hall identity is an important tool for quaternion algebras because the identity does not hold in other non-commutative associative algebras. In this paper, the authors prove that the Hall identity is true in all algebras obtained by the Cayley-Dickson process. They also show that the converse of this statement is true for split quaternion algebras under some particular conditions.