Math 2.0

Associative rings and algebras Definition

Unit-regular ring

Builds on RingUnit of a ringvon Neumann regular ring

Definition

Let RR be a ring with unit 11. The ring RR is unit-regular if for every a∈Ra \in R there is a unit uu of RR such that aua=a.a u a = a.

Remarks

A unit-regular ring is von Neumann regular. Example: a division ring DD; for a≠0a \ne 0 take u=a−1u = a^{-1}, and for a=0a = 0 take u=1u = 1. Example: the matrix ring Mn(F)M_n(F) over a field FF. Write A=PEQA = PEQ with P,QP, Q invertible and E=diag⁡(1,…,1,0,…,0)E = \operatorname{diag}(1, \ldots, 1, 0, \ldots, 0); then u=Q−1P−1u = Q^{-1} P^{-1} gives AuA=PE2Q=PEQ=AAuA = PE^2Q = PEQ = A. A unit-regular ring is Dedekind-finite: if ab=1ab = 1 and a=auaa = aua, then 1=ab=auab=au1 = ab = auab = au, so a=u−1a = u^{-1} and ba=1ba = 1. Non-example: let VV be a vector space with countable basis e1,e2,…e_1, e_2, \ldots over a field, and R=End⁡(V)R = \End(V). The ring RR is von Neumann regular, but the shift s(ei)=ei+1s(e_i) = e_{i+1} and tt with t(e1)=0t(e_1) = 0, t(ei+1)=eit(e_{i+1}) = e_i satisfy ts=1≠stts = 1 \ne st. So RR is not Dedekind-finite, hence not unit-regular.

Reading path

To understand this page from the ground up, read these 15 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Boolean ring concept
  2. Division ring concept
  3. Field concept
  4. Flat module concept
  5. Group concept
  6. Idempotent element concept
  7. Krull dimension concept
  8. Matrix concept
  9. Product of rings concept
  10. Reduced ring concept
  11. Ring concept
  12. Ring definition
  13. von Neumann regular ring definition
  14. Unit of a ring definition
  15. Unit-regular ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Von_Neumann_regular_ring
About this page
Tag13S6WYDB6T
URIm2://13S6WYDB6T
Kinddefinition
WritingW0 stub
MSC16E50, 16U90
DefinesUnit-regular ring
UsesRing, Unit of a ring, von Neumann regular ring

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.