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)
“Since [man] is infinitely removed from comprehending the extremes, the end of things and their beginning are hopelessly hidden from him in an impenetrable secret; he is equally incapable of seeing the nothing from which he was made, and the infinite in which he is swallowed up.”
—Blaise Pascal (16231662)
“It provokes the desire but it takes away the performance. Therefore much drink may be said to be an equivocator with lechery: it makes him and it mars him; it sets him on and it takes him off.”
—William Shakespeare (15641616)