Krull–Schmidt-Satz
Definition
Eindeutigkeitsaussage für Direktsummenzerlegungen: Unter geeigneten Finitheitsannahmen (z. B. Moduln endlicher Länge oder Moduln über einem semiperfekten Ring) ist jede Zerlegung eines Moduls in indekomponierbare Summanden bis auf Reihenfolge und Isomorphie eindeutig.