Bourbaki

Bài tập 6, § 3

Đại số, X, p. 180

Bourbaki marks this one as harder than the rest.

Cho MM là một AA-môđun trái. Người ta gọi biểu diễn có độ dài nn hoặc biểu diễn nn của MM là một dãy khớp

Ln→Ln−1→⋯→L1→L0→M→0 L_n \to L_{n-1} \to \cdots \to L_1 \to L_0 \to M \to 0

trong đó LiL_i là một AA-môđun trái tự do (0⩽i⩽n0 \leqslant i \leqslant n). Người ta nói rằng biểu diễn là hữu hạn nếu mọi LiL_i đều là các môđun tự do kiểu sinh hữu hạn.

Nếu MM là một AA-môđun trái sinh hữu hạn, người ta ký hiệu bởi λ(M)\lambda(M) cận trên đúng (hữu hạn hoặc bằng +∞+\infty) của các số nguyên n⩾0n \geqslant 0 sao cho MM có một biểu diễn nn hữu hạn. Nếu MM không thuộc kiểu hữu hạn, ta đặt λ(M)=−1\lambda(M) = -1.

a) Cho 0→P→N→M→00 \to P \to N \to M \to 0 là một dãy khớp các AA-môđun trái. Khi đó ta có λ(N)⩾inf⁡(λ(P),λ(M))\lambda(N) \geqslant \inf (\lambda(P), \lambda(M)).

b) Cho Ln→dnLn−1→⋯→L0→M→0L_n \xrightarrow{d_n} L_{n-1} \to \cdots \to L_0 \to M \to 0 là một biểu diễn nn hữu hạn của MM; nếu λ(M)>n\lambda(M) > n, bây giờ chứng minh rằng Ker⁡(dn)\operatorname{Ker}(d_n) là một AA-môđun sinh hữu hạn (sử dụng bài tập 5, b)).

c) Bây giờ chứng minh rằng, dưới các giả thiết của a), ta có

λ(M)⩾inf⁡(λ(N),λ(P)+1) \lambda(M) \geqslant \inf (\lambda(N), \lambda(P) + 1)

(Nếu n⩽inf⁡(λ(N),λ(P)+1)n \leqslant \inf (\lambda(N), \lambda(P) + 1)), bây giờ chứng minh bằng quy nạp theo nn rằng λ(M)⩾n\lambda(M) \geqslant n, lập luận như trong a) và sử dụng b).)

d) Bây giờ chứng minh rằng, dưới các giả thiết của a), ta có

λ(P)⩾inf⁡(λ(N),λ(M)−1) \lambda(P) \geqslant \inf (\lambda(N), \lambda(M) - 1)

(Cùng phương pháp như trong c). Suy ra rằng, nếu λ(N)=+∞\lambda(N) = +\infty, thì λ(M)=λ(P)+1\lambda(M) = \lambda(P) + 1.

e) Suy ra từ a), c) và d) rằng, nếu N=M⊕PN = M \oplus P, ta có

λ(N)=inf⁡(λ(M),λ(P)) \lambda(N) = \inf (\lambda(M), \lambda(P))

Đặc biệt, để NN có một biểu diễn hữu hạn thì điều kiện cần và đủ là điều này đúng đối với MM và PP.

f) Cho N1,N2N_1, N_2 là hai môđun con của một AA-môđun MM. Giả sử rằng N1N_1 và N2N_2 có một biểu diễn hữu hạn. Để N1+N2N_1 + N_2 có một biểu diễn hữu hạn, điều kiện cần và đủ là N1∩N2N_1 \cap N_2 thuộc kiểu hữu hạn.

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. Chưa được người kiểm tra.