Exercise 18, § 2
Commutative Algebra, I, 46
Bourbaki marks this one as harder than the rest.
Let be an absolutely flat ring (Exercise 17). (a) Let be a projective right -module. Show that every finitely generated submodule of is a direct factor of . (Reduce it to the case where is free and finitely generated. Then note that is finitely presented and use Exercises 15.) (b) Show that every projective right -module is the direct sum of monogenous submodules isomorphic to monogenous right ideals of . (Use Kaplansky’s Theorem (Algebra, Chapter II, § 2, Exercises 3) to reduce the problem to the case where is generated by a countable family of elements, then use (a).) (c) Give an example of an absolutely flat ring and a non-projective finitely generated -module (consider a quotient of by an ideal which is not finitely generated; cf. Algebra, Chapter VIII, § 6, Exercise 15(f) and Commutative Algebra, Chapter 11, § 4, Exercise 17).
Solution
No solution has been written yet.