Serre’s theorem on projective
modules says roughly that if a projective R module is big enough it can map onto R.
Forster and Swan discuss how big a free module is needed to map onto a given
finitely generated module. This note examines a common generalization of these
results and extends Swan’s technique.