Remark 1
Tag 0CL9, permanent. Cite it as [Bourbaki, Tag 0CL9].
Commutative Algebra, chapter VIII, § 2. Dimension des algèbres
The condition (PM) is satisfied when there exists a finitely generated B-module, faithfully flat over A and with support equal to Spec(B). This is the case, in particular, if the A-module B is faithfully flat.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.