Bourbaki

Remark

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

Algebra, chapter II, § 1. Modules

(1) Let M,NM, N be two supplementary submodules in an AA-module EE, p,qp, q the projectors of EE onto MM and NN respectively, corresponding to the decomposition of EE as a direct sum of MM and NN. It is known (no. 6, Corollary 1 to Proposition 6) that, for every AA-module FF, the mapping (u,v)↦u∘p+v∘q(u, v) \mapsto u \circ p + v \circ q is an isomorphism of

Hom⁡A(M,F)⊕Hom⁡A(N,F) \operatorname{Hom}_A(M, F) \oplus \operatorname{Hom}_A(N, F)
onto Hom⁡A(E,F)\operatorname{Hom}_A(E, F). The image of Hom⁡A(M,F)\operatorname{Hom}_A(M, F) under this isomorphism is the set of linear mappings w:E→Fw : E \to F such that w(x)=0w(x) = 0 for all x∈Nx \in N.

(2) If M,NM, N are two submodules of EE such that M∩NM \cap N is a direct factor of MM and NN, then M∩NM \cap N is also a direct factor of M+NM + N: if PP (resp. QQ) is a supplement of M∩NM \cap N in MM (resp. NN), M+NM + N is the direct sum of M∩N,PM \cap N, P and QQ, 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.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.