Bourbaki

Bài tập 2, § 4

Đại số giao hoán, VII, 571

It is set in small type as supplementary.

Cho AA là một miền đóng nguyên Noether và E,FE, F là hai AA-môđun sinh hữu hạn. Giả sử rằng EE là xoắn tự do, rằng HomA(E,F)\mathrm{Hom}_A(E, F) là phản xạ và rằng ExtA1(E,F)=0\mathrm{Ext}_A^1(E, F) = 0. Khi đó hãy chứng minh rằng FF là phản xạ. (Trước hết chứng minh rằng FF là xoắn tự do; nếu T=F∗∗/cF(F)T = F^{**}/c_F(F), hãy tính Ass(HomA(E,T))\mathrm{Ass}(\mathrm{Hom}_A(E, T)) theo hai cách bằng cách sử dụng dãy khớp:

0→Hom(E,F)→Hom(E,F∗∗)→Hom(E,T)→0 0 \to \mathrm{Hom}(E, F) \to \mathrm{Hom}(E, F^{**}) \to \mathrm{Hom}(E, T) \to 0
và Chương IV, § 1, no. 4, Mệnh đề 10.)

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.