Spectrum of formal series ring on several variables I know that $\operatorname{Spec}\mathbb{C}[[x]]=\{(x),(0)\}$, can I generalize it for formal series on several variables? $\operatorname{Spec}\mathbb{C}[[x_1,...,x_n]]=(x_1,...,x_n)$?
Any suggestion is appreciated.

For $n\ge2$ Spec$\,\Bbb C[[x_1,\ldots,x_n]]$ has more than one point.
It is a local ring, with maximal ideal $(x_1,\ldots,x_n)$,
but has many other prime ideals, for instance
$(x_1)$, $(x_1,x_2)$ etc. It is an example of a regular local ring
of dimension $n$.
