Bài tập 32, § 1

Cho $A$ là một miền nguyên, $(a_i)_{1 \leq i \leq n}$ là một họ hữu hạn các phần tử của $A$, $a$ là iđêan $\sum_i A a_i$ và $R$ là môđun con của $A''$ sinh bởi phần tử $(a_1, \ldots, a_n)$. Chứng minh rằng, để môđun con xoắn của $A$-môđun $M = A^n/R$ là một nhân tử trực tiếp của $M$, điều kiện cần và đủ là