Lemma 29.50.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

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

## Comments (0)

There are also: