Remark 1
Tag 0725, permanent. Cite it as [Bourbaki, Tag 0725].
Algebra, VII, p. 7, § 2. Torsion modules over a principal ideal domain
Conversely, let be an -module for each i, and consider the A-module M, the direct sum of the A-modules ; then the submodules constructed above coincide with the (it is enough to note that if then no nonzero element of is annihilated by because ). Thus, roughly speaking, it amounts to the same thing to consider an A-module M or a family of modules over the rings .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.