ABSTRACT
Suppose A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq712.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq713.tif"/> are C*-algebras. A mapping Φ : A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq714.tif"/> → B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq715.tif"/> is said to be a C* -homomorphism if
Φ(ax + by) = aΦ(x) + bΦ(y) for all a,b ∈ C and x, y ∈ A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq716.tif"/> .
Φ(xy) = Φ(x)Φ(y) for all x, y ∈ A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq717.tif"/> .
Φ(x*) = Φ(x)* for all x ∈ A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq718.tif"/> .
Φ maps the unit in A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq719.tif"/> to the unit in B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315137292/676aa42d-79c8-4246-bc0f-e0fd47650f7d/content/eq720.tif"/> .
