Lemma on infinitely generated projective modules

ring-theory modules projective-module

Is it true that every finitely generated submodule of a non-finitely generated projective over a (not necessarily commutative!) ring is contained in a proper summand?

(Ideally there's a standard reference for this... :) )


This has been answered on MathOverflow here.

Related

Partition a binary tree by removing a single edge
What's the smallest area a square can have that a cube can still be wrapped with it?
In what fields would you like to see applications of mathematics? [closed]
What are the algebras of the double powerset monad?
Banach spaces isomorphic to square
Neighborhood Base (the definition)
A bijection from the plane to itself that takes a circle to a circle must take a straight line to a straight line.
Complete but not cocomplete category
uniqueness of the smooth structure on a manifold obtained by gluing
Prove that a covering map is a homeomorphism
Signed Multinomial Expansion Coefficients?
Find the positive integer solutions of $m!=n(n+1)$