The question is:
Assume that $R$ is a (commutative) ring. Under what conditions on
$R$-modules $M,N$ does the tensor product $M\otimes_RN$ consist of
elementary tensors only? That is, every element of $M\otimes_RN$ is of
the form $m\otimes n$ for some $m\in M, n \in N$.
This question is not really motivated by anything, apart from the fact that it seems somewhat more comfortable to work with elementary tensors than consider sums of those. This is for example the case of the localization of a module over commutative ring (i.e. $M\otimes_{R}S^{-1}R$; here every element is of the form $m\otimes\frac{1}{s}$ for suitable $s\in S$), where this fact can be useful.
In the example above, $S^{-1}R$ is always flat as an $R$-module. So, does it suffice for example to assume that $N$ is a flat $R$ module? Or, more generally, that $\mathrm{Tor}_i^{R}(M,N)$ are trivial?
Thanks in advance for any help.
Best Answer
If we speak about unital rings and the definition of a module implies $1\cdot m = m$, then there is an answer for an important case where $R$ is a field. In this case, modules are vector spaces.
But it might be obvious for the original poster. What about a general commutative ring, indeed?
I follow the definition of the rank of a module as “the maximal cardinality of linearly independent subset”. One can easily check that if ranks of both $M$ and $N$ are 2 or greater, then there are tensors in $M\otimes_R N$ that can’t be expressed as elementary tensors.
Now we found a necessary condition, but it is not sufficient. There are even rank $0$ ${\mathbb Z}$-modules whose tensor product doesn’t consist of elementary tensors only, such as $$ ({\mathbb Z}_2\oplus{\mathbb Z}_2)\otimes_{\mathbb Z} ({\mathbb Z}_2\oplus{\mathbb Z}_2).$$
On the other hand, rank = 1 does not imply that the module is one-dimensional in the same sense as a vector space. There are many important cases of rank 1 modules that are not simplistic ones (such as the ring over itself, or a quotient ring over the ring). For example, rational numbers ${\mathbb Q}$ form a rank 1 ${\mathbb Z}$-module that is not finitely generated, and not one-dimensional in a reasonable sense at all. For instance, in the sense invented by me, Incnis Mrsi.
The simplest example is $$ {\mathbb Q}\otimes_{\mathbb Z} {\mathbb Q} = {\mathbb Q}. $$
Though, some “one-dimensional in a very broad sense” definition (but stronger than rank ≤ 1), that captures all such cases, might exist.