Proposition 1
Tag 0724, permanent. Cite it as [Bourbaki, Tag 0724].
Algebra, VII, p. 6, § 2. Torsion modules over a principal ideal domain
The -module is the direct sum of its submodules .
Let denote the homothety ; the map is -linear since is central; since , and for , we have
and the form an orthogonal family of projectors whose sum is the identity (II, p. 209, Def. 7). By loc. cit., Prop. 12, the module M is the direct sum of the submodules . In addition is annihilated by ; if and then , whence no nonzero element of is annihilated by , and so a fortiori by . It follows that , and the proposition is proved.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.