Von Neumann regular ring

Von Neumann regular ring

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.)

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 M"n"("K") of "n"-by-"n" square matrices with entries from some field "K". If "r" is the rank of "A"∈M"n"("K"), then there exist invertible matrices "U" and "V" such that:A = U egin{pmatrix}I_r &0\0 &0end{pmatrix} V(where "I""r" is the "r"-by-"r" identity matrix). If we set "X" = "V" -1"U" -1, then:AXA= U egin{pmatrix}I_r &0\0 &0end{pmatrix} egin{pmatrix}I_r &0\0 &0end{pmatrix} V = U egin{pmatrix}I_r &0\0 &0end{pmatrix} V = A

The ring of affiliated operators of a finite von Neumann algebra is von Neumann regular.

A Boolean ring is a ring in which every element satisfies "a"2 = "a". Every Boolean ring is von Neumann regular.

Facts

The following statements are equivalent for the ring "R":
* "R" is von Neumann regular
* every principal left ideal is generated by an idempotent
* every finitely generated left ideal is generated by an idempotent
* every principal left ideal is a direct summand of the left "R"-module "R"
* every finitely generated left ideal is a direct summand of the left "R"-module "R"
* 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, or "R" having weak dimension 0.
* every short exact sequence of left "R"-modules is pure exactThe corresponding statements for right modules are also equivalent to "R" being von Neumann regular.

In a commutative von Neumann regular ring, for each element "x" there is a unique element "y" such that "xyx"="x" and "yxy"="y", so there is a canonical way to choose the "weak inverse" of "x".The following statements are equivalent for the commutative ring "R":
* "R" is von Neumann regular
* "R" has Krull dimension 0 and no nonzero nilpotent elements
* Every localization of "R" at a maximal ideal is a field
*"R" is a subring of a product of fields closed under taking "weak inverses" of "x"∈"R" (the unique element "y" such that "xyx"="x" and "yxy"="y").

Every semisimple ring is von Neumann regular, and a Noetherian von Neumann regular ring is semisimple. Every von Neumann regular ring has Jacobson radical {0} and is thus semiprimitive (also called "Jacobson semi-simple").

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 End"S"("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.

Generalizations

A ring "R" is called "strongly von Neumann regular" if for every "a" in "R", there is some "x" in "R" with "a" = "aax". The condition is left-right symmetric. Every strongly von Neumann regular ring is semiprimitive, and even more, is a subdirect product of division rings. In some sense, this more closely mimics the properties of commutative von Neumann regular rings, which are subdirect products of fields. Of course for commutative rings, von Neumann regular and strongly von Neumann regular are equivalent. In general, the following are equivalent for a ring "R":
* "R" is strongly von Neumann regular
* "R" is von Neumann regular and reduced
* "R" is von Neumann regular and every idempotent in "R" is central
* Every principal left ideal of "R" is generated by a central idempotent

Further reading

* Ken Goodearl: "Von Neumann Regular Rings", 2nd ed. 1991
*springer|id=R/r080830|title=Regular ring (in the sense of von Neumann)|author=L.A. Skornyakov
*J. von Neumann, "Continuous geometries" , Princeton Univ. Press (1960)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia

  • Regular ring — In commutative algebra, a regular ring is a commutative noetherian ring, such that the localization at every maximal ideal is a regular local ring: that is, every such localization has the property that the minimal number of generators of its… …   Wikipedia

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Boolean ring — In mathematics, a Boolean ring R is a ring (with identity) for which x 2 = x for all x in R ; that is, R consists only of idempotent elements.Boolean rings are automatically commutative and of characteristic 2 (see below for proof). A Boolean… …   Wikipedia

  • Semiprimitive ring — In mathematics, especially in the area of algebra known as ring theory, a semiprimitive ring is a type of ring more general than a semisimple ring, but where simple modules still provide enough information about the ring. Important rings such as… …   Wikipedia

  • Baer ring — In mathematics, Baer rings, Baer * rings, Rickart rings, Rickart * rings, and AW* algebras are various attempts to give an algebraic analogue of von Neumann algebras, using axioms about annihilators of various sets.Any von Neumann algebra is a… …   Wikipedia

  • Continuous geometry — In mathematics, continuous geometry is an analogue of complex projective geometry introduced by von Neumann (1936, 1998), where instead of the dimension of a subspace being in a discrete set 0, 1, ..., n, it can be an element of the unit… …   Wikipedia

  • Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

  • Refinement monoid — In mathematics, a refinement monoid is a commutative monoid M such that for any elements a0, a1, b0, b1 of M such that a0+a1=b0+b1, there are elements c00, c01, c10, c11 of M such that a0=c00+c01, a1=c10+c11, b0=c00+c10, and b1=c01+c11. A… …   Wikipedia

  • Morita equivalence — In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”