# f.g Projectives are locally free

Let $A$ be a commutative noetherian ring, and let $M$ be a finitely generated projective $A$-module. It is well known and easy to prove that $A$ is locally free in the sense that for every $p \in Spec A$, the module $M_p$ is a free $A_p$-module.

Is it true that projectives are also locally free in the following (more geometric?) sense:

There are elements $f_1,\dots,f_n \in A$ such that $(f_1,\dots,f_n) = 1$, and such that $M_{f_i}$ is a free $A_{f_i}$-module for all $1\le i \le n$.

Is this true? if so, can you provide a reference or explain how to prove it?

Thanks!

-

Thank you for the reference. For the intrested reader, I should mention that Bourbaki proves the following much stronger result: If $M$ is a finitely presented module and if for some prime $p$, the module $M_p$ is free, then there exists a neighborhood $D(f)$ of $p$ such that $M_f$ is free over $A_f$, so that "being free at a point" implies "being free at a neigborhood of a point". –  the L Jan 8 '11 at 16:51
@anonymous: Dear anonymous, more generally, if $M,N$ are finitely presented modules and $M_p, N_p$ are isomorphic, then $M_f \simeq N_f$ for some $f \in A-p$. This is explained in more detail (and generality) in EGA IV-8, where it is proved that (in a certain sense) if $\{R_\alpha\}$ is an inductive system of rings, then the category of f.p. modules over $\varinjlim R_\alpha$ is the "colimit of the categories of modules over $R_\alpha$," which has many useful applications in reducing questions about arbitrary f.p. modules to questions about finitely generated modules over noetherian rings. –  Akhil Mathew Jan 15 '11 at 18:40
(contd.) For instance, Grothendieck's generic flatness lemma (if $A$ noetherian integral domain, $B$ finite $A$-algebra, $M$ finite $B$-module, then there is $f \in A$ such that $M_f$ is flat over $A$) works for finitely presented modules because any such module must "descend" to a finitely presented module over a noetherian (e.g. finitely generated) subring. –  Akhil Mathew Jan 15 '11 at 18:41