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