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)