The embedding problem (Q6864525)

A pseudocharacter is class function \(f:G\rightarrow A\) from a group \(G\), to a commutative ring, \(A\), satisfying the trace identities of \(n\times n\) matrices, namely, \(f(1)=n\) and the Cayley-Hamilton identity. Given such a pseudocharacter, a basic question is whether it comes from a character. Namely, whether there is homomorphism \(t:G\rightarrow M_n(B)\) for some \(B\) such that \(f(g)=\mathrm{tr}(t(g))\). If \(A\) is an algebra of characteristic 0, the answer is always yes, thanks to \textit{C. Procesi}'s 1987 paper [J. Algebra 107, 63--74 (1987; Zbl 0618.16014)]. \textit{J. Luo}, in [``Pseudorepresentations not arising from genuine representations'', Preprint, \url{arXiv:2310.16953}] showed that the general answer is no. In this paper, Procesi discusses this and related questions and provides additional counterexamples.