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)?

  • $\begingroup$ @user26857 yes thank you, but obviously I would like to deal with the non-noetherian case which is not immediately clear for me $\endgroup$ – brunoh Jun 15 '17 at 21:08
  • 1
    $\begingroup$ 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. $\endgroup$ – user26857 Jun 15 '17 at 21:24
  • $\begingroup$ @user26857 why is Tor zero here ? $\endgroup$ – brunoh Jun 15 '17 at 21:33
  • $\begingroup$ Did you follow the link? $\endgroup$ – user26857 Jun 15 '17 at 21:35
  • 1
    $\begingroup$ @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 ? $\endgroup$ – brunoh Jun 15 '17 at 21:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.