Equivalence of Direct Sums
The direct sum is not unique for a group; for example, in the Klein group, V4 = C2 × C2, we have that
- V4 = <(0,1)> + <(1,0)> and
- V4 = <(1,1)> + <(1,0)>.
However, it is the content of the Remak-Krull-Schmidt theorem that given a finite group G = ∑Ai = ∑Bj, where each Ai and each Bj is non-trivial and indecomposable, then the two sums are equivalent up to reordering and isomorphism of the subgroups involved.
The Remak-Krull-Schmidt theorem fails for infinite groups; so in the case of infinite G = H + K = L + M, even when all subgroups are non-trivial and indecomposable, we cannot then assume that H is isomorphic to either L or M.
Read more about this topic: Direct Sum Of Groups
Famous quotes containing the words direct and/or sums:
“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (1838–1918)
“At Timon’s villalet us pass a day,
Where all cry out,What sums are thrown away!’”
—Alexander Pope (1688–1744)