Example 4
Tag 005M, permanent. Cite it as [Bourbaki, Tag 005M].
Algebra, VIII, p. 81, § 5. Commutation
Let A be a principal ideal domain, and let P be a finitely generated A-module. There exist an integer and an increasing sequence of ideals of A such that P is isomorphic to the direct sum of the (VII, §4, No. 4, p. 19, Theorem 2); the annihilator of P is equal to . Then P is a generating module over the ring . If P is not a torsion module, then we have and P is a generating A-module.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
- VII, §4, No. 4, p. 19, Theorem 2 not in this corpus