States Localization Preserves Finitely Generated Projective Modules: Let R be a commutative unital ring, and let S R be a multiplicative subset. If P is a finitely generated projective R-module, then the localization S^-1P is a finitely generated projective S^-1R-module.