Lemma 29.29.3. Let $f : X \to Y$, $g : Y \to Z$ be locally of finite type. If $f$ has relative dimension $\leq d$ and $g$ has relative dimension $\leq e$ then $g \circ f$ has relative dimension $\leq d + e$. If

$f$ has relative dimension $d$,

$g$ has relative dimension $e$, and

$f$ is flat,

then $g \circ f$ has relative dimension $d + e$.

## Comments (0)