Definition:Direct Sum of Groups
Jump to navigation
Jump to search
Definition
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.