Bourbaki

Exercise 16, § 8

Algebra, X, p. 203

Let AA be a right and left Noetherian local ring and m\mathfrak{m} its maximal ideal; denote by ksk_s (resp. kdk_d) the left a-module (resp. right) A/mA/m. Let MM be a left a-module of finite type and nn an integer. (a) Prove that one has dpA(M)≤n\mathrm{dp}_A(M) \leq n if and only if Torn+1A(kd,M)=0\mathrm{Tor}_{n+1}^{A}(k_d, M) = 0 (use exercise 4, p. 185). (b) Prove that one has dh(A)=dpA(ks)\mathrm{dh}(A) = \mathrm{dp}_A(k_s); in order that dh(A)≤n\mathrm{dh}(A) \leq n, it is necessary and sufficient that one have

Torn+1A(kd,ks)=0. \mathrm{Tor}_{n+1}^{A}(k_d, k_s) = 0 .

(c) Let xx be an element of the center of AA, belonging to m\mathfrak{m}, such that the homothety of ratio xx in MM is injective. Prove that one has dpA(M/xM)=dpA(M)+1\mathrm{dp}_A(M/xM) = \mathrm{dp}_A(M) + 1 (cf. also exercise 14).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.