Modultheorie/Hauptidealbereiche/Ulmsche Invarianten/Definition

Ulmsche Invariante

Es sei ein Hauptidealbereich, ein Modul und ein Primelement.

Der Restklassenraum der -Sockel ist nach Fakt ein -Vektorraum.

Seine Dimension

heißt die

-te Ulmsche -Invariante von .

Diese Dimension muss nicht endlich sein. Daher können die Ulmschen Invarianten auch Kardinalzahlen sein.