class="bi x0 y0 w1 h1"
class="bi x0 y0 w1 h1"
class="bi x1 y1 w2 h2"
class="bi x1 y2 w2 h3"
class="bi x1 y3 w2 h4"
class="bi x1 y4 w3 h5"
M R.
H
i
I
(M) i > dim Supp
R
M (R, m)
M H
d
m
(M) = 0, d = dim M.
M i H
i
m
(M) = 0.
I (R, m) dim R = n
H
n
I
(R) = 0 dim

R/(I

R + P) ≥ 1
P m

H
d
I
(M)
¨o
R
A Att
R
A
H
i
m
(M)
H
d
I
(M) M
R.
H
i
m
(M) H
d
I
(M)
R A
Ann
R
(0 :
A

R Att

R
H
i
m
(M)
P ∩ R Att
R
H
i
m
(M).
H
i
m
(M) R.
Att
R
H
i
m
(M)
Att

R
H
i
m
(M)


R.
H
d
I
(M) R
H
d
I
(M) R
R
H
i
m
(M)
H
d
I
(M)
H
d
I
(M)
(R, m)
M R dim M = d A
R
H
i
m
(M) m


R
(

R/p

R).
A
Att

R
A =

p∈Att
R
A
Ass

R
(

R/p

R) (1)
A = H
i
m
(M)
A
f

Hom
R
(K
i
(M), E(R/m)) i
E(R/m) R/m.
K
i
(M)
Att
R
H
i
m
(M) Att

R
H
i
m
(M)
Att

R
H
i
m
(M) =

p∈Att

R
H
i
m
(M)
Ass

R
(

R/p

R) R
M i ≥ 0
dim(R/ Ann
R
H
i
m
(M)) = N-dim
R
H
i
m
(M) R
M i ≥ 0
i ≥ 0
M Psupp
i
R

(M)
Psupp
i

R
(

M).
R R
Psupp
i
R
M = {P ∩R | P ∈ Psupp
i

R
(

M)} R
M i ≥ 0
p R p
R R
p
M
p
R
p
M
p
= 0 p ⊇ Ann

F
p
(A) = 0 p ⊇ Ann
R
A R A
R →

R
p, q ∈ Spec(R), Q ∈ Spec(

R)
q ⊆ p Q ∩ R = q P ∈ Spec(

R) Q ⊆ P
P ∩ R = p.
p ∈ Spec(R)
F
p
: M
R
→ M
R
p
R →

R
R
F
p
p ∈ Spec(R)

R F
p
(H
i
m
(M))
F
p
(H
i
m
(M)) = 0 p ⊇ Ann
R
H
i
m
(M) i
R M R
R
R
R A
Ann
R
(0 :
A
p) = p p ⊇ Ann
R
A.
H
d

(M)

H
d
I
(M)
R
H
d
I
(M)
M.
0 =

p∈Ass
R
M
N(p) 0
M
Ass
R
(I, M) =

p ∈ Ass
R
M | dim(R/p) = d,

I + p = m

.

I
(M) H
d
I
(M)
∼
=
H
d
m
(M/N).
H
dim R
I
(R)

R
Att

R
H
dim R
I
(R) = {P ∈ Ass(

R) | dim(

R/P) = dim R,

I

F
p
(−) = Hom
R

Hom
R
(−, E(R/m)), E(R/p)

R R
p
E(−)
R F
p
(H
d
I
(M))
∼
=
H
d−dim R/p
pR
p
(M/N)
p
.
H
d
I

(M)
Cos
R
(H
d
I
(M)) = Var(Ann
R
H
d
I
(M)).
Cos
R
(H
d
I
(M))
Spec(R)
H
d
I
(M) Cos
R
(H
d
I
(M))
I = m
R

(n) = 
R
(0 :
A
q
n+1
) =
e

(q, A)
s!
n
s
+ s
n  0 e

(q, A) e

(q, A)
A q
Psupp
i
R
(M)
H
i
m
(M).
Cos
R

R
p

H
0
pR
p
(M/N)
p

e(q, R/p).
e

(q, H
d
I
(M)) = e(q, M/N) =

p∈Ass
R
(I,M)

R
p
(M
p
)e(q, R/p).
(R, m)

R m R M R

p L. L
{p
1
, . . . , p
n
}
L
L Att
R
L. L
i
,
i = 1, . . . , n L. p
i
Att
R
L p
i
L
L
i
L.
L R
Att
R
L = ∅ L = 0.
min Att
R
L = min Var(Ann
R

)
n∈N
R r. Ru k
m
k
u = 0. n
0
r
n
− r
m
∈ m
k
m, n ≥ n
0
. r
n
u = r
n
0
u n ≥ n
0
.
ru = r
n
0
u. A

R
A R

(L) =

n≥0
(0 :
L
I
n
) f : L → L

R f(Γ
I
(L)) ⊆ Γ
I
(L

))
Γ
I
(f) : Γ
I
(L) → Γ
I
(L

) Γ
I
(f)(x) = f(x)
x ∈ Γ
I
(L) Γ

(L).
I, J R
√
I =
√
J H
i
I
(L) = H
i
J
(L)
f : R → R

L

R

L

R f
r ∈ R m

∈ L

f(r)m

.
R H
i


)
∼
=
H
i
I
(L

) R
f : R → R

f : R → R

R

H
i
I
(L) ⊗
R
R

∼
=
H
i
IR

(L ⊗

dim

R/(I

R + P) > 0.
H
i
m
(M) R i ≥ 0
H
d
I
(M) R I R
M = 0 dim M = d.
H
d
m
(M) = 0
Att
R
(H
d
m
(M)) = {p ∈ Ass
R
M | dim(R/p) = d}.
p ∈ Supp
R
(M) dim R/p = t
i ≥ 0 q q ⊆ p

dim R
I
(R)

R.
I R
Att

R
(H
d
I
(M)) = {P ∈ Ass

R

M | dim

R/P = d,

I

R + P = m

R}.
R
p ⊂ q R
p = p
0
⊂ p

R
dim

R/P = dim

R P ∈ min Ass

R R
depth R = dim R.
R
R
R

Trích đoạn Đối địa phương hóa Tập iđêan nguyên tố gắn kết

---