# Tor and Flatness of finite type modules in local rings

We know that a finitely presented module over a local ring $(R,m)$ is free if and only if it is flat if and only if $$\text{Tor}_1(M, R/m)=0$$ We know that a finitely generated module is flat over the local ring $(R,m)$ if and only if it is free. Do we still have the equivalence with $\text{Tor}_1(M, R/m)=0$? If not, does one know a counterexample (obviously where $m$ is not of finite type)?

• @user26857 yes thank you, but obviously I would like to deal with the non-noetherian case which is not immediately clear for me – brunoh Jun 15 '17 at 21:08
• Let $R$ be a valuation ring with maximal ideal $m$ satisfying $m=m^2$. Set $M=R/m$. Then $\text{Tor}_1(M, R/m)=0$; see here. On the other side $M$ is not torsion-free, hence not flat. – user26857 Jun 15 '17 at 21:24
• @user26857 why is Tor zero here ? – brunoh Jun 15 '17 at 21:33
• Did you follow the link? – user26857 Jun 15 '17 at 21:35
• @user26857 now I did. It is clear. Nice counter-example! Thank you very much. Can you make it an answer then I can accept it ? – brunoh Jun 15 '17 at 21:40