If each of the sets in a finite direct product of sets has a group structure, this structure may be imposed on the direct product by defining the composition ``componentwise''; the resulting group is called the direct sum.