Given a finite group G, its complexified ring of finite-dimensional complex representations is isomorphic to its algebra of class functions, by the trace map $\mathrm{Tr}\_\rho: g \mapsto \mathrm{Tr}(\rho(g))$. These class functions can in turn can be shown to correspond to the elements in the center of the group algebra, by sending a class function $c:G \to \mathbb{C}$ to the element
 $\sum\_{g \in G} c(g) \cdot g$
in the group algebra.


This map from class functions to the group algebra isn't a ring homomorphism. In particular, it doesn't preserve the unit. However, I'm pretty sure that the representation ring and the center of the group algebra are nevertheless isomorphic as algebras. Am I right? Even better, is there a canonical such homomorphism with some group-theoretical importance?



Ring homomorphism from the representation ring into group algebra?
Off the top of my head: the representation ring is really indexed by the set of irreps (well, OK, a set of representatives from equivalence classes thereof) and is indeed commutative and semisimple (at least over the complex numbers) so isomorphic to an appropriate direct product of copies of the ground field.


The centre of the group algebra is the (sub)algebra of class functions, so is most naturally indexed by the set of conjugacy classes. Again, it is commutative and semisimple so is isomorphic to a direct product of the appropriate number of copies of the ground field.


Thus, while I agree that the two algebras are isomorphic when you have a finite group, the isomorphisms seems quite heinously uncanonical -- if I am correct in recalling the maxim that there is no canonical bijection between the set of conjugacy classes and a representative set of irreps.


I also have the feeling that if there were some "canonical" homomorphism from the representative ring to the group ring in the case of finite groups, then there should be some analogue for compact groups or abelian groups. But this seems not to be the case: consider, for example, the group of integers with its usual additive structure.


