Lemma 87.38.3. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $Z \subset X$ be a closed subspace. The reduction $(X^\wedge _ Z)_{red}$ of the completion $X^\wedge _ Z$ of $X$ along $Z$ is $Z_{red}$.
Proof. Omitted. $\square$
Lemma 87.38.3. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $Z \subset X$ be a closed subspace. The reduction $(X^\wedge _ Z)_{red}$ of the completion $X^\wedge _ Z$ of $X$ along $Z$ is $Z_{red}$.
Proof. Omitted. $\square$
Comments (0)