Lemma 29.35.9 (02GD)—The Stacks project

Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/Main/Regular/GeometricShapes.js

Table of contents
Part 2: Schemes
Chapter 29: Morphisms of Schemes
Section 29.35: Unramified morphisms
Lemma 29.35.9 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 29.35.9. An unramified morphism is locally of finite type. A G-unramified morphism is locally of finite presentation.

Proof. An unramified ring map is of finite type by definition. A G-unramified ring map is of finite presentation by definition. $\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