ein lokaler Ring R mit Maximalideal m, so daß die kanonische Abbildung

\begin{eqnarray}{\text{Ext}}_{R}^{m}(R/{\mathfrak{m}},R)\to \underrightarrow{\mathrm{lim}}\,{\text{Ext}}_{i}^{R}(R/{{\mathfrak{m}}}^{d},R)\end{eqnarray}