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