Bài tập 6, § 3
Đại số, X, p. 180
Bourbaki marks this one as harder than the rest.
Cho là một -môđun trái. Người ta gọi biểu diễn có độ dài hoặc biểu diễn của là một dãy khớp
trong đó là một -môđun trái tự do (). Người ta nói rằng biểu diễn là hữu hạn nếu mọi đều là các môđun tự do kiểu sinh hữu hạn.
Nếu là một -môđun trái sinh hữu hạn, người ta ký hiệu bởi cận trên đúng (hữu hạn hoặc bằng ) của các số nguyên sao cho có một biểu diễn hữu hạn. Nếu không thuộc kiểu hữu hạn, ta đặt .
a) Cho là một dãy khớp các -môđun trái. Khi đó ta có .
b) Cho là một biểu diễn hữu hạn của ; nếu , bây giờ chứng minh rằng là một -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ó
(Nếu ), bây giờ chứng minh bằng quy nạp theo rằng , 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ó
(Cùng phương pháp như trong c). Suy ra rằng, nếu , thì .
e) Suy ra từ a), c) và d) rằng, nếu , ta có
Đặc biệt, để 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 và .
f) Cho là hai môđun con của một -môđun . Giả sử rằng và có một biểu diễn hữu hạn. Để có một biểu diễn hữu hạn, điều kiện cần và đủ là thuộc kiểu hữu hạn.
Lời giải
Chưa có lời giải nào được viết.