Krull–Schmidt theorem (source code)

= Krull–Schmidt theorem
{wiki=Krull–Schmidt_theorem}

The Krull-Schmidt theorem is a fundamental result in the theory of modules and abelian categories, particularly in the context of decomposition of modules. It provides conditions under which a module can be decomposed into a direct sum of indecomposable modules, and offers a uniqueness aspect to this decomposition.