Direct Sum of Groups - Equivalence of Direct Sums

Equivalence of Direct Sums

The direct sum is not unique for a group; for example, in the Klein group, V₄ = C₂ × C₂, we have that

V₄ = <(0,1)> + <(1,0)> and

V₄ = <(1,1)> + <(1,0)>.

However, it is the content of the Remak-Krull-Schmidt theorem that given a finite group G = ∑A_i = ∑B_j, where each A_i and each B_j 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.