Corollary
Tag 04BI, permanent. Cite it as [Bourbaki, Tag 04BI].
Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals
Under the hypotheses of Proposition 3, for an *-module* to be finitely generated (resp. finitely presented), it is necessary and sufficient that, for every index , the *-module* be finitely generated (resp. finitely presented).
The condition is obviously necessary (§ 2, no. 4). Conversely, if all the are finitely generated (resp. finitely presented), is a finitely generated (resp. finitely presented) -module, for we can obviously suppose that for each there is an exact sequence , where and are independent of . Now, . The corollary then follows from Proposition 3 and Chapter I, § 3, no. 6, Proposition 11.
Note that the condition on the means that the open sets form a covering of (§ 4, no. 3, Corollary 3 to Proposition 11).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.