Bài tập 2, § 4

Cho A là một miền iđêan chính. Khi đó hai môđun con M và N của $\mathbf{A}^q$ là ảnh của nhau dưới các tự đẳng cấu của $\mathbf{A}^q$ khi và chỉ khi chúng có cùng các thừa số bất biến đối với $\mathbf{A}^q$.