## Tensor Product of Free Modules

**Point of Post: **In this post we discuss more particularly about the tensor product of free modules, and some of the consequences of this.

*Motivation*

We have proved theorems before to the effect that the tensor product of free modules are free. In this post we’d like to solidify this by discussing precisely how, given bases for two free modules, construct a basis on their tensor product. This will enable us to give an explicit example of elements of a tensor product which are not simple tensors.

*Tensor Product of Free Modules*

Let us first get out of way the obvious: tensor products of free modules are free. In particular, we have the following little gem:

**Theorem: ***Let be a unital ring. Then, as left -modules.*

This 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 such a tensor product given bases for the individual factors. In particular, we have the following:

**Theorem: ***Let and be free left -modules with bases and respectively. Then, is a basis for .*

**Proof: **We have the following chain of isomorphisms

with

and so the inverse of the composition of these isomorphisms is an isomorphism taking to . But, is a basis for and since bases are preserved under isomorphism, the conclusion follows.

With this theorem we can finally show that not all tensors are simple. Indeed, consider the very simple case of . We have the canonical basis for , what we claim is that is not a simple tensor in . Indeed, suppose for a second that it was, then we’d have that

But, we know that is a basis for so that this equality implies that and . Clearly this cannot happen.

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

[...] it’s a ring map emanating from a field!) and since is an -map this implies that (since we know ) , but since the reverse inequality holds (by above discussion) we may conclude that as desired. [...]

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