A von Neumann regular ring, named after John von Neumann for his work related to continuous geometry and operator algebras, has various equivalent characterizations in terms of popular properties of rings and modules. This paper mainly focuses on effective aspects of characterizations of von Neumann regular rings, and studies such characterizations by techniques of reverse mathematics. For not necessarily commutative rings, we obtain that proves that a ring R is von Neumann regular iff every finitely generated left ideal of R is generated by an idempotent iff every cyclic left R-module is Lam-divisible. For commutative rings, we obtain that over , (resp., ) is equivalent to the statement that a commutative ring R is von Neumann regular iff the localization of R at any prime ideal (resp., maximal ideal) exists and it is a field. Lastly, we show that proves that a commutative ring R is von Neumann regular iff every simple R-module is Lam-divisible.
Notre Dame J. Formal Logic
62(4):
683-700
(November 2021).
DOI: 10.1215/00294527-2021-0036
ACCESS THE FULL ARTICLE
It is not available for individual sale.
This article is only available to subscribers.
It is not available for individual sale.
It is not available for individual sale.