Lemma 29.20.15 (0CT8)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 29: Morphisms of Schemes
Section 29.20: Quasi-finite morphisms
Lemma 29.20.15 (cite)

previous lemma
next lemma

numberstags

history
statistics
3 tags refer to this tag

Lemma 29.20.15. Let $f : X \to Y$ be a morphism of schemes. If $f$ is locally of finite type and a monomorphism, then $f$ is separated and locally quasi-finite.

Proof. A monomorphism is separated by Schemes, Lemma 26.23.3. A monomorphism is injective, hence we get $f$ is quasi-finite at every $x \in X$ for example by Lemma 29.20.6. $\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