On the ordered \(\text{K}_0\) of universal, free product \(C^*\)-algebras (Q1272523)

The unital free product \(\mathcal A = A* B\) admitting inclusion maps \(\imath_A : A \to \mathcal A\) and \(\imath_B : B \to \mathcal A\) is the universal \(C^*\)-algebra among all \(C^*\)-algebras \(D\) with homomorphism maps \(\Phi_A : A \to D\) and \(\Phi_B : B \to D\). From this, it is easy to deduce an exact sequence \({\mathbb Z} @>\lambda>> K_0(A) \oplus K_0(B) @>\mu>> K_0(\mathcal A)\) and the corresponding 6-term exact sequence. It is easy to see that there is an inclusion for positive cones in \(K_0\)-groups: \(\mu(K_0(A)^+ \oplus K_0(B)^+) \subseteq K_0(\mathcal A)^+\). The main result of the paper is theorem 3.6 in which for a prime integer \(k\), and \(l\geq 2\) not divisible by \(k\), and \(\mathcal A= M_k(\mathbb C)* M_l(\mathbb C)\) the authors show that \(\mu(K_0(A)^+ \oplus K_0(B)^+) \equiv K_0(\mathcal A)^+\) and \((K_0(\mathcal A),K_0(\mathcal A)^+) \cong ({\mathbb Z}, \langle k,l \rangle),\) where \(\langle k,l\rangle\) is the positive cone generated by \(k\) and \(l\). The result is then generalized to some more general situations of some inductive limits.