# complete ring as union of finite type algebras

Hi,

why the completion of a local ring $R$ can be written as an increasing union of $R$-algebras of finite type?

-
Any $R$-algebra is the increasing union of its finite type $R$-subalgebras. (After all, if $x$ is an element of the $R$-algebra, then the $R$-subalgebra generated by $x$ is of finite type, and contains $x$.) –  Emerton Feb 23 '11 at 15:15

EDIT: Given a ring $R$ that is an algebra over a base ring it is always a filtering union of finite type algebras. Take a system of generators of $R$ over the base ring. The family of finite subsets of this system provides a collection of finite type subalgebras of $R$ whose filtered union is $R$.
@Leo Alonso in the case $R=k[x]$ completed along $I=(x)$ what do you get as these algebras? –  unknown Feb 23 '11 at 11:48
I was thinking on the description $\hat{R}=k[[x]]=k[x][[T]]/\langle T−x \rangle$. So the stages are $R_i:=k[x,T]/\langle T^i,T−x \rangle = k[x]/\langle x^i\rangle$, as usual, but this is not an increasing union... Can you provide more detail to your question? I still think that the metric is the key. –  Leo Alonso Feb 23 '11 at 12:03
Perhaps the paper you mention refers to the fact that $Spf(\hat{R})$ is the direct limit (or increasing union) of the finite type schemes $Spec(R/m^i)$, provided that $R$ is finite type over some base scheme ($m$ denotes the maximal ideal of $R$). –  Leo Alonso Feb 23 '11 at 15:08