11
$\begingroup$

I'm reading this blog post about $\mathbb{Q} \otimes_\mathbb{Z} \mathbb{Q}$ and I have two questions about it:

  1. Is a simple tensor a tensor that cannot be written as a sum of tensors?

  2. On the first line, how did they get $\frac{ad}{bd} \otimes \frac{bc}{bd} = \frac{a}{b} d \otimes b \frac{c}{d}$ ?

Many thanks for your help.

  • 0
    @KCd On page 1 [here](http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/tensorprod.pdf) in the penultimate paragraph you wrote "*finite* free modules". Do they really have to be finite to define equality? I think they could be infinite and free and we could define equality but I think I'm missing something.2012-04-23

1 Answers 1

11

A simple tensor is an element of a tensor product that can be written in the form x⊗y. It could also be written as a sum of tensors, but not all sums of tensors can be written as a single x⊗y (in general).

The chain of equalities in the blog post was incorrect. They are not equal. Here is a similar but correct chain of equalities you might find useful:

$ \frac{a}{b} \otimes \frac{c}{d} = \frac{ad}{bd} \otimes \frac{c}{d} = \frac{a}{bd} d \otimes c \frac{1}{d} = \frac{a}{bd} c \otimes d \frac{1}{d} = \frac{ac}{bd} \otimes 1$

I would be hesitant to write $\frac{ac}{bd}(1\otimes 1)$ unless you are considering $\mathbb{Q}$ as a left-$\mathbb{Q}$, right-$\mathbb{Z}$ module.

At any rate, the map $q \mapsto q \otimes 1$ is an isomorphism from $\mathbb{Q}$ to $\mathbb{Q}\otimes \mathbb{Q}$, or indeed from $\mathbb{Q}$ to $\mathbb{Q} \otimes N$ for any abelian group $\mathbb{Z} \leq N \leq \mathbb{Q}$.

  • 0
    @Pierre-Yves: yup, definitely true.2011-10-13