7
$\begingroup$

Is it true that $\mathbb{R}\otimes_\mathbb{Z} \mathbb{R}$ (the tensor product of $\mathbb{R}$ and $\mathbb{R}$ over $\mathbb{Z}$) is not isomorphic to $\mathbb{R}$ as a $\mathbb{Z}$-module? Please give proof.

It is easy to prove that the tensor product of $\mathbb{Q}$ and $\mathbb{Q}$ over $\mathbb{Z}$ is isomorphic to $\mathbb{Q}$ as $\mathbb{Z}$-modules.

1 Answers 1

11

As an abelian group, there is an isomorphism $\mathbb R\cong\mathbb Q^{(I)}$ with $I$ a set of cardinality equal to that of $\mathbb R$; here $\mathbb Q^{(I)}$ denotes a direct sum of $|I|$ copies of $\mathbb Q$, as usual. This is a consequence of the fact that $\mathbb R$ is a $\mathbb Q$-vector space, and it has a basis as such.

Since the tensor product distributes over arbitrary direct sums, $$\mathbb R\otimes_{\mathbb Z}\mathbb R\cong \mathbb Q^{(I)}\otimes_{\mathbb Z}\mathbb Q^{(I)}\cong(\mathbb Q\otimes \mathbb Q)^{(I\times I)}.$$ Now, since $I\times I$ has the cardinality of $I$ and you know that $\mathbb Q\otimes \mathbb Q\cong\mathbb Q$, we have $$(\mathbb Q\otimes \mathbb Q)^{(I\times I)}\cong\mathbb Q^{(I)}\cong\mathbb R$$.

  • 0
    treat Q[x] as Q module. you can consider any linear map for the action of x. Then Q\otimes Q[x] over Q is not isomorphic to Q. I argue as following: Q\otimes Q[x] is isomorphic to Q\otimes Q^N = (Q\otimes Q)^N which is not same as Q. Is my argument correct??2012-07-07
  • 0
    Why would $\mathbb Q\otimes_{\mathbb Q}\mathbb Q[x]$ be isomorphic to $\mathbb Q$?2012-07-07
  • 0
    How is it known that $\mathbb{Q}\otimes_\mathbb{Z}\mathbb{Q}\cong\mathbb{Q}$?2012-12-31
  • 1
    @LeonLampret, there is a more or less obvious map from one to the other; show it is an isomorphism. More generally, this follows from the fact that for an abelian group $M$, the tensor product $\mathbb Q\otimes_ZM$ is the localization of $M$ at the non-zero elements of $\mathbb Z$.2012-12-31
  • 0
    Aha, we have $a\otimes\frac{b}{k} = (\sum_{i=1}^k\frac{a}{k})\otimes\frac{b}{k} = \sum_{i=1}^k\frac{a}{k}\otimes\frac{b}{k} = \frac{a}{k}\otimes(\sum_{i=1}^k\frac{b}{k}) = \frac{a}{k}\otimes b$, hence $\mathbb{Q}\otimes_\mathbb{Z}\mathbb{Q} = \{1\otimes q; q\!\in\!\mathbb{Q}\}$. Did you mean $\mathbb{Q}\otimes_\mathbb{Z}M\cong M_{\langle\langle0\rangle\rangle}$? Is there a generalization? Perhaps $Q(R)\otimes_RM\cong M_{\langle\langle0\rangle\rangle}$ when $R$ is a domain?2012-12-31