4
$\begingroup$

Let $R$ be a commutative unital ring and $M$ an $R$-module.

I'm trying to prove $R \otimes_R M \cong M$ but I'm stuck. If $(R \otimes M, b)$ is the tensor product then I thought I could construct an isomorphism as follows:

Let $\pi: R \times M \to M$ be the map $rm$. Then there exists a unique linear map $l: R \otimes M \to M$ such that $l \circ b (r,m)= l(r \otimes m) =r l(1 \otimes m) = \pi(r,m) = rm$.

Now I need to show that $l$ is bijective. Surjectivity is clear. But I can't seem to show injectivity. In fact, by now I think it might not be injective. But I can't think of a different suitable map $\pi$. Then I thought perhaps I should show that $l$ has a two sided inverse but for an $m$ in $M$ I can't write down its inverse. How do I finish the proof?

  • 1
    In those kind of questions it would be nice if you precised that $M$ was an $R$-module, what was $b$, etc. Some people might be able to help you even though they might not guess what $R$ and $M$ are precisely ; tensor products can consist of rings, vector spaces, $R$-module with $R$ a ring, a unital ring, a field (i.e. vector spaces), etc...2012-06-11
  • 0
    @PatrickDaSilva You're right. I was typing it up too quickly and forgot.2012-06-11
  • 2
    FWIW, in my experience the "elementary" isomorphisms concerning tensor products (e.g. this one, the distributivity with respect to direct sum, the commutativity if $R$ is a commutative ring, etc.) are most easily established by first defining a map *out* of your tensor product with the universal property, and then defining a map the other way around and checking that it is its inverse.2012-06-11

3 Answers 3

6

For an inverse, define $M \to R \otimes M$ by $m \mapsto 1 \otimes m$. I suppose you could also show directly that the map is injective, but point remains the same: $R$ contains $1$. If $\sum r_i \otimes m_i$ is in the kernel then $\sum r_im_i = 0$, and we can write the tensor as $\sum 1 \otimes r_im_i = 1 \otimes \sum r_im_i = 1 \otimes 0 = 0$.

Another way is to show that your map $R \times M \to M$ satisfies the universal property of the tensor product of $R$ and $M$.

  • 0
    Oh noes. Of course. I'd actually thought of that but then discarded it because I thought it wasn't actually an inverse. But of course it is! Thank you very much!2012-06-11
  • 0
    No harm in waiting to see what others come up with, although I can't see much more to say, other than fleshing out the universal property argument (which is a line or two).2012-06-11
  • 0
    In your last sentence: Did you mean $R \otimes M \to M$? I think that's what I'm doing: I'm using the universal property to get a unique linear map $l$. Then I show that it's bijective hence an iso. Or do you mean something else?2012-06-12
  • 1
    @MattN I just mean that a tensor product of $R$ and $M$ over $R$ is an $R$-module $T$ together with an $R$-bilinear map $t\colon R \times M \to T$ such that any $R$-bilinear $f\colon R \times M \to N$ factors through $t$ uniquely. If you show that the map $R \times M \to M$ is such a $t$, then $M$ is (canonically) isomorphic to anything else that you're calling the tensor product.2012-06-12
  • 0
    I'm not sure how to do this. If $p: R \times M \to M$ is defined as $(r,m) \mapsto rm$ and $P$ is an $R$-modules and $\psi: R \times M \to P$ is any bilinear map, how do I show that $l: M \to P$ defined as $l(rm) = \psi (r,m)$ is unique?2012-07-24
  • 1
    @MattN. Hey Matt. I would define $l$ by $l(m) = \psi(1, m)$. Is it easier to see uniqueness now?2012-07-24
  • 0
    Hm, yes, I guess there can only be one map that equals $\psi(1, -)$, namely $\psi(1, -)$. Thank you! : )2012-07-24
  • 1
    @MattN. I guess I would say that no matter what $l$ is, for the appropriate diagram to commute we must have $l(m) = l(p(1, m)) = \psi(1, m)$.2012-07-24
4

I am following the nomenclature I learn in Dummit & Foote's Abstract Algebra.

To show that $R \otimes_R M \cong M$, let $\varphi : R \times M \to M$ defined by $\varphi(r,m) = rm$. To show that this can be extended to an $R$-module homomorphism, one can show that this map is $R$-balanced, i.e. that \begin{align} \varphi( (r_1,m) + (r_2,m) ) & = \varphi((r_1,m)) + \varphi((r_2,m)), \\\ \varphi( (r,m_1) + (r,m_2) ) & = \varphi((r,m_1)) + \varphi((r,m_2)), \\\ \varphi( (r_1 r_2,m) ) & = \varphi((r_1,r_2m)). \end{align} Once that this is done (trivially), then one can show that $\varphi : R \otimes_R M \to M$ defined by $\varphi( r \otimes m) = rm$ and extending by linearity, is well defined and is an $R$-module homomorphism.

Surjectivity is clear since $\varphi(1 \otimes m) = m$ for every $m \in M$. For injectivity, you will want to show that $\varphi$ is invertible, and $\varphi^{-1} : M \to R \otimes_R M$ would be such that $\varphi^{-1}(m) = 1 \otimes m$. Clearly $\varphi$ and $\varphi^{-1}$ are inverses of each other, so that all you need to do is to verify that $\varphi^{-1}$ is an $R$-module homomorphism. Really not that hard, since it follows from the properties of the tensor product.

Hope that helps,

4

As Dylan suggested, we can use the universal property of the tensor product to show that $R \otimes_R M \cong M$. Now this means we would like to show that the $R$ - module $M$ is equipped with a bilinear map $\pi : R \times M \rightarrow M$ such that for any bilinear map $B : M \times N \rightarrow P$, where $P$ is some other $R$ - module, there exists a unique linear map $L : M \rightarrow P$ such that

$$B = L \circ \pi.$$

This shouldn't be too hard. Say we are given an $R$ - bilinear map $B : M \times N \rightarrow P$. We can define the map $\pi : R \times M \rightarrow M$ by mapping the pair $(r,m)$ to $rm$. One easily checks that the map $\pi$ is well-defined and bilinear. Now define the map $L : M \rightarrow P$ on "elementary elements" by

$$L(m) = B(1,m)$$

and extend it additively. I said "elementary elements" because usually we define maps on elementary tensors - but there are none here so I just coined this term. Now your map $L$ is easily seen to be well-defined. For linearity, the fact that it is additive comes from definition of how we defined $L$. Let's check that it is compatible with scalar multiplication: For any $r \in R$, we have that

$$\begin{eqnarray*} L(rm) &=& B(1,rm) \\ &=& rB(1,m) \hspace{5mm} \text{(By definition of bilinearity)} \\ &=& r L(m) \end{eqnarray*} $$

completing the claim that $L$ was $R$ - linear. Now it remains to check that our map $B : R \times M \rightarrow P$ factors uniquely through the tensor product. The question whether $B$ factors through $M$ is equivalent to asking if first sending $(r,m)$ to $B(r,m)$ in $P$ is equal to first sending $(r,m) \mapsto rm$ in $M$, and then sending $rm$ in $M$ to $P$. But this is clear because

$$\begin{eqnarray*} L(rm) &=& B(1,rm) \\ &=& rB(1,m) \\ &=& B(r,m). \end{eqnarray*}$$

It is possible to do manipulations like that because $M$ is an $R$ module and the other guy in the direct product is $R$ itself.

It now remains to see why given our maps $B$ and $\pi$, there is a unique $R$ - linear map $L : M \longrightarrow P$. If you have any linear map $L$ out of $M$, in order for an appropriate diagram in question to commute we must have that $L(m) = L(\pi(1,m)) = B(1,m)$. There really is no choice for what $L$ is because it is defined by $B$. Hence there is only one $L$ in question for a given bilinear map $B: R \times M \longrightarrow P$ and uniqueness is proven.

We have shown that the $R$ - module $M$ satisfies the universal property of the tensor product $R \otimes_R M$, and hence must be isomorphic to $M$.

$$\hspace{6in} \square$$

  • 1
    I think you need to say one more thing about the uniqueness. To me the point is that $m = \pi(1, m)$, so for commutativity of the right diagram we need $L(m) = L(\pi(1, m)) = B(1, m)$. So there's no choice in the definition of $L$.2012-06-12
  • 0
    @DylanMoreland I have edited my answer, is that paragraph on uniqueness a little better now?2012-06-12
  • 0
    Looks good!${}$2012-06-14
  • 0
    @DylanMoreland Thanks :-)2012-06-14