Remark
Tag 002I, permanent. Cite it as [Bourbaki, Tag 002I].
Algebra, VIII, p. 36, § 2. The Structure of Modules of Finite Length
Let M and be semiprimordial A-modules. It immediately follows from Lemma 4 of VIII, p. 33 that is isomorphic to a direct factor submodule of M if and only if we have for every primordial A-module L. In particular, if L is a primordial A-module, [M : L] is the greatest of the cardinals for which there exists a direct factor submodule of M isomorphic to .
The relation [M : L] = 0 therefore means that there exists no direct factor submodule of M isomorphic to L. This does not exclude the existence of a submodule of M isomorphic to L; it suffices to consider the example where , and the -modules L and M are primordial and not isomorphic, so that [M : L] = 0 and L is isomorphic to the submodule of M.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.