8
$\begingroup$

Let $M$ be an $R[x]$-module, such that $M$ is finitely generated as an $R$-module.

Does there exist one such $M$, such that $M\otimes_{R[x]}R[x,x^{-1}]$ is not finitely generated as an $R$-module?

$\endgroup$

1 Answer 1

16
$\begingroup$

Let $R=\mathbb{Z}$ and let $M=\mathbb{Z}$ with $x$ acting by $2$. Then $M\otimes_{R[x]}R[x,x^{-1}]\cong \mathbb{Z}[1/2]$ is not finitely generated over $R$.

$\endgroup$

You must log in to answer this question.