Non-finitely generated, non-divisible, non-projective, flat module, over a polynomial ring (1) Let $R=k[x_1,\ldots,x_n]$.
I wish to find an example of a non-finitely generated, non-divisible, non-projective, flat $R$-module.
Notice that $k(x_1,\ldots,x_n)$ is NOT an example of what I am looking for, since it is divisible.
(2) More generally, same question but now with $R=$ any integral domain.


*

*Please read my pervious question which motivated me to ask the current question.


Let $R=k[x]$ and $M=k[x^{\pm1}]$ viewed as an $R$-module in the obvious way. One can easily check that it is not finitely generated, not divisible and it is flat because it is a localization. To check that it is not projective, consider the map $\phi:\bigoplus_{n\in\mathbb Z}Re_n\to M$ from the free $R$-module with basis $\{e_n:n\in\mathbb Z\}$ to $M$ such that $\phi(e_n)=x^n$ for all integers $n$. The map is clearlyu surjective. If $M$ were projective, there would be a section $s:M\to \bigoplus_{n\in\mathbb Z}Re_n$, and in particular an injective homomorphism. Now the image of $1\in M$ under $s$ has to be infinitely divisible by $x$, and there are no such elements in the free module.
One can do exactly the same with more variables.
