Let $R$ be a ring (commutative and with unity), $S\subset R$ be a subring. Consider three $R$-modules $M$, $N$ and $Z$.
Let $\operatorname{Hom}_R(M\otimes_RN;Z)$ be the R-module of $R$-bilinear maps $\phi:M\otimes_R N\rightarrow Z$.
Let $\operatorname{Hom}_S(M_S\otimes_SN_S;Z_S)$ be the $S$-module of $S$-bilinear maps $\varphi:M_S \otimes_S N_S \rightarrow Z_S$, where $M_S$ denotes scalar restriction.
-There always exist a canonical way to take "scalar restriction" of a $R$-bilinear maps? More precisely, there exists some canonical $S$-linear map $$\operatorname{Hom}_R(M\otimes_RN;Z)_S \rightarrow \operatorname{Hom}_S(M_S\otimes_SN_S;Z_S) ?$$
- if not, what are the most general situations in which such canonical map exists?
P.S: we clearly have a function $$ \operatorname{Hom}_R(M\otimes_RN;Z) \rightarrow \operatorname{Hom}_S((M\otimes_R N)_S;Z_S) $$ arising from the fact that scalar restriction is functorial. Thus, my main question should be:
- under which conditions there is a canonical map $$ M_S\otimes_S N_S \rightarrow (M\otimes_R N)_S? $$
- In other words, under which conditons the scalar restriction functor $\mathbf{Mod}_R\rightarrow \mathbf{Mod}_S$ is a lax monoidal functor?
P.S: Since scalar restriction is a right-adjoint to extension of scalars, by very fact that in an adjunction if the left-adjoint is strong monoidal then the right-ajoint is lax monoidal (see here), it is suffices to prove that scalar extension $\mathbf{Mod}_S\rightarrow \mathbf{Mod}_R$ is strong monoidal. Since we are in commutative rings, the tensor product is commutative up to isomorphisms and it seems to me that this is enough to ensure that scalar extension is strong monoidal. Thus, a priori I have a proof of the desired fact in my mind. It happens that looking at the first paragraph of page 382 of this book, the author adds a strong requirement on the rings $R$ and $S$ in order to take the restriction of a bilinear map. This make me a bit confusing and insecure with my arguments.
If this is obvious an I'm forgetting something, I'm sorry and just let me know.
Thanks.
Edit: By "canonical" I meant some map arising from a natural transforation.