Example 7
Tag 0DP8, permanent. Cite it as [Bourbaki, Tag 0DP8].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Let be such that the mapping of into is injective (“ is not a left divisor of 0”). If is a flat -module, then the homothety is injective, since it is identified with . In particular, if is integral, every flat -module is without torsion. Conversely, if is principal, every torsion-free -module is flat: indeed, if the -module is without torsion, every finitely generated submodule of is free (VII, § 4, No. 4, Cor. 2 to Theorem 4), and is a filtered increasing union of flat submodules, hence is flat (Prop. 4 (ii)).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.