Definition 1
Tag 0729, permanent. Cite it as [Bourbaki, Tag 0729].
Algebra, VII, p. 7, § 2. Torsion modules over a principal ideal domain
Let be an irreducible element of a principal ideal domain A; an A-module M is called rr-primary if, for all , there exists an integer such that (in other words, if M is equal to the submodule ).
Clearly every cyclic module of the form is rr-primary. For an arbitrary A-module M, the submodule is rr-primary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.