Exercice 6, § 3
Algèbre, X, p. 180
Bourbaki marks this one as harder than the rest.
Soit un -module à gauche. On appelle présentation de longueur ou n-présentation de une suite exacte
où est un -module à gauche libre (). On dit que la présentation est finie si tous les sont des modules libres de type fini.
Si est un -module à gauche de type fini, on désigne par la borne supérieure (finie ou égale à ) des entiers tels que possède une -présentation finie. Si n’est pas de type fini, on pose .
a) Soit une suite exacte de -modules à gauche. On a alors .
b) Soit une -présentation finie de ; si , montrer que est un -module de type fini (utiliser l’exercice 5, b)).
c) Montrer que, sous les hypothèses de a), on a
(Si ), montrer par récurrence sur que , en raisonnant comme dans a) et utilisant b).)
d) Montrer que, sous les hypothèses de a), on a
(Même méthode que dans c.). En déduire que, si , alors .
e) Déduire de a), c) et d) que, si , on a
En particulier, pour que admette une présentation finie il faut et il suffit qu’il en soit ainsi pour et .
f) Soient deux sous-modules d’un -module . Supposons que et admettent une présentation finie. Pour que admette une présentation finie, il faut et il suffit que soit de type fini.
Solution
Aucune solution n’a encore été écrite.