Bourbaki

Exercise 1, § 2

Algebra, X, p. 173

One assumes the ring A principal; let C be a complex of free A-modules. (a) Now prove that C is direct sum of a family of complexes (pE)p∈Z(^{p}E)_p \in \mathbf{Z} satisfying: pEn=0^pE_n = 0 for n≠pn \neq p, p−1;Zp(pE)=0p - 1 ; Z_p(^pE) = 0. (b) One assumes in addition that CnC_n is of finite type for every n∈Zn \in \mathbf{Z}. Now prove that C is direct sum of complexes having only, either one non-zero component, or two consecutive non-zero components, these components being isomorphic to A.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.