Skip to main content
2 of 3
Added a link, minor reformatting.
Alex M.
  • 5.4k
  • 11
  • 35
  • 52

Proposition 1.2.10 in "Cohen-Macaulay Rings" by W. Bruns, H.J. Herzog: if $R$ is a Noetherian ring, $I$ an ideal of $R$, and $M$ a finite $R$-module, then $$\operatorname{grade} (I,M)= \inf \{\operatorname{depth} M_p | p \in V(I)\}.$$