Direct sum
The direct sum is a construction of a structure from a set of smaller structures with identity elements. The construction can be applied to groups, rings, and modules.
Specifically, let be a family of structures of the same species with identity elements. The direct sum of the family , denoted is the subset of the direct product of the of elements with only finitely many non-identity coordinates. Note the difference between this product and the direct product the two structures coincide when the family is finite, or when all but finitely many of the are trivial structures (i.e., they consist of the identity alone).
When finitely many structures are involved, the terms direct product and direct sum are interchangeable, but in the case of groups, direct sum is normally used for abelian groups, since additive notation is usually used for a commutative operation.
The direct sum of a family of groups is a normal subgroup of the direct product of the family of groups. For if is an element of the direct product, and is an element of the direct sum, then all but finitely many of the coordinates of the element are the same as the coordinates of .