Bourbaki

Exercise 12, § 1

Commutative Algebra, IV, 288

Let A be a Noetherian ring and P a projective A-module. Show that, if, for all p∈Ass⁡(A)p \in \operatorname{Ass}(A), PpP_p is a finitely generated A,-module, then P is a finitely generated A-module (embed A in the product ∏p∈Ass⁡(A)A\prod_{p \in \operatorname{Ass}(A)} A, (Exercise 11) and use Algebra, Chapter II, § 5, no. 5, Proposition 9).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.