Proposition 2
Tag 072I, permanent. Cite it as [Bourbaki, Tag 072I].
Algebra, chapter VII, § 2. Torsion modules over a principal ideal domain
— If M is a finitely generated torsion module over a principal ideal domain A, then the n-primary components of M are zero except for a finite number of them, and the projectors of M onto these components are homotheties.
This follows immediately from Lemma 1, for by Lemma 2 there exists in such that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.