1
$\begingroup$

I am not sure this is standard terminology but the notes I am using has a mapping defined as follows. In particular I need help with how to write out the definition in some related exercises.

Let $R$ be a commutative ring with identity. Let $M,N,P$ be $R$ modules and let $\theta : Hom_A (M,N) \otimes_R P \rightarrow Hom_A (M,N \otimes_R P)$ be the canonical mapping.

Is the canonical mapping theta given by $(f,y) \rightarrow (x \rightarrow (x \rightarrow f(x \otimes y))$ for $f \in Hom_A (M,N)$ and $ y \in P$?

  • 1
    The rule you have given does not make sense for a map $Hom_A (M,N) \otimes_R P \rightarrow Hom_A (M,N \otimes_R P)$2011-09-30
  • 0
    Thanks for your response. Is there some well defined map that is similar to the one above that you are aware of could be a possible candidate in this situation?2011-09-30
  • 1
    Dear user7980: I think there is a typo. Please check the display. Also you should try to define a **linear** map from a tensor product by a certain **bilinear** map.2011-09-30
  • 0
    Thanks for the help. I think the problem was the map was missing a parenthesis at $f(x \otimes y)$.2011-09-30
  • 1
    I think you mean the linear map induced by the bilinear map $(f,y) \mapsto (x \mapsto f(x) \otimes y)$. (See Mariano's answer.)2011-09-30

1 Answers 1

2

There is a map $$\theta : Hom_A (M,N) \otimes_R P \rightarrow Hom_A (M,N \otimes_R P)$$ such that $$\theta(f\otimes p)(m)=f(m)\otimes p$$ for all $f\in Hom_A(M,N)$, all $p\in P$ and all $m\in M$. This is the map one usually refers to as the canonical map in this context.

It makes for a good exercise to check that there is indeed such a map, by the way!