Remark 5

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

Commutative Algebra, chapter VIII, § 4. Séries de Hilbert-Samuel

According to A, X, p. 160, th. 1, condition (iii) means that $(X_1, ..., X_r)$ is a completely secant sequence for the $H$ -module $M$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.