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 ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC SƯ PHẠM

PHẠM MAI LAN MÔĐUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG VÀ
MỘT SỐ PHẠM TRÙ CON SERRE
Chuyªn ngµnh: Đại số và lý thuyết số
M· sè: 60.46.05 LUẬN VĂN THẠC SỸ KHOA HỌC GIÁO DỤC

Ng-êi h-íng dÉn khoa häc: PGS TS LÊ THỊ THANH NHÀN


R M I
M
M
M
depth(I, M) M
I i H
i
I
(M) = 0; (R, m)
dim M M i H
i
m
(M) = 0.
M r
H
r
I
(M)
min{depth(M
p
) + ht((I + p)/p) : p ⊇ 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
n H
n
I
(M) depth(IR
p
, M
p
)

n H
n
I
(M) /∈ S S M
R
S S S
S S
H
i
I
(M) ∈ S?
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
S
S R S
R
R 0 −→ M

−→ M −→ M

−→ 0 M ∈ S
M

, M

∈ S.
S R
S
Ext

2
, M)
f
2
−→ . . . .
Ext
i
R
(N, M) = Ker f
i
/ Im f
i−1
, ∀i = 0, 1, 2, . . .
i, F
i
F
i
∼
=
R
n
i
.
Hom(F
i
, M) = Hom(R
n
i
, M) =


R M M Supp M
Supp M = {p ∈ Spec R | M
p
= 0}.
R
0.
R
R
R M
R
0 0
M N M.
N 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
N
M/N M N
M/N N
M N M/N M
0
⊇ M
1
⊇ . . .
M. M
0
∩N ⊇ M
1
∩N ⊇ . . .
N
(M
0

n
. m−x ∈ M
n
.
m ∈ M
n
. M
k
= M
n
n ≥ k. M
M R N M.
Supp M = Supp N ∪ Supp(M/N). M
Supp N Supp(M/N) Supp N
Supp(M/N) Supp M
M
M N M
N M/N (M) = (N) + (M/N) < ∞.
R
p
0
⊂ p
1
⊂ . . . ⊂ p
n
R
p
i
= p
i+1

s = 0
R M Supp M ⊆ Max R
R
R
p R
R M m ∈ M
p = Ann
R
m = {r ∈ R | rm = 0}.
M Ass M
Ass M ⊆ Supp M R
min Ass M = min Supp M.
Z Spec R R. Z
p ∈ Z q ∈ Z
p, q ∈ Spec R p ⊆ q
Z ⊆ Spec R
R M Ass M ⊆ Z
M R N M. R
Ass N ⊆ Ass M ⊆ Ass N ∪Ass(M/N). Ass N ⊆
Z Ass(M/N) ⊆ Z Ass M ⊆ Z. Ass M ⊆ Z.
Ass N ⊆ Z. Ass(M/N) ⊆ Z. Ass M ⊆ Z
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
min Ass M = min Supp M min Supp M ⊆ Z. Z
Supp M ⊆ Z.
Supp M = Supp N ∪ Supp(M/N)
Supp(M/N) ⊆ Z. Ass(M/N) ⊆ Supp(M/N) ⊆ Z.
M Supp M
p, q ∈ Spec R p ⊆ q p ∈ Supp M
0 = M
p

n
= {m ∈ M | I
n
m = 0}.
S R
S (C
I
) M ∈ S R M
M = Γ
I
(M) 0 :
M
I ∈ S
(C
I
)
R E
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
f : N −→ M g : N −→ E
h : M −→ E g = hf. E R M
E. E M M ∩ L = 0
L = 0 E. E M E
M E R
M M
M E
R
(M) E(M).
S R
S S (C
I

(M) 0 :
M
x ∈ S x
I
S (C
I
). M R
M = Γ
I
(M) 0 :
M
x ∈ S x ∈ I. 0 :
M
I ⊆ 0 :
M
x
S 0 :
M
I ∈ S.
S (C
I
) M ∈ S. M R
M = Γ
I
(M) 0 :
M
I ∈ S. I = (x
1
, . . . , x
n

∈ S x
i+1
∈ I
M
i
∈ S. M
i
∈ S i. i = 0
M ∈ S.
(C
I
).
R
(C
I
).
0.
R
R M Supp M
R R M
Supp M ⊆ Max R).
R M dim Supp M  s
s ≥ 0
R M Ass M ⊆ Z,
Z ⊆ Spec R
0 0
M R Ass M ⊆ Max R
Ass M Ass M = {m
1
, . . . , m

i
n
i
E
i
. E
i
E(M)
(C
I
).
M R E(M)
M
E(M)
∼
=

p∈Ass M

i∈Λ
p
E
i
(R/p),
Λ
p
E
i
(R/p)
R/p. Ass M = Ass E(M). R

R
m
R ht m > 0 R/m
R M, N
R
I R. R N
Γ
I
(N) =

n≥0
(0 :
N
I
n
). f : N −→ N

R
f
∗
: Γ
I
(N) −→ Γ
I
(N

) f
∗
(x) = f(x).
Γ

u
1
−→ E
2
−→ . . .
N, Γ
I
(−)
0 −→ Γ(E
0
)
u
∗
0
−→ Γ(E
1
)
u
∗
1
−→ Γ(E
2
) −→ . . .
H
n
I
(N) = Ker u
∗
n
/ Im u

j
I
(H
i
I
(M)) = 0
j > 0.
0 −→ N

−→ N −→ N

−→ 0
R n
δ
n
: H
n
I
(N

) −→ H
n+1
I
(N

)
0 −→ Γ
I
(N



) −→ . . .
δ
n
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 = M/Γ
I
(M) n ≥ 1
H
n
I
(M)
∼
=
H
n
I
(M).
0 = a ∈ R M
am = 0 m = 0 m ∈ M.
a
1
, . . . , a
n
R M a
i
M/(a
1
, . . . , a
i−1

depth(I, M) = inf{i : H
i
I
(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
I R H
i
I
(M) = 0
i > dim Supp M M (R, m)
m
dim M = sup{i : H
i
m
(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
S
R
M, N R
S
S
S
> s
S
R M R x ∈ R
S M 0 :
M
x ∈ S. x
1
, . . . , x

n
S M/(x
1
, . . . , x
s−1
)M
L M L ∈ S.
x
1
, . . . , x
n
S M x
1
, . . . , x
n
S M/L.
x, y S M x S
M/yM.
x
1
, . . . , x
n
S M
S x
1
, . . . , x
s−1
S
M M
s

s
/(x
s
, . . . , x
j−1
)M
s
. x
s
, . . . , x
n
S M
s
.
x
1
, . . . , x
s−1
S M x
s
, . . . , x
n
S M
s
= M/(x
1
, . . . , x
s−1
)M j ≥ s,
M


x
1



x
1



x
1
0 −−→ L −−→ M −−→ N −−→ 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
0 −→ 0 :
L
x
1
−→ 0 :
M
x
1
f
−→ 0 :
N
x
1
g
−→ L/x

Im g L/x
1
L L/x
1
L ∈ S Im g ∈ S.
0 :
M
x
1
∈ S Im f ∈ S
0 :
N
x
1
∈ S Im f ∈ S
0 :
M
x
1
∈ S 0 :
N
x
1
∈ S
n. n = 1. x
1
S M
0 :
M
x

∼
=
L/(L ∩ x
1
M).
L

L. L

∈ S.
n−1 M

x
2
, . . . , x
n−1
S M

S N

= M

/L

.
N

= M

/L

1
, . . . , x
n
S M S
N.
f : M −→ M f(m) = xm m ∈ M.
Ker f = {m ∈ M | f(m) = xm = 0} = 0 :
M
x.
x, y S M x S M
Ker f ∈ S. S Ker f/y Ker f ∈ S.
x, y S M y S M/xM.
0 :
M/xM
y ∈ S. 0 :
M/yM
x ∈ S,
x S M/yM.
S
S
M R S
0 x
1
, . . . , x
k
S M
M
M/(x
1
, . . . , x

)M i = 1, . . . , n.

dim M/IM > 0 M
M M
M I f-depth(I, M).
depth(I, M)  f-depth(I, M).
depth(I, M)
M I
f-depth(I, M) = inf{i | H
i
I
(M) }
= inf{i | dim Supp H
i
I
(M) > 0}.
M R S
R x ∈ m S
0 :
M
x ∈ S 0 :
M
x 0 :
M
x
x M
x
1
, . . . , x
k

dim(R/p) > 1. p = Ann m m ∈ M. x ∈ p
xm = 0 m ∈ 0 :
M
x. p ∈ Ass(0 :
M
x).
dim(0 :
M
x) = max{dim(R/q) | q ∈ Ass(0 :
M
x)} ≥ dim(R/p) > 1,
x /∈ p p ∈ Ass M dim(R/p) > 1.
x M x M
p ∈ Ass(0 :
M
x). p ∈ Ass M. dim(R/p) > 1
p = Ann m m ∈ 0 :
M
x, xm = 0, x ∈ Ann m = p,
x M dim(R/p)  1
p ∈ Ass(0 :
M
x). dim(0 : Mx)  1. 0 :
M
x ∈ S
x S x S M
M x
1
, . . . , x
k