Bourbaki

Bài tập 3, § 5

Đại số, X, p. 187

Cho MM là một A-môđun, nn là một số nguyên ⩾1\geqslant 1. Bây giờ chứng minh rằng các điều kiện sau là tương đương:

α) MM có một nn-biểu diễn hữu hạn (X, p. 180, bài tập 6).

β) Đối với mọi hệ quy nạp lọc (Nα)α∈I(N_\alpha)_{\alpha \in I}, đồng cấu chính tắc

lim←⁡ExtAi(M,Nα)→ExtAi(M,lim←⁡Nα) \varprojlim \mathrm{Ext}_A^i(M, N_\alpha) \to \mathrm{Ext}_A^i(M, \varprojlim N_\alpha)
là song ánh đối với i<ni < n.

γ) Đối với mọi họ (Pβ)β∈J(P_\beta)_{\beta \in J} các A-môđun phải, đồng cấu chính tắc

ToriA(∏β∈JPβ,M)→∏β∈JToriA(Pβ,M) \mathrm{Tor}_i^A\left( \prod_{\beta \in J} P_\beta, M \right) \to \prod_{\beta \in J} \mathrm{Tor}_i^A(P_\beta, M)
là song ánh đối với i<ni < n.

δ) Đối với mọi tập hợp I, đồng cấu chính tắc Ad!⊗AM→M!A_d^! \otimes_A M \to M^! là song ánh, và ta có

ToriA(Ad!,M)=0cho 0<i<n. \mathrm{Tor}_i^A(A_d^!, M) = 0 \quad \text{cho } 0 < i < n .
(Lập luận bằng quy nạp theo nn, sử dụng bài tập 18, p. 170.)

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.