Bài tập 1, § 4

Chứng minh rằng trong mệnh đề của Mệnh đề 2, điều kiện (a) có thể được thay thế bởi: (a') $\operatorname{Tor}_1^R(\rho_*(E), F) = 0$ với mọi môđun $S$-phải đơn sinh $E$. (Để chứng minh rằng (a') suy ra (a), trước hết xét trường hợp $E$ được sinh bởi $n$ phần tử và lập luận bằng quy nạp theo $n$.)