Remark 2
Tag 0CNB, permanent. Cite it as [Bourbaki, Tag 0CNB].
Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens
Let be elements of A, and put for . Suppose there exists a finite-type A-module M with support , such that is a completely secant sequence for M. Then every irreducible component of is of codimension n in V: this follows easily from the corollary to Prop. 3 of No. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.