Lemma 61.20.1. Let $\mathcal{C}$ be a site. Let $\Lambda$ be a Noetherian ring and let $I \subset \Lambda$ be an ideal. The left adjoint to the inclusion functor $D_{comp}(\mathcal{C}, \Lambda ) \to D(\mathcal{C}, \Lambda )$ of Algebraic and Formal Geometry, Proposition 52.6.12 sends $K$ to

$K^\wedge = R\mathop{\mathrm{lim}}\nolimits (K \otimes _\Lambda ^\mathbf {L} \underline{\Lambda /I^ n})$

In particular, $K$ is derived complete if and only if $K = R\mathop{\mathrm{lim}}\nolimits (K \otimes _\Lambda ^\mathbf {L} \underline{\Lambda /I^ n})$.

Proof. Choose generators $f_1, \ldots , f_ r$ of $I$. By Algebraic and Formal Geometry, Lemma 52.6.9 we have

$K^\wedge = R\mathop{\mathrm{lim}}\nolimits (K \otimes _\Lambda ^\mathbf {L} \underline{K_ n})$

where $K_ n = K(\Lambda , f_1^ n, \ldots , f_ r^ n)$. In More on Algebra, Lemma 15.94.1 we have seen that the pro-systems $\{ K_ n\}$ and $\{ \Lambda /I^ n\}$ of $D(\Lambda )$ are isomorphic. Thus the lemma follows. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).