习题 2, § 6

令 $(E_\alpha, f_{\beta\alpha})$ 为 A-模的直接系统。证明 A-模 $\lim \rightarrow E_\alpha$ 与直和 $\bigoplus_\alpha E_\alpha = F$ 与子模 N 的商（由元素与形式 $j_\beta(f_{\beta\alpha}(x_\alpha)) - j_\alpha(x_\alpha)$ 生成的商）自然同构，对于每个有序对 $(\alpha, \beta)$，使得$\alpha \leq \beta$ 和所有$x_\alpha \in E_\alpha$，$j_\alpha : E_\alpha \to F$ 为典范嵌入。