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:
“The frequency of personal questions grows in direct proportion to your increasing girth. . . . No one would ask a man such a personally invasive question as “Is your wife having natural childbirth or is she planning to be knocked out?” But someone might ask that of you. No matter how much you wish for privacy, your pregnancy is a public event to which everyone feels invited.”
—Jean Marzollo (20th century)
“To help, to continually help and share, that is the sum of all knowledge; that is the meaning of art.”
—Eleonora Duse (1859–1924)
“The awareness of the all-surpassing importance of social groups is now general property in America.”
—Johan Huizinga (1872–1945)