Lemma 88.23.3 (0GDC)—The Stacks project

Processing math: 100%

Table of contents
Part 5: Topics in Geometry
Chapter 88: Algebraization of Formal Spaces
Section 88.23: The completion functor
Lemma 88.23.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 88.23.3. In the situation above. If $f$ is a closed immersion, then $f_{/T}$ is a closed immersion.

Proof. (Closed immersions of formal algebraic spaces are discussed in Formal Spaces, Section 87.27.) By the same argument as in the proof of Lemma 88.23.1 this follows from Spaces, Lemma 65.12.3. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment