Proposition 2.86. Let be a homomorphism of -algebras of finite type where and . Then there is an induced continuous map , which sends a multiplicative seminorm to .
Verified tagged author-source HTML · 1904.03696v1 · cited publication edition alignment unverified.