The reduced $C^*$-algebra of a non-abelian free group $G$ has a unique trace. Hence, there is no chance to separate conjugacy classes of group elements using traces on $C^\star_{red} G$. On the other side, for the group ${\mathbb Z}$, separation is clearly possible.

Question:Let $G$ be an amenable group. Does the reduced group $C^\star$-algebra of $G$ support sufficiently many traces to distinguish between conjugacy classes of group elements?

**EDIT:** The question seems already interesting for $S_{\infty} = \cup_n S_n$. Let's get explicit and pick $g \in S_n$ (for some $n$) and consider the canonical trace $\tau_{g,n}$ which sends every conjugate of $g$ to $1$ and all other elements to zero. (This can be done for any $n' \geq n$ since $S_n \subset S_{n'}$.) The function $\tau_{g,n} \colon {\mathbb C}S_n \to {\mathbb C}$ is a conjugation invariant function and hence, it must be a linear combination of the normalized traces of irreducible representations of $S_n$.

Question:What is the sum of the absolute values of the coefficients that come up in this linear combination of traces?

This is (as one can check) the norm of $\tau_{g,n}$, call it $c(g,n)$. So, we see that the compatible family of maps $\tau_{g,n}$ extends from ${\mathbb C}S_{\infty}$ to $C^* S_{\infty}$ if and only if $c(g,n)$ remains bounded.