Hàm tử tor và hàm tử exit trên miền dedekind

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Cao Văn Hồng HÀM TỬ TOR VÀ HÀM TỬ EXT TRÊN MIỀN DEDEKIND LUẬN VĂN THẠC SĨ TỐN HỌC Thành Phố HỒ CHÍ MINH - 2019 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Cao Văn Hồng HÀM TỬ TOR VÀ HÀM TỬ EXT TRÊN MIỀN DEDEKIND Chuyên ngành : Đại số lý thuyết số Mã số : 8460104 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS MỴ VINH QUANG Thành Phố Hồ Chí Minh - Năm 2019 LỜI CAM ĐOAN Tơi xin cam đoan luận văn tơi thực hướng dẫn PGS.TS Mỵ Vinh Quang Nội dung luận văn có tham khảo sử dụng số kết quả, nội dung từ sách liệt kê danh mục tài liệu tham khảo Tơi xin chịu hồn tồn trách nhiệm luận văn LỜI CẢM ƠN Trong suốt trình học tập hồn thành luận văn, tơi nhận giúp đỡ hướng dẫn nhiệt tình thầy bạn cao học tốn K28 Đầu tiên, xin gửi lời biết ơn sâu sắc, chân thành đến PGS.TS Mỵ Vinh Quang, người thầy tâm huyết giảng dạy người tận tình, giúp đỡ, hướng dẫn tơi q trình hồn thành luận văn, nói luận văn khơng hồn thành khơng có bảo thầy Ngồi ra, với lịng kính trọng biết ơn, xin gởi lời cảm ơn chân thành đến: Các thầy khoa Tốn trường Đại học Sư phạm TP Hồ Chí Minh GS.TSKH Nguyễn Tự Cường trực tiếp trang bị cho kiến thức làm tảng cho trình nghiên cứu hồn thành luận văn Ban giám hiệu, phịng Đào tạo sau đại học, khoa Toán trường Đại học Sư phạm TP Hồ Chí Minh tạo điều kiện thuận lợi cho tơi q trình học tập, hồn thành bảo vệ luận văn Các thầy Hội đồng Bảo vệ luận văn thạc sĩ đọc, đóng góp ý kiến, nhận xét đánh giá luận văn Cuối xin dành lời cảm ơn đến gia đình ln động viên, giúp đỡ tơi q trình hồn thành luận văn Thành Phố Hồ Chí Minh, tháng năm 2019 Cao Văn Hồng MỤC LỤC Lời cam đoan Lời cảm ơn Danh mục kí hiệu Mở đầu Chương CÁC KIẾN THỨC CƠ BẢN 1.1 Hàm tử Hom 1.2 Hàm tử Tenxơ 1.3 Môđun tự 1.4 Môđun xạ ảnh 1.5 Môđun nội xạ 1.6 Hàm tử đồng điều 10 1.7 Đồng luân 12 Chương HÀM TỬ TOR VÀ EXT TRÊN VÀNH GIAO HỐN CĨ ĐƠN VỊ 14 2.1 Phép giải xạ ảnh 14 2.2 Xây dựng hàm tử Tor 20 2.3 Hai dãy khớp hàm tử Tor 22 2.4 Ứng dụng dãy khớp Tor 24 2.5 Xây dựng hàm tử Ext 28 2.6 Hai dãy khớp dài Ext 30 2.7 Ứng dụng dãy khớp hàm tử Ext 32 Chương HÀM TỬ TOR VÀ EXT TRÊN MIỀN DEDEKIND 38 3.1 Môđun miền Dedekind 38 3.2 Hàm tử Tor miền Dedekind 43 3.3 Hàm tử Ext miền Dedekind 46 TÀI LIỆU THAM KHẢO DANH MỤC CÁC KÍ HIỆU Hom(X, Y ) M od f ⊗g X ⊗Y Hom(f, g) X ⊕Y L K f g Hn (K) H n (L) T orn (X, Y ) T orn (h, g) Extn (X, Y ) Extn (h, g) X = x1 , x2 , , xn : Tập tất đồng cấu từ X tới Y : Tập môđun vành : Tích tenxơ hai đồng cấu f g : Tích tenxơ hai mơđun X Y : Hom hai đồng cấu : Tổng trực tiếp hai môđun X Y : L môđun K : Hai ánh xạ dây chuyền f g đồng luân : môđun đồng điều chiều n phức K : môđun đối đồng điều chiều n phức L : Tích xoắn n- chiều mơđun X Y : Tích xoắn n- chiều đồng cấu h g : Tích mở rộng n- chiều mơđun X Y : Tích mở rộng n- chiều đồng cấu h g : X môđun hữu hạn sinh sinh phần tử x1 , x2 , , xn MỞ ĐẦU Hàm tử T or hàm tử Ext với hàm tử Tenxơ hàm tử Hom xem bốn cột trụ Đại số đồng điều, hàm tử T or Ext đóng vai trị quan trọng nhiều chuyên ngành khác Toán học Đại số đồng điều, Đại số giao hốn, Hình học đại số, tơ pơ hình học Chính vậy, tơi chọn đề tài : "Hàm tử T or hàm tử Ext miền Dedekind" làm đề tài cho luận văn Thạc sĩ Tốn với mong muốn tìm hiểu sâu hơn, tiếp cận nhiều với hướng nghiên cứu phát triển có nhiều ứng dụng Toán học đại Với đối tượng, phạm vi nghiên cứu miền Dedekind, hàm tử T or hàm tử Ext vành giao hốn có đơn vị miền Dedekind, mục đích luận văn tìm hiểu sâu hơn, tồn diện hệ thống hàm tử T or Ext miền nguyên Sau dựa số tính chất miền Dedekind mơđun miền Dedekind để chứng minh số tính chất sâu sắc thú vị hàm tử T or hàm tử Ext miền Dedekind Ngoài phần mở đầu kết luận, luận văn trình bày thành ba chương Chương 1: Các kiến thức Nội dung chương trình bày định nghĩa, tính chất hàm tử Hom, hàm tử Tenxơ, môđun tự do, môđun xạ ảnh, môđun nội xạ, hàm tử đồng điều, đồng luân Chương Hàm tử T or Ext vành giao hốn có đơn vị Chương trình bày cách xây dựng hàm tử T or Ext dẫn xuất hàm tử Tenxơ hàm tử Hom Chương trình bày chứng minh số kết tính chất T or Ext Chương Hàm tử T or Ext miền Dedekind Chương trình bày số tính chất miền Dedekind, mơđun miền Dedekind ứng dụng chúng để nghiên cứu hàm tử T or Ext miền Dedekind Chương CÁC KIẾN THỨC CƠ BẢN Trong suốt luận văn này, môđun xét vành sở vành R giao hốn có đơn vị 1.1 Hàm tử Hom Định nghĩa 1.1.1 Cho X, Y R- môđun Tập tất đồng cấu từ X tới Y , ký hiệu Hom(X, Y ) Trên Hom(X, Y ) ta định nghĩa: ∀f, g ∈ Hom(X, Y ) : f + g :X −→Y −→(f + g)(x) = f (x) + g(x) x ∀r ∈ R, ∀f ∈ Hom(X, Y ) : rf :X −→Y x −→(rf )(x) = r · f (x) Khi Hom(X, Y ) môđun R Định nghĩa 1.1.2 Cho đồng cấu α : A −→ B X môđun cố định Xét ánh xạ cảm sinh: α∗ : Hom(X, A) −→Hom(X, B) f −→α∗ (f ) = αf α∗ : Hom(B, X) −→Hom(A, X) g −→α∗ (g) = gα α∗ , α∗ đồng cấu môđun Định nghĩa 1.1.3 Xét môđun X thuộc phạm trù R- môđun (ký hiệu M od) ... hàm tử Ext 32 Chương HÀM TỬ TOR VÀ EXT TRÊN MIỀN DEDEKIND 38 3.1 Môđun miền Dedekind 38 3.2 Hàm tử Tor miền Dedekind 43 3.3 Hàm tử Ext miền Dedekind. .. cứu miền Dedekind, hàm tử T or hàm tử Ext vành giao hốn có đơn vị miền Dedekind, mục đích luận văn tìm hiểu sâu hơn, tồn diện hệ thống hàm tử T or Ext miền ngun Sau dựa số tính chất miền Dedekind. .. dẫn xuất hàm tử Tenxơ hàm tử Hom Chương trình bày chứng minh số kết tính chất T or Ext 2 Chương Hàm tử T or Ext miền Dedekind Chương trình bày số tính chất miền Dedekind, mơđun miền Dedekind