Let be the closed ideal consisting of functions
Where denotes the continuous functions vanishing at infinity
from to the unit circle,
Show that the map
is an injective *-homomorphism
Linearity is easy, so is multiplicativity, but how will I show that the adjoint is preserved and that the map is injective?