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)
“So that if you would form a just judgment of what is of infinite importance to you not to be misled in,namely, in what degree of real merit you stand ... call in religion and morality.Look,What is written in the law of God?How readest thou?Consult calm reason and the unchangeable obligations of justice and truth;Mwhat say they?”
—Laurence Sterne (17131768)
“bars of that strange speech
In which each sound sets out to seek each other,
Murders its own father, marries its own mother,
And ends as one grand transcendental vowel.”
—Randall Jarrell (19141965)