# Definition:Direct Sum of Groups

Let $I$ be a indexing set.
Let $(G_i)_{i \in I}$ be a family of groups.
The direct sum of $(G_i)_{i \in I}$ is the subgroup of their direct product consisting of mappings of finite support.