Lemma 86.2.1. Let $A$ be a ring and let $I \subset A$ be a finitely generated ideal. The functor

$\mathcal{C} \longrightarrow \mathcal{C}',\quad (B_ n) \longmapsto B = \mathop{\mathrm{lim}}\nolimits B_ n$

is a quasi-inverse to (86.2.0.3). The completions $A[x_1, \ldots , x_ r]^\wedge$ are in $\mathcal{C}'$ and any object of $\mathcal{C}'$ is of the form

$B = A[x_1, \ldots , x_ r]^\wedge / J$

for some ideal $J \subset A[x_1, \ldots , x_ r]^\wedge$.

Proof. Let $(B_ n)$ be an object of $\mathcal{C}$. By Algebra, Lemma 10.98.2 we see that $B = \mathop{\mathrm{lim}}\nolimits B_ n$ is $I$-adically complete and $B/I^ nB = B_ n$. Hence we see that $B$ is an object of $\mathcal{C}'$ and that we can recover the object $(B_ n)$ by taking the quotients. Conversely, if $B$ is an object of $\mathcal{C}'$, then $B = \mathop{\mathrm{lim}}\nolimits B/I^ nB$ by assumption. Thus $B \mapsto (B/I^ nB)$ is a quasi-inverse to the functor of the lemma.

Since $A[x_1, \ldots , x_ r]^\wedge = \mathop{\mathrm{lim}}\nolimits A_ n[x_1, \ldots , x_ r]$ it is an object of $\mathcal{C}'$ by the first statement of the lemma. Finally, let $B$ be an object of $\mathcal{C}'$. Choose $b_1, \ldots , b_ r \in B$ whose images in $B/IB$ generate $B/IB$ as an algebra over $A/I$. Since $B$ is $I$-adically complete, the $A$-algebra map $A[x_1, \ldots , x_ r] \to B$, $x_ i \mapsto b_ i$ extends to an $A$-algebra map $A[x_1, \ldots , x_ r]^\wedge \to B$. To finish the proof we have to show this map is surjective which follows from Algebra, Lemma 10.96.1 as our map $A[x_1, \ldots , x_ r] \to B$ is surjective modulo $I$ and as $B = B^\wedge$. $\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).