Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
As is a finitely generated sub--algebra of which is dense for the topology induced by Banach algebra norm, by Proposition 2.44, there exists an affinoid algebra norm on and a homomorphism of Banach algebras
|
|
|
One then takes on to be the quotient norm of . By Example 2.42, this quotient norm is also an affinoid algebra norm. By this quotient construction, there exists a homomorphism of Banach -algebras
|
|
|
which fits into a commutative diagram with and .
∎