(Luận văn) iđêan nguyên tố liên kết của các thành phần phân bậc của mô đun đối đồng điều địa phương có đối chiều bé

BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
-------------------------

Lê Đình Nghĩa

lu
an
n

va
p

ie

gh

tn

to
IĐÊAN NGUN TỐ LIÊN KẾT CỦA CÁC THÀNH
PHẦN PHÂN BẬC CỦA MÔ ĐUN ĐỐI ĐỒNG ĐIỀU
ĐỊA PHƯƠNG CĨ ĐỐI CHIỀU BÉ

d

oa

nl

w

do

nf
va

an

lu
lm
ul

z
at
nh
oi

LUẬN VĂN THẠC SĨ TỐN HỌC

z
m

co

l.
ai

gm

@

an
Lu

Thành phố Hồ Chí Minh – Năm 2012

n

va
ac
th
si


BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
-------------------------

Lê Đình Nghĩa

lu
an
n

va
p

ie

gh

tn

to

IĐÊAN NGUN TỐ LIÊN KẾT CỦA CÁC THÀNH
PHẦN PHÂN BẬC CỦA MÔ ĐUN ĐỐI ĐỒNG ĐIỀU
ĐỊA PHƯƠNG CÓ ĐỐI CHIỀU BÉ

d

oa

nl

w

do

lu

nf
va

an

Chuyên ngành: Đại số và lý thuyết số
Mã số: 60 46 05

lm
ul

z
at
nh
oi

LUẬN VĂN THẠC SĨ TOÁN HỌC

z

m

co

l.
ai

gm

@

NGƯỜI HƯỚNG DẪN KHOA HỌC:
PGS. TS. TRẦN TUẤN NAM

an
Lu

Thành phố Hồ Chí Minh – Năm 2012

n

va
ac
th
si


Mục Lục
Lời cảm ơn ....................................................................................................... 3
Phần mở đầu .................................................................................................... 4
Bảng kí hiệu ..................................................................................................... 8
Chương 1: Kiến thức cơ sở ............................................................................. 9
1.1. Iđêan nguyên tố liên kết ......................................................................... 9

lu

1.2. Độ cao của một iđêan ........................................................................... 10

an

1.3. Chiều của một iđêan ............................................................................. 10

va
n

1.4. Độ sâu của mô đun ............................................................................... 11
1.6. Vành phân bậc ...................................................................................... 13

ie

gh

tn

to

1.5. Vành Cohen – Macaulay ...................................................................... 13

p

1.7. Hàm tử xoắn ......................................................................................... 14

do

nl

w

1.8. Mô đun đối đồng điều địa phương ....................................................... 16

d

oa

1.9. Tính khơng xoắn của mơ đun đối đồng điều địa phương .................... 18

an

lu

Chương 2: Iđêan nguyên tố liên kết của các thành phần phân bậc của mô

nf
va

đun đối đồng điều địa phương có đối chiều bé ........................................... 20

lm
ul

2.1. Khái niệm về sự ổn định tiệm cận........................................................ 20
2.2. Sự ổn định tiệm cận của iđêan nguyên tố liên kết của các thành phần

z
at
nh
oi

phân bậc của mô đun đối đồng điều địa phương. ........................................... 21
2.3. Iđêan nguyên tố liên kết của các thành phần phân bậc có đối chiều 1. 21

z

2.4. Iđêan nguyên tố liên kết của các thành phần phân bậc trong mô đun đối

@

gm

đồng điều nửa địa phương có số chiều 2......................................................... 28

co

l.
ai

KẾT LUẬN .................................................................................................... 35

m

TÀI LIỆU THAM KHẢO ............................................................................ 36

an
Lu
n

va
ac
th
si


Lời cảm ơn
Sau hai năm học tập và nghiên cứu tại Trường Đại học Sư phạm Thành
phố Hồ Chí Minh dưới sự hướng dẫn và hỗ trợ tận tình của PGS. TS. Trần
Tuấn Nam thì bài luận văn tốt nghiệp của tơi đã được hồn thành. Nhân dịp
này tơi xin bày tỏ lòng biết ơn sâu sắc đến Thầy đã giúp đỡ cho tơi hồn thành
luận văn này.

lu

Tơi xin bày tỏ lòng biết ơn đến PGS.TS Mỵ Vinh Quang, T.S Trần

an

Huyên, PGS.TS Bùi Tường Trí, PGS.TS Bùi Xuân Hải, cùng quý thầy trong

va
n

Khoa Toán – Tin Trường Đại học sư phạm thành phố Hồ Chí Minh đã tận

Cuối cùng tơi xin gởi lời cám ơn đến người thân, bạn bè và tất cả

p

ie

gh

tn

to

tình giảng dạy và giúp đỡ tơi trong suốt quá trình học tập tại trường.

oa

nl

w

cứu.

do

những người đã giúp đỡ và hỗ trợ tơi trong suốt q trình học tập và nghiên

d

Thành phố Hồ Chí Minh, tháng 3 năm 2012

lu
nf
va

an

Học viên

z
at
nh
oi

lm
ul

Lê Đình Nghĩa

z
m

co

l.
ai

gm

@
an
Lu
n

va
ac
th
si


Mở đầu
1. Lý do chọn đề tài
Cho R = ⊕ Rn trong đó họ (R n )n ≥0 là họ các vành Noether, R + =
n≥0

⊕ R n là một iđêan của R và M là một R – mô đun phân bậc hữu hạn sinh.

n >0

HiR + (M) là mô đun đối đồng điều địa phương thứ i của M đối với R + được

lu

trang bị tính phân bậc tự nhiên. Với mỗi n ∈ ta có HiR + (M)n là thành phần

an

(

)

n

va

phân bậc thứ n của mô đun HiR + (M) , tập hợp AssR 0 HiR + (M)n là tập hợp các

gh

tn

to

iđêan nguyên tố liên kết của HiR + (M n ) . Trong quá trình nghiên cứu và tìm

p

ie

hiểu về mơ đun đối đồng điều địa phương HiR + (M) các nhà toán học đã thu

w

do

được nhiều kết quả hết sức thú vị và đặc biệt về mô đun HiR + (M) và một trong

)
(M) )

d

(
(H

oa

nl

những tính chất thú vị đó là tính ổn định tiệm cận của tập hợp

n

là nhà toán học M. Brodmann, M. Brodmann đã chứng

nf
va

i

R+

an

AssR 0

lu

AssR 0 HiR + (M)n . Đi đầu trong việc nghiên cứu sự ổn định tiệm cận của

lm
ul

minh được một số kết quả quan trọng:

z
at
nh
oi

(1) [2.2.1] “ Nếu R – mô đun H Rj + (M) là hữu hạn sinh với mọi j < i, thì ta có

(

)

sự ổn định tiệm cận thứ i của AssR 0 HiR + (M)n ”.

z

)

gm

(

@

(2) [2.2.2] “ Nếu R 0 là vành (nửa địa phương) địa phương và có dim(R 0 ) ≤

l.
ai

1 thì chúng ta có tập hợp AssR 0 HiR + (M)n ổn định tiệm cận tại mọi i”,

)

thay đổi như thế nào? Trong

an
Lu

(

sự ổn định tiệm cận của AssR 0 HiR + (M)n

m

co

Vấn đề đặt ra ở đây là trong kết quả (2) khi mở rộng thêm giả thiết thì

n

va
ac
th
si


trường hợp R 0 khơng là địa phương thì chúng ta có sự ổn định tiệm cận hay
khơng hoặc cần bổ sung những điều kiện gì nữa để tính ổn định tiệm cận vẫn
cịn? Trong trường hợp khơng có điều kiện địa phương thì cần những điều

(

)

kiện gì của R 0 để cho AssR 0 HiR + (M)n vẫn ổn định tiệm cận?
Năm 2003 trong một bài báo của M. Bordmann, S. Fumasoli, và C.S.
Lim đã trả lời cho những câu hỏi trên một cách chính xác. Kết quả được thể
hiện trong các định lý sau.
Để mở rộng (2) trong trường hợp bỏ đi tính địa phương R 0 , chúng ta

lu

cần thêm một số điều kiện nhỏ thể hiện trong các kết quả sau:

an
n

va

(3) [2.3.3] Giả sử R 0 là mở rộng nguyên hữu hạn của miền nguyên A 0 sao cho
(i) Τi =Τi (M) :={p∈ AssR (HiR + (M)) | ht(p ∩ R) ≤ 1} là hữu hạn.

ie

gh

tn

to

q0 ∩ A0 =
0 với mỗi iđêan tối tiểu q0 của R 0 . Thì với mỗi i∈ .

p

(ii) Τin =Τin (M) :={p0 ∈ AssR 0 (HiR + (M)n ) | ht(p0 ) ≤ 1} ổn định tiệm cận.

do

oa

nl

w

(4) [2.3.6] Giả sử R 0 chủ yếu hữu hạn trong một trường. Thì với mỗi i∈ 0 .

d

(i) Τi =Τi (M) :={p∈ AssR (HiR + (M)) | ht(p ∩ R) ≤ 1} là hữu hạn.

lu

nf
va

an

(ii) Τin =Τin (M) :={p0 ∈ AssR 0 (HiR + (M)n ) | ht(p0 ) ≤ 1} ổn định tiệm cận.

lm
ul

Trong trường hợp đặc biệt, khi dim(R 0 ) ≤ 1 ta có kết quả:

z
at
nh
oi

(5) [2.3.9] Giả sử dim(R 0 ) ≤ 1 và R 0 hoặc là vành nữa đơn hoặc là mở rộng
của một miền nguyên hoặc là loại chủ yếu hữu hạn trên một trường. Thì với

co

l.

ai

gm

(ii) AssR (HiR + ( M )n ) ổn định tiệm cận.

@

(i) AssR (HiR + ( M )) là hữu hạn.

z

mỗi i∈ .

m

Ngồi ra cịn có một hướng mở rộng (2) trong trường hợp dim ( R 0 ) =2

an
Lu

nhưng vẫn giữ nguyên tính địa phương của R 0 , ta có kết quả yếu hơn:

n

va
ac
th
si

(6) [2.4.7] Giả sử R 0 là vành nửa địa phương với dim ( R 0 ) = 2 . Với i∈ . Thì
HiR + (M) là thuần hóa.

Đặc biệt, khi thêm vài điều kiện nhỏ thì ta có kết quả:
(7) [2.4.8] Giả sử R 0 là vành nửa địa phương với dimR 0 ≤ 2 . Nếu R 0 hoặc
mở rộng nguyên hữu hạn của một miền nguyên hoặc là loại chủ yếu hữu hạn

(

)

trong một trường. Thì với mọi i∈ tập hợp AssR 0 HiR + (M)n ổn định tiệm
cận.

lu

Những vấn đề trên có vai trong quan trọng trong chuyên ngành đại số,

an

đại số giao hoán và đại số đồng điều, vì thế nó thu hút sự quan tâm của nhiều

va
n

nhà tốn học.

Mục đích của luận văn này là hệ thống lại một số kiến thức cần thiết về

p

ie

gh

tn

to

2. Mục đích của đề tài

w

do

đại số giao hốn, đại số đồng điều có liên quan đến vấn đề tìm hiểu và nghiên

oa

nl

cứu, sau đó trình bày lại chi tiết các bài chứng minh cho các kết quả (3), (4).

d

Bên cạnh đó sẽ trình bày một cách hệ thống các bổ đề tính chất để đi đến kết

lu
nf

va

an

quả (6), (7).

lm
ul

3. Đối tượng và phương pháp nghiên cứu

z
at
nh
oi

Bài nghiên cứu sẽ trình bày một vài khái niệm cơ bản cùng các kiến
thức hỗ trợ và tập trung làm việc trên tập hợp các iđêan nguyên tố liên kết của
các thành phần phân bậc của mô đun đối đồng điều địa phương

)

z

(

gm

@

AssR 0 HiR + (M)n để thấy rõ tính chất ổn định tiệm cận hoặc những tính chất

l.
ai

khác của nó. Đặc biệt là bài nghiên cứu dừng ở mức độ số chiều của R 0 thấp

an
Lu

Luận văn được chia làm hai chương:

m

co

0,1,2 cũng như chỉ thêm vào R 0 những điều kiện nhỏ và cần thiết.

n

va
ac
th
si


Chương 1 trình bày lại các kiến thức cơ sở về đại số giao hoán, đại số
đồng điều nhằm phục vụ việc chứng minh các kết quả của chương sau.
Chương 2 gồm hai phần, phần 1 phần chính của bài luận văn, phần
này trình bày các bổ đề liên quan sau đó trình bày chi tiết bài chứng minh các

kết quả (3), (4) cùng với hệ quả liên quan. Phần 2 trình bày các bổ đề liên
quan sau đó dẫn đến kết quả (6), (7).

lu
an
n

va
p

ie

gh

tn

to
d

oa

nl

w

do
nf
va

an

lu
z
at
nh
oi

lm
ul
z
m

co

l.
ai

gm

@
an
Lu
n

va
ac
th
si

Bảng kí hiệu

= {0,1,2...} - tập hợp các số tự nhiên

 = {...,-1,0,1,2...} - tập hợp các số nguyên

⊕ R n - tổng trực tiếp của họ các vành R n

n ≥0

R/p – vành thương của R theo p
Spec(R) - tập hợp các iđêan nguyên tố của R

lu
an

V(a ) - tập hợp các iđêan nguyên tố chứa a

va
n

S−1R - vành các thương của vành R theo tập con nhân S

gh

tn

to

R p - vành địa phương tại p.

p

ie

SuppR 0 ( M ) =
{p ∈ Spec(R 0 ) | M p ≠ 0}

do

(

)

nl

w

Var( m ) = Supp R m

d

oa

Ann(M) - linh hóa tử của M

an

lu

dim ( R 0 ) - số chiều của vành R 0

nf
va

R 0 [l1 ,l2 ,...,lr ] - vành đa thức lấy hệ số trên R 0

lm
ul

...} - cận dưới đúng của một tập hợp
inf{i ∈

z
at
nh
oi

sup{i ∈
...} - cận trên đúng của một tập hợp

Hom ( A,B) - tập hợp tất cả các đồng cấu từ A đến B

z
m

co

l.
ai

gm

@
an
Lu
n

va
ac
th
si


Chương 1: Kiến thức cơ sở
1.1. Iđêan nguyên tố liên kết
Định nghĩa 1.1.1. Cho R là một vành Noether và M là một R – mô đun. Một

lu

iđêan nguyên tố p của R được gọi là iđêan nguyên tố liên kết của M nếu nó

an

(i) Tồn tại một phần tử x ∈ M sao cho Ann(x) = p .

n

va

thỏa một trong hai điều kiện tương đương sau:

tn

to
gh

(ii) M chứa một mô đun con đẳng cấu với R/ p .

p

ie

Tập hợp các iđêan nguyên tố liên kết của M được kí hiệu Ass R (M).

nl

w

do

Tính chất 1.1.2. Cho R là vành, giả sử p là phần tử tối đại của {Ann(x) |

oa

x ∈ M, x ≠ 0}. Thì p ∈ Ass R (M).

d

Hệ quả 1.1.3. Ass R (M) = 0 ⇔ M = 0

an

lu

nf
va

Hệ quả 1.1.4. Giả sử S là tập con nhân của R. Đặt R ' = S−1R , M ' = S−1M . Thì

lm
ul

AssR (M ') =f (AssR ' (M ')) =AssR (M) ∩ {p | p ∩ S =∅}

z
at
nh
oi

Trong đó f :Spec(R ') → Spec(R) là một đồng cấu.
Đặc biệt, AssR p ( M p ) =
{qR p | q ∈ AssR (M), q ⊆ p}

z

Định lý 1.1.5. Cho R là vành Noether và M là một R – mơ đun. Thì Ass R (M)

@

l.
ai

Ass R (M).

gm

⊆ Supp R (M), và với mọi phần tử tối tiểu của Supp R (M) đều nằm trong

an
Lu

tiểu của R- mô đun R/I là iđêan nguyên tố tối tiểu của I.

m

co

Hệ quả 1.1.6. Giả sử I là iđêan của vành R. Thì iđêan nguyên tố liên kết tối

n

va
ac
th
si


Định lý 1.1.7. Cho R là vành Noether và M là R – mô đun hữu hạn sinh,
M ≠ 0 . Thì tồn tại dãy các mơ đun con (0) = M 0 ⊂ ... ⊂ M n −1 ⊂ M n = M sao

cho

Mi

Mi−1 ≅

R

pi với mọi pi ∈ Spec(R),1 ≤ i ≤ n.

Bổ đề 1.1.8. Nếu 0 → M ' → M → M '' → 0 là một dãy khớp các R – mơ đun
thì khi đó Ass(M ') ⊆ Ass(M) ⊆ Ass(M ') ∪ Ass(M '') .
Tính chất 1.1.9. Cho R là vành Noether và M là R – mơ đun hữu hạn sinh.
Thì Ass R (M) là hữu hạn. Hơn nữa, AssR (M) ⊆ V(Ann(M)) và mỗi phần tử tối

lu

tiểu của V(Ann(M)) đều thuộc AssR (M) . Vì thế Ann(M) là giao các iđêan

an
n

va

nguyên tố liên kết của M.
AssR (N) ⊆ AssR (M) ⊆ AssR (M / N) ∪ AssR (N) .

ie

gh

tn

to

Tính chất 1.1.10. Nếu N là R – mơ đun con của M. Thì

p

1.2. Độ cao của một iđêan

nl

w

do

d

oa

Định nghĩa 1.2.1. Giả sử R là một vành. Một chuỗi hữu hạn của n + 1 iđêan

an

lu

nguyên tố p0 ⊃ p1 ⊃ p2 ⊃ .... ⊃ pn được gọi là chuỗi nguyên tố có độ dài n.

nf
va

Nếu p∈Spec(A) , thì cận trên của chuỗi nguyên tố với p = p0 được gọi là độ

z
at
nh
oi

Nhận xét 1.2.2.

lm
ul

cao của p kí hiệu là: ht( p ).

(i) Nếu ht( p ) = 0 điều đó có nghĩa p là một iđêan nguyên tố tối tiểu

z

của R.

gm

@

(ii) Nếu I là một iđêan của R. Độ cao của I là độ cao thấp nhất của

m

1.3. Chiều của một iđêan

co

l.
ai

iđêan nguyên tố chứa I. Tức=
là: ht(I) inf{ht(p)|p ⊇ I}

an
Lu
n

va
ac
th
si


Định nghĩa 1.3.1. Cho R là vành, chiều của R được định nghĩa là cận trên của
độ cao của các iđêan nguyên tố trong R.
=
dim(R) sup{ht(p) | p ∈ Spec(R)}

Nếu dim(R) là hữu hạn thì nó chính là chiều dài của chuỗi nguyên tố dài nhất
trong R.
Nhận xét 1.3.2.

=
(i) ht(p) dim(R p ), p ∈ Spec(R)
(ii) Với mọi iđêan I của R ta có: dim(R I ) + ht(I) ≤ dim(R)

lu
an

Tính chất 1.3.3. Giả sử M ≠ 0 là một R – mơ đun khi đó số chiều của mơ đun

n

va

M được định nghĩa là chiều của vành thương R Ann(M) . Tức là:

to
tn

dim(M) = dim  R Ann(M) 


ie

gh



p

Khi M = 0 ta qui ước dim(M) = -1.

do

nl

w

Tính chất 1.3.4. Với R là vành Noether và M ≠ 0 là hữu hạn trên R thì ta có

oa

các điều kiện tương đương sau:

d

(i) M là một R – mô đun có chiều dài hữu hạn.

an

lu

Ann(M) là vành Artin.

nf
va

(ii) Vành R

1.4. Độ sâu của mô đun

z
at
nh
oi

lm
ul

(iii) dim(M) = 0.

z

Định nghĩa 1.4.1. Cho R là vành giao hoán Noether và M là R – mô đun hữu

@

gm

hạn sinh khác 0. Dãy các phần tử a1,...,a n ∈ R được gọi là dãy M – chính quy

≠0

m
an
Lu

(a1,...,a n )M

co

(i) M

l.
ai

nếu:

n

va
ac
th
si


(ii) a i là phần tử M

(a1,...,a n )M - chính quy, với mọi i = 1,..,n .

Độ dài của M – dãy là số phần tử của dãy. M – dãy khơng có phần tử nào gọi
là M – dãy có độ dài 0.
Lưu ý 1.4.2.
(i) a ∈ R là phần tử M – chính quy nếu a khơng là ước của 0 trong M.
(ii) a1,...,a n ∈ R được gọi là M – dãy chính quy khi và chỉ khi

M

≠ 0 và a i ∉p với mọi p∈ AssR (M
)
(a1,...,a n )M với mọi

(a1,...,a n )M

lu

i = 1,..,n .

an
n

va

Định nghĩa 1.4.3. Cho R là vành giao hoán Noether và M là R – mô đun hữu

tn

to

hạn sinh khác 0. Lấy a là iđêan của R sao cho M ≠ aM và a1,...,a n là M –

ie

gh

dãy chính quy tối đại trong a nếu không tồn tại phần tử a n +1 ∈a sao cho

p

a1,...,a n ,a n +1 là M – dãy chính quy có độ dài n + 1.

do

nl

w

Định nghĩa 1.4.4. Cho R là vành giao hoán Noether và M là R – mô đun hữu

d

oa

hạn sinh khác 0. Lấy a là iđêan của R sao cho M ≠ aM . Khi đó mọi dãy

an

lu

chính quy của M trong a đều có thể mở rộng thành dãy chính quy tối đại

nf
va

trong a và các dãy chính quy tối đại của M trong a có cùng độ dài. Độ dài
Kí hiệu là depth( a , M).
Nhận xét 1.4.5.

z
at
nh

oi

lm
ul

này gọi chung là độ sâu của M trong a .

Nếu R là vành địa phương với iđêan tối đại m . Khi đó mọi M – dãy

z

chính quy a1,...,a n phải có các phần tử thuộc m , đơn giản vì

gm

@

l.
ai

M ≠ (a1,...,a n )M . Chú ý ta có M ≠ mM theo bổ đề Nakayama. Do đó dãy

m

co

các phần tử của R là M – dãy chính quy khi và chỉ khi nó là M – dãy chính
M và kí hiệu là: depth(M).

an

Lu

quy trong m . Trong trường hợp này, độ sâu của M trong m gọi là độ sâu của

n

va
ac
th
si


1.5. Vành Cohen – Macaulay
Định nghĩa 1.5.1. Cho R là vành Noether địa phương và M là R – mô đun
hữu hạn sinh. M được gọi là Cohen – Macaulay (CM) nếu M ≠ 0 và depth(M)
= dim M.
Nếu R là R – mơ đun Cohen – Macaulay thì R được gọi là vành Cohen –
Macaulay.
Định nghĩa 1.5.2. Cho R là vành Noether ta gọi R là vành CM nếu R m là

lu

vành CM địa phương với mọi iđêan tối đại m của R.

an
n

va

Tính chất 1.5.3. Cho R là vành Noether địa phương. M là CM R – mơ đun.

tn

to

Thì

ie

gh

(i) Với mọi p ∈ Ass ( M ) , depth M = dim R/p.

p

(ii) x = x 1 , x 2 ,…x n là một M – dãy nếu và chỉ nếu dim M/xM = dim M – r.

do

nl

w

Tính chất 1.5.4. R là vành Noether M là R – mô đun hữu hạn sinh. Giả sử x

oa

là một M – dãy. Nếu M là CM thì M/xM cũng CM.

d

Đặc biệt, nếu R là vành địa phương và M/xM là CM thì M là CM.

an

lu

nf
va

Tính chất 1.5.5. Cho M là CM và S là tập con nhân đóng trong R. Thì S−1M

lm
ul

là CM S−1R - mô đun. Đặc biệt, Nếu p ∈ SuppM thì M p là CM R p - mơ đun.

z
at
nh
oi

Tính chất 1.5.6. Cho R là vành Noether và M là CM R – mơ đun hữu hạn
sinh. Thì =
dim M dim M p + dim M / pM với mọi p ∈ Supp ( M ) .

z

1.6. Vành phân bậc

gm

@
m

n ≥0

co

R = ⊕ R n trong đó R n R m ⊆ R n + m

l.
ai

Định nghĩa 1.6.1. Vành R được gọi là vành phân bậc nếu R có dạng:

an
Lu
n

va
ac
th
si


Định nghĩa 1.6.2. Một R - mô đun phân bậc là một R – mô đun M nếu
M = ⊕ M n sao cho R n M m ⊆ M n + m
n∈Z

Nhận xét 1.6.3.
Một đồng cấu của R – mô đun phân bậc là một đồng cấu f : M → N sao
cho f (M n ) ⊆ N n với mọi n ≥ 0 .
Một mô đun con N của M được gọi là mô đun con phân bậc nếu
N=
⊕(N ∩ M n ) .

lu

Nếu N là mô đun con phân bậc của M thì M N cũng là R - mô đun

an
n

va

phân bậc M N = ⊕ M n N ∩ M .
n

to

Nếu R là vành phân bậc thì R + = ⊕ R n là một iđêan của R.

tn

n >0

ie

gh

Tính chất 1.6.4. Cho R là vành phân bậc, các mệnh đề sau tương đương:

p

(i) R là vành Noether.

do

nl

w

(ii) R 0 là vành Noether và R là R 0 – đại số hữu hạn sinh.

d

oa

Nhận xét 1.6.5.

lu

Cho R là một vành phân bậc R = ⊕ R n thì tồn tại các phần tử l1 ,l2 ,...,lr

an

n ≥0

nf

va

∈ R1 sao cho R = R 0 [l1 ,l2 ,...,lr ] .

z
at
nh
oi

đun phân bậc khi đó.

lm
ul

Tính chất 1.6.6. Cho R là một vành Noether phân bậc và M là một R – mô
(i) Mọi iđêan nguyên tố liên kết p của M là iđêan phân bậc và tồn tại

z

một phần tử thuần nhất x của M sao cho p = Ann(x).

Q(p) .

m

co
an
Lu

1.7. Hàm tử xoắn



p∈Ass(M)

l.
ai

bậc Q(p) sao cho (0) =

gm

@

(ii) Với mỗi p∈ Ass(M) chúng ta có thể chọn một p – nguyên sơ phân

n

va
ac
th
si


Định nghĩa 1.7.1. Cho M là một R – mô đun, tập hợp
Γa (M)=

 (0 : a n )= {m ∈ M | ∃n ∈ , a n m= 0} là mô đun con của M.

n∈N

Nếu f : M → N là đồng cấu các R - mơ đun.
Thì ta có f Γa (M)  ⊆ Γa (N)
Thật vậy với mọi x ∈Γa (M) ⇒ ∃n ∈  : a n x = 0
Khi đó a n f (x) =
0 ⇒ f (a n x) =
0.
Ta định nghĩa ánh xạ =
Γa (f ) f |Γa (M): Γa (M) → Γa (N) .

lu

Thì Γa (−) là một hàm tử hiệp biến trong phạm trù các R – mô đun.

an
n

va

Ta gọi Γa (−) là hàm tử a – xoắn.
sinh. Các phát biểu sau đây là đúng:
(i) Γa (M) ≠ 0 nếu và chỉ nếu a ⊆ ZD(M) .

p

ie

gh

tn

to

Bổ đề 1.7.2. Cho a là một iđêan của vành Noether R. Giả sử M là hữu hạn

w

do

Trong đó ZD(M) = {a ∈ R:∃0 ≠ m ∈ M sao cho a.m = 0}

d

oa

nl

(ii) Ass ( Γa (M) ) =
Ass(M)  V(a ) và Ass ( M / Γa (M) ) =
Ass(M) \ V(a ) .

nf
va

an

lu

Tính chất 1.7.3. Γa (−) bảo tồn tính khớp trái của dãy khớp ngắn.
Chứng minh

Tác động Γa (−) và ta được

z
at
nh
oi

lm
ul

g
f
Cho 0 
→ M 
→ N 
→ L là dãy khớp.

Γa (f )
Γa (g)
Γa (N) →
Γa (L)
0 
→ Γa (M) →

z

Khi đó Γa (f ) là đơn cấu. Ta chứng minh kerΓa (g) ⊇ ImΓa (f )

m

co
an
Lu

n
Khi đó=
0 a=
x a n f (m)
= f (a n m)

l.
ai

n
∃m ∈ M,n ∈  : f (m)
= x, a=
x 0

gm

Giả sử x ∈ ker Γa (g) ⊆ ker g =
Imf .

@

Thật vậy Γa (g)Γa (f ) =
Γa (gf ) =
0

n

va
ac
th
si


Do f đơn cấu nên a n m = 0 ⇒ m ∈Γa (M), x ∈Γa (f )
⇒ kerΓa (g) =
imΓa (f ) .

1.8. Mô đun đối đồng điều địa phương
Định nghĩa 1.8.1. Cho M là R – mô đun và a là iđêan của R. Cho giải nội xạ
của M
µ
d
d
0 
→ M 
→ I0 →
I1 → .... → Ii 
→ I → .....
0

i

lu

Tác động hàm tử a - xoắn Γa (−) vào dãy khớp trên ta được phức.

an

Γa (d )
0 
→ Γa (I0 ) → .... → Γa (Ii ) 
→ Γa (Ii +1 ) → ..... là dãy khớp
i

n

va

Im(Γa (di−1))

là mô đun đối đồng điều thứ i của phức và

gh

tn

to

i
Khi đó ker(Γa (d ))

p

ie

được gọi là mơ đun đối đồng điều địa phương thứ i của M đối với iđêan a .

nl

w

do

i
Kí hiệu là Hai (M) = ker(Γa (d ))

Im(Γa (di−1))

.

d

oa

Nhận xét 1.8.2.

an

lu

(i) Nếu M là R – mơ đun nội xạ thì Hai (M) = 0, ∀i > 0

nf
va

(ii) Γa (M) ≅ Ha0 (M) .

lm
ul

(iii) Mọi phần tử của Hai (M) linh hóa bởi a n với n nào đó.
mơ đun, a là ideal của R. Thì

z
at
nh
oi

Tính chất 1.8.3. Cho R là vành Noether S là tập đóng nhân của R, M là R –

z
@

S−1 (Γa (M)) =
ΓS−1a (S−1M)

l.
ai

gm

S−1 (Hai (M)) ≅ HSi −1a (S−1M) với mọi i.

m

co

Đặc biệt (Hai (M)) p ≅ Hai R p (M p ) với mọi iđêan nguyên tố p của R.
hạn sinh. Thì Him (M) là mơ đun Artin với mọi i.

an
Lu

Tính chất 1.8.4. Giả sử (R, m ) là vành địa phương, M là R – mô đun hữu

n

va
ac
th
si


g
f
Tính chất 1.8.5. Cho dãy khớp ngắn 0 → L 
→ N 
→ M → 0 khi đó với

→ Hai+1 (L) và những đồng cấu
mỗi i∈ 0 . Tồn tại một đồng cấu nối Hai (N) 

nối tạo nên một dãy khớp dài
Ha (f )
Ha (g)

0 → Ha0 (L) 

→ Ha0 (M) 
→ Ha0 (N)
0

0

1

1

i

i

Ha (f )
Ha (g)
E

→ H1a (L) 

→ H1a (M) 
→ H1a (N)
E

→ ....
Ha (f )
Ha (g)
E


→ Hai (L) 

→ Hai (M) 
→ Hai (M)
E

→ Hai+1 (L) 
→ ...

lu

Định nghĩa 1.8.6. Cho R = ⊕ R n là vành Noether, R là  – phân bậc, R 0 là

an

n ≥0

va

vành Noether. R + =
⊕ R n ⊆ R là một iđêan của R.
n >0

n

n∈Z

tn

to

Giả sử M = ⊕ M n là một R – mô đun phân bậc hữu hạn sinh.

p

ie

gh

Với i∈ ta có HiR + (M) là mô đun đối đồng điều địa phương của M đối với

do

iđêan R + .

oa

nl

w

Khi đó HiR + (M) là R - mô đun phân bậc và HiR + (M) = ⊕ HiR + (M)n .
n∈Z

d

Tính chất 1.8.7. Giả sử (R, m ) là vành địa phương và M là R – mơ đun phân

lu

nf
va

an

bậc hữu hạn sinh. Thì

(i) Him (M)n = 0, ∀i ∈ và n đủ lớn.

lm
ul

(ii) Him (M)n là R 0 – mô đun Artin với mọi i, với mọi n.

z
at
nh
oi

Tính chất 1.8.9. Cho (R, m ) là vành Noether địa phương với số chiều d, a
là một iđêan của R và M là R – mô đun hữu hạn sinh. Thì

(

)

(

)

)

co

(

l.
ai

(ii) AssR Hai (M) hữu hạn với i = 0,1.

gm

)

@

(

z

(i) AssR Hai (M) = AssR HomR R / a,Hai (M) .

m

(iii) SuppR Hai (M) hữu hạn với mọi i nếu dim(R / a ) ≤ 1 .

an
Lu

n

va
ac
th
si


Tính chất 1.8.10. Với mọi i ∈  thì R – mô đun HiR (Γ m0R (M) là mô đun
+

Artin. Định lý: Giả sử dim(R 0 ) ≤ 1 , với mọi i ∈  thì Γ m0R ( HiR M ) và
+

H1m R (HiR (M) là các R – mơ đun Artin.
+

0

Tính chất 1.8.11. Cho R là vành địa phương và M là R – mô đun hữu hạn

(

)

sinh với số chiều d ≤ 3 . Thì AssR Hai (M) hữu hạn với mọi iđêan a của R.
Tính chất 1.8.12. Với mỗi iđêan nguyên tố p của R ta có

lu

p∈ Ass ( Hai (M) ) ⇔ pR p ∈ Ass ( Hai R p (M p ) )

an

Tính chất 1.8.13. Cho R = ⊕ R n là vành Noether, R là  – phân bậc, R 0 là

n

va

n ≥0

n >0

tn

to

vành Noether. R + =
⊕ R n ⊆ R là một iđêan của R.

gh

Giả sử M = ⊕ M n là một R – mô đun phân bậc hữu hạn sinh. Khi đó với mỗi
n∈Z

ie

p

i∈ ta có:


)







n∈Z

d

oa

nl

w

do

(



i
AssR HiR + (M) =
p0 + R + | p0 ∈  Ass R 0 (H R + (M)n ) 

lu

nf
va

an

1.9. Tính khơng xoắn của mô đun đối đồng điều địa phương

lm
ul

Định nghĩa 1.9.1. Cho M là R – mô đun. Một phần tử x của M được gọi là

z
at
nh
oi

phần tử xoắn khi nó có một phần tử linh hóa khác khơng.
Nếu R là miền nguyên, tập hợp các phần tử xoắn của M kí hiệu : T(M)
là một R – mơ đun xoắn con của M.

z

gm

@

Khi T(M) = M thì M được gọi là mơ đun xoắn.

l.
ai

Khi T(M) = 0 thì M được gọi là mô đun không xoắn.

co

Định nghĩa 1.9.2. Cho R là một vành tùy ý, M là một R – mô đun, S là tập

m

con nhân của R. Một phần tử m của M được gọi là phần tử S – xoắn nếu tồn

an
Lu

tại s trong S linh hóa m.

n

va
ac
th
si


Định lý 1.9.3. Cho R 0 là miền nguyên, giả sử s ∈ R 0 \{0} và giả sử i∈ . Thì
=

R s (R 0 )s ⊗R 0 R và ( R
=
R=
s )+
+Rs

( R + )s

ta có các mệnh đề tương đương

sau:
(i) HiR (M)s là (R 0 )s - mô đun không xoắn.
+

(ii) Hi(R ) (Ms ) là (R 0 )s - mô đun không xoắn.
s +

(iii) Nếu p∈ AssR (HiR + (M)) thì s∈ p hoặc p ∩ R 0 =
0
Bổ đề 1.9.4. Giả sử R 0 là một miền nguyên vô hạn với trường các thương K.

lu

=
d dim K ⊗R R (K ⊗R 0 M) ≥ 0 và x1, x 2 ,..., x d là những phần tử bất kì.
Nếu

an

0

n

va

Thì tồn tại phần tử t ∈ R 0 \{0} và một đồng cấu:

tn

to

( R 0 )t  x  = ( R 0 )t  x1, x 2 ,...x d  → R t sao cho
 

0 )t  x  +

(M t ) ≅ Hi (R t )+ (M t ), ∀i ∈

p

ie

gh

dim K x  (K ⊗(R 0 )t M t ) =
d và Hi (R

do

Bổ đề 1.9.5. Giả sử R 0 là miền nguyên vô hạn với trường các thương K và

0

oa

nl

w

=
d dim K ⊗R R (K ⊗R 0 M) .

d

Thì tồn tại t ∈ R 0 \{0} sao cho Hi(R t )+ (M t ) = 0, ∀i > d

an

lu

nf
va

Bổ đề 1.9.6. Giả =
sử R R=
0
 x  R 0  x1, x 2 ,...x d  là vành đa thức trên miền

lm
ul

Noether R 0 với trường các thương K và giả sử M là R – mô đun phân bậc hữu

z
at
nh
oi

K  x  - mơ đun tự do thì tồn tại
hạn sinh. Khi đó nếu K ⊗R 0 M là K ⊗R 0 R =
một phần tử s ∈ R 0 \{0} sao cho:

l.
ai

s +

gm

Nếu i ≠ d thì Hi(R ) (Ms ) = 0 .

@

s +

z

Nếu i = d thì Hi(R ) (Ms ) là ( R 0 )s - mô đun tự do.

m

co

Định lý 1.9.7. Giả sử R 0 là một miền nguyên. Thì tồn tại phần tử s ∈ R 0 \{0}
+

an
Lu

sao cho HiR (M)s là ( R 0 )s - mô đun không xoắn ∀i ∈ .

n

va
ac
th
si


Chương 2: Iđêan nguyên tố liên kết của
các thành phần phân bậc của mơ đun
đối đồng điều địa phương có đối chiều
lu

bé

an
n

va
tn

to
p

ie

gh

2.1. Khái niệm về sự ổn định tiệm cận

do

nl

w

Định nghĩa 2.1.1. Giả sử (Sn )n∈Z là họ các tập hợp. Ta nói S n là ổn định tiệm

d

oa

cận khi n → −∞ nếu tồn tại n 0 ∈ sao cho Sn = Sn0 với mọi n ≤ n 0 .

an

lu

Như vậy, tập hợp AssR 0 (HiR + (M)n ) được gọi là ổn định tiệm cận khi n → −∞

nf
va

nếu tồn tại n 0 ∈ sao cho:

lm
ul

i
i
Ass
=
R 0 (H R + (M) n ) Ass R 0 (H R + (M) n 0 ), ∀n ≤ n 0

z
at
nh
oi

Lưu ý 2.1.2.

S n là ổn định tiệm cận khi n → −∞ ta có thể gọi ngắn gọn là ổn định

z

tiệm cận.

@

nếu Sn = 0 với n đủ nhỏ hoặc Sn ≠ 0 với n đủ nhỏ.

co

l.
ai

gm

Định nghĩa 2.1.3. Giả sử (Sn )n∈Z là họ các tập hợp. Ta nói S n là thuần hóa

m

Tập HiR + (M) được gọi là thuần hóa khi HiR + (M)n = 0 với n đủ nhỏ hoặc

an
Lu

HiR + (M)n ≠ 0 với n đủ nhỏ.

n

va
ac
th
si


Nhận xét 2.1.4.
Nếu AssR 0 (HiR + (M)n ) ổn định tiệm cận thì HiR + (M) là thuần hóa.
Trước khi đi vào nội dung chính của luận văn chúng ta nhìn lại một số

kết quả đã có về tính ổn định tiệm cận của tập iđêan nguyên tố liên kết của mô
đun đối đồng điều địa phương mà các nhà toán học đã nghiên cứu được.
2.2. Sự ổn định tiệm cận của iđêan nguyên tố liên kết của các thành phần
phân bậc của mô đun đối đồng điều địa phương.

lu
an
n

va

Định lý 2.2.1. Cho R 0 là vành địa phương và M là R – mô đun phân bậc hữu

tn

to

hạn sinh. Giả sử i∈ sao cho H Rj + (M) là R – mô đun hữu hạn sinh với mọi j

gh

< I thì AssR 0 (HiR + (M)n ) ổn định tiệm cận.

p

ie

Định lý 2.2.2. Cho M là R – mô đun phân bậc hữu hạn sinh. Đặt

do

nl

w

=
f f R + (M)
= inf{i ∈ | HiR + (M) khơng hữu hạn sinh} .

d

oa

Khi đó AssR 0 (H fR + (M)n ) ổn định tiệm cận.

an

lu

Định lý 2.2.3. Nếu R 0 là vành địa phương (nữa địa phương) có số chiều

nf
va

dim(R 0 ) ≤ 1 thì AssR 0 (HiR + (M)n ) ổn định tiệm cận với mọi i∈ .

lm
ul

Định lý 2.2.4. Nếu R là một vành Cohen – Macaulay với dim(R 0 ) = 1 và M là

i∈ .

z
at
nh
oi

Cohen – Macaulay R – mơ đun thì AssR 0 (HiR + (M)n ) ổn định tiệm cận với mọi

z

Tiếp theo ta sẽ đi tìm hiểu phần chính của luận văn, phần mở rộng (4)

@

gm

về hướng bỏ qua tính địa phương của R 0 đồng thời thêm vào một số điều kiện

m

hoàn chỉnh hơn về sự mở rộng của (4).

co

l.
ai

nhỏ cho R 0 . Trong trường hợp đặc biệt dim R 0 = 1 chúng ta có một kết quả

an
Lu

2.3. Iđêan nguyên tố liên kết của các thành phần phân bậc có đối chiều 1.

n

va
ac
th
si


Chú ý 2.3.1.
Giả sử i∈ ta kí hiệu
Τi =Τi (M) ={p∈ AssR (HiR + (M)) | height(p ∩ R) ≤ 1}

Với n ∈
ta kí hiệu

Τin =Τin (M) ={p0 ∈ AssR 0 (HiR + (M)n ) | height(p0 ) ≤ 1}
Ta có Τin =∅ với n đủ lớn. Hơn thế nữa

Τi=

{p + R
0

+

| p0 ∈  Tni
n∈Z

}

lu

Bổ đề 2.3.2. Giả sử i∈ và S ⊆ Τi . Khi đó với mọi số nguyên n đặt

an
n

va

i
S=
n {p0 ∈Τn |p0 +R + ∈ S} thì
n∈Z

(ii) S là hữu hạn khi và chỉ khi S n ổn định tiệm cận.
Chứng minh

p

ie

gh

tn

to

(i) S {p0 +R + |p0 ∈  Sn } .
=

do

w

(i) Nếu p0 +R + ∈{p0 +R + |p0 ∈  Sn } ⇒ ∃n ∈  : p0 ∈ Sn ⇒ p0 +R + ∈ S

oa

nl

n∈Z

d

Ngược lại, lấy p0 +R + ∈ S ⇒ ∃n ∈  p0 ∈ Tni

lu

an

⇒ p0 ∈ Sn ⇒ p0 ∈  Sn ⇒ p0 +R + ∈ {p0 +R + |p0 ∈  Sn }
n∈Z

nf

va

n∈Z

n∈Z

~

lm
ul

⇒ S {p0 +R + |p0 ∈  Sn }
=

~

n∈Z

z
at
nh
oi

(ii) Cho S hữu hạn. Đặt S =  Sn thì S là tập hữu hạn.
Giả sử p0 ∈ S thì ( R 0 )p là vành địa phương.
~

z

0

0





l.
ai

gm

@

Ta có dim ( R 0 )p = ht( p0 ) ≤ 1





+



m

0

co

Theo định lý 2.2.3 thì Ass R  Hi  (M p0 )n  ổn định tiệm cận
( 0 )p   R p 

0

an
Lu
n

va
ac
th
si


Mặt khác, ta có HiR + (M n ) p0 ≅ Hi


 Rp 
0 +


(M p0 )n

Nên hoặc p0 ∈ Ass R ( HiR + (M n ) ) với n đủ nhỏ hoặc p0 ∉ Ass R ( HiR + (M n ) ) với n
0

0

đủ nhỏ.

Điều đó có nghĩa p0 ∈ Sn với mọi n đủ nhỏ hoặc p0 ∉ Sn với mọi n đủ nhỏ.
~

Vì S hữu hạn nên Sn ổn định tiệm cận.
Ngược lại,
Cho S n ổn định tiệm cận. Nên S n hữu hạn với mỗi n nguyên dương

lu
an

Và S n = 0 với mọi n đủ lớn. suy ra  Sn hữu hạn.
n∈Z

va
n

Vậy S {p0 +R + |p0 ∈  Sn } hữu hạn.
=
Tính chất 2.3.3. Giả sử R 0 là mở rộng nguyên hữu hạn của miền nguyên A 0

gh

tn

to

n∈Z

p

ie

sao cho q0 ∩ A 0 =
0 với mỗi iđêan tối tiểu q0 của R 0 thì với mỗi i∈ ta có:

w

do

(i) Τi (M) là hữu hạn.

oa

nl

(ii) Tni (M) ổn định tiệm cận.

d

Chứng minh

an

lu
nf
va

Theo bổ đề 2.3.2. ta chỉ cần chứng minh (i) là đủ.

lm

ul

Gọi l0 ,l1,....lr ∈ R1 sao cho R = R 0[l0 ,l1,...lr ] và đặt A := A 0[l0 ,l1,...lr ] .
Khi đó, A là một vành con Noether của R và A + R = R + như vậy R là mở rộng

z
at
nh
oi

nguyên hữu hạn của A.

Trong trường hợp M là A – mô đun phân bậc hữu hạn sinh.

z

Ta có HiR + (M) ≅ HiA+ (M) . Theo định lý 1.9.7 và định lý 1.9.3 đối với M

gm

@

m

co

τ∈ AssA (HiR + (M))

l.
ai

hữu hạn sinh ta có s ∈ A 0 \{0} sao cho τ ∩ A 0 = 0 hoặc s ∈τ ∩ A 0 với mỗi

an
Lu

Vì q0 ∩ R 0 =
0 với mọi q0 nguyên tố tối tiểu của R 0 . Ta có height(sR 0 ) ≥ 1 .

n

va
ac
th
si


Giả sử lấy p∈Τi (M) . Thì p ∩ A ∈ AssA (HiR + (M)) và do đó p ∩ A0 =
0
hoặc s ∈ p ∩ A0
Nếu p ∩ A 0 =
0 thì p ∩ R 0 là một trong hữu hạn các iđêan nguyên tố
tối tiểu của R 0 .
Nếu s ∈ p ∩ A0 thì height(p ∩ R 0 ) ≤ 1 ≤ height(sR 0 ) do đó p ∩ R 0 là một
trong hữu hạn iđêan nguyên tố tối tiểu hữu hạn của sR 0 .

{

}

Vậy p ∩ R 0 | p ∈Τi (M) là hữu hạn nên Τi (M) cũng là tập hữu hạn.

lu

Hệ quả 2.3.4. Giả sử R 0 là một miền nguyên thì với mỗi i∈ những kết luận

an
n

va

trong tính chất trên vẫn đúng.



 là những tập
q0 R ( M ) 

gh

tn

to



Bổ đề 2.3.5. Giả sử với i∈ , Τi (Γq0R ( M )) và Τi  M
Γ

p

ie

hữu hạn với mọi ideal tối tiểu q0 của R 0 với q0 ⊇ (0 : M) . Thì Τi (M) là hữu

do

hạn.

oa

nl

w

Chứng minh

d

Giả sử q0(1) , q0(2) ,..., q0(t) = q0 là những iđêan nguyên tố tối tiểu khác nhau của R 0

lu

nf
va

an

chứa (0:R 0 M),(t ∈ 0 ) .

q0R (M)

rõ ràng (0:R 0 M) ⊄ q0 .

z
at
nh
oi

Đặt M := M Γ

lm
ul

Với mỗi p∈Τi (M) thì height(p ∩ R 0 ) ≤ 1 và p ∩ R 0 ⊇ (0 :R 0 M) .

Theo giả thiết Τi (M) là hữu hạn. Ta chỉ cần chứng minh Τi (M) \ Τi (M) hữu

z

hạn là được.

co

l.
ai

gm

Xét dãy khớp

@

Lấy p∈Τi (M) \ Τi (M) và giả sử p0= p ∩ R 0 .

m

δ
→ HiR + (Γq R (M)) → HiR + (M) → HiR + (M)
HiR−+1 (M) 
0

an
Lu
n

va
ac
th
si