Bourbaki

Exercice 10, § 3

Algèbre, X, p. 181

Soit EE un AA-module. On dit que EE est pseudo-cohérent si tout sous-module de type fini de EE est de présentation finie ; tout sous-module d’un module pseudo-cohérent est pseudo-cohérent. On dit que EE est cohérent s’il est pseudo-cohérent et de type fini (donc de présentation finie). a) Soit 0→E′→E→E′′→00 \to E' \to E \to E'' \to 0 une suite exacte de AA-modules. Montrer que, si EE est pseudo-cohérent (resp. cohérent) et E′E' de type fini, E′′E'' est pseudo-cohérent (resp. cohérent). Montrer que, si E′E' et E′′E'' sont pseudo-cohérents (resp. cohérents), il en est de même de EE. Montrer que, si EE et E′′E'' sont cohérents, il en est de même de E′E' (utiliser XX, p. 11, prop. 6). b) Soient EE un AA-module cohérent, E′E' un AA-module pseudo-cohérent (resp. cohérent). Montrer que, pour tout homomorphisme u:E→E′u : E \to E', Im (u)\mathrm{Im}\,(u) et Ker (u)\mathrm{Ker}\,(u) sont cohérents et Coker (u)\mathrm{Coker}\,(u) pseudo-cohérent (resp. cohérent) (utiliser a). c) Montrer que toute somme directe (resp. toute somme directe finie) de modules pseudo-cohérents (resp. cohérents) est un module pseudo-cohérent (resp. cohérent). d) Si EE est un module pseudo-cohérent et si M,NM, N sont des sous-modules cohérents de EE, montrer que M+NM + N et M∩NM \cap N sont cohérents (utiliser a et c). e) On suppose AA commutatif. Montrer que, si EE est un AA-module cohérent et FF un AA-module cohérent (resp. pseudo-cohérent), HomA(E,F)\mathrm{Hom}_A(E, F) est un AA-module cohérent (resp. pseudo-cohérent). (Se ramener au cas où FF est cohérent ; considérer une présentation finie de EE, puis utiliser b.)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.