Bourbaki

Bài tập 6, § 6

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

Đại số, VIII, p. 115

Cho A và B là các vành. Giả sử cho

– một B-môđun F(M) với mỗi A-môđun M và

– một đồng cấu B-tuyến tính F(u):F(M)→F(N)F(u) : F(M)\rightarrow F(N) với mỗi đồng cấu của các A-môđun u:M→Nu: M\rightarrow N,

sao cho các tính chất sau đúng:

(i) Ta có F(1M)=1F(M)F(1_M) = 1_{F(M)} với mỗi A-môđun M.

(ii) Với u∈u\in HomA(M,N)_A(M,N) và v∈v\in HomA(N,P)_A(N,P), ta có F(v∘u)=F(v)∘F(u)F(v\circ u) = F(v)\circ F(u).

(iii) Với u,v∈u, v\in HomA(M,N)_A(M,N), ta có F(u+v)=F(u)+F(v)F(u+v) = F(u) + F(v).

(a) Chứng minh rằng với mỗi A-môđun M, ánh xạ u↦F(u)u\mapsto F(u) từ EndA(M)_A(M) vào EndB(F(M))_B(F(M)) là một đồng cấu vành. Suy ra một cấu trúc song môđun (B(B, A)- trên F(As)F(A_s) từ điều này.

(b) Cho M là một A-môđun; với m∈Mm\in M, ký hiệu hm:As→Mh_m: A_s\rightarrow M là đồng cấu a↦ama\mapsto am. Chứng minh rằng tồn tại một đồng cấu B-tuyến tính duy nhất θM\theta_M từ F(As)⊗AMF(A_s)\otimes_AM vào F(M) sao cho θM(x⊗m)=F(hm)(x)\theta_M(x\otimes m) = F(h_m)(x) với mọi x∈F(As)x\in F(A_s) và m∈Mm\in M. Ta có F(u)∘θM=θN∘(1F(As)⊗u)F(u)\circ \theta_M=\theta_N\circ (1_{F(A_s)}\otimes u) với mọi đồng cấu của các A-môđun u:M→Nu: M\rightarrow N.

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-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.