Đại số đồng điều
#1
Đã gửi 04-05-2006 - 17:22
Cho A, B là hai hạng tử trực tiếp của môddun xạ ảnh P.
Chứng minh rằng A giao B cũng là hạng tử trực tiếp của P.
#2
Đã gửi 07-05-2006 - 10:56
Tớ thấy đề nó đơn giản nhưng khi thử thì không biết thế nào mà làm cả.
#3
Đã gửi 10-05-2006 - 08:21
Tôi lục lọi được một bài báo viết về các module có tính chất giao của 2 hạng tử trực tiếp bất kỳ cũng là một hạng tử trực tiếp (chúng có tên gọi hẳn hoi: SIP-Summand Intersection Property)
http://yunus.hacette...MP-Hamdouni.pdf
Đọc qua thì thấy có nhắc đến một kết quả của Kaplansky khẳng định rằng mọi module tự do trên một vành nhân tử chính (PID) có SIP.
Trong bài báo trên có một định lý như sau: http://dientuvietnam...n/mimetex.cgi?M là một http://dientuvietnam...ex.cgi?R-module có SIP khi và chỉ khi trong mọi phân tích http://dientuvietnam.../mimetex.cgi?M.
Dựa trên định lý này có thể xây dựng được phản ví dụ cho trường hợp tổng quát của các module xạ ảnh (thậm chí tự do). Lấy http://dientuvietnam...k[x,y]/(xy) và http://dientuvietnam...metex.cgi?ker(f)=yk[x,y]/(xy) không thể là một hạng tử trực tiếp của http://dientuvietnam...n/mimetex.cgi?M vì nó không phải là một module xạ ảnh trên http://dientuvietnam.../mimetex.cgi?R. (Mudule này thậm chí có chiều xạ ảnh là vô cùng vì nó có một giải tự do cực tiểu dài vô hạn (infinite minimal (graded) free resolution
Anh đi để lại cho nàng thằng ku</span>
#4
Đã gửi 16-05-2006 - 18:05
#5
Đã gửi 18-05-2006 - 14:24
#6
Đã gửi 22-05-2006 - 18:49
Anh CD ơi! anh giỏi quá ta!Loay hoay mãi mới phát hiện ra câu hỏi của cậu không đúng. Chắc cậu ghi thiếu cái gì đó.
Tôi lục lọi được một bài báo viết về các module có tính chất giao của 2 hạng tử trực tiếp bất kỳ cũng là một hạng tử trực tiếp (chúng có tên gọi hẳn hoi: SIP-Summand Intersection Property)
http://yunus.hacette...MP-Hamdouni.pdf
Đọc qua thì thấy có nhắc đến một kết quả của Kaplansky khẳng định rằng mọi module tự do trên một vành nhân tử chính (PID) có SIP.
Trong bài báo trên có một định lý như sau: http://dientuvietnam...n/mimetex.cgi?M là một http://dientuvietnam...ex.cgi?R-module có SIP khi và chỉ khi trong mọi phân tích http://dientuvietnam.../mimetex.cgi?M.
Dựa trên định lý này có thể xây dựng được phản ví dụ cho trường hợp tổng quát của các module xạ ảnh (thậm chí tự do). Lấy http://dientuvietnam...k[x,y]/(xy) và http://dientuvietnam...metex.cgi?ker(f)=yk[x,y]/(xy) không thể là một hạng tử trực tiếp của http://dientuvietnam...n/mimetex.cgi?M vì nó không phải là một module xạ ảnh trên http://dientuvietnam.../mimetex.cgi?R. (Mudule này thậm chí có chiều xạ ảnh là vô cùng vì nó có một giải tự do cực tiểu dài vô hạn (infinite minimal (graded) free resolution
Tiện thể sao anh hổng cho tụi nít bọn em một An intro..to homoAlg đi em cũng thích nó lắm nhưng tự đọc sách lấy hổng có hiểu.
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh