Bourbaki

Exercise 22, § 5

Commutative Algebra, II

Bourbaki marks this one as harder than the rest.

Let AA be a ring, MM a finitely generated projective a-module. In order that a submodule M′M' of MM, of finite presentation, be a direct factor of MM, it is necessary and sufficient that it be a pure submodule of MM (use Th. 1, as well as § 3, Exer. 15).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.