Commutative Algebra with a View Toward Algebraic Geometry
《Commutative Algebra with a View Toward Algebraic Geometry》 · 第 649 页 · Appendix 3，Section 11.2
For an ideal $I\subseteq R$, set $\Gamma_I(M)=\{m\in M\mid I^pm=0\text{ for }p\gg0\}$. The local cohomology functors $H_I^i$ are the right derived functors $R^i\Gamma_I$; equivalently, $H_I^i(M)$ is the $i$th homology obtained by applying $\Gamma_I$ to an injective resolution of $M$.