Special Regular Rings with Involution

A ring is regular if for every there exists an such that . Every field is a regular ring. A regular ring with an involution * is called *-regular if implies . The *-regular rings derived from W*-algebras have many special properties. This Demonstration considers three of them.
(A) implies for any positive integer .
(A') implies .
(B) For all , there exists an element such that .
A implies A', but not conversely.
Let be the field of residues modulo a prime , where . This is *-regular if we take the identity map as involution. In this ring, the equality implies . So A' holds. But the equation has nontrivial solutions, as can be seen for . So A does not hold.
If a ring satisfies A' and B, then evidently it satisfies A.



  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


This Demonstration is based on [1, pp. 213–221], where special regular *-rings are studied. It is also shown that axioms A and B are mutually independent. If we take the field of complex numbers and the identity as the involution, the equation always has a solution, so B holds. But is satisfied for , where . So B holds; A does not.
If we take the ring of rational complex numbers with the complex conjugation as the involution, A holds and B does not.
Construction of regular *-rings from finite Baer *-rings (which include W*-algebras) is studied in [2, 3].
[1] N. Prijatelj and I. Vidav, "On Special *-Regular Rings," The Michigan Mathematical Journal, 18(3), 1971 pp. 213–221. doi:10.1307/mmj/1029000680.
[2] S. K. Berberian, Baer *-Rings, New York: Springer-Verlag, 1972.
[3] I. Hafner, "The Regular Ring and the Maximal Ring of Quotients of a Finite Baer *-Ring," The Michigan Mathematical Journal, 21(2), 1974 pp. 153–160. doi:10.1307/mmj/1029001260.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.

Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-Step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2018 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+