Let be a C*-algebra and let be a rank-one projection in , the space of compact operators on some Hilbert space .
I would like to construct a projection in the multiplier algebra such that
here is my current idea:
consider the mapping such that . Here
It can easily be shown that , however I'm having some trouble in showing that . Is it possible?