Exercise 10, § 3
Algebra, X, p. 181
Let be an -module. We say that is pseudo-coherent if every finitely generated submodule of is of finite presentation; every submodule of a pseudo-coherent module is pseudo-coherent. We say that is coherent if it is pseudo-coherent and of finite type (hence of finite presentation). a) Let be an exact sequence of -modules. Prove that, if is pseudo-coherent (resp. coherent) and is of finite type, is pseudo-coherent (resp. coherent). Prove that, if and are pseudo-coherent (resp. coherent), the same is true of . Prove that, if and are coherent, the same is true of (use , p. 11, prop. 6). b) Let be a coherent -module, and let be a pseudo-coherent (resp. coherent) -module. Prove that, for every homomorphism , and are coherent and is pseudo-coherent (resp. coherent) (use a). c) Prove 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 if are coherent submodules of , prove that and are coherent (use a and c). e) Suppose that is commutative. Prove that, if is a coherent -module and is a coherent (resp. pseudo-coherent) -module, is a coherent (resp. pseudo-coherent) -module. (Reduce to the case where is coherent; consider a finite presentation of , then use b.)
Solution
No solution has been written yet.