Remark
Tag 0DXD, permanent. Cite it as [Bourbaki, Tag 0DXD].
Algebra, chapter X, § 5. Modules d’extensions
One can prove an analogous statement, assuming and are injective for each .
Set for simplicity , , and . Since is projective, we derive from (1) an exact sequence
(12)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.