Example 3
Tag 0CKQ, permanent. Cite it as [Bourbaki, Tag 0CKQ].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Modules of type are the modules of dimension , that is to say the modules of finite length (No. 4, Remark 1). We have for every finite-length A-module M, where associates to the linear combination the integer (IV, § 2, No. 5, corollary to Prop. 8).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.