Bourbaki

Remark

Tag 0DXD, permanent. Cite it as [Bourbaki, Tag 0DXD].

Algebra, chapter X, § 5. Modules d’extensions

One can prove an analogous statement, assuming Bn(C′)B_n(C') and C′/Bn(C′)C'/B_n(C') are injective for each nn.

Set for simplicity B=B(C)B = B(C), Z=Z(C)Z = Z(C), H=H(C)H = H(C) and H′=H(C′)H' = H(C'). Since BB is projective, we derive from (1) an exact sequence

(12) 0→HomgrA(B,C′)(1)→Homgr(δ,1)HomgrA(C,C′)0 \to \mathrm{Homgr}_A(B, C')(1) \xrightarrow{\mathrm{Homgr}(\delta, 1)} \mathrm{Homgr}_A(C, C')

→Homgr(i,1)HomgrA(Z,C′)→0. \xrightarrow{\mathrm{Homgr}(i, 1)} \mathrm{Homgr}_A(Z, C') \to 0 .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.