Skip to main content
3 of 3
Link to book
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Proposition 1.2.10(a) 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 \mid p \in V(I)\}.$$