Baer ring

In abstract algebra and functional analysis, 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 Baer *-ring, and much of the theory of projections in von Neumann algebras can be extended to all Baer *-rings, For example, Baer *-rings can be divided into types I, II, and III in the same way as von Neumann algebras.

In the literature, left Rickart rings have also been termed left PP-rings. ("Principal implies projective": See definitions below.)

Definitions

• An idempotent in a ring is an element e with e² = e.
• The left annihilator of a set \( X \subseteq R \) is \( \{r\in R\mid rX=\{0\}\} \)
• A (left) Rickart ring is a ring satisfying any of the following conditions:

1. the left annihilator of any single element of R is generated (as a left ideal) by an idempotent element.
2. (For unital rings) the left annihilator of any element is a direct summand of R.
3. All principal left ideals (ideals of the form Rx) are projective R modules.^[1]

• A Baer ring has the following definitions:

1. The left annihilator of any subset of R is generated (as a left ideal) by an idempotent element.
2. (For unital rings) The left annihilator of any subset of R is a direct summand of R.^[2] For unital rings, replacing all occurrences of 'left' with 'right' yields an equivalent definition, that is to say, the definition is left-right symmetric.^[3]

In operator theory, the definitions are strengthened slightly by requiring the ring R to have an involution \( *:R\rightarrow R \). Since this makes R isomorphic to its opposite ring R^op, the definition of Rickart *-ring is left-right symmetric.

• A projection in a *-ring is an idempotent p that is self adjoint (p*=p).
• A Rickart *-ring is a *-ring such that left annihilator of any element is generated (as a left ideal) by a projection.
• A Baer *-ring is a *-ring such that left annihilator of any subset is generated (as a left ideal) by a projection.
• An AW* algebra, introduced by Kaplansky (1951), is a C* algebra that is also a Baer *-ring.

Examples

• Since the principal left ideals of a left hereditary ring or left semihereditary ring are projective, it is clear that both types are left Rickart rings. This includes von Neumann regular rings, which are left and right semihereditary. If a von Neumann regular ring R is also right or left self injective, then R is Baer.
• Any semisimple ring is Baer, since all left and right ideals are summands in R, including the annihilators.
• Any domain is Baer, since all annihilators are \( \{0\} \)except for the annihilator of 0, which is R, and both \( \{0\} \)and R are summands of R.
• The ring of bounded linear operators on a Hilbert space are a Baer ring and is also a Baer *-ring with the involution * given by the adjoint.
• von Neumann algebras are examples of all the different sorts of ring above.

Properties

The projections in a Rickart *-ring form a lattice, which is complete if the ring is a Baer *-ring.
Notes

^ Rickart rings are named after Rickart (1946) who studied a similar property in operator algebras. This "principal implies projective" condition is the reason Rickart rings are sometimes called PP-rings. (Lam 1999)
^ This condition was studied by Reinhold Baer (1952).
^ T.Y. Lam (1999), "Lectures on Modules and Rings" ISBN 0-387-98428-3 pp.260

References

Baer, Reinhold (1952), Linear algebra and projective geometry, Boston, MA: Academic Press, ISBN 978-0-486-44565-6, MR0052795
Berberian, Sterling K. (1972), Baer *-rings, Die Grundlehren der mathematischen Wissenschaften, 195, Berlin, New York: Springer-Verlag, ISBN 978-3-540-05751-2, MR0429975
Kaplansky, Irving (1951), "Projections in Banach algebras", Annals of Mathematics. Second Series 53 (2): 235–249, doi:10.2307/1969540, ISSN 0003-486X, JSTOR 1969540, MR0042067
Kaplansky, I. (1968), Rings of Operators, New York: W. A. Benjamin, Inc.
Rickart, C. E. (1946), "Banach algebras with an adjoint operation", Annals of Mathematics. Second Series 47 (3): 528–550, doi:10.2307/1969091, JSTOR 1969091, MR0017474
L.A. Skornyakov (2001), "Regular ring (in the sense of von Neumann)", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104
L.A. Skornyakov (2001), "Rickart ring", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104
J.D.M. Wright (2001), "AW* algebra", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104

Mathematics Encyclopedia