I managed to show that is linear, multiplicative and a bijection (though it took some work)
The only missing part is to show that
What does look like?
Let with a infinite dimensional, separable Hilbert space. Let be an orthonormal basis for . Let be an operator in defined by
set now show that the following map is a *-isomorphism (bijective *-homomorphism)