Example 3
Tag 0DS2, permanent. Cite it as [Bourbaki, Tag 0DS2].
Algebra, chapter X, § 2. Complexes de A-modules
Let be a homomorphism of A-modules and the complex such that , , for , , for . Then is split if and only if 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.