Are there examples of


1. a non-zero C\*-algebra which is
2. universally generated by
3. finitely many projections (not all commuting) together with a unit and plus
4. necessarily satisfying some additional relations such that
5. there remain no traces?


In other words, is there a non-zero quotient
$$C^\*(Z/2\*\ldots\*Z/2)\to B\to 0$$
which carries no traces?  

So basically the question is about the representation theory of $C^\*(Z/2\*\ldots\*Z/2)$:  

For instance, can there arise purely infinite projections?


A particular instance I'm curious about is the following:  

I remember vaguely that (under certain circumstances) one can surprisingly build partial isometries out of projections solely, and for example, as Yemon Choi mentioned, even obtain the Cuntz algebra $\mathcal{O}\_2$. So a particular question I have in mind is:


How can this happen resp. does someone remember a reference for this?


Basically I'm curious about how interesting such quotients can generally look like.  

And also more generally, what kind of classes of groups are there with some traceless quotients and what kind of interesting phenomena can happen there?


(Unfortunately, a more narrowed down question might be stepping on someone's toes, and I really wouldn't want to cause some troubles for my colleagues here. So my big apologies that I can't be more specific here. I hope that is understandable.)



Example: traceless C*-algebra universally generated by projections
I'm not sure if the following is exactly what the OP was looking for, but it definitely solves the question. The following lemma implies that $\mathcal O\_2$ is a quotient of $C^\*(\underbrace{(\mathbb Z/2\mathbb Z) \* \dots \* (\mathbb Z/2\mathbb Z)}\_{4\textrm{ times (edited)}} )$.



> 
> **Lemma (edited):** Let $A$ be a unital $C^\ast$-algebra which is generated as a unital $C^\ast$-algebra by $n$ arbitrary elements. Then $M\_2(A)$ is generated by $n+2$ self-adjoint unitaries.
> 
> 
> 



> 
> **Proof (edited):** Let $x\_1,\dots,x\_n$ be arbitrary generators. We may assume $\|x\_i\| \leq 1$ for all $i$. Then the dilation $u\_i = \begin{pmatrix} \sqrt{1-x\_i^\*x\_i} & x\_i^\*\\ x\_i & -\sqrt{1-x\_ix\_i^\*} \end{pmatrix}$ is a self-adjoint unitary. Let $u\_{n+1} = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$ and $u\_{n+2} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$ which are self-adjoint unitaries generating $M\_2(\mathbb C) \subseteq M\_2(A)$. Let $B$ be the unital $C^\ast$-subalgebra of $M\_2(A)$ generated by $u\_1,\dots, u\_{n+2}$. Then $B$ contains $M\_2(\mathbb C)$ and thus also
> \begin{equation}
> \begin{pmatrix} 0 & 0 \\ x\_i & 0 \end{pmatrix} =
> \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} u\_i
> \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}
> \end{equation}
> for $i=1,\dots, n$. As $A= C^\ast(x\_1, \dots, x\_n, 1)$ it follows that $B$ contains both $A\oplus 0 \subseteq M\_2(A)$ and $M\_2(\mathbb C) \subseteq M\_2(A)$, and hence $B= M\_2(A)$. QED.
> 
> 
> 


If $s\_1,s\_2\in \mathcal O\_2$ are the canonical generators of $\mathcal O\_2$. There is an isomorphism $M\_2(\mathcal O\_2) \to \mathcal O\_2$ given by $(z\_{i,j})\_{i,j=1}^2 \mapsto \sum\_{i,j=1}^2 s\_i z\_{i,j} s\_j^\ast$. Thus by the above, $M\_2(\mathcal O\_2) \cong \mathcal O\_2$ is generated by $4$ (edited) self-adjoint unitaries, so $\mathcal O\_2$ is a quotient of $C^\*(\underbrace{(\mathbb Z/2\mathbb Z) \* \dots \* (\mathbb Z/2\mathbb Z)}\_{4\textrm{ times (edited)}} )$.


Finally, I don't know the smallest number of self-adjoint unitaries generating $\mathcal O\_2$. Note also that $\mathcal O\_2$ is actually singly generated and so even generated by $2$ self-adjoint elements instead of 2 isometries (see my answer for [Endomorphisms of the Cuntz algebra](https://mathoverflow.net/questions/375242/endomorphisms-of-the-cuntz-algebra/375270#375270)). So while the above got the number down to 4 (edited), I strongly believe it can be reduced further.


