Théorème de Krull–Schmidt

Résultat d'unicité pour les décompositions en somme directe : sous des hypothèses de finitude appropriées (par exemple modules de longueur finie ou modules sur un anneau semiparfait), toute décomposition d'un module en facteurs indécomposables est unique à permutation et isomorphisme des facteurs près.