Difference between revisions of "External direct sum module"

Revision as of 13:16, 20 October 2016 (view source) Alec (Talk | contribs) (Created page with "{{Stub page|grade=A|msg=Review and demote as needed}} : See Direct sum module for advice on using the internal or external form __TOC__ ==Definition== Let {{M|(R,+,*,0)}}...")		Latest revision as of 14:05, 20 October 2016 (view source) Alec (Talk | contribs) m (Added clearing div)
Line 13:		Line 13:
	==[[Characteristic property of the direct sum module]]==		==[[Characteristic property of the direct sum module]]==
	{{:Characteristic property of the direct sum module/Statement}}		{{:Characteristic property of the direct sum module/Statement}}
		+	<div style="clear:both;"></div>
	==See also==		==See also==
	* [[Coproduct (category theory)]]		* [[Coproduct (category theory)]]

---

Latest revision as of 14:05, 20 October 2016

See Direct sum module for advice on using the internal or external form

Definition

Let $(R,+,*,0)$ be a ring (with or without unity) and let $(M_\alpha)_{\alpha\in I}$ be an arbitrary indexed family of $R$-modules, the direct sum or external direct sum of the family is the following submodule of $\prod_{\alpha\in I}M_\alpha$ (the direct product module of the family $(M_\alpha)_{\alpha\in I}$)^[1]:

• $\bigoplus_{\alpha\in I}M_\alpha:=\{(x_\alpha)_{\alpha\in I}\in\prod_{\alpha\in I}M_\alpha\ \big\vert\ \ \vert\{x_\beta\in (x_\alpha)_{\alpha\in I}\ \vert\ x_\beta \ne 0\}\vert\in\mathbb{N}\}$

This is an instance of a categorical coproduct.

Notice that if $\vert I\vert\in\mathbb{N}$ then this agrees with the direct product module.

We of course the the canonical injections of a coproduct along with it, let $\beta\in I$ be given, then:

• $i_\beta:M_\beta\rightarrow\bigoplus_{\alpha\in I}M_\alpha$ by $i_\beta:a\mapsto (0,\ldots,0,a,0,\ldots,0)$, ie the tuple $(x_\alpha)_{\alpha\in I}$ where $x_\alpha=0$ if $\alpha\ne\beta$ and $x_\alpha=a$ if $\alpha=\beta$

Characteristic property of the direct sum module

Let $(R,+,*,0)$ be a ring (with or without unity) and let $(M_\alpha)_{\alpha\in I}$ be an arbitrary indexed family of $R$-modules and $\bigoplus_{\alpha\in I}M_\alpha$ their direct sum (external or internal). Let $M$ be another $R$-module. Then^[1]:

• For any family of module homomorphisms, $(\varphi:M_\alpha\rightarrow M)_{\alpha\in I}$
  • There exists a unique module homomorphism, $\varphi:\bigoplus_{\alpha\in I}M_\alpha\rightarrow M$, such that
    • $\forall\alpha\in I[\varphi\circ i_\alpha=\varphi_\alpha]$

---

TODO: Mention commutative diagram and such

---

See also

• Coproduct (category theory)
• Direct sum module
• Internal direct sum module
• Direct product module
  • Characteristic property of the direct product module

Notes

References

1. ↑ ^{Jump up to: 1.0 1.1} Abstract Algebra - Pierre Antoine Grillet