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:
“...I have never known a “movement” in the theater that did not work direct and serious harm. Indeed, I have sometimes felt that the very people associated with various “uplifting” activities in the theater are people who are astoundingly lacking in idealism.”
—Minnie Maddern Fiske (1865–1932)
“No, the five hundred was the sum they named
To pay the doctor’s bill and tide me over.
It’s that or fight, and I don’t want to fight
I just want to get settled in my life....”
—Robert Frost (1874–1963)
“... until both employers’ and workers’ groups assume responsibility for chastising their own recalcitrant children, they can vainly bay the moon about “ignorant” and “unfair” public criticism. Moreover, their failure to impose voluntarily upon their own groups codes of decency and honor will result in more and more necessity for government control.”
—Mary Barnett Gilson (1877–?)