Lemma 29.52.5 (0BAG)—The Stacks project

Processing math: 100%

Lemma 29.52.5. Let $f : X \to Y$ be a morphism of schemes. Assume that $Y$ is locally Noetherian and $f$ is locally of finite type. Then

$\dim (X) \leq \dim (Y) + E$

where $E$ is the supremum of $\text{trdeg}_{\kappa (f(\xi ))}(\kappa (\xi ))$ where $\xi$ runs through the generic points of the irreducible components of $X$ .

Proof. Immediate consequence of Lemma 29.52.2 and Properties, Lemma 28.10.2. $\square$

Comments (0)

There are also:

2 comment(s) on Section 29.52: The dimension formula

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