Alternative construction of the tensor product (or: pass this secret)

The paper Tensor products and bimorphisms by B. Banachewski and E. Nelson studies tensor products (defined by classifying bimorphisms) in concrete categories. It is quite interesting that their main existence theorem gives an alternative, quite explicit construction of the tensor product of two modules (or any other algebraic structures).

If $M,N$ are $R$-modules with underlying sets $|M|,|N|$, consider $$P=\bigoplus_{m \in |M|} N \oplus \bigoplus_{n \in |N|} M$$ with the natural inclusions $i_m : N \to P$ for $m \in |M|$ and $j_n : M \to P$ for $n \in |N|$. Let $U=\langle i_m(n)-j_n(m) : (m,n) \in |M| \times |N| \rangle$. Then $P/U$ is a model for $M \otimes_R N$.

Question 1. Is there any other paper or book at all which mentions this construction? Or is it well-known?

Question 2. Is there a textbook introducing tensor products and gives this construction as a proof that it exists?

Question 3 (subjective): Isn't this construction more explicit than the usual one (which starts with the free module on $|M| \times |N|$ and mods out bilinear relations)? It only uses direct sums, generated submodules, and quotients, no free modules are needed. What do you think, do you favor it? Is it suited for the use in textbooks and classes? If you are a teacher or professor, would you consider using this construction in your class? What are your reasons?

I have found a smiliar "free module"-free construction of the module of differentials $\Omega^1_{A/R}$ for an $R$-algebra $A$: The $R$-linear map $A \otimes_R A \to A \otimes_R A$, $a \otimes b \mapsto ab \otimes 1 - b \otimes a - a \otimes b$ extends to an $A$-linear map $(A \otimes_R A) \otimes_R A \to A \otimes_R A$, when $A$ acts on the right. Let $\Omega^1_{A/R}$ be its cokernel, and $d(a)$ the image of $a \otimes 1$. The universal property is immediate. I would like to ask the same questions as above.

• This construction involves a massive direct sum, so it seems a bit misleading to say no free module is needed since that direct sum has the same flavor as a free module (another type of direct sum).
– KCd
Feb 1 '13 at 5:18
• Maybe, but it is conceptually different, and it remains true that the constructions avoid free objects (in any category where it is applied to). Feb 1 '13 at 9:57
• One downside of this nice construction of the tensor product is that it does not generalize to the case when $R$ is noncommutative, $M$ is a right $R$-module and $N$ is a left $R$-module. (Or does it?) Aug 22 '15 at 2:01
• If $M$ is a right $R$-module and $N$ is a left $R$-module, then $M \otimes_R N$ is an abelian group which may be constructed as follows: Let $A,B$ be the underlying abelian groups of $M,N$. Take the direct sum $P = \bigoplus_{a \in |A|} B \oplus \bigoplus_{b \in |B|} A$ with inclusion maps $i_a : B \to P$ and $j_b : A \to P$. Mod out the relations $i_a(b)=j_b(a)$, $i_{a \cdot r}(b)=i_a(r \cdot b)$. The quotient is $M \otimes_R N$. This is a restatement of $M \otimes_R N = (A \otimes_{\mathbb{Z}} B)/\langle a \cdot r \otimes b = a \otimes r \cdot b \rangle$, and $\mathbb{Z}$ is commutative. Sep 1 '15 at 5:53

Answer 1. The closest thing to this construction I have seen is the Eilenberg-Watts theorem, which says that for any right exact functor $F\colon R$-mod$\to Ab$ that commutes with arbitrary direct sums, we have a natural isomorphism $F(-)\cong F(R)\otimes_R-$, where $F(R)$ is given its natural structure as a right $R$-module.
The key observation to Eilenberg's original proof is that given an $R$-module $M$, the canonical module homomorphism $\bigoplus_{m\in |M|}R\twoheadrightarrow M$ is in fact an $R$-bilinear function when considered as a two-variable function, and that consequently so is the image $\bigoplus_{m\in|M|}F(R)\twoheadrightarrow F(M)$ of the map under $F$. Then a little bit of diagram chasing shows that the induced map $F(R)\otimes_R M\to F(M)$ is in fact an isomorphism.
Hence, you can obtain constructions of the tensor product $M\otimes_R N$ from any right exact, direct-sum preserving functor $F_M$ for which $F_M(R)=M$. Thus, one should not be surprised at there being a ton of different constructions of the tensor product.
It is not the result of the theorem that's relevant here, however, but rather the idea behind the proof. Adapting, it seems to boil down to the observation that $\bigoplus_{m\in|M|} N$ has $|M|_{Ab}\otimes_\mathbb Z N$ as the natural quotient by the additive relations of $|M|_{Ab}$ that $|M|_{Set}$ has forgotten, and that $\bigoplus_{n\in|N|} M$ has $M\otimes_\mathbb Z |N|_{Ab}$ as the natural quotient by the additive realtions of $|N|_{Ab}$ forgotten by $|N|_{Set}$ (the proofs of these facts should be the same as in Eilenberg's proof). Then all your construction does is realize $M\otimes_R N$ as the pushout of the two.