# States with a unique state extension

I guess that the answer to the following question is both well known and easy. But I was unable to solve the exercise.

Consider a unital $C^*$-$\,$algebra $\mathcal A$ and and a proper unital sub-$C^*$-$\,$algebra $\mathcal B\subset\mathcal A$. Let also $\varphi$ be a state on $\mathcal B$. Assume that $\varphi$ has a unique state extension to $\mathcal A$. Is the state $\varphi$ necessarily pure?

No; consider $\mathbb C \oplus \mathbb C \oplus \mathbb C \subset \mathbb C \oplus M_2(\mathbb C)$ (in the obvious way) with the state $\varphi(x_1,x_2,x_3)= \frac12(x_1 + x_2)$. Then, the extension of $\varphi$ is unique and $\varphi$ is not pure.
• That's fine, many thanks! Just for curiosity's sake, would you know any general condition on the pair $(\mathcal B,\mathcal A)$ ensuring that the answer is "Yes"? – Etienne Nov 8 '14 at 19:06
• Maybe $\mathcal A$ simple, but I don't know. – Andreas Thom Nov 8 '14 at 19:08