equivalent definition of reduced group $C^*$ algebra

454 Views Asked by At

If $G$ is a discrete group,the reduced $C^*$ algebra of $G$ is the completion of $\mathbb{C}[G]$ with respect to the norm $||x||_{r}=||\lambda(x)||_{\mathbb{B}(l^2(G))}$,where $\lambda$ is the left regular representation of $\mathbb{C}[G]$. There is another definition, the reduced $C^*$ algebra of $G$ is the closure of $\lambda(\mathbb{C}[G])$ with respect to $||||$$_{\mathbb{B}(l^2(G))}$.How to show these two definitions are equivalent?

1

There are 1 best solutions below

6
On

The mapping $\lambda:(\mathbb C[G],\|\cdot\|_r)\to(\mathbb B(\ell^2(G)),\|\cdot\|_{\mathbb B(\ell^2(G))})$ is an isometry into a complete metric space, hence extends to an isometry on the completion of $(\mathbb C[G],\|\cdot\|_r)$.