Lemma 29.58.1 (0H1M)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 29: Morphisms of Schemes
Section 29.58: Miscellany
Lemma 29.58.1 (cite)

next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 29.58.1. Let $f : Y \to X$ be a morphism of schemes. Let $x \in X$ be a point. Assume that $Y$ is reduced and $f(Y)$ is set-theoretically contained in $\{ x\}$ . Then $f$ factors through the canonical morphism $x = \mathop{\mathrm{Spec}}(\kappa (x)) \to X$ .

Proof. Omitted. Hints: working affine locally one reduces to a commutative algebra lemma. Given a ring map $A \to B$ with $B$ reduced such that there exists a unique prime ideal $\mathfrak p \subset A$ in the image of $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ , then $A \to B$ factors through $\kappa (\mathfrak p)$ . This is a nice exercise. $\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