Bourbaki

Remark 6

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

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

Under the hypotheses of Prop. 2, one therefore has cM=0c_M = 0 if and only if MM is a torsion HH-module, or again if and only if dim⁡H(M)<r\dim_H(M) < r (§ 1, No. 5, example 4).

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.