Proof. [00II]
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.
Let be a set of generators of . For each , let denote and let denote the multi-radius consisting of . Consider the Tate algebra and the homomorphism of -algebras
By the ultra-metricity of and the definition of , one has
so by a density argument one can extend it to a homomorphism of Banach -algebras
Let be the kernel ideal of this homomorphism. To conclude it suffices to take as . ∎