Local Lesieur-Croisot theory of Jordan algebras (Q2498884)

From the text: The authors study Jordan algebras having nonzero local algebras that satisfy the property of being Lesieur-Croisot (i.e., being orders in nondegenerate Jordan algebras of finite capacity). They prove that the set of the elements of a nondegenerate Jordan algebra at which the local algebra is Lesieur-Croisot is an ideal. The paper is organized as follows. After a first section of preliminaries, the authors consider strongly prime Jordan algebras having nonzero PI-elements, that is, having nonzero PI-ideal, and we prove that in this case, the set of the Lesieur-Croisot elements coincides with the PI-ideal. When the Jordan algebra has no nonzero PI-elements, then not only have the quotient algebras of the local algebras at Lesieur-Croisot elements finite capacity but they also are artinian, which enables us to affirm that the set of the Lesieur-Croisot elements is nothing but the set of the finite uniform dimension elements. But the set of the finite uniform dimension elements of a strongly prime Jordan algebra without PI-elements is actually the intersection of the algebra with the set of the finite uniform dimension elements of a *-tight associative envelope. Using this characterization and the fact that the set of the finite uniform dimension elements of a semiprime associative algebra is an ideal under some natural assumptions, they conclude that the set of the Lesieur-Croisot elements of a strongly prime Jordan algebra is an ideal. The last section of this paper is devoted to the study of semi-uniform ideals of a nondegenerate Jordan algebra and the essential subdirect sums arising from them. The properties of these essential subdirect sums and the fact that the set of the Lesieur-Croisot elements of a strongly prime Jordan algebra is an ideal lead to prove the main result of this paper that asserts that the set of the Lesieur-Croisot elements of a nondegenerate Jordan algebra is an ideal.