Bourbaki

Exercise 18, § 8

Algebra, X, p. 204

a) Let (Mα)α∈I(M_\alpha)_{\alpha \in I} be an inductive system of AA-modules relative to a countable set II, MM its limit, nn an integer ⩾0\geqslant 0. Now prove that if dpA(Mα)⩽n\mathrm{dp}_A(M_\alpha) \leqslant n for every α∈I\alpha \in I, one has dpA(M)⩽n+1\mathrm{dp}_A(M) \leqslant n + 1 (reduce to the case n=0n = 0 and I=NI = \mathbf{N}, then write an exact sequence 0→⨁nMn→⨁nMn→M→00 \to \bigoplus_n M_n \to \bigoplus_n M_n \to M \to 0).

b) Let PP be a flat AA-module admitting a presentation A(S)→A(T)→P→0A^{(S)} \to A^{(T)} \to P \to 0, where the set SS is countable. Deduce from a) that one has dpA(P)⩽1\mathrm{dp}_A(P) \leqslant 1.

c) Suppose that every left ideal of the ring AA is generated by a countable set of elements. Prove that one has dpA(M)⩽dplA(M)+1\mathrm{dp}_A(M) \leqslant \mathrm{dpl}_A(M) + 1 for every AA-module MM generated by a countable family of elements. Deduce the inequalities dh(A)⩽td(A)+1\mathrm{dh}(A) \leqslant \mathrm{td}(A) + 1 and ∣dh(A)−dh(A∘)∣⩽1|\mathrm{dh}(A) - \mathrm{dh}(A^\circ)| \leqslant 1. (Use exercise 12, p. 181, exercise 8, p. 202, as well as 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.