If $M$ is a right $R$-module, then $\operatorname{Hom}(R \times R,M)$ is isomorphic to $\operatorname{Hom}(R,M) \times \operatorname{Hom}(R,M)$
My questions are:
What is the isomorphism map? (I tried this $f\to(f_1,f_2)$ where $f_1(r) =f(r,0)$ and $f_2(r)=f(0,r)$. Is it correct?)
Can we make this natural group isomorphism a right $D$-module isomorphism, where $D=\operatorname{End}(R\times R)$ is set of all right $R$-homomorphisms from $R \times R$ to $R\times R$?