Direct Sum of Groups - Generalization To Sums Over Infinite Sets

Generalization To Sums Over Infinite Sets

To describe the above properties in the case where G is the direct sum of an infinite (perhaps uncountable) set of subgroups, more care is needed.

If g is an element of the cartesian product ∏{Hi} of a set of groups, let gi be the ith element of g in the product. The external direct sum of a set of groups {Hi} (written as ∑E{Hi}) is the subset of ∏{Hi}, where, for each element g of ∑E{Hi}, gi is the identity for all but a finite number of gi (equivalently, only a finite number of gi are not the identity). The group operation in the external direct sum is pointwise multiplication, as in the usual direct product.

This subset does indeed form a group; and for a finite set of groups Hi, the external direct sum is identical to the direct product.

If G = ∑Hi, then G is isomorphic to ∑E{Hi}. Thus, in a sense, the direct sum is an "internal" external direct sum. For each element g in G, there is a unique finite set S and unique {hi in Hi : i in S} such that g = ∏ {hi : i in S}.

Read more about this topic:  Direct Sum Of Groups

Famous quotes containing the words sums, infinite and/or sets:

    If God lived on earth, people would break his windows.
    Jewish proverb, quoted in Claud Cockburn, Cockburn Sums Up, epigraph (1981)

    They will visit you at your convenience, whether you are lonesome or not, on rainy days or fair. They propose themselves as either transient acquaintances or permanent friends. They will stay as long as you like, departing or returning as you wish. Their friendship entails no obligation. Best of all, and not always true of our merely human friends, they have Cleopatra’s infinite variety.
    Clifton Fadiman (b. 1904)

    There be some sports are painful, and their labor
    Delight in them sets off. Some kinds of baseness
    Are nobly undergone, and most poor matters
    Point to rich ends.
    William Shakespeare (1564–1616)