Modultheorie/Hauptidealbereiche/Direkte Summe zyklischer Moduln/Eindeutigkeit bis auf Isomorphie/Fakt
Erscheinungsbild
Es sei ein Hauptidealbereich und ein Modul, der sich als direkte Summe zyklischer Moduln darstellen lässt. Außerdem enthalte die Teilmenge von Primelementen zu jeder Äquivalenzklasse assoziierter Primelemente in genau einen Repräsentanten.
Dann lässt sich durch seinen Rang und seine Ulmschen Invarianten bis auf Isomorphie eindeutig darstellen als