## Tensor Products Naturally Commute with Direct Limits

**Point of Post: **In this post we give a proof that, roughly, , and moreover we show that this isomorphism is natural.

*Motivation*

In this post we begin the long succession of instances where the adjointness of Hom and tensor in conjunction with Yoneda’s lemma will be useful. In particular, we will show that tensor and direct limits naturally commute, a fact that shall be supremely useful in calculations involving direct limits (most prominently, coproducts).

*Tensor Commutes with Direct Limits*

Suppose that we have a directed system of right -bimodules over some directed set where, considering our recent discussion of directed systems as functors, we can consider this as a functor . Suppose we then had some -bimodule . Then, post-composing with the tensor functor gives us a functor which, upon inspection, looks like . What we’d now like to prove is that, as -bimodules, is isomorphic to (where we are taking the direct limit over two different directed systems). The idea will go as follows. We’ll basically show using the adjointness of Hom and tensor and previous results on the commuting of Hom and direct limits that the covariant Hom functors associated to and are naturally isomorphic, and then appeal to Yoneda’s lemma to conclude that they are naturally isomorphic.

**Theorem: ***Let be a directed system of -bimodules and an -bimodule. Then, if , denoted by , is the above discussed directed system of -bimodules, then *

**Proof: **We note that for any we have the following set of natural isomorphism

and so by Yoneda’s lemma we may conclude that as desired.

Using the exact same method and the analogous definitions one can prove that

**Theorem:*** Let be a directed system of left -bimodules and a right -bimodule. Then, if one turns into a direct system in the obvious way then one has that .*

Ok, so the above is cool, for sure, but we always need to keep a little grounded. So, what does the above actually tell us for some particular direct limits? In particular, the most important direct limit, coproducts. To figure out what the above says about coproducts let’s simplify things and suppose we are dealing with some commutative unital ring . Then, if we consider a set of -modules (thought of as -bimodules in the obvious way) and an -module (same thing) then the above tells us that as -modules we have that

but what does this isomorphism look like? In particular what do the simple tensors on the left hand side map to? It’s a little hard to see this, given all the abstract nonsense, but one can prove that under the (unique!) isomorphism as described above one has that

which is exactly what we’d expect.

Note that the above completely tells us how tensoring modules with free modules works. Indeed, if we consider to be an -bimodule in the obvious way (i.e. that ) then we have the following theorem:

**Theorem: ***Let be an -bimodule, then as -bimodules in such a way that **.*

**Proof: **We know that

where, following how simple tensors move, we have that

Obviously the same thing holds for on the right.

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

[…] lot less. For example, suppose we wanted to compute where . If and then, using the commuting of tensor and direct products, we have […]

Pingback by Using Partial Exactness to Compute Things (Pt. II) « Abstract Nonsense | January 20, 2012 |

[…] happens when we extend scalars on free modules. In particular, we merely note that if then by previous discussion we know that as left -modules. Or to be more […]

Pingback by Extension of Scalars(Pt. II) « Abstract Nonsense | January 25, 2012 |

[…] follows immediately from our earlier proof that, in general, . But, what’d we really like is to be able to actually find a basis for […]

Pingback by Tensor Product of Free Modules « Abstract Nonsense | January 25, 2012 |

[…] exact. But, we know that in such a way that the following diagram […]

Pingback by Flat Modules (Pt. I) « Abstract Nonsense | May 4, 2012 |

[…] particular, we know that if is free, then by virtute of the fact that the tensor product commutes with coproducts we know that is free. But, it is […]

Pingback by The Tensor Algebra and Exterior Algebra (Pt. IV) « Abstract Nonsense | May 10, 2012 |