Example 2
Tag 074Q, permanent. Cite it as [Bourbaki, Tag 074Q].
Algebra, VII, p. 28, § 4. Finitely generated modules over a principal ideal domain
Let be a nonzero element of . The map from into induces an isomorphism on quotient modules from onto the submodule of consisting of elements annihilated by . If is an -module annihilated by , or equivalently an -module, then the -module is identified with . We leave the reader to rewrite the preceding results for this special case in the corresponding notation (cf. V, p. 86).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.