Corollary 1
Tag 072D, permanent. Cite it as [Bourbaki, Tag 072D].
Algebra, chapter VII, § 2. Torsion modules over a principal ideal domain
— Every submodule N of a torsion module M is the direct sum of its submodules N ∩ M.
This follows from the fact that N ∩ M, is the π-primary component N, of N.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.