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.