Corollary 5

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

Algebra, chapter II, § 1. Modules

In an exact sequence $0 \to E \to F \to G \to 0$ of A-modules, if E and G are finitely generated, so is F.

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

Cited by

Nothing.