A construction that combines a family of modules or groups into a larger object consisting of tuples with finitely many nonzero components, with operations defined componentwise; it serves as the coproduct in the category of modules.

Principle

Defined by the universal coproduct property: maps from the direct sum correspond to compatible families of maps from each summand, and inclusion maps into the sum provide the canonical injections.

Demonstration

For a countable family of vector spaces Vi, the direct sum ⊕i Vi consists of tuples (vi) with vi = 0 for all but finitely many i; linear maps out of ⊕i Vi are determined by their compositions with the inclusions of each Vi.

Misapplication

Using the direct sum when one needs the direct product: confusing finite-support tuples with arbitrary tuples yields incorrect conclusions about elementwise convergence, completeness, or dual spaces.

Consequence

Provides a means to decompose modules into simpler summands, construct free objects, and compute homological invariants; finite direct sums coincide with direct products, simplifying many finite-dimensional arguments.

Reversal

Replacing the direct sum by the direct product removes the finite-support restriction: the product allows arbitrary tuples and satisfies the universal property of products rather than coproducts, changing mapping behavior.

Boundary

Applies in categories where coproducts are given by finitely-supported tuples (modules, vector spaces); for infinite index sets the direct sum differs from the product and topological or completed sums require extra structure.

Semantic Tension

Confused with external versus internal direct sum (whether a module is the sum of submodules vs the constructed external coproduct) and with the direct product; the word 'sum' can hide the finite-support constraint.

Synthesis

The direct sum is the coproduct construction that builds tuples with finitely many nonzero entries, giving injections from each summand and encoding decompositions of modules while differing from the full Cartesian product on infinite families.