2
$\begingroup$

Suppose $A\otimes B$ is the minimal tensor product of two unital $C^*$ algebras $A$ and $B$. We know that the set of states, $\{\phi\otimes\psi|\phi\in S(A),\psi\in S(B) \}$ on $A\otimes B$ separates the points of $A\otimes B$. Here $S(A)$ and $S(B)$ are the state spaces of $A$ and $B$ respectively. My question is:

is there any reference for us to cite this result?

$\endgroup$
1
  • 1
    $\begingroup$ Thanks. It seems that this result (tensor states separate points) is well-known for experts, but I could not find it in any textbook or papers. $\endgroup$ Sep 28, 2012 at 2:33

1 Answer 1

4
$\begingroup$

Let $\pi_A$ and $\pi_B$ be faithful rep's of $A$ and $B$. Then $\pi=:\pi_A\otimes\pi_B$ is a faithful rep of $A\otimes_{min} B$ (see Thm 4.9(iii) in Chapter 4 in M. Takesaki, Theory of Operator algebras I, Springer-Verlag, 1979). For $x$ a non-zero element in $A\otimes_{min} B$, use then a vector state associated with some elementary tensor $\xi_A\otimes\xi_B$ to separate $\pi(x)$ from $0$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.