Bourbaki

Exercise 2, § 5

Commutative Algebra, VIII, p. 94

. (Take resolutions of the S−1AS^{-1}A-modules by projective AA-modules and localize.)

2) Let AA be a noetherian ring and BB a faithfully flat AA-algebra. Then one has dh(A)≤dh(B)\mathrm{dh}(A) \leq \mathrm{dh}(B).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.