Bourbaki

Corollary

Tag 053S, permanent. Cite it as [Bourbaki, Tag 053S].

Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains

Let 0→Tn→Tn−1→…→T0→00 \to T_n \to T_{n-1} \to \ldots \to T_0 \to 0 be an exact sequence of finitely generated torsion AA-modules. Then ∑i=0n(−1)iχ(Ti)=0\sum_{i=0}^n (-1)^i \chi(T_i) = 0.

In view of Chapter II, § 2, no. 4, Theorem 1, this follows again from the analogous property of the lpl_p (Algebra, Chapter II, § 1, no. 10, Corollary 3 to Proposition 16).

Recall (Chapter II, § 5, no. 4) that we may speak of the set F(A)F(A) of classes of finitely generated A-modules with respect to the relation of isomorphism; for every finitely generated A-module M, let cl(M)\mathrm{cl}(M) denote the corresponding element of F(A)F(A); we shall denote by T(A)T(A) the subset of F(A)F(A) consisting of the classes of finitely generated torsion A-modules. Clearly χ\chi defines a mapping of T(A)T(A) to D(A)D(A), also denoted by χ\chi, such that χ(cl(T))=χ(T)\chi(\mathrm{cl}(T)) = \chi(T).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.