There are polynomial rings in infinitely many indeterminates. Does it make sense to talk about power series rings in infinitely many indeterminates. If not, what do we get when we complete the polynomial ring $k[x_1,...]$ with respect to the maximal ideal $(x_1,...)$.
Are there formal power series ring in infinitely many indeterminates
2
$\begingroup$
commutative-algebra
-
0You can certainly define a ring structure on power series in infinitely many variables, although I'm not sure if it would be the completion of $k[x_1,\ldots]$ wrt $(x_1,\ldots)$. – 2012-03-09
-
2That completion has only series with a finite number if terms of each degree. – 2012-03-09
-
3You get two different power series rings depending on whether the individual terms of a power series are allowed to contain infinitely many indeterminates. – 2012-03-09