Prime Jordan algebras satisfying local Goldie conditions (Q1895599)

Goldie theory for Jordan algebras was initiated by J. Britten in 1973, and, although his definition of a Jordan algebra of quotients was not fine enough, he succeeded in giving suitable Goldie conditions for Jordan algebras. This aim was finally achieved by \textit{E. Zel'manov} [Sib. Math. J. 29, 567-573 (1988); translation from Sib. Mat. Zh. 29, 68-74 (1988; Zbl 0673.17021)] by using his fundamental structure theorem for prime nondegenerate Jordan algebras. On the other hand, based on ideas from semigroup theory, \textit{J. Fountain} and \textit{V. Gould} [Commun. Algebra 18, 3085-3110 (1990; Zbl 0719.16022)] introduced a notion of local order in an (associative) ring which need not have a unit and gave a Goldie type characterization of two-sided orders in semiprime rings satisfying a minimum condition on principal one-sided ideals. Inspired by these works, the authors introduce in the present paper a notion of local order in a not necessarily unital Jordan algebra and prove that a Jordan algebra is a local order in a simple Jordan algebra with descending chain condition on principal inner ideals, but which is not the Jordan algebra of a bilinear form on a vector space containing an infinite-dimensional totally isotropic supspace, if and only if it is a prime nondegenerate Jordan algebra satisfying local Goldie conditions. This result extends Zel'manov's theorem for orders in simple artinian Jordan algebras. It is worth mentioning that this work must not be considered merely as an adaptation of Zel'manov's method to local orders. Actually, among other important contributions, the authors fill a gap in Zel'manov's original proof by using generalized polynomial identities in associative algebras.