Exercice 10, § 3
Algèbre, X, p. 181
Soit un -module. On dit que est pseudo-cohérent si tout sous-module de type fini de est de présentation finie ; tout sous-module d’un module pseudo-cohérent est pseudo-cohérent. On dit que est cohérent s’il est pseudo-cohérent et de type fini (donc de présentation finie). a) Soit une suite exacte de -modules. Montrer que, si est pseudo-cohérent (resp. cohérent) et de type fini, est pseudo-cohérent (resp. cohérent). Montrer que, si et sont pseudo-cohérents (resp. cohérents), il en est de même de . Montrer que, si et sont cohérents, il en est de même de (utiliser , p. 11, prop. 6). b) Soient un -module cohérent, un -module pseudo-cohérent (resp. cohérent). Montrer que, pour tout homomorphisme , et sont cohérents et 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 est un module pseudo-cohérent et si sont des sous-modules cohérents de , montrer que et sont cohérents (utiliser a et c). e) On suppose commutatif. Montrer que, si est un -module cohérent et un -module cohérent (resp. pseudo-cohérent), est un -module cohérent (resp. pseudo-cohérent). (Se ramener au cas où est cohérent ; considérer une présentation finie de , puis utiliser b.)
Solution
Aucune solution n’a encore été écrite.