Lemma 87.23.1. Let A and B be pre-adic topological rings. Let \varphi : A \to B be a continuous ring homomorphism.
If \varphi is adic, then \varphi is taut.
If B is complete, A has a finitely generated ideal of definition, and \varphi is taut, then \varphi is adic.
In particular the conditions “\varphi is adic” and “\varphi is taut” are equivalent on the category \textit{WAdm}^{adic*}.
Comments (0)