Return to Revisions

This is always true. The key point is that the projection map $a \mapsto a_m$ from the direct sum onto $A_m$ is a $*$-homomorphism, so its restriction to $C^*(G)$ is a $*$-homomorphism, and the image of any C${}^*$-algebra under a $*$-homomorphism is a C*-algebra.