Example
Tag 0DRX, permanent. Cite it as [Bourbaki, Tag 0DRX].
Algebra, chapter X, § 2. Complexes de A-modules
Let and be homomorphisms of -modules such that ; let be the complex such that for , for . Then has zero homology if and only if the sequence is exact. It is homotopic to zero if and only if this sequence is split. Indeed, saying that is homotopic to zero means that there exist -homomorphisms and such that ; this implies that the sequence is split; conversely, if is an -linear section of , one defines by , which is possible since .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.