Lemma 87.21.1 (0ANB)—The Stacks project

Lemma 87.21.1. Let $A \in \mathop{\mathrm{Ob}}\nolimits (\textit{WAdm})$ . Let $A \to A'$ be a ring map (no topology). Let $(A')^\wedge = \mathop{\mathrm{lim}}\nolimits _{I \subset A\text{ w.i.d}} A'/IA'$ be the object of $\textit{WAdm}$ constructed in Example 87.19.11.

If $A$ is in $\textit{WAdm}^{count}$ , so is $(A')^\wedge$ .
If $A$ is in $\textit{WAdm}^{cic}$ , so is $(A')^\wedge$ .
If $A$ is in $\textit{WAdm}^{weakly\ adic}$ , so is $(A')^\wedge$ .
If $A$ is in $\textit{WAdm}^{adic*}$ , so is $(A')^\wedge$ .
If $A$ is in $\textit{WAdm}^{Noeth}$ and $A'$ is Noetherian, then $(A')^\wedge$ is in $\textit{WAdm}^{Noeth}$ .

Proof. Recall that $A \to (A')^\wedge$ is taut, see discussion in Example 87.19.11. Hence statements (1), (2), (3), and (4) follow from Lemmas 87.5.7, 87.5.9, 87.7.5, and 87.6.5. Finally, assume that $A$ is Noetherian and adic. By (4) we know that $(A')^\wedge$ is adic. By Algebra, Lemma 10.97.6 we see that $(A')^\wedge$ is Noetherian. Hence (5) holds. $\square$

The Stacks project

Comments (0)

Post a comment