
related topics 
{math, number, function} 

In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The result of the direct summation of modules is the "smallest general" module which contains the given modules as subspaces. This is an example of a coproduct. Contrast with the direct product, which is the dual notion.
The most familiar examples of this construction occur when considering vector spaces (modules over a field) and abelian groups (modules over the ring Z of integers). The construction may also be extended to cover Banach spaces and Hilbert spaces.
Contents
Construction for vector spaces and abelian groups
We give the construction first in these two cases, under the assumption that we have only two objects. Then we generalise to an arbitrary family of arbitrary modules. The key elements of the general construction are more clearly identified by considering these two cases in depth.
Construction for two vector spaces
Suppose V and W are vector spaces over the field K. The cartesian product V × W can be given the structure of a vector space over K (Halmos 1974, §18) by defining the operations componentwise:
 (v_{1}, w_{1}) + (v_{2}, w_{2}) = (v_{1} + v_{2}, w_{1} + w_{2})
 α (v, w) = (α v, α w)
Full article ▸


related documents 
Functor 
Integration by parts 
Newton's method 
Boolean satisfiability problem 
Riemann zeta function 
Series (mathematics) 
List of trigonometric identities 
Principal components analysis 
Stone–Čech compactification 
Johnston diagram 
Forcing (mathematics) 
Pascal's triangle 
Russell's paradox 
Infinity 
Cauchy sequence 
Complete lattice 
Groupoid 
Ruby (programming language) 
Denotational semantics 
Braket notation 
Nonstandard analysis 
Mathematical induction 
Numerical analysis 
Kernel (algebra) 
Cardinal number 
Sequence alignment 
Gaussian elimination 
Addition 
Entropy (information theory) 
Huffman coding 
