The direct sum of abelian groups is a prototypical example of a direct sum. Given two abelian groups (A, ∗) and (B, ·), their direct sum A ⊕ B is the same as their direct product, i.e. its underlying set is the Cartesian product A × B with the group operation ○ given componentwise:
- (a1, b1) ○ (a2, b2) = (a1 ∗ a2, b1 · b2).
This definition generalizes to direct sums of finitely many abelian groups.
For an infinite family of abelian groups Ai for i ∈ I, the direct sum
is a proper subgroup of the direct product. It consists of the elements such that ai is the identity element of Ai for all but finitely many i.
In this case, the direct sum is indeed the coproduct in the category of abelian groups.
Read more about this topic: Direct Sum
Famous quotes containing the words direct, sum and/or groups:
“Art need no longer be an account of past sensations. It can become the direct organization of more highly evolved sensations. It is a question of producing ourselves, not things that enslave us.”
—Guy Debord (b. 1931)
“If the twentieth century is to be better than the nineteenth, it will be because there are among us men who walk in Priestley’s footsteps....To all eternity, the sum of truth and right will have been increased by their means; to all eternity, falsehoods and injustice will be the weaker because they have lived.”
—Thomas Henry Huxley (1825–95)
“Some of the greatest and most lasting effects of genuine oratory have gone forth from secluded lecture desks into the hearts of quiet groups of students.”
—Woodrow Wilson (1856–1924)