## Tensor products of modules

The notion of a tensor product also extends to modules, but the generalization is not quite as straightforward as it was for direct sums.

We start with a ring and consider a right -module and a left -modules . We consider functions which take an element of each module and return an element of some abelian group . Such a function is called “middle linear” if

That is, if it is bilinear as a function of abelian groups, and if we can pull the action of from the first argument to the second and back without changing the value of the function. This condition may seem a little artificial, but I’ll motivate it a bit more later.

The tensor product is the abelian group for the universal middle linear function, just as the tensor product for abelian groups was the abelian group for the universal bilinear function. We show that such an object exists by a similar construction. Take the free abelian group generated by all elements of and write a generator as . Then impose the relations , , and . Then given any middle linear map there is a unique homomorphism of abelian groups so that .

In general, the tensor product over is just an abelian group — it eats -module structures like does. That said, like plays well with extra module structures, so does tensor product. If is a right -module and a left -module, then carries the structure of a left -module. Indeed we can define and check that this action respects the relations we imposed. Similarly, if has an additional right -module structure commuting with the action of then is a right -module, and the same goes for extra modules structures on . Unlike in the case of , no structures get “flipped over” in this process.

If is a commutative ring, then every module is both a left and a right -module. Thus, the same is true of — the tensor product eats the left module structure on and the right module structure on , but leaves the other two structures.

Now for an example that should motivate the idea of a middle-linear map. Let , , and be right -modules with an extra left -module structure on . Then is a left -module and is a right -module. We consider and and calculate the two composites

so we can use the action on either factor. This means that composition of these homomorphisms is a middle-linear function, and so defines a linear function .