Direct Sum of Groups

Direct Sum Of Groups

In mathematics, a group G is called the direct sum of a set of subgroups {Hi} if

  • each Hi is a normal subgroup of G
  • each distinct pair of subgroups has trivial intersection, and
  • G = <{Hi}>; in other words, G is generated by the subgroups {Hi}.

If G is the direct sum of subgroups H and K, then we write G = H + K; if G is the direct sum of a set of subgroups {Hi}, we often write G = ∑Hi. Loosely speaking, a direct sum is isomorphic to a weak direct product of subgroups.

In abstract algebra, this method of construction can be generalized to direct sums of vector spaces, modules, and other structures; see the article direct sum of modules for more information.

This notation is commutative; so that in the case of the direct sum of two subgroups, G = H + K = K + H. It is also associative in the sense that if G = H + K, and K = L + M, then G = H + (L + M) = H + L + M.

A group which can be expressed as a direct sum of non-trivial subgroups is called decomposable; otherwise it is called indecomposable.

If G = H + K, then it can be proven that:

  • for all h in H, k in K, we have that h*k = k*h
  • for all g in G, there exists unique h in H, k in K such that g = h*k
  • There is a cancellation of the sum in a quotient; so that (H + K)/K is isomorphic to H

The above assertions can be generalized to the case of G = ∑Hi, where {Hi} is a finite set of subgroups.

  • if ij, then for all hi in Hi, hj in Hj, we have that hi * hj = hj * hi
  • for each g in G, there unique set of {hi in Hi} such that
g = h1*h2* ... * hi * ... * hn
  • There is a cancellation of the sum in a quotient; so that ((∑Hi) + K)/K is isomorphic to ∑Hi

Note the similarity with the direct product, where each g can be expressed uniquely as

g = (h1,h2, ..., hi, ..., hn)

Since hi * hj = hj * hi for all ij, it follows that multiplication of elements in a direct sum is isomorphic to multiplication of the corresponding elements in the direct product; thus for finite sets of subgroups, ∑Hi is isomorphic to the direct product ×{Hi}.

Read more about Direct Sum Of Groups:  Equivalence of Direct Sums, Generalization To Sums Over Infinite Sets

Famous quotes containing the words direct, sum and/or groups:

    However strongly they resist it, our kids have to learn that as adults we need the companionship and love of other adults. The more direct we are about our needs, the easier it may be for our children to accept those needs. Their jealousy may come from a fear that if we adults love each other we might not have any left for them. We have to let them know that it’s a different kind of love.
    —Ruth Davidson Bell. Ourselves and Our Children, by Boston Women’s Health Book Collective, ch. 3 (1978)

    Never is a historic deed already completed when it is done but always only when it is handed down to posterity. What we call “history” by no means represents the sum total of all significant deeds.... World history ... only comprises that tiny lighted sector which chanced to be placed in the spotlight by poetic or scholarly depictions.
    Stefan Zweig (18811942)

    As in political revolutions, so in paradigm choice—there is no standard higher than the assent of the relevant community. To discover how scientific revolutions are effected, we shall therefore have to examine not only the impact of nature and of logic, but also the techniques of persuasive argumentation effective within the quite special groups that constitute the community of scientists.
    Thomas S. Kuhn (b. 1922)