VIỆN KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM
VIỆN TOÁN HỌC
-----oOo-----
Phạm Hùng Quý
TÍNH CHẺ RA CỦA MÔĐUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG
ỨNG DỤNG
LUẬN ÁN TIẾN SĨ TOÁN HỌC
HÀNỘI-2013
VIN KHOA HỌC VÀ CÔNG NGH VIT NAM
VIN TOÁN HỌC
-----oOo-----
Phạm Hùng Quý
TÍNH CHẺ RA CỦA MÔĐUN ĐI ĐNG ĐIU ĐỊA PHƠNG
ỨNG DỤNG
Chuyên ngành: Đại s và lý thuyt s
Mã s: 62. 46. 01. 04
LUẬN ÁN TIN SĨ TOÁN HỌC
TẬP THỂ HỚNG DẪN KHOA HỌC:
GS. TSKH. Nguyn Tự Cờng
HÀNỘI-2013
❚ã♠ t➽t
❈❤♦
R
❧➭ ♠ét ✈➭♥❤ ◆♦❡t❤❡r ❣✐❛♦ ❤♦➳♥✱
a
❧➭ ♠ét ✐➤➟❛♥ ❝ñ❛
R
✈➭
M
❧➭ ♠ét
R
✲♠➠➤✉♥ ❤÷✉ ❤➵♥ s✐♥❤✳ ▼ô❝ t✐➟✉ ❝❤Ý♥❤ ❝ñ❛ ❧✉ ➳♥ t×♠ ♥❤÷♥❣ ➤✐Ò✉ ❦✐Ö♥
➤Ó ❝➳❝ ♠➠➤✉♥ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣
Hi
a()
❝ã ♥❤ ❝❤✃t ❝❤❰ r❛ ✈➭ ➳♣
❞ô♥❣ ♥ã ✈➭♦ ♥❤✐Ò✉ ✈✃♥ ➤Ò ❦❤➳❝ ♥❤❛✉ ❝ñ❛ ➜➵✐ ●✐❛♦ ❤♦➳♥✳ ▲✉❐♥ ➳♥ ➤➢î❝
❝❤✐❛ ❧➭♠ ❜è♥ ❝❤➢➡♥❣✳
❚r♦♥❣ ❈❤➢➡♥❣ ✶✱ tr➢í❝ ❤Õt ❝❤ó♥❣ t➠✐ ♥❤➽❝ ❧➵✐ ♠ét tÝ♥❤ ❝❤✃t ❝➡ ❜➯♥ ❝ñ❛
♠➠➤✉♥ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣ ✈➭ ♣❤Ð♣ t♦➳♥ tr♦♥❣ ♠➠➤✉♥
Ext1
R(,)
➜Ó
❝❤ø♥❣ ♠✐♥❤ ♠ét ❞➲② ❦❤í♣ ♥❣➽♥
0ABC0
❧➭ ❝❤❰ r❛ ❝❤ó♥❣ t➠✐
❝❤ø♥❣ ♠✐♥❤ ♥ã ➤➵✐ ❞✐Ö♥ ❝❤♦ ♣❤➬♥
0
❝ñ❛
Ext1
R(C, A)
❈✉è✐ ❝❤➢➡♥❣ ❝❤ó♥❣
t➠✐ ❝❤ø♥❣ ♠✐♥❤ ♠ét ➤Þ♥❤ ❧Ý ❝❤❰ r❛ ❝ñ❛ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣ ✈í✐ ➤✐Ò✉
❦✐Ö♥
Hi
a(M)
❧➭ ❤÷✉ ❤➵♥ s✐♥❤ ✈í✐ ♠ä✐
i < t
♥➭♦ ➤ã✳ ▼ét ➳♣ ❞ô♥❣ ❝ñ❛ ➤Þ♥❤
❧Ý ❝❤❰ r❛ ♥➭② ✈➭♦ tÝ♥❤ æ♥ ➤Þ♥❤ ❝ñ❛ ❤Ö t❤❛♠ ❝ñ❛ ♠➠➤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛②
s✉② ré♥❣ ❝ò♥❣ ➤➢î❝ ➤➢❛ r❛✳
❚r♦♥❣ ❈❤➢➡♥❣ ✷✱ ❝❤ó♥❣ t➠✐ ➳♣ ❞ô♥❣ tÝ♥❤ ❝❤❰ r❛ ❝ñ❛ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛
♣❤➢➡♥❣ ➤Ó ❝❤ø♥❣ ♠✐♥❤ ♠ét tÝ♥❤ ❝❤✃t æ♥ ➤Þ♥❤ ❝ñ❛ ❤Ö t❤❛♠ tèt ❝ñ❛ ❝➳❝
♠➠➤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② ré♥ ❞➲②
❚r♦♥❣ ❈❤➢➡♥❣ ✸✱ ❝❤ó♥❣ t➠✐ ❧✉➠♥ ①Ðt ✈➭♥❤ ❝➡
(R, m)
❧➭ ➯♥❤ ➤å♥❣ ❝✃✉
❝ñ❛ ♠ét ✈➭♥❤ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ➤Þ❛ ♣❤➢➡♥❣✳ ❈❤ó♥❣ t➠✐ ❝❤ø♥❣ ♠✐♥❤ tÝ♥❤ ❝❤❰
r❛ ❝ñ❛ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣ t❤❡♦ ❝➳❝ ♣❤➬♥ t❤
xb(M)3
ë ➤➞②
b(M) = d
x;i=1Ann(0 : xi)M/(x1,...,xi1)M,
✈í✐
x=x1, ..., xd
❝❤➵② tr♦♥❣ t✃t ❝➯ ❝➳❝ Ö t❤❛♠ ❝ñ❛
M
▼ét ❞ô♥❣ ➤➳♥❣
❝❤ó ý ❝ñ❛ ➤Þ♥❤ ❧Ý ❝❤❰ r❛ ♥➭② ❧➭ ❝❤ó♥❣ t➠✐ ➤➲ ①➞② ❞ù♥❣ ➤➢î❝ ♠ét ❧♦➵✐ ❜❐❝ ♠ë
ré♥❣ t❤❡♦ ♥❣❤Ü❛ ❝ñ❛ ❛s❝♦♥❝❡❧♦s ✈➭ ❣ä✐ ➤ã ❧➭ ❜❐❝ ❦❤➠♥❣ tré♥ ❧➱♥✳
❚r♦♥❣ ❈❤➢➡♥❣ ✹✱ ❝❤ó♥❣ t➠✐ ❝❤ø♥ ♠✐♥❤ ♠ét tÝ♥❤ ❝❤✃t ❤÷✉ ➵♥ ❝ñ❛ t❐♣
✐➤➟❛♥ ♥❣✉②➟♥ ✐➟♥ ❦Õt ❝ñ❛ ♠➠➤✉♥ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣ ➤➬✉ t✐➟♥ ❦❤➠♥❣
❤÷✉ ❤➵♥ s♥❤ ✈➭ ❝ã t❐♣ ❣✐➳ ✈➠ ❤➵♥✳ ❈❤ó♥❣ t➠✐ ❝ò♥❣ ❝❤ø♥❣ ♠✐♥ tÝ♥❤ ❤÷✉ ❤➵♥
❝ñ❛ ♠ét t❐♣ ✐➤➟❛♥ ♥❣✉②➟♥ ❧✐➟♥ ❦Õt ❧✐➟♥ q✉❛♥ í✐ ❝❤✐Ò✉ ❤÷✉ ❤➵♥ ❝ñ❛
M
t➢➡♥❣ ø♥❣ ✈í✐ ♠ét ✐➤➟❛♥
a
❆❜str❛❝t
▲❡t
R
❜❡ ◆♦❡t❤❡r✐❛♥ r✐♥❣✱
a
❛♥ ✐❞❡❛❧ ♦❢
R
❛♥❞
M
❢✐♥✐t❡❧② ❣❡♥❡r❛t❡❞
R
♠♦❞✉❧❡✳ ❚❤❡ ❛✐♠ ♦❢ t❤✐s t❤❡s✐s ✐s t♦ ♣r♦✈❡ ❚❤❡♦r❡♠s ♦♥ t❤❡ s♣❧✐tt✐♥❣ ♦❢ ❧♦❝❛❧
❝♦❤♦♠♦❧♦❣②
Hi
a()
❛♥❞ t❤❡✐r ❛♣♣❧✐❝❛t✐♦♥s ✐♥ ♠❛♥② ♣r♦❜❧❡♠s ♦❢ ❈♦♠♠✉t❛t✐✈❡
❆❧❣❡❜r❛✳ ❚❤❡ t❤❡s✐s ✐s ❞✐✈✐❞❡❞ ✐♥t♦ ❢♦✉r ❝❤❛♣t❡rs✳
■♥ ❈❤❛♣t❡r ✶✱ ✇❡ ❢✐rst r❡❝❛❧❧ s♦♠❡ ❢✉♥❞❛♠❡♥t❛❧ r❡s✉❧ts ♦❢ ❧♦❝❛❧ ❝♦❤♦♠♦❧✲
♦❣② ❛♥❞ ♦♣❡r❛t✐♦♥s ♦❢
R
✲♠♦❞✉❧❡
Ext(,)
■♥ ♦r❞❡r t♦ ♣r♦✈❡ s❤♦rt ❡①❛❝t
s❡q✉❡♥❝❡
0ABC0
✐s s♣❧✐t ✇❡ s♦✇ t❤❛t ✐t ✐s r❡♣r❡s❡♥t❛t✐✈❡
♦❢ t❤❡ ③❡r♦ ❡❧❡♠❡♥t ♦❢
Ext1
R(C, A)
❲❡ ♣r♦✈❡ s♣❧✐tt✐♥❣ t❤❡♦r❡♠ ♦❢ ❧♦❝❛❧
❝♦❤♦♠♦❧♦❣② ♣r♦✈✐❞❡❞ t❤❛t
Hi
a(M)
✐s ❢✐♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❢♦r ❛❧❧
i < t
✇✐t❤
s♦♠❡ ♣♦s✐t✐✈❡ ✐♥t❡❣❡r
t
❙♦♠❡ ❛♣♣❧✐❝❛t✐♦♥s ❛❜♦✉t t❤❡ ❛s②♠♣t♦t✐❝ ❜❡❤❛✈✐♦r ♦❢
s②st❡♠s ♦❢ ♣❛r❛♠❡t❡rs ♦❢ ❣❡♥❡r❛❧✐③❡❞ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ♠♦❞✉❧❡s ❛r❡ ❣✐✈❡♥✳
■♥ ❈❤❛♣t❡r ✷✱ ✇❡ ✉s❡ t❤❡ s♣❧✐tt✐♥❣ ♦❢ ❧♦❝❛❧ ❝♦❤♦♠♦❧♦❣② t♦ ♣r♦✈❡ s♦♠❡
❛s②♠♣t♦t✐❝ ❜❡❤❛✈✐♦rs ♦❢ ❣♦♦❞ s②st❡♠s ♦❢ ♣❛r❛♠❡t❡rs ♦❢ s❡q✉❡♥t✐❛❧❧② ❣❡♥❡r✲
❛❧✐③❡❞ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ♠♦❞✉❧❡s✳
■♥ ❈❤❛♣t❡r ✸✱ ✇❡ ❛❧✇❛②s ❛ss✉♠❡ t❤❛t
(R, m)
✐s t❤❡ ❤♦♠♦♠♦r♣❤✐❝ ✐♠❛❣❡ ♦❢
❈♦❤❡♥✲▼❛❝❛✉❧❛② ❧♦❝❛❧ r✐♥❣✳ ❲❡ s❤❛❧❧ ♣r♦✈❡ t❤❡ s♣❧✐tt✐♥❣ ♦❢ ❧♦❝❛❧ ❝♦❤♦♠♦❧✲
♦❣② ♥❞❡r ♣❛ss✐♥❣ ♣❛r❛♠❡t❡r ❡❧❡♠❡♥t
xb(M)3
✇❤❡r❡
b(M) = d
x;i=1Ann(0 : xi)M/(x1,...,xi1)M,
✇✐t❤
x=x1, ..., xd
r✉♥s ♦✈❡r ❛❧❧ s②st❡♠s ♦❢ ♣❛r❛♠❡t❡rs ♦❢
M
❆s r❡♠❛r❦❛❜❧❡
❛♣♣❧✐❝❛t✐♦♥ ♦❢ t❤✐s s♣❧✐tt✐♥❣ t❤❡♦r❡♠✱ ✇❡ ❝♦♥str✉❝t ❛♥ ❡①t❡♥❞❡❞ ❞❡❣r❡❡ ✐♥ t❤❡
s❡♥s❡ ♦❢ ❛s❝♦♥❡❧♦s ✇❤✐❝❤ ✇❡ ❝❛❧❧ ✉♥♠✐①❡❞ ❞❡❣r❡❡✳
■♥ ❈❤❛♣t❡r ♣r♦✈❡ t❤❡ ❢✐♥✐t❡♥❡ss ♦❢ t❤❡ s❡t ❛ss♦❝✐❛t❡❞ ♣r✐♠❡s ♦❢ t❤❡
❢✐rst ❧♦❝❛❧ ❝♦❤♦♠♦❧♦❣② ✇❤❛t ✐s ♥♦t ❢✐♥✐t❡❧② ❣❡♥❡r❛t❡❞ ❛♥❞ ✇❤♦s❡ s✉♣♣♦rt ✐s
♥♦t ❢✐♥✐t❡✳ ❲❡ ❛❧s♦ ♣r♦✈❡ t❤❡ ❢✐♥✐t❡♥❡ss ♦❢ ❝❡rt❛✐♥ s❡ts ♦❢ ❛ss♦❝✐❛t❡❞ ♣r✐♠❡s
r❡❧❛t❡❞ t♦ t❤❡ ❢✐♥✐t❡♥❡ss ❞✐♠❡♥s✐♦♥ ♦❢
M
✇✐t❤ r❡s♣❡❝t t♦ ❛♥ ✐❞❡❛❧
a
▲ê✐ ❝❛♠ ➤♦❛♥
❚➠✐ ①✐♥ ❝❛♠ ♦❛♥ ➤➞② ❧➭ ❝➠♥❣ tr×♥❤ ♥❣❤✐➟♥ ❝ø✉ ❝ñ❛ r✐➟♥❣ t➠✐✳ ❈➳❝ ❦Õt q✉➯
✈✐Õt ❝❤✉♥❣ ✈í✐ t➳❝ ❣✐➯ ❦❤➳❝ ➤➲ ➢î❝ ♥❤✃t trÝ ❝ñ❛ ➤å♥❣ t➳❝ ❣✐➯ ❦❤✐ ➤➢❛ ✈➭♦
❧✉❐♥ ➳♥✳ ❈➳❝ ❦Õt q✉➯ ❝ñ❛ ❧✉ ➳♥ ❧➭ ♠í✐ ✈➭ ❝❤➢❛ tõ♥❣ ➤➢î❝ ❛✐ ❝➠♥❣ ❜è tr♦♥❣
❜✃t ❦× ❝➠♥❣ tr×♥❤ ♥➭♦ ❦❤➳❝✳
❚➳❝ ❣✐➯
P❤➵♠ ❍ï♥❣ ◗✉ý