Exercise 22, § 5
Commutative Algebra, II
Bourbaki marks this one as harder than the rest.
Let be a ring, a finitely generated projective a-module. In order that a submodule of , of finite presentation, be a direct factor of , it is necessary and sufficient that it be a pure submodule of (use Th. 1, as well as § 3, Exer. 15).
Solution
No solution has been written yet.