Bourbaki

Exercice 6, § 3

Algèbre, X, p. 180

Bourbaki marks this one as harder than the rest.

Soit MM un AA-module à gauche. On appelle présentation de longueur nn ou n-présentation de MM une suite exacte

Ln→Ln−1→⋯→L1→L0→M→0 L_n \to L_{n-1} \to \cdots \to L_1 \to L_0 \to M \to 0

où LiL_i est un AA-module à gauche libre (0⩽i⩽n0 \leqslant i \leqslant n). On dit que la présentation est finie si tous les LiL_i sont des modules libres de type fini.

Si MM est un AA-module à gauche de type fini, on désigne par λ(M)\lambda(M) la borne supérieure (finie ou égale à +∞+\infty) des entiers n⩾0n \geqslant 0 tels que MM possède une nn-présentation finie. Si MM n’est pas de type fini, on pose λ(M)=−1\lambda(M) = -1.

a) Soit 0→P→N→M→00 \to P \to N \to M \to 0 une suite exacte de AA-modules à gauche. On a alors λ(N)⩾inf⁡(λ(P),λ(M))\lambda(N) \geqslant \inf (\lambda(P), \lambda(M)).

b) Soit Ln→dnLn−1→⋯→L0→M→0L_n \xrightarrow{d_n} L_{n-1} \to \cdots \to L_0 \to M \to 0 une nn-présentation finie de MM; si λ(M)>n\lambda(M) > n, montrer que Ker⁡(dn)\operatorname{Ker}(d_n) est un AA-module de type fini (utiliser l’exercice 5, b)).

c) Montrer que, sous les hypothèses de a), on a

λ(M)⩾inf⁡(λ(N),λ(P)+1) \lambda(M) \geqslant \inf (\lambda(N), \lambda(P) + 1)

(Si n⩽inf⁡(λ(N),λ(P)+1)n \leqslant \inf (\lambda(N), \lambda(P) + 1)), montrer par récurrence sur nn que λ(M)⩾n\lambda(M) \geqslant n, en raisonnant comme dans a) et utilisant b).)

d) Montrer que, sous les hypothèses de a), on a

λ(P)⩾inf⁡(λ(N),λ(M)−1) \lambda(P) \geqslant \inf (\lambda(N), \lambda(M) - 1)

(Même méthode que dans c.). En déduire que, si λ(N)=+∞\lambda(N) = +\infty, alors λ(M)=λ(P)+1\lambda(M) = \lambda(P) + 1.

e) Déduire de a), c) et d) que, si N=M⊕PN = M \oplus P, on a

λ(N)=inf⁡(λ(M),λ(P)) \lambda(N) = \inf (\lambda(M), \lambda(P))

En particulier, pour que NN admette une présentation finie il faut et il suffit qu’il en soit ainsi pour MM et PP.

f) Soient N1,N2N_1, N_2 deux sous-modules d’un AA-module MM. Supposons que N1N_1 et N2N_2 admettent une présentation finie. Pour que N1+N2N_1 + N_2 admette une présentation finie, il faut et il suffit que N1∩N2N_1 \cap N_2 soit de type fini.

Solution

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

Transcrit du volume imprimé. Non traduit.