direct sum

Let $\{X_{i}:i\in I\}$ be a collection of modules in some category of modules. Then the direct sum $\coprod_{i\in I}X_{i}$ of that collection is the submodule of the direct product (http://planetmath.org/DirectProduct) of the $X_{i}$ consisting of all elements $(x_{i})$ such that all but a finite number of the $x_{i}$ are zero.

For each $j\in I$ we have a projection $p_{j}:\coprod_{i\in I}X_{i}\to X_{j}$ defined by $(x_{i})\mapsto x_{j}$ , and an injection $\lambda_{j}:X_{j}\to\coprod_{i\in I}X_{i}$ where an element $x_{j}$ of $X_{j}$ maps to the element of $\coprod_{i\in I}X_{i}$ whose $j$ th term is $x_{j}$ and every other term is zero.

The direct sum $\coprod_{i\in I}X_{i}$ satisfies a certain universal property. Namely, if $Y$ is a module and there exist homomorphisms $f_{i}:Y\to X_{i}$ for all $i\in I$ , then there exists a unique homomorphism $\phi:\coprod_{i\in I}X_{i}\to Y$ satisfying $p_{i}\phi=f_{i}$ for all $i\in I$ .

\xymatrix{X_{i}&&Y\ar[ll]_{f_{i}}\\ &\coprod_{i\in I}X_{i}\ar[ul]^{p_{i}}\ar@{-->}[ur]_{\phi}}

The direct sum is often referred to as the weak direct sum or simply the sum.

Compare this to the direct product of modules.

Often an internal direct sum is written as $\bigoplus_{i\in I}X_{i}$ .

Title	direct sum
Canonical name	DirectSum
Date of creation	2013-03-22 12:09:37
Last modified on	2013-03-22 12:09:37
Owner	antizeus (11)
Last modified by	antizeus (11)
Numerical id	10
Author	antizeus (11)
Entry type	Definition
Classification	msc 16-00
Synonym	weak direct sum
Related topic	CategoricalDirectSum
Related topic	DirectSummand
Related topic	DirectSumOfMatrices