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:
“You see how this House of Commons has begun to verify all the ill prophecies that were made of it—low, vulgar, meddling with everything, assuming universal competency, and flattering every base passion—and sneering at everything noble refined and truly national. The direct tyranny will come on by and by, after it shall have gratified the multitude with the spoil and ruin of the old institutions of the land.”
—Samuel Taylor Coleridge (1772–1834)
“If God lived on earth, people would break his windows.”
—Jewish proverb, quoted in Claud Cockburn, Cockburn Sums Up, epigraph (1981)