Bourbaki

Exercise 3, § 9

Algebra, X, p. 206

Let nn be an integer, kk a ring, A=k[X1,…,Xn]A = k[X_1, \ldots, X_n]. Now prove that there exists for every AA-module MM an isomorphism of graded AA-modules

δM:TorA(k,M)→ExtA(k,M)(−n) \delta_M : \mathrm{Tor}^A(k, M) \to \mathrm{Ext}_A(k, M)(-n)

such that for every homomorphism of A-modules u:M→Nu : M \to N, one has Ext⁡(1k,u)∘δM=δN∘Tor⁡(1k,u)\operatorname{Ext}(1_k, u) \circ \delta_M = \delta_N \circ \operatorname{Tor}(1_k, u).

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.