Example 9
Tag 0DPA, permanent. Cite it as [Bourbaki, Tag 0DPA].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Suppose that , where is a field. Then the maximal ideal generated by and is a torsion-free -module, but not flat. Consider indeed the ring , which is isomorphic to , hence integral. The -module is isomorphic to in which the class of is torsion. Consequently, is not a flat -module, hence is not flat.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.