Bourbaki

Exercise 3, § 2

Algebra, X, p. 173

Let CC be a complex of A-modules; we consider CC as an A(\varepsilon)-module (X, p. 27). We denote

i:A→A(ε) i : A \to A(\varepsilon)
the canonical injection. Now prove that the following conditions are equivalent: (i) CC is i-projective (X, p. 170, exercise 19). (ii) CC is i-injective (loc. cit.). (iii) The complex CC is homotopic to zero. (iv) There exists an A-module graded MM and an isomorphism of graded A(\varepsilon)-modules A(ε)⊗AM→CA(\varepsilon) \otimes_A M \to C. (v) There exists an A-module graded NN and an isomorphism of graded A(\varepsilon)-modules C→HomA(A(ε),N)C \to \mathrm{Hom}_A(A(\varepsilon), N).

Solution

No solution has been written yet.

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