If $\mathfrak S$ denotes the set of all non-zero C$^*$-algebras up to $*$-isomorphism, then $(\mathfrak S, \otimes_\textrm{min})$ and $(\mathfrak S, \otimes_\textrm{max})$ are abelian semigroups with identity element $\mathbb C$ (or commutative monoids if you prefer that language) since both tensor products are commutative and associative.

> **Question 1:** Is there any cancellation in these semigroups? Does there exist $\mathcal C\in \mathfrak S$ not isomorphic to $\mathbb C$ such that for all $A,B\in \mathfrak S$ we have
$$
\mathcal A \otimes_\textrm{min} \mathcal C \simeq \mathcal B\otimes_\textrm{min} \mathcal C \Rightarrow \mathcal A \simeq \mathcal B
$$
or the similar statement with $\otimes_\textrm{max}$?

One could start by asking the following:

> **Question 2:** Let $\mathcal A,\mathcal B\in \mathfrak S$ such that for all $\mathcal C\in \mathfrak S$ non-isomorphic to $\mathbb C$  
$$\mathcal A\otimes_\textrm{min} \mathcal C \simeq \mathcal B\otimes_\textrm{min} \mathcal C $$ Does this imply $\mathcal A\simeq \mathcal B$?

This second question is an extension of [this question][1].


  [1]: http://mathoverflow.net/questions/213011/c-algebras-isomorphic-after-tensoring-with-m-n-mathbb-c