Example 4
Tag 0DS3, permanent. Cite it as [Bourbaki, Tag 0DS3].
Algebra, chapter X, § 2. Complexes de A-modules
The complex is split as soon as and are projective (resp. as soon as and are injective for each ). Indeed, according to the exact sequences to of No. 1, is then a direct factor in and a direct factor of (resp. is a direct factor in and a direct factor in ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.