Bruns-Herzog, Proposition 1.2.10.
Let R be a Noetherian ring, I an ideal of R, and M a
finite R_module. Then
$$grade (I,M)= inf \{depth M_p | p \in V(I)\}.$$
user1399
- 63
- 3