Lemma 1
Tag 0029, permanent. Cite it as [Bourbaki, Tag 0029].
Algebra, VIII, p. 32, § 2. The Structure of Modules of Finite Length
Let M be an A-module, a primordial submodule of M, and a submodule of M supplementary to . Let be an endomorphism of M. Then or induces an isomorphism from to a submodule of M supplementary to .
Let be the projection from M onto with kernel , and let be the restriction of to . First, suppose that is an automorphism of . Since is injective, the restriction of to is injective, and we have . Since is surjective, we have . Consequently, induces an isomorphism from to a submodule supplementary to in M. Now, suppose that is not an automorphism of . Then is an automorphism of because is primordial. Now, is the restriction of to . The previous reasoning proves that induces an isomorphism from to a submodule of M supplementary to .
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
Cites
Nothing.