Exercise 23, § 2
Commutative Algebra, I, 47
(a) Let be an exact sequence of left A-modules, where L is a free A-module; let be a basis of L. Show that the following conditions are equivalent:
(a) E is flat.
(b) For all , if is the right ideal generated by the components of with respect to the basis , then .
(y) For all , there exists a homomorphism such that .
(8) For every finite sequence of elements of R, there exists a homomorphism such that for . (Use the Corollary to Proposition 7 of no. 6.)
(b) Let a be a left ideal of A such that is a flat A-module. Show that, for every finitely generated left ideal , there exists such that
(use condition (8) of (a)).
(c) Derive from (a) a new proof of the result of Exercise 15.
(d) Let be the Jacobson radical of and an exact sequence of left -modules such that is free. Suppose that is flat and is contained in . Show that (in the notation of (a) observe that is a finitely generated ideal and that ).
(e) Let be a finitely generated flat -module; suppose that there exists a two-sided ideal of contained in the Jacobson radical of such that is a free -module. Show that is then a free -module (observethat there exists a finitely generated free -module such that is isomorphic to and use Algebra, Chapter VIII, § 6, no. 3, Corollary 4 to Proposition 6; then apply (d)).
Solution
No solution has been written yet.