Example
Tag 042Q, permanent. Cite it as [Bourbaki, Tag 042Q].
Commutative Algebra, chapter I, § 2. Flat modules
Applying Proposition 3 to the ring , it is seen that is a flat -module, but that (for ) is not a flat -module.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.