Example 4
Tag 0DP5, permanent. Cite it as [Bourbaki, Tag 0DP5].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
\* If is an artinian local ring (not necessarily commutative), an -module is flat if and only if it is free (AC II, § 3, No. 2, cor. 2 of prop. 5). \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.