THÔNG TIN TÀI LIỆU
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HÀ THỊ PHƯƠNG THẢO lu an n va to p ie gh tn VỀ MÔĐUN PHỤ ĐỐI HỮU HẠN VÀ MÔĐUN H- PHỤ ĐỐI HỮU HẠN d oa nl w an nv a lu LUẬN VĂN THẠC SĨ TOÁN HỌC oi m ll fu at nh z z om l.c gm @ an Lu BÌNH ĐỊNH - NĂM 2019 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HÀ THỊ PHƯƠNG THẢO lu an n va VỀ MÔĐUN PHỤ ĐỐI HỮU HẠN VÀ MÔĐUN H- PHỤ ĐỐI HỮU HẠN p ie gh tn to Đại số lí thuyết số 8460104 d oa nl w Chuyên ngành : Mã số : oi m ll fu an nv a lu at nh Người hướng dẫn : Tiến sĩ Mai Quý Năm z z om l.c gm @ an Lu n va ac th si Lời cam đoan Tôi xin cam đoan luận văn với đề tài: Về môđun phụ đối hữu hạn môđun H- phụ đối hữu hạn cơng trình nghiên cứu khoa học tơi hướng dẫn TS Mai Quý Năm không chép Các kết trình bày luận văn trích dẫn nguồn gốc rõ ràng Bình Định, ngày 26 tháng 08 năm 2019 lu an n va Học viên thực p ie gh tn to d oa nl w Hà Thị Phương Thảo oi m ll fu an nv a lu at nh z z om l.c gm @ an Lu n va ac th si Lời cảm ơn Lời xin gửi lời cảm ơn chân thành đến thầy TS MAI QUÝ NĂM, người trực tiếp hướng dẫn, dẫn tận tình giải đáp thắc mắc suốt q trình tơi hồn thành luận văn Đồng thời xin bày tỏ biết ơn sâu sắc đến thầy khoa Tốn thống kê, Trường Đại học Quy Nhơn bảo, truyền dạy cho tơi kiến thức bổ ích suốt năm theo học trường, lãnh lu an đạo Trường Đại học Quy Nhơn, phòng Đào tạo sau đại học tạo điều va kiện thuận lợi cho học viên khác Cuối cùng, xin n tn to gửi lời cảm ơn đến gia đình, bạn bè, người ln ủng hộ cổ vũ ie gh tinh thần giúp có động lực để hồn thành luận văn cách tốt p oa nl w Trong trình làm luận văn, thời gian có hạn lực, kiến thức d thân hạn chế nên khơng trách khỏi sai sót, kính mong a lu thầy cô bảo độc giả đóng góp ý kiến để giúp luận văn an nv hoàn thiện fu oi m ll Tôi xin chân thành cảm ơn! at nh z z om l.c gm @ an Lu n va ac th si Lời mở đầu Cho M R-môđun N , L hai môđun M Người ta gọi N phần phụ L M N cực tiểu theo quan hệ bao hàm tập môđun A M thỏa mãn A + L = M Một môđun M gọi môđun phần phụ hay nói tắt phần phụ phần phụ mơđun M Phần phụ xuất lần công trình nghiên cứu E.A Mares (1966) lu an mơđun vành nửa hồn chỉnh tiếp tục nghiên cứu F va Kasch Mares quan hệ với phủ xạ ảnh môđun Phần phụ n tn to môđun không thiết tồn tồn phần phụ ie gh quan hệ chặt chẽ với tồn phủ xạ ảnh Một môđun M p gọi môđun phụ mơđun có phần phụ Lớp oa nl w môđun phụ mở rộng thực lớp môđun nâng- lớp môđun d quan trọng quan tâm nghiên cứu rộng rãi nhiều chục năm a lu qua Một điều rõ ràng hạng tử trực tiếp môđun M an nv phần phụ, điều ngược lại nói chung khơng trường fu oi m ll hợp tổng quát Bởi lẽ đó, phần phụ khảo sát theo ý tưởng xấp xỉ đồng với hạng tử trực tiếp Điều dẫn đến khái niệm nh at môđun H-phụ định nghĩa sau: Môđun M goị H-phụ với z z môđun A M , tồn hạng tử trực tiếp D M cho @ gm với môđun X M , M = A + X M =A + D om l.c Từ định nghĩa dễ dàng chứng minh M H-phụ mơđun M có phần phụ hạng tử trực tiếp M , Lu an vậy, M mơđun phụ Các tính chất mơđun phụ n va ac th si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an mơđun H-phụ tìm thấy [8; 11; 13; 15; 18; 21] Vào năm 2001, R Alizade cộng [1] giới thiệu khái niệm môđun phụ đối hữu hạn - dạng tổng qt hóa mơđun phụ Một mơđun N môđun M gọi đối hữu hạn (cofinite) môđun thương M/N hữu hạn sinh, M gọi môđun phụ đối hữu hạn (cofinitely supplemented module) mơđun đối hữu hạn M có phần phụ Rõ ràng môđun phụ phụ đối hữu hạn lu Theo hướng này, vào năm 2007, M.T.Kosan [12] định nghĩa khảo an sát môđun H-phụ đối hữu hạn tổng qt hóa mơđun H- va n phụ điều kiện tương tự hạn chế cho môđun đối hữu hạn Các gh tn to môđun H-phụ đối hữu hạn tiếp tục nghiên cứu Y.Talebi p ie cộng [17] (2013) Như biết, phần phụ mơđun phụ có quan hệ chặt chẽ với tồn nl w d oa phủ xạ ảnh Bởi vậy, cách tự nhiên, môđun phụ môđun a lu H-phụ sử dụng khảo sát vành hoàn chỉnh nửa hoàn chỉnh an nv Tương tự, Y.Talebi [17] nghiên cứu lớp vành với tính chất đặc m ll fu trưng cho H-phụ đối hữu hạn Xuất phát từ nội dung trình bày đây, lựa chọn đề tài luận văn thạc sĩ " Về môđun oi at nh phụ đối hữu hạn môđun H-phụ đối hữu hạn" z Mục tiêu đề tài tổng hợp trình bày với chứng minh chi tiết z gm @ kết môđun phụ đối hữu hạn môđun H-phụ đối l.c hữu hạn từ tài liệu tham khảo [1], [2], [11], [12], [16] [17] Đồng om thời, nghiên cứu, phát nhằm bổ sung kết an Lu lớp môđun mối quan hệ chúng với lớp môđun phụ Nội n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an dung luận văn trình bày chương: Chương 1: Kiến thức chuẩn bị Trong chương chúng tơi trình bày số khái niệm kết liên quan đến nội dung luận văn Chương 2: Môđun phụ đối hữu hạn Chúng giới thiệu định nghĩa số kết môđun phụ đối hữu hạn môđun phụ yếu đối hữu hạn lu Chương 3: Môđun H-phụ đối hữu hạn ứng dụng an Chúng tơi trình bày định nghĩa số kết môđun H-phụ, va n môđun H-phụ đối hữu hạn ứng dụng vào đặc trưng vành p ie gh tn to d oa nl w oi m ll fu an nv a lu at nh z z om l.c gm @ an Lu n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Mục lục Bảng kí hiệu lu Lời mở đầu an n va 1.1 ie gh tn to KIẾN THỨC CHUẨN BỊ p 1.2 Môđun nhỏ, môđun hổng môđun Môđun phụ môđun phụ yếu, phần phụ yếu Một vài lớp môđun 10 d oa nl w 1.3 14 a lu MÔĐUN PHỤ ĐỐI HỮU HẠN Môđun phụ đối hữu hạn 14 2.2 Môđun phụ yếu đối hữu hạn 25 oi m ll fu an nv 2.1 MÔĐUN H- PHỤ ĐỐI HỮU HẠN VÀ ỨNG DỤNG 36 nh Môđun H- phụ 3.2 Môđun H- phụ đối hữu hạn ứng dụng 36 at 3.1 z z 48 gm @ 66 Tài liệu tham khảo om l.c Kết luận 67 an Lu n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Bảng kí hiệu Mơđun Mơđun nhỏ ( hay đối cốt yếu) Soc(M ) Đế môđun M ⊆e Môđun cốt yếu ( hay lớn) Rad(M ) Căn môđun M Rad(R), J ac(R), J (R) Căn Jacobson vành R lu an Bao nội xạ môđun M ⊆⊕ Hạng tử trực tiếp Ker(f ) Hạt nhân đồng cấu f Im(f ) Ảnh đồng cấu f n va E(M ) p ie gh tn to Vành tự đồng cấu môđun M Môđun ⊕-phụ Môđun trực tiếp phụ EndR (M ) oa nl w cws- môđun d Môđun phụ yếu đối hữu hạn oi m ll fu an nv a lu at nh z z om l.c gm @ an Lu n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Chương KIẾN THỨC CHUẨN BỊ lu an n va Trong chương chúng tơi trình bày số khái niệm kết tn to liên quan đến nội dung luận văn trích dẫn từ tài p ie gh liệu [8], [15], [16], [21] Môđun nhỏ, môđun hổng môđun oa nl w 1.1 d Định nghĩa 1.1.1 Một môđun A môđun M gọi nhỏ a lu an nv M với môđun B 6= M ta có A + B 6= M Một cách tương đương, A + B = M kéo theo B = M Khi ta kí hiệu fu oi m ll A M at nh Mệnh đề 1.1.2 ([21]; 19.3) Cho K, L M R-mơđun, z (1) Nếu K ⊂ L ⊆ M L M K M L/K z @ gm M/K om l.c (2) Nếu Ki M , (1 ≤ i ≤ n) K1 + K2 + Kn M K L an Lu (3) Nếu K ⊂ L ⊆ M L hạng tử trực tiếp M K M n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 55 hạng tử trực tiếp, M gọi môđun phân phối dàn môđun M dàn phân phối Định lý 3.2.7 ([12]; Định lý 2.1) (1) Giả sử M môđun H- phụ đối hữu hạn X môđun M Nếu với hạng tử trực tiếp K M , (X + K)/X hạng tử trực tiếp M/X M/X H- phụ đối hữu hạn lu (2) Giả sử M môđun H- phụ đối hữu hạn SSP Thế an hạng tử trực tiếp M môđun H- phụ đối hữu hạn n va M/N H- phụ đối hữu hạn với môđun N M p ie gh tn to (3) Giả sử M môđun phân phối H- phụ đối hữu hạn Thế Chứng minh (1) Mỗi mơđun đối hữu hạn M/N có dạng T /N nl w với T môđun đối hữu hạn M N ⊆ T Vì M H- oa d phụ đối hữu hạn nên tồn hạng tử trực tiếp D M cho a lu an nv M = T + Y M = D + Y Bởi giả thiết, (D + N )/N m ll fu hạng tử trực tiếp M/N Do đó, M/N = T /N + L/N M/N = (D + N )/N + L/X với L/N ≤ M/N oi at nh (2) Cho N hạng tử trực tiếp M Xét M = N ⊕N với N ≤ M z Để chứng minh N H- phụ đối hữu hạn ta cần M/N H- z gm @ phụ đối hữu hạn Giả sử L hạng tử trực tiếp M Vì M có SSP, L+N hạng tử trực tiếp M Giả sử M = (L+N )⊕K an Lu môđun H- phụ đối hữu hạn (1) om l.c với K ≤ M Thế M/N = (L + N )/N ⊕ (K + N )/N Do đó, M/N (3) Lấy D hạng tử trực tiếp M Và M = D ⊕D0 với D0 ≤ M n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 56 Bây M/N = (D + N )/N + (D0 + N )/N với môđun N M Chú ý N = N + (D ∩ D0 ) = (N + D) ∩ (N + D0 ) theo tính chất phân phối M Bây M/N = (D + N )/N ⊕ (D0 + N )/N Bởi (1) M/N mơđun H- phụ đối hữu hạn Một môđun M gọi Duo mơđun N M bất biến hồn tồn, có nghĩa f (N ) ⊆ N với tự đồng cấu M Một kết biết mơđun Duo có SSP Bởi vậy, Định lý lu 3.2.7 (2) có hệ sau: an va n Hệ 3.2.8 [12, Hệ 2.3] Giả sử M môđun Duo H- phụ gh tn to đối hữu hạn Thế hạng tử trực tiếp M môđun H- phụ đối hữu hạn p ie Quay lại mối quan hệ tính chất H- phụ đối hữu hạn ⊕- phụ nl w d oa đối hữu hạn, ta có: an nv a lu Mệnh đề 3.2.9 [12, Mệnh đề 2.4] Giả sử M môđun ⊕- phụ đối hữu hạn cho với phân tích M = M1 ⊕ M2 M1 M2 fu oi m ll xạ ảnh tương hỗ Thế M mơđun H- phụ đối hữu hạn at nh Chứng minh Lấy N môđun đối hữu hạn M Vì M z mơđun ⊕- phụ đối hữu hạn nên N có phần phụ hạng tử trực z gm @ tiếp M2 M Thế tồn phân tích M = M1 ⊕ M2 cho M = N + M2 N ∩ M2 M2 với môđun M1 M2 Theo giả l.c om thiết, M1 M2 - xạ ảnh Bởi [15, Bổ đề 4.47] ta nhận M = A ⊕ M2 an Lu với môđun A M cho A ≤ N Thế N = A ⊕ (M2 ∩ N ).Giả sử X M với M = N + X Thế M = A + (M2 ∩ N ) + X Vì M2 ∩ N n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 57 nhỏ M2 nhỏ M , M = A + X Do đó, M = N + X M = A + X Vậy, M môđun H- phụ đối hữu hạn Nhận xét 3.2.10 Đối với môđun H- phụ trình bày Chương 2, ta có kết hoàn toàn tương tự với Hệ 3.2.8 Mệnh đề 3.2.9 ( xem Nhận xét 3.1.13., mục 3.1) Như nói, ta chưa biết hạng tử trực tiếp môđun H- phụ lu đối hữu hạn có H- phụ đối hữu hạn hay khơng Từ đó, người ta khảo an n va sát mơđun M có hạng tử trực tiếp H- phụ đối hữu hạn tn to gọi mơđun H- phụ đối hữu hạn hồn tồn (Completely H-cofinitely ie gh supplemented) Với khái niệm này, Hệ 3.2.8 khẳng định môđun p Duo H- phụ đối hữu hạn H- phụ đối hữu hạn hoàn toàn nl w Với tính chất Duo, ta xét tổng trực tiếp hữu hạn môđun H- d oa phụ đối hữu hạn a lu an nv Định lý 3.2.11 ([12]; Định lý 2.5) Giả sử M = M1 ⊕ M2 môđun Duo Nếu M1 M2 H- phụ đối hữu hạn M H- phụ đối hữu oi m ll fu hạn at nh Chứng minh Giả sử M1 M2 môđun H- phụ đối hữu hạn Lấy z môđun đối hữu hạn L M Bởi [14], L = (L∩M1 )⊕(L∩M2 ) z gm @ Hiển nhiên L ∩ M1 L ∩ M2 môđun đối hữu hạn M1 M2 , l.c tương ứng Với i tồn hạng tử trực tiếp Di Mi cho om Mi = Di + Yi Mi = Ai + Yi với Yi ≤ Mi Đặt an Lu D = D1 ⊕ D2 , lấy X ≤ M Thế X = X1 ⊕ X2 , Xi = X ∩ Mi n va giả thiết Duo Do M = A + X Mi = Ai + Xi (i = 1, 2) ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 58 Mi = Di + Xi (i = 1, 2) M = D + X Từ Định lý 3.2.11., thu hệ sau cho tổng hữu hạn Hệ 3.2.12 Giả sử M = ⊕ni=1 Mi môđun Duo Nếu Mi Hphụ đối hữu hạn với i = 1, , n M H- phụ đối hữu hạn Chứng minh Trường hợp n = chứng minh Định lý 3.2.11 Ta chứng minh Hệ 3.2.12 cho n > quy nạp Trước lu hết ta chứng minh rằng, hạng tử trực tiếp môđun Duo an môđun Duo Giả sử M = N ⊕ L môđun Duo Xét tự đồng va n cấu f : N −→ N môđun A N Gọi p : M −→ N phép tn to chiếu tổng trực tiếp M = N ⊕ L lên N , có nghĩa p(x + y) = x, gh p ie ∀x ∈ N , y ∈ L Kí hiệu q phép nhúng tắc N vào M = N ⊕ L Đặt φ = q.f.p : M −→ M Thế giả thiết M mơđun Duo, nl w d oa ta có φ(A) ⊆ A Dễ thấy φ(A) = f (A), A bất biến f Vậy N n L môđun Duo Bây giả sử M = Mi , (n > 2) môđun Duo a lu i=1 an nv Mi H- phụ đối hữu hạn với i = 1, , n Thế thì, N = n−1 L Mi fu i=1 m ll mơđun Duo M = N ⊕ Mn H- phụ đối hữu hạn oi giả thiết quy nạp Bây M = N ⊕ Mn H- phụ đối hữu hạn at nh Định lý 3.2.11 z z môđun H- phụ đối hữu hạn l.c gm @ Tiếp theo, trở lại xem xét hạng tử trực tiếp môđun thương om Mệnh đề 3.2.13 [17; Mệnh đề 3.5] Cho M môđun H- phụ đối an Lu hữu hạn N môđun M Giả sử với hạng tử n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 59 trực tiếp K M , (K + N )/N chặn hạng tử trực tiếp M/N Thế M/N H- phụ đối hữu hạn Chứng minh Lấy Y /N ≤ M/N mơđun đối hữu hạn Vì M Hphụ đối hữu hạn nên tồn hạng tử trực tiếp K M cho M = X + Y M = X + K với X ≤ M Bởi giả lu thiết, có mơđun L M cho N ⊆ L ⊆ K + N , L/N (K + N )/N M/N hạng tử trực tiếp M/N Lấy X ≤ M L/N L/N môđun cho N ⊆ X Nếu M/N = X/N + L/N , an n va M = X + L Vậy M = X + K + N = X + K Do đó, M = X + Y tn to Vì M/N = X/N + Y /N Mặt khác, M/N = X/N + Y /N , p ie gh M = X +Y Vì M = X +K Vậy M/N = [(X +L)/N ]+[(K +N )/N M/N (X + L)/N (K + N )/N Theo = + Điều dẫn đến M/N = L/N L/N L/N X/N + L/N Mệnh đề chứng minh oa nl w d Mệnh đề 3.2.14 [17; Mệnh đề 3.7] Cho M môđun H- phụ đối a lu hữu hạn N hạng tử trực tiếp M Giả sử với hạng an nv tử trực tiếp K M với M = N + K, N ∩ K hạng tử trực fu oi m ll tiếp M Thế N H- phụ đối hữu hạn at nh Chứng minh Lấy N môđun M cho M = N ⊕ N z Xét A mơđun đối hữu hạn N Thì A ⊕ N môđun z gm @ đối hữu hạn M Bởi giả thiết có hạng tử trực tiếp D l.c M cho M = Y + D M = Y + A + N với Y ≤ M om Vì M = N + A + N , ta có M = N + D Vì D ∩ N hạng tử an Lu trực tiếp N Lấy X ≤ N môđun Nếu N = X + A, M = X + A + N Vậy M = X + D Do N = X + (D ∩ N ) Mặt n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 60 khác, N = X + (D ∩ N ), M = X + (D ∩ N ) + D = X + D M = N + D Vì M = X + A + N Vì X + A ≤ N , ta có N = X + A Kết là, N H- phụ đối hữu hạn Xin nhắc lại, mơđun M gọi có (D3 ) với hạng tử trực tiếp tùy ý M1 M2 cho M = M1 + M2 , M1 ∩ M2 hạng tử trực tiếp M Mơđun M gọi có SIP (Summand Intersection Property) giao hai hạng tử trực tiếp tùy ý M lu hạng tử trực tiếp M an n va Rõ ràng, M mơđun H- phụ đối hữu hạn có (D3 ) có tn to SIP hạng tử trực tiếp N M thỏa mãn giả thiết ie gh Mệnh đề 3.2.14 đây, đó, N H- phụ đối hữu hạn Nói cách p khác, M môđun H- phụ đối hữu hạn hồn tồn Ta có kết oa nl w sau: d Định lý 3.2.15 [17; Định lý 3.8] Giả sử M môđun H- phụ đối a lu hạn hoàn toàn m ll fu an nv hữu hạn có (D3 ) có SIP Thế M môđun H- phụ đối hữu oi Chứng minh Suy từ Mệnh đề 3.2.14 nh at Hoàn toàn tương tự môđun H- phụ Mệnh đề 3.1.5, kết z z cho điều kiện đủ để môđun thương hạng tử trực tiếp @ l.c gm môđun H- phụ đối hữu hạn H- phụ đối hữu hạn Mệnh đề 3.2.16 [17; Mệnh đề 3.10] Cho M môđun N om an Lu môđun M cho với phân tích M = M1 ⊕ M2 , ta có N = (N ∩ M1 ) ⊕ (N ∩ M2 ) Nếu M H- phụ đối hữu hạn M/N n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 61 H- phụ đối hữu hạn Thêm nữa, N hạng tử trực tiếp M N H- phụ đối hữu hạn Chứng minh Lấy D D0 môđun M cho M = D ⊕ D0 Bởi giả thiết, ta có N = (D∩N )⊕(D0 ∩N ) Thế (D+N )∩(D0 +N ) = [D ⊕ (D0 ∩ N )] ∩ [(D ∩ N ) ⊕ D0 ] = (D ∩ N ) ⊕ (D0 ∩ N ) = N Vì vậy, M/N = [(D + N )/N ] ⊕ [(D0 + N )/N ] Mệnh đề 3.2.13 M/N môđun H- phụ đối hữu hạn lu Bây giả sử N hạng tử trực tiếp M Lấy D an n va D0 môđun M cho M = D ⊕ D0 = N + D Vì N = tn to (D ∩ N ) ⊕ (D0 ∩ N ), ta có M = (D ∩ N ) + (D0 ∩ N ) + D = D ⊕ (D0 ∩ N ) ie gh Dẫn đến D0 ∩ N = D0 Do D0 ⊆ N Theo N = (D ∩ N ) ⊕ D0 Kết p từ Mệnh đề 3.2.14 nl w Nhận xét 3.2.17 Một môđun N M thỏa mãn giả thiết d oa Mệnh đề 3.2.16 N môđun bất biến chiếu (projection M fu an nv a lu invariant), có nghĩa e(N ) ⊆ N với tự đồng cấu lũy đẳng (e2 = e) oi m ll Kết cho điều kiện đủ để hạng tử trực tiếp môđun H- phụ đối hữu hạn H- phụ đối hữu hạn Kết nh at hoàn toàn tương tự với kết cho Định lý 3.1.9(2) môđun H- z z phụ gm @ Định lý 3.2.18 [17; Định lý 3.12] Giả sử M = M1 ⊕ M2 Nếu M H- l.c om phụ đối hữu hạn M2 M1 - xạ ảnh M1 H- phụ đối hữu hạn an Lu Chứng minh Lấy D hạng tử trực tiếp M cho M = n va M1 + D Vì M2 M1 - xạ ảnh nên theo [8; 4.12] ta có M = M1 ⊕ D0 với ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 62 môđun D0 ≤ D Vậy D = (M1 ∩ D) ⊕ D0 Vì M1 ∩ D hạng tử trực tiếp M Dẫn đến M1 H- phụ đối hữu hạn Mệnh đề 3.2.14 Bổ đề 3.2.19 [17; Bổ đề 4.5] Cho M = M1 ⊕ M2 tổng trực tiếp hai môđun H- phụ đối hữu hạn M1 M2 Giả sử N môđun đối hữu hạn M với M1 ⊆ N Thế tồn hạng tử trực tiếp D2 M2 cho M = X + N M = X + M1 + D2 với lu môđun X M an va n Chứng minh Vì M/M1 H- phụ đối hữu hạn N/M1 môđun gh tn to đối hữu hạn M/M1 nên tồn môđun D M chứa p ie M1 cho D/M1 hạng tử trực tiếp M/M1 M/M1 = X/M1 + N/M1 M/M1 = X/M1 + D/M1 với X ≤ M nl w với M1 ⊆ X Lấy D0 môđun M cho M1 ⊆ D0 oa d (D/M1 )⊕(D0 /M1 ) = M/M1 Vì D = M1 ⊕(M2 ∩D), ta có D0 +(M2 ∩D) = a lu an nv M Nhưng D0 ∩(M2 ∩D) ≤ M1 ∩M2 = Thế D0 ⊕(M2 ∩D) = M Lấy D2 = M2 ∩ D Hiển nhiên D2 hạng tử trực tiếp M2 Bây giả sử m ll fu X môđun M Nếu M = X + N M = X + M1 + N Vì oi at nh M = X + M1 + D = X + M1 + D2 ra, M = X + M1 + D2 , z M = X + M1 + D Vậy M = X + M1 + N = X + N Bổ đề z gm @ chứng minh xong l.c Bổ đề 3.2.20 [21, Bổ đề 1.24] Cho K, L N môđun M om Giả sử K + L = M (K ∩ L) + N = M Thế an Lu K + (L ∩ N ) = L + (K ∩ N ) = M n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 63 Chứng minh Đầu tiên ý K + (L ∩ N ) = K + (L ∩ K) + (L ∩ N ) = K + (L ∩ ((L ∩ K) + N )) = K + (L ∩ M ) = K + L = M Lập luận tương tự cho L + (K ∩ N ) ta L + (K ∩ N ) = M Định lý xét tổng trực tiếp hai môđun H- phụ đối hữu lu hạn Kết hồn tồn tương tự kết mơđun H- phụ an Định lý 3.1.9(1) n va tn to Định lý 3.2.21 [17; Định lý 4.7] Cho M = M1 ⊕ M2 Nếu M1 M2 - ie gh xạ ảnh (hoặc M2 M1 - xạ ảnh căn) M1 , M2 H- phụ đối hữu p hạn M H- phụ đối hữu hạn oa nl w Chứng minh Lấy Y môđun đối hữu hạn M Thế M/Y d phụ yếu đối hữu hạn Mệnh đề 2.2.4 Mệnh đề 2.2.9 Do tồn a lu môđun L M cho Y ⊆ L, M/Y = (L/Y )+[(Y +M2 )/Y ] an nv [L ∩ (Y + M2 )/Y ] M/Y Thế M = L + M2 Bởi [17, Bổ đề fu oi m ll 4.4] (L + M1 )/L M/L Bởi bổ đề 3.2.19, tồn nh hạng tử trực tiếp D1 M1 cho X + Y + M2 = M at X + D1 + M2 = M với X ≤ M Cũng theo Bổ đề 3.2.19 tồn z z hạng tử trực tiếp D2 M2 cho X + L + M1 = M @ gm X + M1 + D2 = M với X ≤ M Ta đặt D = D1 ⊕ D2 = Lấy X ≤ M mơđun Thế om l.c (D1 ⊕ M2 ) ∩ (M1 ⊕ D2 ) Rõ ràng, D hạng tử trực tiếp M an Lu M = X + D ⇔ M = X + [(D1 ⊕ M2 ) ∩ (M1 ⊕ D2 )] n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 64 ⇔ ⇔ ⇔ lu an va n ⇔ p ie gh tn to ⇔ M = (D1 ⊕ M2 ) + [X ∩ (M1 ⊕ D2 )], M= X + (M1 ⊕ D2 ) Bổ đề 3.2.20 M = (Y+M2 ) + [X ∩ (M1 ⊕ D2 )], M = X + (M1 ⊕ D2 ) M= (M1 ⊕ D2 ) + [X ∩ (Y + M2 )], M= X+Y+M2 Bổ đề 3.2.20 M= (L+M1 ) + [X ∩ (Y + M2 )], M= X+Y+M2 M= L + [X ∩(Y + M2 )] d oa nl w a lu M= X+Y+M2 (L + M1 )/L M/L M= X+ [ L ∩(Y + M2 )] Bổ đề 3.2.20 ⇔ an nv M= L+M2 fu oi m ll ⇔ M = X + Y [L ∩ (Y + M2 )]/Y M/Y Do M H- phụ đối hữu hạn at nh z Để kết thúc Luận văn, trình bày định lý đặc trưng z gm @ vành nửa hồn chỉnh mơđun H- phụ đối hữu hạn Định lý l.c phát biểu hoàn toàn tương tự với Định lý 2.9 [6] đặc trưng om vành nửa hồn chỉnh mơđun ⊕- phụ đối hữu hạn an Lu Hơn nữa, phương pháp kỹ thuật chứng minh hai kết tương tự n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 65 Định lý 3.2.22 ([17]; Định lý 5.1) Đối với vành R phát biểu sau tương đương: (1) Vành R nửa hồn chỉnh (2) Mọi R-mơđun trái tự hữu hạn sinh H-phụ đối hữu hạn (3) R R H-phụ (4) R R H-phụ đối hữu hạn lu an (5) Mọi R-môđun trái tự H-phụ đối hữu hạn n va tn to Chứng minh Bằng phương pháp ký thuật tương tự phép ie gh chứng minh kết [6; Định lý 2.9], đồng thời sử dụng kết p áp dụng Mệnh đề 3.2.6, ta có phép chứng minh cho Định lý d oa nl w oi m ll fu an nv a lu at nh z z om l.c gm @ an Lu n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 66 Kết luận Luận văn bao gồm nội dung sau: Trình bày chi tiết số kết môđun phụ đối hữu hạn môđun lu an phụ yếu đối hữu hạn: Định nghĩa; tính chất đặc trưng môđun va n phụ đối hữu hạn (Định lý 2.1.12) môđun phụ đối hữu hạn đủ (Định lý gh tn to 2.1.14); tính chất đặc trưng mơđun phụ yếu đối hữu hạn (Định p ie lý 2.2.12) môđun phụ yếu đối hữu hạn với nhỏ (Định lý 2.2.16) Trình bày chi tiết số vấn đề mơđun H- phụ: Định nghĩa; tính nl w oa chất đặc trưng (Định lý 3.1.4); Môđun thương hạng tử trực tiếp d môđun H- phụ (Mệnh đề 3.1.5); Tổng trực tiếp hữu hạn môđun a lu an nv H- phụ (Định lý 3.1.9) m ll fu Trình bày số nội dung môđun H- phụ đối hữu hạn: Định nghĩa; tính chất đặc trưng mơđun H- phụ đối hữu hạn (Định lý 3.2.3); oi at nh môđun H- phụ đối hữu hạn π- xạ ảnh (Mệnh đề 3.2.6); kết z môđun thương hạng tử trực tiếp môđun H- phụ đối hữu hạn z gm @ (Định lý 3.2.7; Mệnh đề 3.2.13; Mệnh đề 3.2.14; Mệnh đề 3.2.16 Định l.c lý 3.2.18); Kết tổng trực tiếp hai môđun H- phụ đối hữu hạn om (Định lý 3.2.11; Định lý 3.2.21).Trong mục luận văn phát biểu phụ đối hữu hạn (hệ 3.2.12) an Lu chứng minh kết tổng trực tiếp hữu hạn môđun H- n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 67 Tài liệu tham khảo [1] R Alizade, G Bilhan and P F Smith, Modules whose maximal submodules have supplements, Comm Algebra 29 (2001), no 6, 2389- lu an 2405 n va Comm Algebra 31 (2003), no 11, 5377-5390 p ie gh tn to [2] R Alizade and E Buyukasik, Cofinitely weak supplemented modules, [3] F.W Andreson and K.R Fuller, Rings and categories of modules, nl w Springger Verlag, New York, 1974 d oa a lu [4] G.F Birkenmeier, F Takil Mutlu, C Nebiyev, N Sokmez and A m ll fu 41-52 an nv Tercan, Goldie*-supplemented modules, Glasg Math J 52 (2010) oi [5] E Buyukasik and C Lomp, On a recent generalization of semiper- nh at fect rings, Bull Aust Math Soc 78 (2008), no 2,317-325 z z gm @ [6] H Calisici and A Pancar, ⊕-cofinitely supplemented modules, Czechoslovak Math J 54 (2004), no 4, 1083-1088 l.c om [7] M.T Kosan and D Kesin, H-supplemented duo modules, Journal of Lu Algebra and Its Applications vol.6, No (2007) 965-971 an n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 68 [8] H Calisici and A Pancar, Cofinitely semiperfect modules, Sib Math J 46 (2005), no 2, 359-363 [9] J Clack, C Lomp, N Vanaja and R Wisbauer, Lifting Modules supplements and Projectivity in Module Theory, Frontier in Mathematics, Birkhauser Verlag, Basel, 2006 [10] P Fleury, Hollow modules and local endomorphism rings, Pacific J Math 53 (1974), no 2, 359-385 lu an [11] J Hausen, Modules with the summand intersection property, Comm va n Algebra 17 (1989), no 1, 135-148 tn to ie gh [12] D Keskin Tutuncu, M.J Nematollahi and Y Talebi, On H- p supplemented modules, Agebra Colloq 18 (2011), no Spec 1, 915- oa nl w 924 d [13] M.T Kosan, H-cofinitely supplemented modules, Vietnam J Math a lu an nv 35 (2007), no 2, 1-8 m14 T Kosan, N Agayev, A Leghwel, and A 314-346 oi m ll fu Harmanci, Duo modules and Duo rings, Far East J Math 20 (2006) nh [14] M.T Kosan and D Kesin, H-supplemented duo modules, Journal of at z Algebra and Its Applications vol.6, No (2007) 965-971 z @ gm [15] T Kosan, N Agayev, A Leghwel, and A Harmanci, Duo modules om l.c and Duo rings, Far East J Math 20 (2006) 314-346 an Lu n va ac Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn
Ngày đăng: 22/07/2023, 16:29
Xem thêm: