Exercise 11, § 2
Commutative Algebra, I, 43
Let be a right -module. is called pseudo-coherent if every finitely generated submodule of is finitely presented; every submodule of a pseudo-coherent module is pseudo-coherent. is called coherent if it is pseudo-coherent and finitely generated (and therefore finitely presented).
(a) Let be an exact sequence of right -modules. Show that, if is pseudo-coherent (resp. coherent) and is finitely generated is pseudo-coherent (resp. coherent). Show that, if and are pseudo-coherent (resp. coherent), so is . Show that, if and are coherent, so is (use Exercise 6 and Lemma 9 of no. 8).
(b) Let be a coherent -module and a pseudo-coherent (resp. coherent) -module. Show that, for every homomorphism , and are coherent and that is pseudo-coherent (resp. coherent) (use (a)).
(c) Show that every direct sum (resp. every finite direct sum) of pseudo-coherent (resp. coherent) modules is a pseudo-coherent (resp. coherent) module.
(d) If is a pseudo-coherent module and are coherent submodules of , show that and are coherent (use (a) and (c)).
(e) Suppose that is commutative. Show that, if is a coherent -module and a coherent (resp. pseudo-coherent) -module, is a coherent (resp. pseudo-coherent) -module. (Reduce it to the case where is coherent and consider a finite presentation of , then use (b).)
Solution
No solution has been written yet.