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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0AJP. Beware of the difference between the letter 'O' and the digit '0'.