Bourbaki

Bài tập 3, § 6

Đại số, X, p. 189

Cho II là một kk-môđun đơn ánh; với mọi AA-môđun MM, ký hiệu D(M)D(M) là A-môđun phải Hom⁡k(M,I)\operatorname{Hom}_k(M, I). Cho MM và NN là hai AA-môđun trái, PP là một AA-môđun phải. Bài tập chứng minh rằng với mọi p⩾0p \geqslant 0, các kk-môđun Ext⁡Ap(P,D(M))\operatorname{Ext}_A^p(P, D(M)) và D(Tor⁡pA(P,M))D(\operatorname{Tor}_p^A(P, M)) là đẳng cấu; nếu AA là Noether trái và nếu MM là một AA-môđun sinh hữu hạn, các kk-môđun Tor⁡pA(D(N),M)\operatorname{Tor}_p^A(D(N), M) và D(Ext⁡Ap(M,N))D(\operatorname{Ext}_A^p(M, N)) là đẳng cấu (sử dụng bài tập 2, b) và bài tập 6, b), p. 188).

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.