Bourbaki

Remark 2

Tag 0CNB, permanent. Cite it as [Bourbaki, Tag 0CNB].

Commutative Algebra, chapter VIII, § 3. Dimension des anneaux noethériens

Let x1,...,xnx_1, ..., x_n be elements of A, and put Hi=V(xi)H_i = V(x_i) for 1≤i≤n1 \leq i \leq n. Suppose there exists a finite-type A-module M with support V=Spec(A)V = \mathrm{Spec}(A), such that (x1,...,xn)(x_1, ..., x_n) is a completely secant sequence for M. Then every irreducible component of H1∩...∩HnH_1 \cap ... \cap H_n 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.

Translated with machine help, not yet reviewed by a person.