9

Is a finitely generated torsion-free module over a unique factorization domain necessarily free ?

Mzoro
  • 99

2 Answers2

10

No. Consider for example the polynomial ring over a field in two variables $R=K[x,y]$. $R$ is a UFD. Now consider the ideal $I=(x,y)$ generated by $x$ and $y$. It is easy to show that $I$ is not a free $R$-module, but it certainly is finitely generated and torsion-free.

Hans
  • 3,855
3

No. What we need is that the ring is a principal ideal ring, not just a UFD. A counter example has been just given above. Another generalization of a PID is a Dedekind ring. However, a finitely generated torsion-free module over a Dedekind ring is only projective, but not necessarily free (see here.)

Dietrich Burde
  • 140,055