Eindeutige Zerlegung von Persistenzmodulen über einem Hauptidealring

Persistenzmodule von punktweise freien und endlich erzeugten Moduln über einem Hauptidealring zerfallen genau dann in eine direkte Summe von Intervallmoduln, wenn der Kokern jeder Strukturabbildung frei ist.