Skip to main content
1 of 4
Mare
  • 26.5k
  • 6
  • 25
  • 104

A module $M$ is torsion-free if and only if $M$ is a first syzygy module (and this is also equivalent to the condition that the canonical map $M \rightarrow Hom_R(Hom_R(M,R),R)$ is a monomorphism).

But every maximal Cohen-Macaulay module is a first syzygy module, see for example chapter 1 in the book "Cohen-Macaulay modules over Cohen-Macaulay rings" of Yoshino.

Mare
  • 26.5k
  • 6
  • 25
  • 104