Difference between revisions of "Characteristic property of the direct sum module"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|grade=A|msg=Check then demote as needed}} __TOC__ ==Statement== {{/Statement}} ==Proof== {{Requires proof|grade=B|msg=Should be routine enough, see...")
 
m (Added clearing div)
 
Line 3: Line 3:
 
==[[/Statement|Statement]]==
 
==[[/Statement|Statement]]==
 
{{/Statement}}
 
{{/Statement}}
 +
<div style="clear:both;"></div>
 
==Proof==
 
==Proof==
 
{{Requires proof|grade=B|msg=Should be routine enough, see page 327 in Abstract Algebra - Grillet if stuck}}
 
{{Requires proof|grade=B|msg=Should be routine enough, see page 327 in Abstract Algebra - Grillet if stuck}}

Latest revision as of 14:04, 20 October 2016

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

Statement

[ilmath]\begin{xy} \xymatrix{ \bigoplus_{\alpha\in I}M_\alpha \ar[ddrr]^\varphi \ar@{<-_{)} }[dd] & & \\ & & \\ M_b \ar[rr] & & M \save (15,13)+"3,1"*+{\ldots}="udots"; (8.125,6.5)+"3,1"*+{M_c}="x1"; (-8.125,-6.5)+"3,1"*+{M_a}="x3"; (-15,-13)+"3,1"*+{\ldots}="ldots"; \ar@{<-_{)} } "x1"; "1,1"; \ar@{<-_{)} }_(0.65){i_c,\ i_b,\ i_a} "x3"; "1,1"; \ar@{<-} "x1"; "3,3"; \ar@{<-}^{\varphi_a,\ \varphi_b,\ \varphi_c} "x3"; "3,3"; \restore } \end{xy}[/ilmath]

TODO: Caption

Let [ilmath](R,+,*,0)[/ilmath] be a ring (with or without unity) and let [ilmath](M_\alpha)_{\alpha\in I} [/ilmath] be an arbitrary indexed family of [ilmath]R[/ilmath]-modules and [ilmath]\bigoplus_{\alpha\in I}M_\alpha[/ilmath] their direct sum (external or internal). Let [ilmath]M[/ilmath] be another [ilmath]R[/ilmath]-module. Then[1]:
  • For any family of module homomorphisms, [ilmath](\varphi:M_\alpha\rightarrow M)_{\alpha\in I} [/ilmath]
    • There exists a unique module homomorphism, [ilmath]\varphi:\bigoplus_{\alpha\in I}M_\alpha\rightarrow M[/ilmath], such that
      • [ilmath]\forall\alpha\in I[\varphi\circ i_\alpha=\varphi_\alpha][/ilmath]

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:
Should be routine enough, see page 327 in Abstract Algebra - Grillet if stuck

Notes

References

  1. ↑ Abstract Algebra - Pierre Antoine Grillet


Retrieved from "http://www.maths.kisogo.com/index.php?title=Characteristic_property_of_the_direct_sum_module&oldid=3482"