Von Neumann regular ring
From Wikipedia, the free encyclopedia
In mathematics, a ring R is von Neumann regular if for every a in R there exists an x in R with
- a = axa.
One may think of x as a "weak inverse" of a; note however that in general x is not uniquely determined by a.
(The regular local rings of commutative algebra are unrelated.)
[edit] Examples
Every field (and every skew field) is von Neumann regular: for a≠0 we can take x = a -1. An integral domain is von Neumann regular if and only if it is a field.
Another example of a von Neumann regular ring is the ring Mn(K) of n-by-n square matrices with entries from some field K. If r is the rank of A∈Mn(K), then there exist invertible matrices U and V such that
(where Ir is the r-by-r identity matrix). If we set X = V -1U -1, then
The ring of affiliated operators of a finite von Neumann algebra is von Neumann regular.
[edit] Facts
The following statements are equivalent for the ring R:
- R is von Neumann regular
- every finitely generated submodule of a projective left R module P is a direct summand of P
- every left R-module is flat: this is also known as R being absolutely flat
- every short exact sequence of left R-modules is pure exact
The corresponding statements for right modules are also equivalent to R being von Neumann regular.
Every von Neumann regular ring has Jacobson radical {0} and is thus semiprimitive.
Generalizing the above example, suppose S is some ring and M is an S-module such that every submodule of M is a direct summand of M (such modules M are called semisimple). Then the endomorphism ring EndS(M) is von Neumann regular. In particular, every semisimple ring is von Neumann regular.
A ring is semisimple Artinian if and only if it is von Neumann regular and left (or right) Noetherian.
[edit] Further reading
- Ken Goodearl: Von Neumann Regular Rings, 2nd ed. 1991
- L.A. Skornyakov, "Regular ring (in the sense of von Neumann)" SpringerLink Encyclopaedia of Mathematics (2001)
- J. von Neumann, Continuous geometries , Princeton Univ. Press (1960)