\begin{definition}[Definition:Direct Sum of Groups]
Let $I$ be a indexing set.
Let $\family {G_i}_{i \mathop \in I}$ be a family of groups.
The '''direct sum''' of $\family {G_i}_{i \mathop \in I}$ is the subgroup of their direct product consisting of mappings of finite support.
\end{definition}