Suppose $L$ is a completely positive contraction of $B(H)$ into itself which is idempotent (i.e. $L^2 = L$) and suppose the range of $L$ is a von Neumann factor $M$. Suppose further that $L$ is normal, so $$ L(A) = \sum_{i=1}^\infty S_i A S_i^* $$ for $A\in B(H)$. Then $M$ is a type I factor. Has anyone seen a proof of this? I believe, if the range of $L$ is a von Neumann algebra $R$, then $R$ is atomic. The key is $L$ is normal.
1 Answer
$\begingroup$
$\endgroup$
This is in Bruce Blackadar's book, Operator Algebras: Theory of C*-Algebras and Von Neumann Algebras. See Theorem IV.2.2.3.