States Local Criterion for Finitely Generated Projective Modules: Let R be a commutative unital ring, and let P be a finitely generated R-module. Then P is projective if and only if P is locally free in the Zariski topology: for every prime ideal p Spec(R), there exist an element f R p and an integer r 0 such that P_f R_f^r