Hello,

Assume we have $(n+1)$ isometries $S_1,...,S_{n+1}$ in the separable Hilbert space $H$ with the properties that $\sum_{i=1}^{n+1}S_iS_i^*=I, S_i^*S_j=0$ (i.e. $S_i$ are the generators of the Cuntz algebra $O_{n+1}$). In the $C^* $ algebra $C^*(I, S_1,..., S_n)$ consider the closed ideal generated by $P=I-\sum_{i=1}^nS_iS_i^* $. It is easy to prove, using the computation rules in Cuntz algebra, that this ideal is spanned by vectors of the form $S_{\alpha_1}...S_{\alpha_k} P S_{\mu_l}^*...S_{\mu_1}^*$, which we may write in a shortened form as $S_\alpha P S_\mu^*$. It is also easy to see that $S_\alpha P S_\mu^* S_\gamma P S_\beta^*=\delta_{\mu, \gamma} S_\alpha P S_\beta^*$.

Now, in the books and papers I've read regarding the $K_0$ group of $O_n$, the authors say that this means that the elements $S_\alpha P S_\beta^* $ now form a set of matrix units of the ideal generated by $P$ and therefore our ideal is isomorphic to $K(H)$, the ideal of compact generators in $H$ (I guess in the sense of isomorphism of $C^*$ algebras). I have to admit I do not see this isomorphism. I would be really grateful for any help in understanding this part of the proof and/or for a reference where this proof is done in more detail.