Let $\mathcal{A}$ be a sub-algebra of $B(H)$ such that $\mathcal{A}$ generated by all its idempotents and $\mathcal{A}$ is closed under weak operator topology. Suppose that there exist idempotents $P_1$ and $P_2$ in $\mathcal{A}$ such that $P_1P_2\neq P_2P_1$. Can we say there exists idempotent $P_3 \in \mathcal{A}$ such that $P_1P_3\neq P_3P_1$ and $P_3P_2\neq P_2P_3$?
If yes, how can prove it? If no, is there any example of a sub-algebra to reject it?
Please help me to solve this question.
Your prompt reply will be greatly appreciated.
Thanks in advance.
It is proved in [3] (see below) that :
Theorem. Let $H$ be a Hilbert space. There exist three projections which generate $B(H)$. The number three cannot be reduced if $H$ has dimensionality 3 or greater.
Actually, the discussion of generators of certain von Neumann algebras has a long history. As for some references that are related to your question, you may take a look at these:
References:
1- On strong generation of $B(H)$ by two commutative C*-algebras(1997)
2- Generators of certain von Neumann algebras(1967)
3- Generators of the ring of bounded operators (by C. Davis)