Definition:Direct Sum of Groups

From ProofWiki
Jump to: navigation, search

Definition

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.


Also see