On *-modules over valuation rings (Q752778): Difference between revisions

Unter einem Bewertungsring versteht der Verf. einen kommutativen Ring - nicht notwendig nullteilerfrei - mit linear geordnetem Idealverband. Das Hauptergebnis ist der Satz, daß ein endlich erzeugter *-Modul über einem Bewertungsring R zu \((R/A)^ n\), \(n\geq 0\), A Ideal von R, isomorph ist. *-Moduln sind hierbei kategorien-theoretisch durch eine gewisse Dualitätsforderung definiert.