Remark
Tag 04CB, permanent. Cite it as [Bourbaki, Tag 04CB].
Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals
The hypothesis of Corollary 2 is fulfilled in the two following cases:
(1) is an integral domain and is the set of elements of , then being the field of fractions of . The invertible sub-A-modules of are also called in this case invertible fractional ideals; those which are monogenous free -modules ( in ) are just the fractional principal ideals defined in Algebra, Chapter VI, § 1, no. 5.
(2) The ring is Noetherian and is the set of elements of which are not divisors of 0 such that is the total ring of fractions of . In this case , where the are the elements (finite in number) of (Chapter IV, § 1), hence is semi-local (§ 3, no. 5, Proposition 17).*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.