Abstract
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.
Citation
Huishan Wu. "Characterizing von Neumann Regular Rings in Reverse Mathematics." Notre Dame J. Formal Logic 62 (4) 683 - 700, November 2021. https://doi.org/10.1215/00294527-2021-0036
Information