Thuật toán slice cho phân tích bất khả quy của iđêan đơn thức

ĐẠI HỌC THÁI NGUYÊNTRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN THỊ ÁNH LY THUẬT TOÁN SLICE CHO PHÂN TÍCH BẤT KHẢ QUY CỦA IĐÊAN ĐƠN THỨC LUẬN VĂN THẠC SỸ TOÁN HỌC THÁI NGUYÊN - 2016... Cho J là một iđê

ĐẠI HỌC THÁI NGUYÊN

TRƯỜNG ĐẠI HỌC SƯ PHẠM

NGUYỄN THỊ ÁNH LY

THUẬT TOÁN SLICE CHO PHÂN TÍCH BẤT KHẢ QUY

CỦA IĐÊAN ĐƠN THỨC

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

THÁI NGUYÊN - 2016

ĐẠI HỌC THÁI NGUYÊN

TRƯỜNG ĐẠI HỌC SƯ PHẠM

NGUYỄN THỊ ÁNH LY

THUẬT TOÁN SLICE CHO PHÂN TÍCH BẤT KHẢ QUY

CỦA IĐÊAN ĐƠN THỨC

Chuyên ngành: Đại số và lý thuyết số

Mã số: 60 46 01 04

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

Người hướng dẫn khoa học: PGS.TS NGUYỄN THỊ DUNG

THÁI NGUYÊN - 2016

Lời cam đoan

Tôi xin cam đoan rằng luận văn này là hoàn toàn trung thực và không trùnglặp với các luận văn trước đây Các thông tin, tài liệu trong luận văn đã được ghi

rõ nguồn gốc

Thái Nguyên, ngày tháng năm 2016

Học viên

NGUYỄN THỊ ÁNH LY

Lời cảm ơn

Luận văn này được hoàn thành dưới sự hướng dẫn khoa học của PGS.TSNguyễn Thị Dung, giảng viên Trường Đại học Nông Lâm- Đại học Thái Nguyên.Đầu tiên, tôi xin chân thành bày tỏ lòng biết ơn sâu sắc tới cô Trong suốt quátrình làm luận văn, cô đã dành nhiều thời gian và công sức để chỉ bảo hướng dẫntôi từ những điều nhỏ nhặt nhất tới những vấn đề khó khăn cô vẫn luôn kiên nhẫn,tận tình quan tâm giúp đỡ tôi để hoàn thành luận văn này

Tôi cũng xin bày tỏ lòng biết ơn sâu sắc tới các thầy cô giáo của Viện Toán học

và Đại học Thái Nguyên, những người đã tận tình giảng dạy và khích lệ, độngviên tôi vượt qua những khó khăn trong học tập Tôi xin cảm ơn ban lãnh đạoTrường Đại học Sư phạm - Đại học Thái Nguyên, Khoa Sau đại học đã tạo mọiđiều kiện thuận lợi, giúp đỡ tôi trong suốt thời gian học tập Cuối cùng tôi xincảm ơn bạn bè, người thân đã giúp đỡ, động viên, ủng hộ tôi để tôi có thể hoànthành tốt khóa học của mình

Thái Nguyên, ngày tháng năm 2016

Học viên

NGUYỄN THỊ ÁNH LY

Mục lục

1.1 Iđêan đơn thức và đồ thị của iđêan đơn thức 3

1.2 Các phép toán trên iđêan đơn thức 7

1.2.1 Giao của các iđêan đơn thức 7

1.2.2 Căn của iđêan đơn thức 9

1.2.3 Phép chia trên iđêan đơn thức 10

1.3 Iđêan đơn thức bất khả quy và sự phân tích 12

1.4 Phân tích tham số của các iđêan đơn thức 15

1.4.1 Iđêan tham số 15

1.4.2 Phần tử góc 16

2 Thuật toán Slice 18 2.1 Đơn thức chuẩn cực đại, đế và sự phân tích 18

2.2 Nhãn 22

2.3 Thuật toán Slice 22

2.4 Slice cơ sở 29

2.5 Sự kết thúc và sự lựa chọn then chốt 30

2.6 Giả mã 31

2.7 Cải tiến thuật toán cơ sở 33

Mở đầu

Một trong những kết quả cơ bản trong Đại số giao hoán là định lý phân tíchbất khả quy được chứng minh bởi Emmy Noether năm 1921 Trong bài báo đóEmmy Noether đã chứng minh rằng iđêan bất kì trong vành Noether có thể viết

thành giao hữu hạn của các iđêan bất khả quy Cho A là một vành giao hoán có đơn vị và đặt R = A[X1 , , X d ] là vành đa thức d biến trên A Một iđêan đơn thức m-bất khả quytheo một nghĩa nào đó là iđêan đơn thức nhỏ nhất, tức là nó không

thể viết được thành giao không tầm thường của các iđêan đơn thức Cho J là một iđêan đơn thức của R, một phân tích m-bất khả quy của J là biểu diễn J = ∩ n

i=1J i thành giao của các iđêan m-bất khả quy, phân tích này được gọi là rút gọn nếu

J i * J i′ với mọi i 6= i′ và phân tích m-bất khả quy rút gọn là duy nhất nếu không

kể đến thứ tự các iđêan đơn thức trong phân tích Chú ý rằng nếu J ( R là iđêan

đơn thức bất khả quy thì là nó luôn là iđêan m-bất khả quy và điều ngược lại cũng

đúng nếu A là miền nguyên.

Gần đây phân tích bất khả quy của iđêan đơn thức trở thành vấn đề tính toán

cơ bản và được áp dụng trong nhiều lĩnh vực từ thuần túy toán học đến toán họcứng dụng và các lĩnh vực như sinh học, Một vài ví dụ của áp dụng phân tíchbất khả quy của iđêan đơn thức là cát tuyến của các iđêan đơn thức và lũy thừahình thức của iđêan đơn thức đưa ra bởi B Sturmfels and S Sullivant [8], vấn đềFrobenius đưa ra bởi B.H Roune [7], kỹ thuật nghịch đảo của các mạng sinh họcđưa ra bởi A.S Jarrah [3]

Mục đích của luận văn là giới thiệu về thuật toán Slice, một thuật toán dùng

để tính phân tích bất khả quy của iđêan đơn thức, nghĩa là viết iđêan đơn thức

đó thành giao rút gọn của các iđêan đơn thức bất khả quy Các kết quả này được

trình bày lại và chứng minh chi tiết một phần của bài báo "The slice Algorithm for Irreducible Decomposition of Monomial ideals"của tác giả B Roune [6]

Cho k là một trường và đặt R = k[x1, , x n ], với n > 2 là vành đa thức n biến lấy hệ số trên k, I là iđêan đơn thức của R Một đơn thức m ∈ R được gọi là đơn thức chuẩn cực đại của I nếu m /∈ I và mx i ∈ I, với mọi i = 1, ,n Tập tất cả các đơn thức chuẩn cực đại của I được ký hiệu là msm(I) Nếu biểu diễn I bằng

đồ thị thì mỗi đơn thức chuẩn cực đại của I ứng với một điểm nằm ngoài I nhưng nằm ở góc "gần nhất" so với phần đồ thị thuộc I.

Tập đơn thức chuẩn cực đại msm(I) đóng một vai trò quan trọng trong thuật

toán Slice bởi ý tưởng cơ bản của thuật toán bắt nguồn từ một kết quả sau củaMiller và Sturmfels [4]:

Chọn số nguyên t sao cho t lớn hơn bậc của mỗi đơn thức trong tập các đơn

đơn thức bất khả quy irr(I) của I.

Vì thế, bài toán tìm phân tích bất khả quy được quy về bài toán tìm tập đơn

thức chuẩn cực đại Thuật toán Slice cung cấp một công cụ để tính msm(I) bằng cách tách nó thành hai tập con gọi là slice trong và slice ngoài Cả hai slice này đều phụ thuộc vào cách chọn một đơn thức gọi là then chốt Các đơn thức của

mỗi slice này lại được coi như tập chuẩn cực đại của các iđêan mới Tiếp theomỗi slice này lại được tách thành các slice đơn giản hơn và quá trình này tiếp tụccho đến khi tách thành những slice đủ đơn giản để có thể tính được tập các đơnthức chuẩn cực đại của chúng

Cấu trúc của luận văn gồm hai chương Chương 1 của luận văn dành để nhắclại một số kiến thức về iđêan đơn thức: đồ thị, các phép toán giao, căn, chia vàphân tích bất khả quy, phân tích tham số của iđêan đơn thức

Chương 2 giới thiệu về thuật toán slice: mô tả thuật toán thông qua tập đơnthức chuẩn cực đại; chứng minh thuật toán dừng và đoạn giả mã để thực hiệnthuật toán; mục 2 của chương 2 giới thiệu một số cải tiến cho phiên bản cơ sở củathuật toán

Phần kết luận của luận văn tổng kết một số công việc đã thực hiện

Chương 1

Iđêan đơn thức

Ký hiệu A là một vành giao hoán có đơn vị và đặt R = A[X1, , X d] Chươngnày dành để nhắc lại một số kiến thức về iđêan đơn thức: đồ thị, các phép toán,phân tích tham số của iđêan đơn thức Các kết quả ở chương này được viết dựatheo [5]

1.1 Iđêan đơn thức và đồ thị của iđêan đơn thức

Định nghĩa 1.1.1 Một iđêan đơn thức trong R là một iđêan của R được sinh bởi

Ví dụ 1.1.2 Đặt R = A[X,Y ].

Với mỗi iđêan đơn thức khác không I ⊆ R, ta ký hiệu [[I]] là tập hợp tất cả các đơn thức chứa trong I Khi đó tập hợp [[I]] ⊂ R là một tập vô hạn nhưng không

là iđêan Theo định nghĩa, ta có [[I]] = I ∩[[R]] Hơn nữa, với mỗi iđêan đơn thức

Mệnh đề 1.1.3 Cho I và J là hai iđêan đơn thức của R.

(i) I ⊆ J nếu và chỉ nếu [[I]] ⊆ [[J]].

(ii) I = J nếu và chỉ nếu [[I]] = [[J]].

Định nghĩa 1.1.4 (i) Cho f và g là các đơn thức của R Khi đó f được gọi là bội

đơn thức của g nếu tồn tại một đơn thức h ∈ R sao cho f = gh.

(ii) Với mỗi đơn thức f = X n = X n1

1 X n d

Vì thế, có một sự tương ứng 1 − 1 giữa các đơn thức trong R với các véc tơ

nên véctơ lũy thừa của mỗi đơn thức f ∈ R là hoàn toàn xác định.

tính của các đơn thức trong R, kết quả sau đây nói rằng tích của một đơn thức và

một đa thức thì không là đơn thức (xem [5, Bổ đề 2.1.9])

Bổ đề 1.1.5 Cho f = X m và g = X n là các đơn thức trong R Nếu h là một đa thức trong R sao cho f = gh thì m < n và h = X p là đơn thức, trong đó p i = m i − n i

Ví dụ 1.1.6 Đặt R = A[X,Y ] Cho f = X2Y và g = X3Y , vì m1= 2 < n1= 3 nên

theo Bổ đề 1.1.5 thì f không là bội của g nhưng ngược lại g là một bội của f

Kết quả tiếp theo cho ta một tiêu chuẩn để kiểm tra xem khi nào thì một đơn

thức f thuộc iđêan sinh bởi đơn thức g Đặc biệt là các điều kiện tương đương (i)

và (iv) cho phép ta có thể kiểm tra bằng cách làm việc trên các véc tơ lũy thừa

Bổ đề 1.1.7 Cho f = X m và g = X n là các đơn thức trong R Khi đó các điều kiện sau là tương đương:

(i) f ∈ gR.

(ii) f là một bội của g.

(iii) f là một bội đơn thức của g.

(iv) m < n.

(v) m ∈ [n].

theo Bổ đề 1.1.7 (iii) ⇔ (iv), ta có thể xây dựng một quan hệ trên tập hợp các

đơn thức [[R]] của R như sau: X m < X n khi X m là một bội của X n và rõ ràng rằng

< là một quan hệ thứ tự gọi là thứ tự chia hết trên [[R]].

Kết quả sau đây cho ta một tiêu chuẩn để kiểm tra xem một đơn thức bất kỳ cóthuộc vào một iđêan sinh bởi các đơn thức hay không (xem [5, Định lý 2.1.14])

Định lý 1.1.8 Cho f , f1, , f m là các đơn thức trong R Khi đó f ∈ ( f1, , f m )R nếu và chỉ nếu tồn tại i sao cho f ∈ f i R

Để có một hình dung trực quan hơn về iđêan đơn thức, đặc biệt là đối với vành

đa thức hai biến, người ta đưa ra khái niệm sau: Đồ thị của một iđêan đơn thức I

là tập hợp

Khái niệm đồ thị của iđêan đơn thức cho ta một sự kết nối giữa các đơn thức

Định lý 1.1.9 Nếu I = (X n1, , X n m )R thì Γ(I) = [n1] ∪ ··· ∪ [n m]

Chứng minh Cho m ∈ [n1] ∪ ··· ∪ [n m ] Khi đó tồn tại i sao cho m ∈ [n i] và do đó

m < n i Theo Bổ đề 1.1.7 ta có

Ví dụ 1.1.10 (i) Đặt R = A[X,Y] Đồ thị của iđêan I = (X3, X2Y2,Y3)R là tập

.

Hình 1.1: Γ(X3, X2Y2,Y3 )

0

1 2 3 4 1

2 3 4

Γ(I + J) =Γ(I) ∪Γ(J)

1 2 3 4 0

1 2 3 4

1 2 3 4 0

1 2 3 4

.

.

.

.

Tiếp theo, ta cần nhắc lại một số kiến thức về tập các phần tử sinh của iđêan

sinh đơn thức không rút gọn Khi đó Định lý cơ sở Hilbert khẳng định rằng mọi

iđêan đơn thức I trong R đều hữu hạn sinh và được sinh bởi một tập hữu hạn các đơn thức Hơn nữa, mọi tập sinh đơn thức của I đều chứa một dãy sinh đơn thức

rút gọn và dãy này là duy nhất nếu không kể đến thứ tự Nếu ký hiệu tập các đơn

thức trong dãy sinh đơn thức rút gọn của I là min(I) thì ta có

min(I) = {X n ∈ I | không tồn tại X m sao cho n < m}.

Ví dụ 1.1.11 Đặt R = A[X,Y ] Vì XY | X2Y nên X3, XY, X2Y ,Y3là một dãy sinh

Sau đây là một thuật toán để tìm dãy sinh đơn thức rút gọn

Thuật toán 1.1.12 Cho các đơn thức z1, , z m ∈ [[R]] và đặt J = (z1, , z m )R.

Ta giả sử rằng m > 1.

nghĩa

là rút gọn Trong trường hợp này, thuật toán dừng lại

không rút gọn; ta thực hiện tiếp bước 2

với i 6= j Không mất tính tổng quát, ta có thể giả thiết j = m và sắp xếp lại các

Thuật toán sẽ dừng lại sau m−1 bước vì ta có thể loại bỏ nhiều nhất m−1 đơn

thức trong dãy sinh và cuối cùng là thu được một iđêan khác 0

1.2 Các phép toán trên iđêan đơn thức

1.2.1 Giao của các iđêan đơn thức

Ta đã biết rằng các iđêan của một vành giao hoán luôn đóng đối với phép toángiao Đối với các iđêan đơn thức, điều này cũng được chứng minh là đúng nhờvào các kết quả sau

Định lý 1.2.1 Nếu I1, , I n là các iđêan đơn thức của R thì giao I1∩ ··· ∩ I n là một iđêan đơn thức của R và [[I1∩ ··· ∩ I n ]] = [[I1]] ∩ ··· ∩ [[I n ]] Hơn nữa, ta có

đồ thị của iđêan giao Γ(I1∩ ··· ∩ I n) =Γ(I1) ∩ ··· ∩Γ(I n)

Ví dụ 1.2.2 Đặt R = A[X,Y ] Cho I = (XY2)R và J = (X2Y )R Khi đó nhờ vào

⊛

◦

◦

◦

0

1

2

3

4

KEY

Γ((XY2)R)

Γ((X2Y )R)

Γ((XY2)R ∩ (X2Y )R)

◦

∗

⊛

0 1 2 3

.

.

.

.

.

.

.

.

.

Hình 1.3: Γ(I + J)

Đối với vành hai biến ta có thể sử dụng đồ thị để tìm giao của hai iđêan đơn thức, tuy nhiên việc sử dụng đồ thị là khó khăn với vành nhiều hơn hai biến Kết quả sau đây cho ta một phương pháp chung để tìm giao của hai iđêan đơn thức Trước hết ta cần định nghĩa sau

Định nghĩa 1.2.3 Cho f = X m và g = X n với m,n ∈ N d Khi đó, bội chung nhỏ

Ví dụ 1.2.4 Đặt R = A[X,Y,Z] và cho f = X2Y Z , g = XZ5 Khi đó m = (2, 1, 1)

và n = (1,0,5), do đó p = (2,1,5) Vậy bội chung nhỏ nhất của f và g là

Mệnh đề 1.2.5 Giả sử I được sinh bởi tập hợp các đơn thức { f1, , f m } và J được sinh bởi tập hợp các đơn thức {g1, , g n } Khi đó I ∩ J được sinh bởi tập hợp các đơn thức

Mệnh đề trên và Thuật toán 1.1.12 sẽ được áp dụng trong ví dụ sau để tìm dãysinh đơn thức rút gọn.

là dãy sinh của I Tiếp theo, ta dùng Thuật toán 1.1.12 để tìm dãy sinh đơn thức

đơn thức rút gọn của I.

1.2.2 Căn của iđêan đơn thức

Cho A là vành giao hoán có đơn vị và I là iđêan của A Nhắc lại rằng căn của

∈ I}.

Chú ý rằng căn của một iđêan đơn thức nhìn chung không là iđêan đơn thức

thức Tuy nhiên, iđêan rad(J) = (2,X)R không phải là một iđêan đơn thức Vì

thế, trong mục này ta sẽ giới thiệu một khái niệm căn sao cho căn của một iđêanđơn thức vẫn là iđêan đơn thức

Định nghĩa 1.2.7 Cho J là một iđêan đơn thức trong R Căn đơn thức của J, ký

hiệu là m-rad(J) là một iđêan đơn thức m-rad(J) = (S)R, trong đó

Ví dụ 1.2.8 Đặt R = A[X,Y ] và cho I = (X5,Y7)R Khi đó theo định nghĩa ta có m-rad(I) = (S)R, trong đó

Vì thế m-rad(I) = (X,Y )R Tương tự m-rad((X4Y6)R) = (XY )R.

Kết quả sau đây cho ta mối quan hệ giữa rad(J) và m-rad(J).

Mệnh đề 1.2.9 Cho J là một iđêan đơn thức trong R.

(i) m-rad(J) ⊆ rad(J).

(ii) m-rad(J) = rad(J) nếu và chỉ nếu rad(J) là một iđêan đơn thức.

(iii) Nếu A là một trường thì m-rad(J) = rad(J).

1.2.3 Phép chia trên iđêan đơn thức

Trước hết, ta nhắc lại khái niệm iđêan chia trên một vành giao hoán có đơn vị

đặt rS = {rs | s ∈ S} Khi đó iđêan chia của I cho S được định nghĩa là

của J cho I được định nghĩa là

Ví dụ 1.2.10 Đặt R = A[X], cho I = (X7)R và J = (X2)R Khi đó (J : R I ) = R.

Kết quả sau nói rằng phép toán chia là đóng trên tập các iđêan đơn thức

Định lý 1.2.11 Nếu I và J là các iđêan đơn thức của R thì iđêan chia (J : R I ) là một iđêan đơn thức của R.

Đối với những ví dụ đơn giản ta có thể sử dụng định nghĩa để tính iđêan chia,tuy nhiên đối với những ví dụ phức tạp hơn việc tính iđêan chia sẽ trở nên khókhăn hơn Kết quả sau đây cho phép ta xác định một đơn thức có thuộc iđêan chiahay không

Chú ý 1.2.12 (i) Cho I và J là hai iđêan đơn thức trong R Ta luôn có J ⊆ (J : R I)

vì ta phải kiểm tra tất cả các đơn thức f của R sao cho f I ∈ J thì nay ta chỉ cần kiểm tra f ∈ [[R]]\[[J]].

(ii) Đặt R = A[X,Y ] Cho I là một iđêan đơn thức của R và đặt X = (X,Y )R Một

giữa các phần tử f , f X, fY được thể hiện qua đồ thị Hình 1.4 dưới đây

(Xem thêm ở mục phần tử góc)

Ví dụ 1.2.13 (i) Cho I = (X2, XY,Y2) và J = (X2,Y3) Để tính (J : R I) theo chú ý

sát đồ thị Hình 1.5 ta có

0 1 2 3 4

.

1.3 Iđêan đơn thức bất khả quy và sự phân tích

Trước hết, ta nhắc lại các khái niệm về iđêan bất khả quy trên vành giao hoán

tích bất khả quy của J, phân tích này được gọi là rút gọn nếu J 6= ∩ i 6=i′J i với mọi

Bây giờ, ta sẽ quan tâm tới phân tích bất khả quy của iđêan đơn thức trên vành

Định nghĩa 1.3.1 Một iđêan đơn thức J ( R là m-bất khả quy nếu có hai iđêan

Ví dụ 1.3.2 Đặt R = A[X,Y ], cho I = (X,Y2)R Vì (X,Y2)R ⊆ (X,Y )R nên ta có

quy

Định lý sau đây cho phép ta dễ dàng kiểm tra một iđêan đơn thức có là m-bấtkhả quy hay không

Định lý 1.3.3 Cho J là một iđêan đơn thức khác không của R Iđêan J là m-bất

khả quy nếu và chỉ nếu tồn tại các số nguyên dương k,t1, ,t k , e1, , e k sao cho

t1 , , X t e k k )R.

Ví dụ 1.3.4 Đặt R = A[X,Y,Z,W] Khi đó theo định lý trên các iđêan đơn thức

Iđêan m-bất khả quy theo nghĩa nào đó là iđêan đơn thức đơn giản nhất, trong

đó chúng không viết được thành giao của các iđêan đơn thức không tầm thường.Tuy nhiên trong vành đa thức bất kỳ, một iđêan đơn thức là bất khả quy thì cũng

là m-bất khả quy, nhưng điều ngược lại nhìn chung không đúng Ví dụ trong vành

ta điều kiện của vành A để điều ngược lại cũng đúng.

Định lý 1.3.5 Cho A là một miền nguyên, và đặt R = A[X1, , X d ] Một iđêan đơn thức khác không J ( R là bất khả quy nếu và chỉ nếu nó là m-bất khả quy.

Tương tự phân tích bất khả quy, một kết quả quan trọng sau được chứng minhbởi Emmy Noether cũng cho phép đưa ra khái niệm phân tích bất khả quy rútgọn

Định lý 1.3.6 Nếu J ( R là một iđêan đơn thức thì có các iđêan đơn thức m-bất

khả quy J1, , J n của R sao cho J = ∩ n

i=1J i

Định nghĩa 1.3.7 Cho J ( R là một iđêan đơn thức Một phân tích m-bất khả

quy rút gọn là duy nhất nếu không kể đến thứ tự các nhân tử và ta ký hiệu tập

các iđêan đơn thức m-bất khả quy trong phân tích m-bất khả quy rút gọn của J là

Mặt khác, vì ta có X ∈ (X,Y3

)R \ (X4,Y2)R và Y2 ∈ (X4,Y2)R \ (X,Y3)R nên (X,Y3)R * (X4,Y2)R và (X4,Y2)R * (X,Y3)R Do đó phân tích m-bất khả quy

J = (X,Y3)R ∩ (X4,Y2)R

là rút gọn và duy nhất

Sau đây là một thuật toán để tìm phân tích m-bất khả quy rút gọn

Thuật toán 1.3.9 Đặt R = A[X1, , X d ] Cho J là một iđêan đơn thức có phân

là rút gọn; trong trường hợp này, thuật toán dừng lại

i=1J i

là không rút gọn; trong trường hợp này, ta tiếp tục bước 2

i=1J i= ∩n i=1−1J i

i=1J i

Thuật toán sẽ dừng lại sau n − 1 bước vì ta có thể loại bỏ nhiều nhất là n − 1

iđêan đơn thức trong giao và cuối cùng thu được một iđêan là giao khác rỗng củacác iđêan m-bất khả quy

j=1I j

của các iđêan đơn thức là một iđêan đơn thức Hơn nữa ta có

Mệnh đề 1.3.10 Nếu J1, , J n là các iđêan đơn thức m-bất khả quy của R thì tổng J1+ + J n là m-bất khả quy.

Kết quả sau cho ta luật phân phối của giao đối với tổng của các iđêan đơn thức

Bổ đề 1.3.11 Cho các iđêan đơn thức I1, , I n và J1, , J m của R Khi đó ta có

(∩n j=1I j) + (∩m i=1J i) = ∩n j=1∩m i=1(I j + J i)

Kết quả tiếp theo là làm thế nào để xây dựng phân tích m-bất khả quy cho tổngcủa các iđêan đơn thức.

Định lý 1.3.12 Cho I,J là các iđêan đơn thức của R với phân tích m-bất khả quy

ứng với đơn thức XY.

1 2 3 4

1 2 3 4

.

0

0 Hình 1.6: Γ (P R(XY ))

Bổ đề sau cho ta một công cụ hữu ích để làm việc với các iđêan tham số

Bổ đề 1.4.3 Cho f ,g là các đơn thức trong R Khi đó:

(i) f /∈ PR( f ).

(ii) g ∈ PR( f ) nếu và chỉ nếu f / ∈ (g)R.

Định nghĩa 1.4.4 Cho J là một iđêan đơn thức của R Một phân tích tham số

tham số rút gọn nếu với mọi j 6= j′ ta có PR(z j)* PR(z j′)

Chú ý 1.4.5 (i) Một iđêan đơn thức J của R có thể có hoặc không có phân tích

tham số và mục tiếp theo chỉ ra rằng điều kiện cần và đủ để J có phân tích tham

là phần tử J-góc nếu z /∈ J và X1z , , X d z ∈ J Tập hợp các phần tử J-góc của J

trong [[R]] được ký hiệu là CR(J).

Ví dụ 1.4.7 Cho R = A[X,Y ],J = (X3, X2Y , XY2,Y3) Khi đó ta có tập phần tử

Kết quả dưới đây cho ta mối quan hệ chặt chẽ giữa các phần tử góc và phântích tham số rút gọn của một iđêan đơn thức

Định lý 1.4.8 Đặt X = (X1, , X d )R và J là iđêan đơn thức của R sao cho

m-rad(J) = X Nếu các phần tử J-góc phân biệt là z1, , z m thì J = ∩ m

j=1PR(z j ) là phân tích tham số rút gọn của J.

Chứng minh Chú ý rằng [5, Mệnh đề 6.3.4] đã chỉ ra rằng J có một phần tử góc.

thuẫn với Bổ đề 1.4.3 (i).

Định lý 1.4.8 chỉ ra rằng các phần tử J-góc hoàn toàn xác định một phân tích tham số rút gọn của J và kết quả dưới đây cũng chỉ ra rằng một phân tích tham

Chương 2

Thuật toán Slice

Trong chương này, ta sẽ giới thiệu về thuật toán Slice, một thuật toán dùng đểtính phân tích bất khả quy của iđêan đơn thức, nghĩa là viết iđêan đơn thức đóthành giao rút gọn của các iđêan bất khả quy thông qua việc tính tập các đơn thức

chuẩn cực đại Cho k là một trường và đặt R = k[x1, , x n ] với n > 2 là vành đa thức n biến lấy hệ số trên k, I là iđêan đơn thức của R Thuật toán Slice cung cấp một công cụ để tính tập các đơn thức chuẩn cực đại msm(I) bằng cách tách nó thành hai tập con gọi là slice trong và slice ngoài Cả hai slice này đều phụ thuộc vào cách chọn một đơn thức gọi là then chốt Các đơn thức của mỗi slice này lại

được coi như tập chuẩn cực đại của các iđêan mới Tiếp theo mỗi slice này lạiđược tách thành các slice đơn giản hơn và quá trình này tiếp tục cho đến khi táchthành những slice đủ đơn giản để có thể tính được tập các đơn thức chuẩn cực đạicủa chúng

Các kết quả của chương này được viết dựa theo [6] Chú ý rằng vì R là vành

đa thức lấy hệ số trên trường k nên theo các kết quả của chương 1 ta không phân

biệt các khái niệm rad, m-rad, bất khả quy và m-bất khả quy

2.1 Đơn thức chuẩn cực đại, đế và sự phân tích

Trong phần này ta sẽ tìm hiểu về đơn thức chuẩn cực đại, đế và mối quan hệ

giữa chúng Cho I là iđêan đơn thức và min(I) là tập các phần tử sinh rút gọn của

I

Định nghĩa 2.1.1 Đơn thức m được gọi là đơn thức chuẩn của I nếu m /∈ I, m