Is the field of formal Laurent series flat over the ground ring?

143 Views Asked by At

Let $\mathbb C[[x]]$ be the ring of formal power series in a single indeterminate $x$. Let $\mathbb C((x))$ be the field of formal Laurent series which can be seen as the fraction field of $\mathbb C[[x]]$. It is well known that $\mathbb C((x))$ is a flat $\mathbb C[[x]]$-module. Is $\mathbb C((x))$ flat over $\mathbb C$?

1

There are 1 best solutions below

17
On

The complex numbers are a field and all modules over fields are free, therefore flat.