Definition 4

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

If $T$ is a finitely generated torsion $A$ -module, the divisor:

\chi(T) = \sum_{p \in P} l_p(T) \cdot p.

is called the content of $T$ .

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

Cited by

Nothing.