Skip to main content
4 of 4
added 501 characters in body; edited title; added 1 characters in body
Frank
  • 3k
  • 1
  • 21
  • 32

Is $R=k[x_1,\ldots]\to k[[x_1,\ldots]]$ a flat morphism? What about $R\to\hat{R}$?

Let $k$ be a field. For $R=k[x_1,\ldots]$ with countably infinite number of variables, [due to the discussion in the comments] we have to make the following distinction between $k[[x_1,\ldots]]$ and the completion $\hat{R}$ of $R$ at the ideal $(x_1,\ldots)$: note that the former admits elements which can have infinitely many monomials of the same degree whereas the latter can not (e.g. $\sum_i x_i\in k[[x_1,\ldots]]$ but $\notin\hat{R}$). There are two questions

  1. Is the morphism $R\to\hat{R}$ flat? If $R$ were any Noetherian ring, the map $R\to \hat{R}$ to its completion is always flat (see e.g. Atiyah-MacDonald 10.14) but my intuition breaks down for non-Noetherian rings.

  2. Is the morphism $R\to k[[x_1,\ldots]]$ flat? This is answered positively by ayanta below.

Frank
  • 3k
  • 1
  • 21
  • 32