Lemma 29.21.7. A closed immersion $i : Z \to X$ is of finite presentation if and only if the associated quasi-coherent sheaf of ideals $\mathcal{I} = \mathop{\mathrm{Ker}}(\mathcal{O}_ X \to i_*\mathcal{O}_ Z)$ is of finite type (as an $\mathcal{O}_ X$-module).

** Closed immersions of finite presentation correspond to quasi-coherent sheaves of ideals of finite type. **

**Proof.**
On any affine open $\mathop{\mathrm{Spec}}(R) \subset X$ we have $i^{-1}(\mathop{\mathrm{Spec}}(R)) = \mathop{\mathrm{Spec}}(R/I)$ and $\mathcal{I} = \widetilde{I}$. Moreover, $\mathcal{I}$ is of finite type if and only if $I$ is a finite $R$-module for every such affine open (see Properties, Lemma 28.16.1). And $R/I$ is of finite presentation over $R$ if and only if $I$ is a finite $R$-module. Hence we win.
$\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (3)

Comment #1681 by Michele Serra on

Comment #8113 by Elías Guisado on

Comment #8222 by Stacks Project on