Remark
Tag 0CKL, permanent. Cite it as [Bourbaki, Tag 0CKL].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
For every , one has . More generally, let be a finitely generated -module, and let be a composition sequence of such that for , the module is isomorphic to , where is a prime ideal of (cf. IV, § 1, No. 4, Theorem 1); then one has , where is the subset of consisting of the such that is a minimal element of (IV, § 1, No. 4, Theorem 2 and § 2, No. 5, Remark 1).
For every integer , let us denote by (resp. , resp. , resp. ) the -submodule of generated by the elements where is a prime ideal of such that (resp. , resp. , resp. ). The elements of (resp. ) are called cycles of dimension (resp. of codimension ). One obviously has
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.