Hi! Let G,HLet $G$ and $H$ be discrete groups and f:G->H$f:G \rightarrow H$ be any homomorphism of these groups. I have three questions about it:
howHow to prove the functoriality of the construction of universal C-algebra of discrete group (the existence of induced homomorphism C(G)$C^*$->C*algebra of discrete group (H)the existence of induced homomorphism $C^*(G) \to C^*(H)$)?
howHow to prove that the construction of reduced C*$C^*$-algebra of discrete group is not functorial (I am especially interested in counterexamples) and in which case (I mean conditions for group homomorphism) it'll be functorial?
letLet us consider the case when G = Z $G = \mathbb{Z}$ (integers) and H = Z/ nZ$H = \mathbb{Z}/ n\mathbb{Z}$. How to describe the kernel and the image of the induced homomorphism of group C* algebras$C^*$-algebras?