MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that $R(x)=pA$. Here the right-annihilator $R(S)$ of $S\subset A$ is defined as $$R(S)=\{a\in A\mid xa=0\, \forall x\in S\}$$ and $R(x)\equiv R(\{x\})$.


Kazuyuki Saito and J. D. Maitland Wright. $C^∗$-algebras which are Grothendieck spaces. Rend. Circ. Mat. Palermo (2), 52(1):141–144, 2003.

an alternative definition is studied: define a C*-algebra to be Rickart if each maximal Abelian *-subalgebra of $A$ is Rickart (or, equivalently, monotone $\sigma$-complete). Equivalently, one may require that every Abelian *-subalgebra is contained in an Abelian Rickart C*-algebra.

This definition is more general and seems to be sufficient for many applications.

Is this definition in fact equivalent to the original one?

This question recently came up in our investigations in the foundations of quantum theory:

Bohrification of operator algebras and quantum logic

share|cite|improve this question
Based on the remarks in your paper, this may deserve the "open-problem" tag. – Jonas Meyer Jan 14 '10 at 8:57
up vote 8 down vote accepted

They are equivalent. See On Defining AW*-algebras and Rickart C*-algebras by K. Saitô, and J.D.M. Wright (arXiv:1501.02434)

share|cite|improve this answer
Welcome to MathOverflow! – Manny Reyes Jan 13 '15 at 18:37
Oh dear, why down-vote? – Tomek Kania Jan 14 '15 at 11:26
Welcome to MO, and thanks for filling this gap in the literature! – Chris Heunen Jan 14 '15 at 19:54

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.