An associative ring is called strongly regular if for any . As shown by M. Benslimane A. Fernandez-Lopez, E. Garceia Rus and El A. M. Kaidi [Algebras Groups Geom. 6, No. 4, 353-360 (1989; Zbl 0742.17001)], strong regularity is a symmetric concept, because is strongly regular if and only if for any . Therefore, this condition can be expressed in terms of the symmetrized Jordan algebra and extended to Jordan systems. A Jordan algebra, or triple system, is called strongly regular if for any , where is the usual quadratic operator.
In the paper under review, once the above remarks are carefully settled, the concept of strong regularity is investigated in the more general setting of a Jordan semigroup (a nonempty set with a map , , such that . An element in the Jordan semigroup is shown to be strongly regular if and only if there is an element , called the generalized inverse of , such that , and . Then, strongly regular elements are characterized and studied in Jordan triple systems. A Jordan triple system is proved to be strongly regular if and only if it is von Neumann regular and has no nonzero nilpotent elements. The notion of generalized inverse is also shown to be closely related to the notion of the Moore-Penrose inverse in associative triple system and the group inverse in semigroups.
Finally, other related notions in associative algebras, such as abelian regularity and Drazin inverses are naturally extended and investigated in Jordan systems.