求助证明内射模的等价条件：R-模J是内射模当且仅当J作为子模时必为所在模的直和项

嗨，我来帮你捋顺这个反向推导的思路！你已经完美搞定了正向的证明——如果J是内射模，那它作为任何模的子模都是直和项，那咱们把重心放在反向的证明上：

反向推导：若J作为任意模的子模时都是直和项，则J是内射模 #

咱们就用你提到的Baer准则来突破！先回忆下Baer准则的核心：要证明J是内射模，只需要验证对R的任意左理想I，任何R-模同态$f: I \to J$都能延拓成同态$\psi: R \to J$。

那怎么用“J是直和项”这个条件呢？咱们一步步构造：

1. 构造辅助模：先定义模$M = J \oplus R$（这是J和R的直和，元素形式为$(j, r)$，其中$j \in J, r \in R$）。
2. 定义子模N：针对给定的同态$f: I \to J$，在M里取子模$N = { (-f(a), a) \mid a \in I }$。
3. 嵌入J到商模M/N：把J映射到$M/N$，映射方式为$j \mapsto (j, 0) + N$。这个映射是单射（验证：如果$(j,0)+N=(0,0)+N$，说明$(j,0) \in N$，那存在$a \in I$使得$j=-f(a)$且$0=a$，所以$a=0,j=0$，嵌入是单的）。

根据假设，J在$M/N$中的这个像必须是$M/N$的直和项，也就是说存在一个投影同态$\pi: M/N \to J$，满足$\pi \circ \text{嵌入} = \text{id}_J$（即把嵌入进去的J元素映射回自身）。

接下来用这个投影构造延拓的同态$\psi$：
定义$\psi: R \to J$，令$\psi(r) = \pi\left( (0, r) + N \right)$。

最后验证$\psi$是$f$的延拓：
当$a \in I$时，$(0, a) - (f(a), 0) = (-f(a), a) \in N$，所以$(0,a)+N = (f(a),0)+N$。那么$\psi(a) = \pi\left( (0,a)+N \right) = \pi\left( (f(a),0)+N \right)$，而根据投影的性质，$\pi$作用在嵌入的J元素上是恒等，所以结果就是$f(a)$。

这样我们就把$f$从I延拓到了整个R，满足Baer准则的要求，所以J是内射模！

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