Definition 34.5.1 (*-Homomorphism).label Let $A, B$ be involutive algebras over $\complex$ and $\phi: A \to B$, then $\phi$ is a *-homomorphism if:

1. (SH1)

   For each $x, y \in A$ and $\lambda \in \complex$, $\phi(\lambda x + y) = \lambda \phi(x) + \phi(y)$.

2. (SH2)

   For each $x, y \in A$, $\phi(xy) = \phi(x)\phi(y)$.

3. (SH3)

   For each $x \in A$, $\phi(x^{*}) = \phi(x)^{*}$.

If $A$ and $B$ are unital, then $\phi$ is unital if:

1. (U)

   $\phi(1_{A}) = \one_{B}$.