## 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 .

[...] and in particular a zero object — the trivial -dimensional vector space . It also has a tensor product, which makes this a monoidal category, using the one-dimensional vector space itself as monoidal [...]

Pingback by Linear Algebra « The Unapologetic Mathematician | May 19, 2008 |

[...] Since we’re looking at vector spaces, which are special kinds of modules, we know that has a tensor product structure. Let’s see what this means when we pick [...]

Pingback by Tensor Products and Bases « The Unapologetic Mathematician | May 23, 2008 |

[...] Remember that the structure is just a bilinear multiplication, which is just a linear map from the tensor square to . And we know that the basis for a tensor product consists of pairs of basis elements. So we [...]

Pingback by Polynomials I « The Unapologetic Mathematician | July 28, 2008 |

[...] concepts tied to linear algebra, and before we get into that we need to revisit an old topic: tensor powers and the subspaces of symmetric and antisymmetric tensors. Specifically, how do all of these [...]

Pingback by Multilinear Functionals « The Unapologetic Mathematician | October 22, 2009 |

[...] finite groups and , and we have (left) representations of each one: and . It turns out that the tensor product naturally carries a representation of the product group . Equivalently, it carries a [...]

Pingback by Outer Tensor Products « The Unapologetic Mathematician | November 4, 2010 |

[...] the tensor product of vector spaces is old hat by now, as is using the dual space . We’ll put them together by [...]

Pingback by Tensor Bundles « The Unapologetic Mathematician | July 6, 2011 |