A right Baer ring is defined similarly, by replacing the word left with right above. It turns out that a left Baer ring is a right Baer ring, and vice versa, so we may drop the word left or right in the name.
Clearly, a domain is a Baer ring. And, by Wedderburn-Artin theorem, a semisimple ring is also a Baer ring. Another example, found in operator theory, is the ring of bounded linear operators on a Hilbert space.
A closely related concept is that of a left (right) Baer *-ring: it is a ring with involution such that the left (right) annihilator of any subset is left (right) principal, generated by a projection (an idempotent that is in addition a self-adjoint element).
A left Baer *-ring is a left Baer ring, a right Baer *-ring is a right Baer ring. And, interestingly, the notion of left and right is also redundent for Baer *-rings. For example, let’s show left means right. Since a left Baer * ring is left, and consequently right Baer, the right annihilator of a subset has the form for some idempotent . Since , or that . But is left Baer *, for some projection . So .
A closely related type of rings is called a left Rickart ring. A ring is left Rickart if the left annihilator of any element is left principal, generated by an idempotent:
where . A right Rickart ring is similarly defined. Clearly, a Baer ring is both right and left Rickart. However, the converse is not always true. In fact, right Rickart and left Rickart are not the same. An example of a left Rickart ring that is not right Rickart can be found in the second reference below. It may be shown that if all idempotents are central (lying in the center) in a left Rickart ring , then is also right Rickart (and vice versa).
- 1 I. Kaplansky, Rings of Operators, W. A. Benjamin, Inc., New York, 1968.
- 2 T. Y. Lam, Lectures on Modules and Rings, Springer, New York, 1998.
|Date of creation||2013-03-22 15:52:07|
|Last modified on||2013-03-22 15:52:07|
|Last modified by||CWoo (3771)|