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.