Let $f_i$, $i=1,\dotsc,n$, be mutually orthogonal Abelian projections in a von Numann algebra, and let $e\leq\sum f_i$. Is it true that there exist mutually orthogonal Abelian projections $e_j$, $j=1,\dotsc,m$ such that $e=\sum e_j$?
1 Answer
This is true, more generally, in a C*-algebra of real rank zero (i.e., such that the selfadjoint elements with finite spectrum are dense in the set of selfadjoints). Zhang proves in "A Riesz decomposition property and ideal structure of multiplier algebras" that the monoid of Murray-von Neumann equivalence classes of projections of a real rank zero C*-algebra has the Riesz decomposition property. This means that if $e\leq \sum_{i=1}^n f_i$, where $e$ is a projection and the $f_i$s are pairwise orthogonal projections, then there exist partial isometries $v_1,\ldots,v_n$ such that $e=\sum v_i^*v_i$ and $v_iv_i^*\leq f_i$ for all $i$. Now, if $f$ is an abelian projection then so is any projection Murray-von Neumann subequivalent to it. So $e_i=v_i^*v_i$ is abelian for all $i$.