The Stacks project

110.8 Noncomplete quotient

Let $k$ be a field. Let

\[ R = k[t, z_1, z_2, z_3, \ldots , w_1, w_2, w_3, \ldots , x]/ (z_ it - x^ iw_ i, z_ i w_ j) \]

Note that in particular $z_ iz_ jt = 0$ in this ring. Any element $f$ of $R$ can be uniquely written as a finite sum

\[ f = \sum \nolimits _{i = 0, \ldots , d} f_ i x^ i \]

where each $f_ i \in k[t, z_ i, w_ j]$ has no terms involving the products $z_ it$ or $z_ iw_ j$. Moreover, if $f$ is written in this way, then $f \in (x^ n)$ if and only if $f_ i = 0$ for $i < n$. So $x$ is a nonzerodivisor and $\bigcap (x^ n) = 0$. Let $R^\wedge $ be the completion of $R$ with respect to the ideal $(x)$. Note that $R^\wedge $ is $(x)$-adically complete, see Algebra, Lemma 10.96.3. By the above we see that an element of $R^\wedge $ can be uniquely written as an infinite sum

\[ f = \sum \nolimits _{i = 0}^\infty f_ i x^ i \]

where each $f_ i \in k[t, z_ i, w_ j]$ has no terms involving the products $z_ it$ or $z_ iw_ j$. Consider the element

\[ f = \sum \nolimits _{i = 1}^\infty x^ i w_ i = xw_1 + x^2w_2 + x^3w_3 + \ldots \]

i.e., we have $f_ n = w_ n$. Note that $f \in (t , x^ n)$ for every $n$ because $x^ mw_ m \in (t)$ for all $m$. We claim that $f \not\in (t)$. To prove this assume that $tg = f$ where $g = \sum g_ lx^ l$ in canonical form as above. Since $tz_ iz_ j = 0$ we may as well assume that none of the $g_ l$ have terms involving the products $z_ iz_ j$. Examining the process to get $tg$ in canonical form we see the following: Given any term $c m$ of $g_ l$ where $c \in k$ and $m$ is a monomial in $t, z_ i, w_ j$ and we make the following replacement

  1. if the monomial $m$ does not involve any $z_ i$, then $ctm$ is a term of $f_ l$, and

  2. if the monomial $m$ does involve a $z_ i$ then it is equal to $m = z_ i$ and we see that $cw_ i$ is term of $f_{l + i}$.

Since $g_0$ is a polynomial only finitely many of the variables $z_ i$ occur in it. Pick $n$ such that $z_ n$ does not occur in $g_0$. Then the rules above show that $w_ n$ does not occur in $f_ n$ which is a contradiction. It follows that $R^\wedge /(t)$ is not complete, see Algebra, Lemma 10.96.10.

Lemma 110.8.1. There exists a ring $R$ complete with respect to a principal ideal $I$ and a principal ideal $J$ such that $R/J$ is not $I$-adically complete.

Proof. See discussion above. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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.

All contributions are licensed under the GNU Free Documentation License.

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 05JD. Beware of the difference between the letter 'O' and the digit '0'.