Infinite order decompositions of C$^*$-algebras

Abstract

In the given article infinite order decompositions of C$^*$-algebras are investigated. We give complete proofs of the following statements: 1) If the order unit space $\sum_{ξ,η}^\oplus p_ξAp_η$ is monotone complete in $B(H)$ (i.e. ultraweakly closed), then $\sum_{ξ,η}^\oplus p_ξAp_η$ is a C$^*$-algebra. 2) If $A$ is monotone complete in $B(H)$ (i.e. a von Neumann algebra), then $A=\sum_{ξ,η}^\oplus p_ξAp_η$. 3) If $\sum_{ξ,η}^\oplus p_ξAp_η$ is a C$^*$-algebra then this algebra is a von Neumann algebra.