Hi. I have read that stably free modules not finitely generated are free; this is proved in 
M.R. Gabel, *stably free projectives over commutative rings*, Thesis, Brandeis Univ., Waltham, MA 1972.


But I can't find a proof of that, can anyone of you help me?



Stably free module not finitely generated is free
I think that the proof contained in <http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/stablyfree.pdf> (link given by darij grinberg) it's the best proof. Thanks to all


