Bourbaki

Remark

Tag 05K0, permanent. Cite it as [Bourbaki, Tag 05K0].

Algebra, chapter II, § 1. Modules

(1) If the ordered pair (f,g)(f, g) is an exact sequence, then g∘f=0g \circ f = 0; but of course this property does not characterize exact sequences, for it only means that the image of ff is contained in the kernel of gg.

In the statements below, E, F, G denote A-modules, 0 the A-module reduced to its identity element; the arrows represent A-module homomorphisms. As there is only one homomorphism from the module 0 to a module E (resp. of E to 0), there is no point in giving these homomorphisms a name in the exact sequences where they appear.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 1998, Springer. Not translated.