Find modules $M,N$ and a ring $A$ s.t. $M\otimes_A N\not \cong M\otimes_{\mathbb{Z}}N$.
Non-isomorphic tensorproducts
2
$\begingroup$
modules
-
6Do I *have* to? I'm only auditing the course! – 2010-11-17
2 Answers
4
Well, $A\otimes_A A$ is certainly isomorphic to $A$. So all we need is a ring for which $A\otimes_{\mathbb{Z}} A$ isn't isomorphic to $A$. An obvious choice is a ring like the Gaussian integers $A=\mathbb{Z}[i]$ which is free of rank $2$ as a $\mathbb{Z}$-module, for then $A\otimes_{\mathbb{Z}} A$ is free of rank $4$ as a $\mathbb{Z}$-module.
1
Let $A=\mathbb Z[X]$ the polynomial ring, let $M=\mathbb Z[X,X^{-1}]$ be the ring of Laurent polynomials views as an $A$ module, and let $N=A/(X)$. As $\mathbb Z$-modules, both $M$ and $N$ are free $\mathbb Z$-modules. You can easily check that $M\otimes_AN=0$ yet $M\otimes_\mathbb ZN\neq0$.
-
1OK. I'm relative new on tensor products. Why $M\otimes_AN=0\ne M\otimes_\mathbb{Z}N$? – 2010-11-17