Characteristic property of the direct sum module
From Maths
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Check then demote as needed
Contents
[hide]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
Proof
Grade: B
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
The message provided is:
Should be routine enough, see page 327 in Abstract Algebra - Grillet if stuck
Notes
References