Es sei ein
lokaler
noetherscher Ring,
ein
endlicher erzeugter
-Modul
und
. Dann sind für eine natürliche Zahl die folgenden Aussagen äquivalent.
- Die Tiefe von ist zumindest .
- Der Einschränkungshomomorphismus
-
ist bijektiv
(injektiv bei
)
und
-
für
- Es ist
für
.
- Es ist
für
.