Does someone have an example of
- a non-zero C*-algebra which is
- universally generated by
- finitely many projections (not all commuting) together with a unit and plus
- necessarily satisfying some additional relations such that
- 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)$.
Or more generally, what classes of groups are there with some traceless quotients?
EDIT:
Question got answered on mathoverflow:
https://mathoverflow.net/a/409043/45494