Definition:Direct Sum of Groups

From ProofWiki
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.


Also see