Skip to main content
4 of 5
deleted 160 characters in body
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

This is not true in general.

The main problem is that tensor product can create torsion and co-torsion and reflexive modules have neither. (The dual of a finitely generated module is reflexive, that is, isomorphic to its own double dual).

Even if you assume that $M$ and $N$ are both reflexive over an integral domain, $M\otimes N$ may have torsion and this gives a counterexample since reflexive modules are duals. Let $M'=M^\vee$ and $N'=N^\vee$. Then $(M')^\vee\otimes (N')^\vee=M\otimes N$ has torsion while $(M'\otimes N')^\vee$ being a dual does not.

Notice that in this case the map $$(M')^\vee\otimes (N')^\vee \to (M'\otimes N')^\vee$$ is not injective.

Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155