Modultheorie/Hauptidealbereiche/Ulmsche Invarianten/Definition
Erscheinungsbild
Ulmsche Invariante
Es sei ein Hauptidealbereich, ein Modul und ein Primelement.
Der Restklassenraum der -Sockel ist nach Fakt ein -Vektorraum.
Seine Dimension
-te Ulmsche -Invariante von .
Diese Dimension muss nicht endlich sein. Daher können die Ulmschen Invarianten auch Kardinalzahlen sein.