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:
“Ignorant kindness may have the effect of cruelty; but to be angry with it as if it were direct cruelty would be an ignorant unkindness.”
—George Eliot [Mary Ann (or Marian)
“The sum and substance of female education in America, as in England, is training women to consider marriage as the sole object in life, and to pretend that they do not think so.”
—Harriet Martineau (1802–1876)
“In properly organized groups no faith is required; what is required is simply a little trust and even that only for a little while, for the sooner a man begins to verify all he hears the better it is for him.”
—George Gurdjieff (c. 1877–1949)