Bourbaki

Bài tập 2, § 1

Nhãn 000Y, cố định. Trích dẫn là [Bourbaki, Tag 000Y].

Đại số, VIII, p. 14

Cho A là một vành, M là một A-môđun có độ dài hữu hạn nn, và R là một tập hợp các tự đồng cấu lũy linh của M ổn định dưới phép hợp thành.

a) Nếu n=1n= 1, thì mọi phần tử của R đều bằng không. Nếu n>1n >1, hãy chứng minh rằng tồn tại một môđun con N của M, khác 0 và M, ổn định dưới mọi phần tử của R. (Ta có thể giả sử rằng R có một phần tử s≠0s\not= 0; chọn một phần tử sao cho s(M)s(M) có độ dài nhỏ nhất, và chứng minh rằng ta có srs=0srs= 0 với mọi r∈Rr\in R. Suy ra rằng ta có thể lấy N=s(M)N =s(M) nếu Rs={0}Rs=\{0\} và N=∑r∈Rr(s(M))N =\sum_{r\in R}r(s(M)) nếu Rs≠{0}.Rs\not=\{0\}.)[^1]

b) Suy ra từ a) rằng tồn tại một chuỗi Jordan–Hölder (Mi)0⩽i⩽n(M_i)_{0\leqslant i\leqslant n} của M sao cho ta có r(Mi)⊂Mi+1r(M_i)\subset M_{i+1} với mọi r∈Rr\in R và 0⩽i⩽n−10\leqslant i\leqslant n-1. Suy ra rằng ta có r1⋯rn=0r_1\cdots r_n= 0 với mọi dãy (ri)1⩽i⩽n(r_i)_{1\leqslant i\leqslant n} gồm nn phần tử của R.

[^1]: Bản chứng minh này do A. Rosenberg thông báo cho chúng tôi.

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4-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.