Luận văn Tính chất của môđun Artin pptx

Luận văn Tính chất của môđun Artin Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn (R, m) m; M R A R R M Ann R M/pM = p, p Ann R M A (∗) Ann R (0 : A p) = p, ∀p ∈ V (Ann R A). (∗) (∗) dim R A = dim R/ Ann R A R (∗) N-dim  R A = dim  R A R A N-dim R A  dim R A N-dim R A < dim R A A (∗) N-dim R A = dim R A (∗) Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn M dim R M = d U M (0) M d Usupp M = Supp(M/U M (0)) M (∗) H d m (M) Usupp(M) H d m (M) (∗) H i m (M) M i < d (∗) R (∗) H i m (M) i = 1, . . . , d − 1. i M Psupp i R (M) {p ∈ Spec R | H i−dim(R/p) pR p (M p ) = 0}. i H i m (M) (∗) M H i m (M) (∗) H i m (M) R/ Ann R M R/p p ∈ Supp M (∗) (∗) Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn (∗) Usupp M (∗) (∗) H i m (M) Psupp i R (M) (∗) H i m (M) R/ Ann R M R/p p ∈ Supp R M Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn R M R A R m R m Γ m (A) A Γ m (A) =  n≥0 (0 : A m n ). A R m R Γ m (A) = 0 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn m 1 , . . . , m r A = Γ m 1 (A) ⊕ . . . ⊕ Γ m r (A) Supp A = {m 1 , . . . , m r }. j ∈ {1, . . . , r} s ∈ R \ m j s Γ m j (A) Γ m j (A) R m j Γ m j (A) R R m j A m j ∼ = Γ m j (A), j = 1, . . . , r. A = A 1 ⊕ . . . ⊕ A r J A =  m∈Supp A m, A j = ∪ n>0 (0 : A m n j ) (1  j  r) (R, m) J A = m. (R, m) m R,  R, m t , t = 0, 1, 2, . . .  R  R r ∈ R r A R (R, m) A  R  R m R A R A  R A A  R Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn (R, m) E = E(R/m) R/m D() = Hom R (, E) C R R R R M µ M : M −→ DD(M) = Hom R (Hom R (M, E), E) R µ M (x)(f) = f(x), x ∈ M, f ∈ Hom(M, E). R E f ∈ Hom R (E, E) a f ∈ R : f(x) = a f x, ∀x ∈ E. N R D(N) A R D(A) Ann M = Ann D(M) M R  R (M) < ∞  R (D(M)) =  R (M). R M M = 0 x ∈ R x M Rad(Ann R M) p M p M R M M = N 1 + . . . + N n p i N i . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn M = 0 M p i N i i = 1, . . . , n M {p 1 , . . . , p n } M M Att R M N i , i = 1, . . . , n M M R M = 0 Att R M = ∅ R Ann(M) Att R M. 0 −→ M  −→ M −→ M  −→ 0 R Att R M  ⊆ Att R M ⊆ Att R M  ∪ Att R M  . A R A A  R A R  R A R  R Att R A = {  p ∩ R :  p ∈ Att  R A}. R N R Att R (D(N)) = Ass R (N). A R Ass R (D(A)) = Att R (A). Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn p 0 ⊆ p 1 ⊆ . . . ⊆ p n p i = p i+1 R dim R R M dim M n n Supp M M Supp M = V (Ann R M) dim M = dim R/ Ann R M = sup p∈Ass M dim(R/p). A N-dim R A, A = 0, N-dim R A = −1. A = 0, d ≥ 0, N-dim R A = d N-dim R A < d A 0 ⊆ A 1 ⊆ . . . A, n 0 N-dim R (A n+1 /A n ) < d, n > n 0 . M R M R N-dim R M = 0. M R M 0 ⊆ M 1 ⊆ . . . ⊆ M n ⊆ . . . M n 0 ∈ N M n = M n+1 n > n 0 M n+1 /M n = 0 N-dim R (M n+1 /M n ) = −1 < 0, n > n 0 M = 0 N-dim R M  0 N-dim R M = 0 N-dim R M = 0 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn [...]... những tính chất đẹp như là tính catenary phổ dụng của vành R/ AnnR M và tính không trộn lẫn của vành R/p, với p SuppR M 2.1 Tính chất linh hoá tử Tính chất linh hoá tử (thường được gọi là tính chất ()) được giới thiệu bởi N T Cường và L T Nhàn [5] Nhắc lại rằng đối với mỗi R -môđun hữu hạn sinh M ta xét một tính chất cơ bản sau: Giả sử S húa bi Trung tõm Hc liu i hc Thỏi Nguyờn p là iđêan nguyên tố của. .. nguyên tố của [5, Định nghĩa 4.2] Ký hiệu V (AnnR A) là tập các iđêan R chứa AnnR A Ta nói rằng A thoả mãn tính chất () nếu AnnR (0 :A p) = p, p V (AnnR A) () Rõ ràng rằng, khi vành R là đầy đủ thì theo đối ngẫu Matlis, mọi R -môđun Artin A đều thoả mãn tính chất () Lớp môđun Artin thoả mãn tính chất () có nhiều tính chất "tốt", đặc biệt liên quan chặt chẽ đến chiều Noether của một môđun Artin Nhắc... cấu trúc tự nhiên của A là R -môđun Artin Khi đó A có R -môđun Artin và ta có N-dimR A = N-dimR A Chính vì vậy, ta có thể viết N-dim A thay cho N-dimR A hoặc N-dimR A Đã có nhiều tác giả nghiên cứu cấu trúc của các môđun Artin A thông qua chiều Noether của chúng và một số tính chất của chiều Noether cho môđun S húa bi Trung tõm Hc liu i hc Thỏi Nguyờn http://www.Lrc-tnu.edu.vn 11 Artin được xem là đối... dimR M = d tiếp tục nghiên cứu tính chất () thì ta có N T Cường, N T Dung và L T Nhàn [3] () cho một lớp môđun Artin đặc biệt: môđun đối đồng điều địa phương cấp cao nhất và một số ứng dụng của nó Vì M thoả mãn tính chất N-dimR A = dimR A Giả sử rằng nên A M d Hm (M ) của môđun hữu hạn sinh M là môđun hữu hạn sinh trên vành Noether là môđun Noether, do đó tập các môđun con của M luôn thoả mãn điều kiện... trước, tính chất () của môđun đối đồng điều địa phương cấp cao nhất tương đương với tính catenary của giá không trộn lẫn của môđun M Nhưng cần chú ý rằng, ngay cả khi vành R là catenary thì tính chất () không nhất thiết thoả mãn cho các môđun đối đồng điều địa phương cấp i < d Tiết này dành để nghiên cứu điều kiện cần và đủ để với mỗi số nguyên i, các môđun đối đồng điều địa phương i Hm (M ) thoả mãn tính. .. thế ta có thể chứng minh được rằng môđun con lớn nhất của M có chiều thực sự nhỏ hơn là môđun con lớn nhất của M cho ta cách tính môđun con của môđun d luôn tồn tại và duy nhất Ký hiệu UM (0) có chiều thực sự nhỏ hơn UM (0) d Kết quả sau đây thông qua phân tích nguyên sơ thu gọn 0 của M Bổ đề 2.1.3 Nếu 0= N (p) là phân tích nguyên sơ thu gọn của môđun pAss M con 0 của M , trong đó N (p) là pnguyên... (0)) của M nên giá là catenary nếu và chỉ dim R/p + dim Mp = d, với mọi p Usupp M Một kết quả thú vị trong [3] đã chỉ ra rằng mặc dù ta có đẳng thức d d N-dim Hm (M ) = dim R/ AnnR Hm (M ) không thoả mãn tính chất để môđun d Hm (M ) (), nhưng nhìn chung và một điều đáng ngạc nhiên là điều kiện thoả mãn tính chất () lại liên quan đến một tính chất quan trọng: Tính catenary của giá không trộn lẫn của môđun. .. (R, m) m, A là R -môđun Artin, M dimR M = d () là R -môđun Chương này nghiên cứu đưa ra một đặc trưng của môđun đối đồng điều địa phương chất là vành Noether địa i Hm (M ) thoả mãn tính và trong trường hợp này, như một hệ quả ta có thể mở rộng được công thức liên kết với bội của M Brodmann và R Y Sharp [2] Hơn nữa, các kết quả thu được khi nghiên cứu tính chất phuơng i Hm (M ) () của môđun đối đồng điều... dụng tính chất của số bội của môđun hữu hạn sinh, ta có e(q, R/p) = e(qR, R/pR) vì đều là hệ số cao nhất của các đa thức Hilbert R (R/p/qn ) với thành (3) Đẳng thức (4) là do ta thay tập T (p) bằng tập {p Ass(R/pR) : dim(R/p) = s} (5) (2) n = R (R/pR/q n R), 0 Như đã đề cập ở Định lý 2.1.6 của tiết trước, N T Cuờng, N T Dung và L T Nhàn [3] đã đặc trưng tính chất phương cấp cao nhất Usupp M () của môđun. .. một số tính chất của vành catenary phổ dụng và thớ hình thức là Cohen-Macaulay Trong tiết này, chúng ta sẽ khảo sát tính chất cấp i () cho các môđun đối đồng điều địa phương Hm (M ) có i < d, qua đó thu lại được một số kết quả về tính catenary phổ dụng của vành địa phương Định lí dưới đây là một trong những kết quả chính của phần này Định lý 2.3.1 Giả sử rằng Khi đó vành i Hm (M ) thoả mãn tính chất . Luận văn Tính chất của môđun Artin Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.Lrc-tnu.edu.vn (R,