Characteristic property of the direct sum module/Statement

From Maths
< Characteristic property of the direct sum module
Revision as of 14:02, 20 October 2016 by Alec (Talk | contribs) (Created page with "<noinclude> ==Statement== </noinclude><div style="float:right;margin:0px;margin-left:0.2em;">{{:Characteristic property of the direct sum module/Statement/Picture}}</div><!--...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement


TODO: Caption


Let (R,+,,0) be a ring (with or without unity) and let (Mα)αI be an arbitrary indexed family of R-modules and αIMα their direct sum (external or internal). Let M be another R-module. Then[1]:
  • For any family of module homomorphisms, (φ:MαM)αI
    • There exists a unique module homomorphism, φ:αIMαM, such that
      • αI[φiα=φα]

TODO: Mention commutative diagram and such



Notes

References

  1. Jump up Abstract Algebra - Pierre Antoine Grillet