Bourbaki

Exercise 22, § 5

Commutative Algebra, II, 153

Bourbaki marks this one as harder than the rest.

Let AA be a ring and MM a finitely generated projective AA-module. For a finitely presented submodule M′M' of MM to be a direct factor of MM, it is necessary and sufficient that it be a pure submodule of MM (use Theorem 1 and § 3, Exercise 15).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.