Krull–Schmidt theorem (source code)

= Krull–Schmidt theorem
{c}
{wiki}

The Krull–Schmidt theorem says that a finite-length module decomposes as a finite direct sum of indecomposable modules, uniquely up to permutation and isomorphism of the summands.