Let $A$ be a finite dimensional $\mathrm{C}^*$-algebra.
Suppose that $q$ is a projection and $$T:A\rightarrow A\otimes A$$ is a *-homomorphism.
Suppose we write:
$$T(q)=\sum_{j=1}^n q_j\otimes p_j.$$
What properties do the $q_j$ and $p_j$ have? Is there some presentation of $T(q)$ such that
- The $p_j$ and $q_j$ are projections?
- The $(p_j)$ are linearly independent projections.
- The $(p_j)$ and $(q_j)$ are linearly independent projections.
- The $(p_j)$ are (mutually) orthogonal projections $p_ip_j=\delta_{i,j}p_j$.
- The $(p_j)$ and $(q_j)$ are (mutually) orthogonal projections.
This is a question additional to this question.