Unique way to topologise finite algebra over Huber ring

Let me start with the following Lemma.

$ \textbf{Lemma}$ Let $ A$ be a Tate ring, and let $ f\colon A\to B$ be a finite $ A$ -algebra. Then there is a unique way to topologise $ B$ turning it into a Huber ring, making the structure morphism $ A\to B$ continuous and such that there exists rings of definition $ A_0$ , $ B_0$ of $ A$ and $ B$ , respectively, with $ f(A_0)\subset B_0$ such that the induced map $ A_0\to B_0$ is finite.

$ \textbf{Proof.}$ $ \textit{Existence}$ : Give $ B$ the canonical $ A$ -module topology, i.e. give it the quotient topology for any surjection $ A^n\twoheadrightarrow B$ of $ A$ -modules (this does not depend on the choice). Let $ A_0$ be a ring of definition and let $ \pi\in A_0\cap A^\times$ be a pseudo-uniformizer. Choose a finite number of generators $ \{b_i\}$ of $ B$ as an $ A$ -module s.t. $ 1$ is one of them, with each $ b_i$ being integral over $ A_0$ . Denote by $ M$ the $ A_0$ -submodule of $ B$ generated by $ \{b_i\}$ . Then the integrality allows to choose $ m\gg 0$ such that $ B_0:=A_0[\pi^mb_1,\ldots,\pi^m b_n]\subset M$ . Since also $ \pi^m M\subset B_0$ , the subspace topology on $ B_0$ is the $ \pi$ -adic topology. Thus, $ B$ is a Huber ring with ring of definition $ B_0$ . Clearly the structure morphism is continuous and the induced map $ A_0\to B_0$ is finite as $ B_0$ is integral and of finite type over $ A_0$ .

$ \textit{Uniqueness}$ : Since $ B_0$ is finite over $ A_0$ , there exists $ m\gg 0$ such that $ \pi^m B_0\subset M$ . On the other hand, since the structure morphism is continuous, $ \pi$ is topologically nilpotent in $ B$ and so $ \pi^N M\subset B_0$ for $ N\gg 0$ . This shows that the topology on $ B$ is the one uniquely determined by making $ M$ with the $ \pi$ -adic topology an open subgroup, which is precisely the canonical topology.

  1. I am wondering if the condition on the existence of $ A_0,B_0$ making $ A_0\to B_0$ finite is automatically satisfied knowing that the structure morphism is continuous and finite étale. Namely, in Remark 7.2 of these notes by Matthew Morrow, the uniqueness in case $ A\to B$ being finite étale is stated without any finiteness condition on the level of rings of definition.

  2. In Huber’s book “Étale Cohomology of Rigid Analytic Varieties and Adic Spaces” it says in $ (1.4.2)$ that for a (complete) Huber ring (it does not say Tate) and $ A\to B$ a finite algebra, the canonical $ A$ -module topology on $ B$ turns it into a Huber ring. My proof above clearly makes use of the existence of a topologically nilpotent unit, and I would like to know what the general argument looks like. Huber refers to $ (3.12.10)$ of his “Bewertungsspektrum und rigide Geometrie”, which is unfortunately not available to me.