Bourbaki

Bài tập 18, § 8

Đại số, X, p. 204

(a) Cho (Mα)α∈I(M_\alpha)_{\alpha \in I} là một hệ quy nạp các AA-môđun đối với một tập hợp đếm được II, MM là giới hạn của nó, nn là một số nguyên ⩾0\geqslant 0. Bây giờ chứng minh rằng nếu dpA(Mα)⩽n\mathrm{dp}_A(M_\alpha) \leqslant n với mọi α∈I\alpha \in I, thì ta có dpA(M)⩽n+1\mathrm{dp}_A(M) \leqslant n + 1 (rút gọn về trường hợp n=0n = 0 và I=NI = \mathbf{N}, sau đó viết một dãy khớp 0→⨁nMn→⨁nMn→M→00 \to \bigoplus_n M_n \to \bigoplus_n M_n \to M \to 0).

(b) Cho PP là một AA-môđun phẳng nhận một biểu diễn A(S)→A(T)→P→0A^{(S)} \to A^{(T)} \to P \to 0, trong đó tập hợp SS là đếm được. Suy ra từ a) rằng ta có dpA(P)⩽1\mathrm{dp}_A(P) \leqslant 1.

(c) Giả sử rằng mọi iđêan trái của vành AA đều được sinh bởi một tập hợp đếm được các phần tử. Chứng minh rằng ta có dpA(M)⩽dplA(M)+1\mathrm{dp}_A(M) \leqslant \mathrm{dpl}_A(M) + 1 với mọi AA-môđun MM được sinh bởi một họ đếm được các phần tử. Suy ra các bất đẳng thức dh(A)⩽td(A)+1\mathrm{dh}(A) \leqslant \mathrm{td}(A) + 1 và ∣dh(A)−dh(A∘)∣⩽1|\mathrm{dh}(A) - \mathrm{dh}(A^\circ)| \leqslant 1. (Sử dụng bài tập 12, p. 181, bài tập 8, p. 202, cũng như b).)

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.