ScalingStacks

Proposition 2.45 . [00IJ]

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

Proposition 2.45.

Let (B,⦀⋅⦀)(B,\vvvert\mathord{\cdot}\vvvert) be a normed algebra and let ℬ\mathcal{B} be its separated completion. Let AA be a sub-kk-algebra of BB, equipped with the restriction algebra norm of ⦀⋅⦀\vvvert\mathord{\cdot}\vvvert, and let 𝒜\mathcal{A} be the separated completion of (A,⦀⋅⦀)(A,\vvvert\mathord{\cdot}\vvvert). Assume that 𝒜\mathcal{A} is an affinoid algebra. If BB is integral and is finite over AA, then ℬ\mathcal{B} is Banach finite over 𝒜\mathcal{A}. Therefore ℬ\mathcal{B} is an affinoid algebra.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.