PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Baer ring (Definition)

Baer Rings

Let $R$ be a ring with multiplicative identity $1$ Then $R$ is called a left Baer ring if, for any subset $S$ of $R$ the left annihilator of $S$ is left principal, generated by an idempotent: $$\operatorname{l.ann}(S):=\lbrace r\in R\mid rS=0\rbrace=Re.$$

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 $R$ is left, and consequently right Baer, the right annihilator of a subset $S$ has the form $\operatorname{r.ann}(S)=eR$ for some idempotent $e\in R$ Since $Se=0$ $e^*S^*=0$ or that $\operatorname{l.ann}(S^*)=Re^*$ But $R$ is left Baer *, $\operatorname{l.ann}(S^*)=Rf$ for some projection $f\in R$ So $fR=f^*R^*=(Rf)^*=(Re^*)^*=e^{**}R^*=eR=\operatorname{r.ann}(S)$

Rickart Rings

A closely related type of rings is called a left Rickart ring. A ring is left Rickart if the left annihilator of any element $a\in R$ is left principal, generated by an idempotent: $$l.ann(a):=\lbrace r\in R\mid ra=0\rbrace = Re$$ where $e=ee$ 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 $R$ then $R$ is also right Rickart (and vice versa).

Bibliography

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.




"Baer ring" is owned by CWoo.
(view preamble | get metadata)

View style:

Also defines:  Baer *-ring, Rickart ring
Log in to rate this entry.
(view current ratings)

Cross-references: center, reference, converse, type, self-adjoint element, addition, ring with involution, Hilbert space, bounded linear operators, theory, operator, semisimple ring, Wedderburn-Artin theorem, domain, right, idempotent, generated by, left annihilator, subset, multiplicative identity, ring
There is 1 reference to this entry.

This is version 3 of Baer ring, born on 2006-04-23, modified 2007-01-14.
Object id is 7864, canonical name is BaerRing.
Accessed 3019 times total.

Classification:
AMS MSC16U99 (Associative rings and algebras :: Conditions on elements :: Miscellaneous)
 47C15 (Operator theory :: Individual linear operators as elements of algebraic systems :: Operators in $C^*$- or von Neumann algebras)
 47C10 (Operator theory :: Individual linear operators as elements of algebraic systems :: Operators in $^*$-algebras)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)