Corollary 1
Tag 0DXF, permanent. Cite it as [Bourbaki, Tag 0DXF].
Algebra, chapter X, § 5. Modules d’extensions
Assume B(C) and Z(C) projective and B^n(C') injective for each n. Then the exact sequences (11) are split. This follows from the theorem and the following lemma:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.