Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Could someone provide me a link to the proof of the adjointness of Hom and Tensor. I did an extensive google search but could not find anything self contained that presented the proof in full generality (or at least the generality I know). Let $R\to S$ be a ring homomorphism, let $M,N$ be $S$-modules and $Q$ an $R$-module. Then, we have $$\textrm{Hom}_R(M\otimes_S N,Q) \cong \textrm{Hom}_S(M,\textrm{Hom}_R(N,Q)$$

share|cite|improve this question
What definition of the tensor product are you working with? – Qiaochu Yuan Apr 9 '11 at 17:35
Rotman, An introduction to Homological Algebra, 2nd edition, proves it, and calls it the "adjoint isomorphism theorem". – Bruno Stonek Apr 9 '11 at 17:38

Let $f \in Hom_R(M\otimes_S N,Q)$. We define $g \in Hom_S(M,Hom_R(N,Q))$ by:

$$g(m)(n)=f(m \otimes n)$$

Similarly, if $g$ is defined, we can easily define $f$.

I'll leave it to you to prove that this map between $f$ and $g$ actually goes to the appropriate sets, but this is the basic argument. As mentioned by one of the comments, it does depend on how you define the tensor product.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.