The local algebras of Jordan systems (Q1908470)

Let \(J\) be a Jordan triple system with a triple product \(\{xyz\}\) and \(b\) be an element of \(J\). The local algebra of \(J\) at \(b\) is the Jordan algebra \(A_b = J^{(b)}/ \ker_J (b)\), where \(J^{(b)}\) is the \(b\)-homotope of \(J\), and \(\ker_J (b) = \{z \in J \mid \{bzb\} = \{b \{zbz\} b\} = 0\}\). These algebras were introduced by \textit{K. Meyberg} in [Lectures on Algebras and Triple Systems, Univ. of Virginia Lecture Notes, Charlottesville (1972)]; they proved to be an important tool in Jordan theory. In his classification of prime Jordan systems [Sib. Math. J. 26, 55-64 (1985); translation from Sib. Mat. Zh. 26, 71-82 (1985; Zbl 0575.17012)] \textit{E. Zelmanov} showed that a particular local algebra inherited primitivity and that the existence of reduced elements (i.e., the elements \(z\) with \(U_zJ \subseteq \Phi z)\) in \(A_b\) implied their existence globally in \(J\); this allowed him to use results on the structure of Jordan algebras to give results on the Jordan triples and pairs. Zelmanov's arguments assumed linear systems of characteristic \(\neq 2\) (and sometimes \(\neq 3\) as well). The authors establish local-global correspondences for quadratic Jordan systems over an arbitrary ring of scalars. The main result is that if a Jordan triple or pair is \(b\)-primitive and satisfies a \(b^-\)-polynomial identity (i.e., an identity in the \(b^-\)-homotope), then it has nonzero socle. Due to the authors, ``this fact will prove crucial for a subsequent paper classifying prime Jordan systems of Clifford type based on Loos' incisive theory of the socle (instead of Zelmanov's use of reduced elements)''.