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:
“A temple, you know, was anciently “an open place without a roof,” whose walls served merely to shut out the world and direct the mind toward heaven; but a modern meeting-house shuts out the heavens, while it crowds the world into still closer quarters.”
—Henry David Thoreau (1817–1862)
“[M]y conception of liberty does not permit an individual citizen or a group of citizens to commit acts of depredation against nature in such a way as to harm their neighbors and especially to harm the future generations of Americans. If many years ago we had had the necessary knowledge, and especially the necessary willingness on the part of the Federal Government, we would have saved a sum, a sum of money which has cost the taxpayers of America two billion dollars.”
—Franklin D. Roosevelt (1882–1945)
“Trees appeared in groups and singly, revolving coolly and blandly, displaying the latest fashions. The blue dampness of a ravine. A memory of love, disguised as a meadow. Wispy clouds—the greyhounds of heaven.”
—Vladimir Nabokov (1899–1977)