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

Let $\phi: A \rightarrow B$ be a ring homomorphism. Let $M$ be an $A$-module. We can think $B$ as $A$-module via the map $\phi$ defined by $\phi:A\times B \rightarrow B$, $(a,b)\mapsto\phi(a)\cdot b$.

So we can construct the $A$-module $M \otimes_A B$. Furthermore, $M \otimes_AB$ can be thought of as a $B$-module via $B\times (B \otimes _AM)\rightarrow (B\otimes _A M)$ defined by $(b',(b\otimes m))\mapsto b'b\otimes m$.

Question: Why is $\operatorname{Hom}_A(M,N)=\operatorname{Hom}_B(B\otimes_A M,N)$ where $N$ is an $B$-module and in the left hand side $N$ is considered as a $A$-module as described above?

share|cite|improve this question
I suppose that $N$ is a $B$-module, that can be considered also an $A$-module via $(a,n)\mapsto\phi(a)n$. – egreg Jan 15 '14 at 15:38
I agree with egreg. Actually $N$ is a $B$-module, and if $N|_A$ denotes the underlying $A$-module, then the claim is $\hom_A(M,N|_A) \cong \hom_B(B \otimes_A M,N)$, i.e. that $B \otimes_A - $ is left adjoint to $(-)|_A$. – Martin Brandenburg Jan 15 '14 at 15:39
Thanx. have edited the question. – Babai Jan 15 '14 at 17:12

Hint: Given an $A$-linear map $f : M \to N$, define $B \times M \to N$ by $(b,m) \mapsto b \, f(m)$. Check that this is $A$-bilinear, hence lifts to an $A$-linear map $h : B \otimes_A M \to N$ characterized by $h(b \otimes m)= b \, f(m)$. Check that it is actually $B$-linear. Conversely, given a $B$-linear map $h : B \otimes_A M \to N$, check that $f : M \to N$, $m \mapsto h(1 \otimes m)$ is $A$-linear. Finally, prove that these constructions are inverse to each other.

share|cite|improve this answer
I tried exactly the same thing. I am stuck somewhere in checking of the A-linearity of the second map. I will try it again. – Babai Jan 15 '14 at 17:16
This is clear since $m \mapsto 1 \otimes m$ is $A$-linear by the very definition of the tensor product (and bilinear maps) and $h$ is $A$-linear (since it is $B$-linear). – Martin Brandenburg Jan 15 '14 at 18:41

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.