Functional Identities in Jordan Algebras: Associating Traces and Lie Triple Isomorphisms (Q4802435)

In a recent paper by \textit{M. Brešar, M. Cabrera} and \textit{A. R. Villena} [Commun. Algebra 30, 5241-5252 (2002; Zbl 1032.17056)] the study of functional identities in Jordan algebras was initiated. Its main result describes the form of any additive map \(F : J \to J\), where \(J\) is a strongly prime Jordan algebra, which is associating that is, it satisfies \([F(a), J,a]= 0\) for all \(a\in J\), where \([a,b,c]= (ab)c- a(bc)\) is the associator of \(a,b,c\in J\). The main result of the present paper considers an appropriate extension of the condition of commuting traces of biadditive maps on associative rings to Jordan algebras. More precisely, the authors consider a symmetric biadditive map \(B :J\times J\to J\) whose trace is associating, i.e., \([B(a,a), J,a]= 0\) for all \(a\in J\). By the Jordan axiom, an obvious example is the multiplication of \(J: B(a,b) = a.b\). Thus the problem of characterizing associating traces of symmetric biadditive maps really asks which are the other commutative multiplications on \(J\) that satisfy the same condition as the original one does by the very axiom. Under some restrictions on the characteristic, the authors prove that in the case that \(J\) is strongly prime, the only other multiplications are only the most obvious ones (see Theorems 3.1 and 4.2). As in the previous paper cited above, the proof rests heavily on Zelmanov's classification of strongly prime Jordan algebras and uses the theory of extended centroid and central closure of nonassociative prime algebras. As an application, Lie triple isomorphisms of Jordan algebras are considered.