Corollary 1

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

Algebra, chapter II, § 1. Modules

Let $M$ be an $A$ -module of finite length; for a submodule $N$ of $M$ to be equal to $M$ , it is necessary and sufficient that $\operatorname{long}(N) = \operatorname{long}(M)$ .

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

Cited by

Remark, § 1

Cites

Nothing.