## The Construction of the Tensor Product of Modules (Pt. I)

**Point of Post: **In this post we introduce the tensor product construction of modules, and discuss it as a functor, as well as define bimodules and explain their place in the theory.

*Motivation*

In this post we discuss one of the most important constructions on modules that I know of: the tensor product. The tensor product is perhaps one of the most pervasive objects in all of mathematics–it shows up everywhere. But what is it? Roughly, very roughly, the tensor product is to multiplication as the coproduct is to addition. By this, I mean that while the coproduct of modules has an additive feel (it forms disjoint unions of bases, it’s additive on dimensions) the tensor product has a multiplicative feel (it forms cartesian products of bases, it’s multiplicative on dimensions). In this way, where “multiplicative” like things show up, tensor products often follow. For example, if one takes a commutative ring and two groups then is related to and by tensor product. If one takes two algebraic curves and then their rational function field is related to and by tensor product. Even the polynomial ring which could be thought of, for example, as a ring on , is related to and by tensor product.

So, besides acting to relate constructions based on ‘products’ to their individual factors, what else can tensor products do for us? There is a very natural way in which the tensor construction arises. Namely, suppose for a second that we have some left -module and some superring . Is there any way to naturally turn into a left -module? Most likely, anyone reading this has seen a particular case of this query. Namely, one probably remembers being asked whether or not there was a natural way to take a real vector space and turn it into a complex vector space–of course there is, it’s the complexification. Thus not only is the ‘extension of ring’ problem interesting, it’s not even a new one! Tensor products allow us to answer this question affirmatively, there is a natural way to extend the scalars of a given module to a bigger ring (although, and for good reason, this extension may not be “faithful) . Moreover, the actual nitty-gritty construction of the tensor product, the actual model for it (opposed to the universal characterization) resembles precisely how one might go about trying to extend scalars–formally multiply, and then deal with the consequences later!

There is a last, and perhaps most important (in the sense that it really comes closest to actually defining what they are) , reason to study tensor products namely if we have two modules and it’s natural to ask about bilinear maps out of . But, considering all of our work has been about linear maps, it would be nice if we could some way interpret bilinear maps on as being linear maps on some other module, this is where the tensor product comes in. There is a fantastic expository piece written by Tim Gowers on this subject, here.

**Tensor Products**

**Note: **In this post all rings and all modules are assumed unital.

Let be some ring and be a right -module and a left -module. Then, if is an abelian group, a map is called *-biadditive *if

for all , and . We denote the set of all biadditive maps as .

Let’s take a look at some examples of biadditive maps:

If then the multiplication map is biadditive.

Another example of a bilinear map is given to us from classic linear algebra, where if is a, say finite dimensional, -space for some field then the map (where is the dual space).

There is a fairly fluid way to make, given the product of a fixed right -module by a fixed left -module, a category which consists of all biadditive maps for some group , and a morphism from to is a group homomorphism such that , with composition being just normal function composition. Proving that this really is a category, amounts basically to showing that if is biadditive then is a homomorphism , and if are biadditive maps for and for then really is a morphism . The first of these is trivial, since for all possible , and the second follows by noticing that (and of course that the composition of group homomorphisms are group homomorphisms). It’s clear then that really is a category, and imporantly, an isomorphism between and is necessarily a group isomorphism .

We can then define a *tensor product* of to be an initial object in .

Ok, fine, this is all nice and good. We have thus defined tensor product in a nice, compact way in which some things become immediately obvious. For example, from first principles we have that :

**Theorem: ***If and are tensor products of , then they are isomorphic up to unique isomorphism in . In other words, if and are two tensor product of by then there exists a unique isomorphism such that .*

In light of an above comment, this in particular implies that as abelian groups. But, while the above has the merit of being concise and precise, it should be (at least once) all laid out, in more apparent terms. In particular, unraveling the above definitions gives us that a tensor product of by is an abelian group with a biadditive map such that given any other abelian group and a biadditive map there exists a unique group homomorphism such that . In other words, all -biadditive maps out of factor through the tensor product.

**References:**

[1] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[2] Rotman, Joseph J. *Advanced Modern Algebra*. Providence, RI: American Mathematical Society, 2010. Print.

[3] Blyth, T. S. *Module Theory.* Clarendon, 1990. Print.

[4] Lang, Serge. *Algebra*. Reading, MA: Addison-Wesley Pub., 1965. Print.

[5] Grillet, Pierre A. *Abstract Algebra*. New York: Springer, 2007. Print.

[…] The Construction of the Tensor Product of Modules (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by The Construction of the Tensor Product of Modules (Pt. II) « Abstract Nonsense | January 3, 2012 |

[…] that we have defined tensor products we’d like to discuss some of the more category theoretic aspects of the construction. The […]

Pingback by Functorial Properties of the Tensor Product (Pt. I) « Abstract Nonsense | January 4, 2012 |

[…] guessed it by now (hard to guess, yes I know) a universal element is given by where is the tensor product and is the tensor map. Why is this true? Well, probably because it’s how we (implicitly) […]

Pingback by Universal Arrows and Universal Elements (Pt. II) « Abstract Nonsense | January 12, 2012 |

[…] finally can now get around to discussing a use of tensor products that I touted in my original introduction: extension of scalars. Namely, the idea is that we are handed some -module and some superring and […]

Pingback by Extension of Scalars and Change of Ring (Pt. I) « Abstract Nonsense | January 24, 2012 |

[…] that have a commutative unital ring and two -algebras and , we can then define their usual tensor product where, since is commutative, this naturally has the structure of an -module, such that . The […]

Pingback by Tensor Product of Algebras « Abstract Nonsense | February 7, 2012 |