Lemma 3
Tag 002B, permanent. Cite it as [Bourbaki, Tag 002B].
Algebra, VIII, p. 33, § 2. The Structure of Modules of Finite Length
Let M be an A-module that is the direct sum of a family of primordial submodules, and let be a nonzero projector of M. There exists an index such that induces an isomorphism from to a direct factor submodule of .
Since is nonzero, is not injective. By Lemma 2, there exists an index such that induces an isomorphism from to a direct factor submodule of M. Every projector of M with image defines, by restriction, a projector of with image , so is a direct factor submodule of .
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
- ac-iv-s2-n5-cor-1 not in this corpus
- Lemma 4, § 2
- Corollary 5, § 2