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><!--...")
Statement
- For any family of module homomorphisms, (φ:Mα→M)α∈I
- There exists a unique module homomorphism, φ:⨁α∈IMα→M, such that
- ∀α∈I[φ∘iα=φα]
- There exists a unique module homomorphism, φ:⨁α∈IMα→M, such that
TODO: Mention commutative diagram and such