Bourbaki

Exercise 10, § 3

Algebra, X, p. 181

Let EE be an AA-module. We say that EE is pseudo-coherent if every finitely generated submodule of EE is of finite presentation; every submodule of a pseudo-coherent module is pseudo-coherent. We say that EE is coherent if it is pseudo-coherent and of finite type (hence of finite presentation). a) Let 0→E′→E→E′′→00 \to E' \to E \to E'' \to 0 be an exact sequence of AA-modules. Prove that, if EE is pseudo-coherent (resp. coherent) and E′E' is of finite type, E′′E'' is pseudo-coherent (resp. coherent). Prove that, if E′E' and E′′E'' are pseudo-coherent (resp. coherent), the same is true of EE. Prove that, if EE and E′′E'' are coherent, the same is true of E′E' (use XX, p. 11, prop. 6). b) Let EE be a coherent AA-module, and let E′E' be a pseudo-coherent (resp. coherent) AA-module. Prove that, for every homomorphism u:E→E′u : E \to E', Im (u)\mathrm{Im}\,(u) and Ker (u)\mathrm{Ker}\,(u) are coherent and Coker (u)\mathrm{Coker}\,(u) 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 EE is a pseudo-coherent module and if M,NM, N are coherent submodules of EE, prove that M+NM + N and M∩NM \cap N are coherent (use a and c). e) Suppose that AA is commutative. Prove that, if EE is a coherent AA-module and FF is a coherent (resp. pseudo-coherent) AA-module, HomA(E,F)\mathrm{Hom}_A(E, F) is a coherent (resp. pseudo-coherent) AA-module. (Reduce to the case where FF is coherent; consider a finite presentation of EE, then use b.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.