Krull–Schmidt Theorem

A uniqueness result for direct-sum decompositions: under suitable finiteness hypotheses (for example modules of finite length or modules over a semiperfect ring), any decomposition of a module into indecomposable summands is unique up to ordering and isomorphism of the summands.