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)
“Let us then examine this point, and say, God is, or he is not. But to which side shall we incline? Reason can decide nothing here. There is an infinite chaos which separates us. A game is being played at the extremity of this infinite distance where heads or tails will turn up. What will you wager?”
—Blaise Pascal (16231662)
“Whether changes in the sibling relationship during adolescence create long-term rifts that spill over into adulthood depends upon the ability of brothers and sisters to constantly redefine their connection. Siblings either learn to accept one another as independent individuals with their own sets of values and behaviors or cling to the shadow of the brother and sister they once knew.”
—Jane Mersky Leder (20th century)