Bourbaki

Bài tập 7, § 8

Đại số, X, p. 202

Cho M là một A-môđun. chiều phẳng của M được gọi là, và được ký hiệu bởi dplA(M)\mathrm{dpl}_A(M), cận dưới lớn nhất trong Z‾\overline{\mathbf{Z}} của các độ dài của các giải phẳng của M. a) Nếu n là một số nguyên ⩾0\geqslant 0, hãy chứng minh rằng các điều kiện sau là tương đương: α) dplA(M)⩽n\mathrm{dpl}_A(M) \leqslant n. β) TorrA(N,M)=0\mathrm{Tor}_r^A(N, M) = 0 với mọi A-môđun phải N và mọi số nguyên r>nr > n. γ) Torn+1A(N,M)=0\mathrm{Tor}_{n+1}^A(N, M) = 0 với mọi A-môđun phải N. δ) Torn+1A(N,M)=0\mathrm{Tor}_{n+1}^A(N, M) = 0 với mọi A-môđun phải đơn sinh N. ε) Với mọi dãy khớp 0→K→Pn−1→⋯→P0→M→00 \to K \to P_{n-1} \to \cdots \to P_0 \to M \to 0 trong đó các PkP_k là phẳng, K là phẳng. b) Hãy chứng minh rằng dplA(M)⩽dpA(M)\mathrm{dpl}_A(M) \leqslant \mathrm{dp}_A(M); có đẳng thức nếu A là Noether và M là hữu hạn kiểu. c) Cho (Nα)α∈I(N_\alpha)_{\alpha \in I} là một hệ quy nạp của các A-môđun và N là giới hạn quy nạp của nó. Hãy chứng minh bất đẳng thức

dplA(N)⩽sup⁡α∈IdplA(Nα) \mathrm{dpl}_A(N) \leqslant \sup_{\alpha \in I} \mathrm{dpl}_A(N_\alpha)
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.