Lokaler Ring/Modul/Freie Auflösung/Minimal/Ränge/Fakt

Aus Wikiversity

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 .