Lokaler Ring/Modul/Freie Auflösung/Minimal/Ränge/Fakt/Beweis/Aufgabe
Es sei ein lokaler noetherscher Ring, ein endlich erzeugter -Modul und
eine minimale freie Auflösung von . Zeige, dass der Rang von gleich der -Dimension von mit ist.
Es sei ein
lokaler
noetherscher Ring,
ein
endlich erzeugter
-Modul
und
eine
minimale freie Auflösung
von . Zeige, dass der Rang von
gleich der
-Dimension
von
mit
ist.