Corollary 1
Tag 0D43, permanent. Cite it as [Bourbaki, Tag 0D43].
Commutative Algebra, chapter X, § 3. Profondeur et dimension homologique
For every multiplicative subset S of A , one has
dpS−1A(S−1M)≤dpA(M),diS−1A(S−1N)≤diA(N),dh(S−1A)≤dh(A).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.