Remark
Tag 05L2, permanent. Cite it as [Bourbaki, Tag 05L2].
Algebra, chapter II, § 1. Modules
(1) Let be two supplementary submodules in an -module , the projectors of onto and respectively, corresponding to the decomposition of as a direct sum of and . It is known (no. 6, Corollary 1 to Proposition 6) that, for every -module , the mapping is an isomorphism of
onto . The image of under this isomorphism is the set of linear mappings such that for all .
(2) If are two submodules of such that is a direct factor of and , then is also a direct factor of : if (resp. ) is a supplement of in (resp. ), is the direct sum of and , as is immediately verified.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.