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

Một phần của tài liệu (Luận văn thạc sĩ) Thuật toán slice cho phân tích bất khả quy của IĐêan đơn thức (Trang 36 - 37)

2 Thuật toán Slice

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

Trong mục này ta sẽ chỉ ra rằng một số ràng buộc trong việc lựa chọn đơn thức then chốt sẽ tác động một cách hiệu quả đến việc đảm bảo cho thuật toán dừng.

Có bốn điều kiện để lựa chọn đơn thức then chốt p, trong đó hai điều kiện đầu

là đảm bảo cho thuật toán dừng, còn hai điều kiện cuối dùng để mở rộng thuật toán cơ sở.

p∈/ S: Nếu pS thì slice ngoài bằng slice hiện tại.

p6=1: Nếu p=1 thì slice trong bằng slice hiện tại.

p∈/ I

p|π(lcm(min(I))).

Một đơn thức then chốt thỏa mãn bốn điều kiện trên được gọi làđơn thức then

chốt hiệu lực. Mệnh đề sau cho thấy rằng một slice không phải là slice cơ sở thì

luôn có đơn thức then chốt hiệu lực.

Mệnh đề 2.5.1. Cho (I,S,q) là một slice chuẩn tắc và không tồn tại đơn thức then chốt hiệu lực. Khi đó I là iđêan không chứa bình phương.

Chứng minh. Giả sử I là iđêan đơn thức chứa bình phương. Khi đó tồn tại xi

m∈min(I) sao chox2i |m. Điều này suy ra xi ∈/ I. Mặt khác, do (I,S,q) là slice chuẩn tắc nên theo định nghĩa ta có π(min(I))∩S = /0, vì xi |π(m) nên suy ra

xi ∈/ S. Vì thế xi thỏa mãn bốn điều kiện của đơn thức then chốt hiệu lực, mâu

thuẫn với giả thiết của mệnh đề. Vì thế,I là iđêan không chứa bình phương.

Mệnh đề 2.5.2. Việc lựa chọn đơn thức then chốt hiệu lực đảm bảo cho thuật toán dừng.

Chứng minh. Ta sẽ chứng minh thuật toán dừng bằng cách sử dụng tính chất mọi dãy tăng chặt các iđêan đều dừng trong vành NoetherR=k[x1, . . . ,xn]. Thật vậy,

choA= (I,S,q)không là slice cơ sở và p là đơn thức then chốt hiệu lực. Ta tách

Athành hai sliceA1= (I : p,S : p,qp)là slice trong vàA2= (I,S+ (p),q)là slice ngoài. Cho fglà các ánh xạ từ tập các slice vào tập các iđêan được định nghĩa như sau:

f(I,S,q) =Sg(I,S,q) = (lcm(min(I))).

Ta sẽ chứng minh các khẳng định sau: (i) f(A)⊆ f(A1); f(A)( f(A2)

(ii)g(A)(g(A1); g(A) =g(A2)

Thật vậy, ta có f(A) =SS : p= f(A1).Mặt khác vì p là đơn thức then chốt hiệu lực nên p∈/ S.Do đó f(A) =S (S+ (p) = f(A2).

Tương tự, ta có II : p,suy ra lcm(min(I))⊆lcm(min(I : p)). Mặt khác vì

A= (I,S,q) không là slice cơ sở nên theo Mệnh đề 2.4.5 ta cómsm(I)6= /0. Do đó tồn tại d ∈msm(I) suy ra dxiI với mọi i.p là đơn thức then chốt hiệu lực nên p6= 1, do đó pdI. Vậy dI : pd ∈/ I nên suy raI (I : p. Vì vậy

lcm(min(I))(lcm(min(I : p)suy ra g(A)(g(A1). Tiếp theo, từ định nghĩa ánh xạg ta có ngayg(A) =lcm(min(I)) =g(A2).

Từ các khẳng định trên, nếu cho A là một slice tùy ý và A′ là slice chuẩn tắc tương ứng thì f(A) ⊆ f(A′),g(A) ⊆ g(A′). Do đó fg không bao giờ giảm, trong khi f là một dãy tăng chặt trên các slice ngoài thì g là một dãy tăng chặt trên các slice trong. Do đó theo tính chất của vành Noether thì các dãy trên phải dừng. Điều này có nghĩa là nếu cho một slice không phải là slice cơ sở thì sau một số hữu hạn bước áp dụng các Đẳng thức 2.3.4 và 2.3.4 thì ta thu được một slice cơ sở, hay thuật toán dừng.

Một phần của tài liệu (Luận văn thạc sĩ) Thuật toán slice cho phân tích bất khả quy của IĐêan đơn thức (Trang 36 - 37)

Tải bản đầy đủ (PDF)

(48 trang)