A Banach ∗-algebra A is a multiplicative involutive Banach space whose norm satisfies the following: ‖ab‖≤‖a‖‖b‖ for all a,b∈A.
A multiplicative, linear, ∗-preserving map between Banach ∗-algebras is called a ∗-homomorphism.
A bijective ∗-homomorphism is a ∗-isomorphism.
Check git