Noetherscher Ring/Endlicher Modul/Lokal frei/Dualer Modul/Fakt
Erscheinungsbild
Es sei ein noetherscher Ring und ein endlich erzeugter lokal freier -Modul vom Rang .
Dann ist der duale Modul ebenfalls lokal frei vom Rang .
Es sei ein
noetherscher Ring
und
ein
endlich erzeugter
lokal freier
-Modul
vom
Rang
.
Dann ist der
duale Modul
ebenfalls lokal frei vom Rang .