Corollary
Tag 053S, permanent. Cite it as [Bourbaki, Tag 053S].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Let be an exact sequence of finitely generated torsion -modules. Then .
In view of Chapter II, § 2, no. 4, Theorem 1, this follows again from the analogous property of the (Algebra, Chapter II, § 1, no. 10, Corollary 3 to Proposition 16).
Recall (Chapter II, § 5, no. 4) that we may speak of the set of classes of finitely generated A-modules with respect to the relation of isomorphism; for every finitely generated A-module M, let denote the corresponding element of ; we shall denote by the subset of consisting of the classes of finitely generated torsion A-modules. Clearly defines a mapping of to , also denoted by , such that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.