1
$\begingroup$

This question is motivated by my most spectacular answer on MO (:

Let $A$ be a module over $\mathbb Z$. $A$ is said to be torsion-free if $na=0$ implies $n=0$ or $a=0$ for any $n\in \mathbb Z, a\in A$. $A$ is torsionless if the map $\phi: A \to A^{**}$ is injective (here ${}^*$ means $\text{Hom}_{\mathbb Z}(A,\mathbb Z)$).

If $A$ is finite, then torsion-free and torsionless are equivalent. In general, it is not hard to see that being torsionless implies torsion-free. On the other hand, $A=\mathbb Q$ is torsion-free but not torsionless since $A^*=0$. But the question and answers quoted above (which shows that for $A=\mathbb Z[x]$, $\phi$ is an isomorphism) raised the following:

Question: If $A$ is a finite $\mathbb Z[x_1,...,x_d]$-module, are being torsion-free and torsionless equivalent?

$\endgroup$

1 Answer 1

5
$\begingroup$

If by finite you mean finitely presented, then the answer is no. For instance, Let $A = \mathbb{Z}[x]/(2x-1) = \mathbb{Z}[\frac12]$. Then, like $\mathbb{Q}$, $\text{Hom}(A,\mathbb{Z}) = 0$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.