习题 12, § 2

(a) 为了使A-模的乘积$\prod_{\lambda \in L} E_\lambda$是单射的（习题 11），$E_\lambda$中的每一个都是单射的是必要且充分的。

(b) 设 K 为交换域、L 无限集合，A 乘积环 $K^L$。证明 A 是单射 A-模（使用 (a)），但 $K^L$ 的因子的 A 直和的理想 $a$（规范地与 A 的理想一致）不是单射 A-模。