关于R-模同构Φ_N: Hom_R(M,N)→Bilin_R(R×M,N)的证明疑问

嘿，我来帮你理清这两个证明卡点，咱们一步步拆解：

一、单射（Injectivity）的收尾 #

你已经走对路啦！不用纠结环元素是否可逆，直接取r=1就行——毕竟我们讨论的R是含单位元的交换环（这是模论里的默认前提，不然这个同构可能不成立），对于任意$m\in M$，因为$\Phi(f_1)=\Phi(f_2)$意味着$b_1(r,m)=b_2(r,m)$对所有$r\in R, m\in M$都成立，那当r=1时：
$$b_1(1,m)=1\cdot f_1(m)=f_1(m)$$
$$b_2(1,m)=1\cdot f_2(m)=f_2(m)$$
这就直接推出$f_1(m)=f_2(m)$对所有$m\in M$成立，所以$f_1=f_2$，单射就证完了。

二、满射（Surjectivity）的构造 #

给定任意$b\in \text{Bilin}_R(R×M,N)$，我们可以直接用b的双线性性来构造f：

• 定义f: 对任意$m\in M$，令$f(m)=b(1,m)$
• 验证f是R-模同态:
  • 加法保持：$f(m_1+m_2)=b(1,m_1+m_2)=b(1,m_1)+b(1,m_2)=f(m_1)+f(m_2)$，这是因为b对第二个变量是线性的；
  • 数乘保持：$f(r\cdot m)=b(1,r\cdot m)=r\cdot b(1,m)=r\cdot f(m)$，这里用到了b对第一个变量的线性性（双线性的定义要求$b(r_1r_2,m)=r_1b(r_2,m)$，取$r_1=r, r_2=1$就得到这个等式）。
• 验证$\Phi_N(f)=b$:
  对任意$r\in R, m\in M$，$\Phi_N(f)(r,m)=r\cdot f(m)=r\cdot b(1,m)=b(r\cdot1,m)=b(r,m)$，这完全符合b的双线性性，所以这个f刚好满足要求。

这样一来，单射和满射都证完了，$\Phi_N$就是R-模的同构啦！

备注：内容来源于stack exchange，提问作者darkside