Exercise 5, § 3
Commutative Algebra, I, 49
Let be a commutative ring and a flat -module containing a submodule which is not a flat module (cf. , Exercise 3). Let (resp. ) be the -module (resp. ) in which multiplication is defined by ; then is not a flat -module, but the -module is a faithfully flat -module and consequently satisfies the conditions of Proposition 8 of no. 5.
Solution
No solution has been written yet.