Example 2
Tag 0CKP, permanent. Cite it as [Bourbaki, Tag 0CKP].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Suppose A noetherian and integrally closed. Then is identified with the group of divisors of A introduced in Chapter VII (§ 1, No. 3, Theorem 2, and No. 6, Theorem 3). The modules of type are the pseudo-null modules (VII, § 4, No. 4, Def. 2); if M is a torsion module of finite type, then is the content of M (VII, § 4, No. 5, Def. 4). Props. 10 and 11 of loc. cit. are therefore equivalent to the exactness of the sequence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.