For a Noetherian ring $R$, the map $R\to \hat{R}$ to it's completion is flat (see e.g. Atiyah-MacDonald 10.14) but my intuition breaks down for non-Noetherian rings.
Is $k[x_1,\ldots]\to k[[x_1,\ldots]]$ a flat morphism?
Frank
- 3k
- 1
- 21
- 32