(Luận văn) quạt groebner của iđean trong vành đa thức

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN NGUYỄN THỊ HẠNH DUNG lu an n va p ie gh tn to d oa nl w ă QUẠT GROBNER CỦA IĐÊAN TRONG VÀNH ĐA THỨC nf va an lu lm ul z at nh oi LUẬN VĂN THẠC SĨ TOÁN HỌC z m co l gm @ an Lu Bình Định - Năm 2019 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN NGUYỄN THỊ HẠNH DUNG lu an n va p ie gh tn to ă QUT GROBNER CỦA IĐÊAN TRONG VÀNH ĐA THỨC w Đại số lí thuyết số 46 01 04 d oa nl Chuyên ngành : Mã số : nf va an lu z at nh oi lm ul Người hướng dẫn: TS NGÔ LÂM XUÂN CHÂU z m co l gm @ an Lu n va ac th si Mục lục lu an n va i Một số ký hiệu 1 MỘT SỐ KIẾN THỨC CHUẨN BỊ 1.1 Vành đa thức thứ tự đơn thức K [x1 , , xn ] 1.2 Thuật toán chia K [x1 , , xn ] 1.3 Iđêan đơn thức 2 p ie gh tn to Lời nói đầu d oa nl w ă QUT GROBNER CA MT IấAN 11 2.1 Tớnh hu hn ca hp cỏc c s Grăobner iđêan 11 2.2 Nón sở Grăobner c ỏnh du 15 2.3 Qut Grăobner ca mt iờan 19 nf va an lu 21 22 24 28 Kết luận 37 z at nh oi lm ul ă NG I GROBNER 3.1 Băng qua nón 3.2 Chuyển i cỏc c s Grăobner 3.3 Thuật toán z gm @ 37 m co l TÀI LIỆU THAM KHẢO an Lu n va ac th si Lời nói đầu lu an n va p ie gh tn to Trong luận văn chúng tơi trình bày v c s Grăobner ca mt iờan, qut Grăobner ca iờan, ng dng ca qut Grăobner vic xõy dng ng i Grăobner C th, lun c chia thnh chương: Chương 1: Kiến thức chuẩn bị Trình bày khái niệm lý thuyết sở Grăobner, nh: Vnh a thc v th t n thc, Thuật toán chia K [x1 , , xn ], Iđêan đơn thức, Bổ đề Dickson, Định lý c s Hilbert, C s Grăobner, B Shape, Chng 2: Qut Gră obner ca mt iờan Trỡnh by khỏi nim qut Grăobner ca mt iờan v thut toỏn tỡm qut Grăobner ca iờan Mụ t qut Grăobner qua mt s vớ d Chng 3: ng i Gră obner Trỡnh by mt ng dng ca qut Grăobner, ú l ng i Grăobner, cng nh thut toỏn cho phộp chuyn i c s Grăobner t mt th t n thức sang thứ tự đơn thức khác Tôi xin chân thành cảm ơn trường Đại học Quy Nhơn khoa Toán giúp đỡ, tạo điều kiện thuận lợi giúp tơi hồn thành luận văn Luận văn thực hướng dẫn Thầy Ngô Lâm Xuân Châu Tôi xin chân thành cảm ơn hướng dẫn tận tâm Thầy suốt thời gian học tập, nghiên cứu hoàn thành luận văn Tơi xin bày tỏ lịng biết ơn chân thành kính trọng sâu sắc Thầy Nhân dịp xin chân thành gửi lời cảm ơn đến q thầy, Khoa Tốn, Đại Học Quy Nhơn dày công giảng dạy suốt d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si MỤC LỤC ii năm qua tạo điều kiện thuận lợi cho hồn thành luận văn Mặc dù có tơi cố gắng q trình hồn thành luận văn, chắn luận văn cịn nhiều thiếu sót Rất mong nhận góp ý q thầy bạn để luận văn hoàn thiện lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Một số ký hiệu lu an n va tập số tự nhiên, tập số hữu tỷ, tập số thực, R C, vành đa thức n biến với hệ số trường K, tập tất đơn thức K [x1 , , xn ] góc phần dương (positive orthant) p ie gh tn to N Q R K K [x1 , , xn ] M = {xα |α ∈ Nn } (Rn )+ d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Chương MỘT SỐ KIẾN THỨC CHUẨN BỊ lu an n va 1.1 gh tn to Vành đa thức thứ tự đơn thức K [x1, , xn] p ie Định nghĩa 1.1 ([1]) Cho K trường, n số tự nhiên khác Một đa thức theo n biến x1 , , xn K biểu thức có dạng X f (x1 , , xn ) = cα1 ,α2 ,··· ,αn xα1 xα2 · · · xαnn oa nl w d α1 +···+αn ≤d lu nf va an d số tự nhiên đó, cα1 ,α2 ,··· ,αn ∈ K z at nh oi lm ul Mỗi tích xα = xα1 xα2 xαnn gọi đơn thức theo n biến x1 , , xn tổng α1 + · · · + αn gọi bậc đơn thức xα1 xα2 · · · xαnn Các phần tử cα1 ,α2 ,··· ,αn gọi hệ số đa thức Đa thức không đa thức mà hệ số đa thức không Mỗi phần tử c ∈ K xem đa thức cách viết c = cx01 · · · x0n Nói riêng = x01 · · · x0n Bậc đa thức f 6= bậc lớn đơn thức với hệ số khác không f Ta quy ước đa thức khơng có bậc −∞ z l gm @ m co Chú ý 1.2 ([1]) Chú ý K[x1 , , xn ] cịn K-khơng gian vectơ Vì tập tất đơn thức sở K-không gian vectơ nên K[x1 , , xn ] có chiều vơ hạn xét K[x1 , , xn ] an Lu n va ac th si 1.1 Vành đa thức thứ tự đơn thức K [x1 , , xn ] Định nghĩa 1.3 ([1]) Một tập I ⊂ K[x1 , , xn ] gọi iđêan I thỏa mãn tính chất sau (i) ∈ I, (ii) Nếu f, g ∈ I f + g ∈ I, (iii) Nếu f ∈ I h ∈ K[x1 , , xn ] hf ∈ I lu Định nghĩa 1.4 ([1]) Cho I iđêan vành K[x1 , , xn ] I gọi hữu hạn sinh tồn đa thức f1 , , fn ∈ I cho với g ∈ I ta có g = h1 f1 + · · · + hs fs , an n va gh tn to với h1 , , hs ∈ K[x1 , , xn ] Khi f1 , , fs gọi sở I hay tập sinh I, ký hiệu I = hf1 , , fs i p ie Ví dụ 1.1 Iđêan khơng sinh đa thức Vành K[x1 , , xn ] sinh đa thức Đây hai ví dụ đơn giản iđêan vành K[x1 , , xn ] oa nl w d Mệnh đề 1.5 ([1]) Vành đa thức biến K[x] vành chính, tức iđêan K[x] sinh phần tử an lu nf va Mệnh đề 1.6 ([1]) Giả sử K trường vô hạn f ∈ K[x1 , , xn ] Khi f đa thức khơng f hàm không lm ul z at nh oi Định nghĩa 1.7 ([1]) Mối quan hệ thứ tự tập M đơn thức K [x1 , , xn ] gọi thứ tự đơn thức thỏa mãn điều kiện sau z co l (ii) xα > xβ ⇒ xα+γ > xβ+γ với γ ∈ Nn , gm @ (i) > quan hệ thứ tự toàn phần, m (iii) > quan hệ tốt tập M, tức tập khác rỗng M có phần tử bé an Lu n va ac th si 1.1 Vành đa thức thứ tự đơn thức K [x1 , , xn ] Bổ đề 1.8 ([1]) Một quan hệ thứ tự > M thứ tự tốt dãy giảm thực M dừng Mệnh đề 1.9 ([1]) Chỉ có thứ tự đơn thức vành đa thức biến K[x], thứ tự bậc > xn+1 > xn > > x2 > x > Định nghĩa 1.10 (Thứ tự từ điển) ([1]) Cho đơn thức xα , xβ ∈ M Ta nói xα >lex xβ phần tử khác không bên trái vectơ α − β dương lu an n va Định nghĩa 1.11 (Thứ tự từ điển phân bậc) ([1]) Ta nói xα >grlex xβ |α| > |β| |α| = |β| xα >lex xβ , |α| = α1 + + αn to p ie gh tn Định nghĩa 1.12 (Thứ tự từ điển ngược phân bậc) ([1]) Ta nói xα >grevlex xβ |α| > |β| |α| = |β| phần tử khác không bên trái vectơ α − β âm w d oa nl Mệnh đề 1.13 Các thứ tự >lex , >grlex >grevlex thứ tự đơn thức K[x1 , , xn ] lu nf va an Ví dụ 1.2 Trong vành đa thức K[x, y, z] với x > y > z ta có x3 y z >lex x2 y z 12 , x3 y >lex x3 y z z at nh oi lm ul Hay, x2 y z 12 >grevlex x3 y z, xy z >grevlex x2 y z z Một phương pháp tổng quát để xây dựng thứ tự đơn thức K[x1 , , xn ] mô tả sau Giả sử M ma trận thực cỡ m × n Ký hiệu hàng M w1 , w2 , , wm Khi ta so sánh đơn thức xα xβ cách trước tiên so sánh trọng chúng theo w1 , tức α.w1 β.w1 Nếu α.w1 > β.w1 β.w1 > α.w1 ta xếp đơn thức tương ứng với thứ tự trọng w1 Nếu α.w1 = β.w1 ta tiếp tục tới hàng phía sau Q trình xác định thứ tự >M m co l gm @ an Lu n va ac th si 1.1 Vành đa thức thứ tự đơn thức K [x1 , , xn ] Mệnh đề 1.14 ([1]) (i) Nếu Ker(M ) ∩ Zn = {0} thứ tự >M tồn phần (ii) Nếu M có tất hệ số khơng âm >M thứ tự tốt Mệnh đề 1.15 ([1]) (i) Cho >M thứ tự ma trận với hàng w Khi w ∈ (Rn )+ = {(a1 , · · · , an ) : ≥ 0, với i} Ta gọi (Rn )+ góc phần dương (Rn )+ lu an (ii) Mọi vectơ khác không w ∈ (Rn )+ hàng ma trận M cho >M thứ tự đơn thức n va p ie gh tn to (iii) Đặt M M ma trận cho thứ tự ma trận >M >0M Khi hàng chúng thỏa mãn w = λw0 với λ > 0, d oa nl w Mệnh đề suy thứ tự đơn thức xác định tia góc phần dương (Rn )+ , thứ tự đơn thức khác tia lu nf va an Hệ 1.16 ([1]) Tất thứ tự đơn thức xác định thứ tự >M với ma trận M z at nh oi lm ul (i) Thứ tự lex với x > y > z xác định ma trận   100   M = 0 0 001 z gm @ tương tự K[x1 , , xn ] với n ≥ m co l (ii) Thứ tự grevlex với x > y > z xác định ma trận   111   M = 1 0 100 an Lu n va ac th si 3.2 Chuyn i cỏc c s Grăobner 3.2 24 Chuyn i cỏc c s Gră obner lu an n va tn to Khi từ Cold đến Cnew , ta cn phi chuyn i c s Grăobner c ỏnh du Gold thnh c s! Grăobner cho I i với thứ tự đơn thức >new wnew biểu diễn Điều thực sau Điểm mấu Mt chốt wnew nằm đường biên Cold , số bất đẳng thức xác định Cold trở thành đẳng thức Điều có nghĩa từ dẫn đầu vài g ∈ Gold có wnew trọng số số số từ khác g Cho vectơ trọng số w góc phần dương (Rn )+ đa thức f ∈ K[x1 , , xn ] Dạng dẫn đầu f w ký hiệu inw (f ), tổng tất số hạng f có w-trọng lớn Mặt khác, cho tập S đa thức, đặt ie gh inw (S) = {inw (f ) : f ∈ S} p Sử dụng ký hiệu này, ta thành lập iđêan oa nl w hinwnew (Gold )i d bao gồm dạng wnew -dẫn đầu phần tử Gold Chú ý wnew ∈ Cold đảm bảo hạng tử đánh dấu g ∈ Cold xuất inwold (g) Trong trường hợp thuận lợi, inwold (g) bao gồm chủ yếu đơn thức, với số lượng đa thức (trường hợp thuận lợi có nhị thức với tập hợp đơn thức) Từ ú suy vic tỡm kim mt c s Grăobner thu gọn nf va an lu z at nh oi lm ul H = {h1 , , hs } z hinwnew (Gold )i >new thường thực nhanh Và tất nhiên có H, việc chuyển i Gold thnh c s Grăobner mong mun tng i dễ dàng co l gm @ m Mệnh đề 3.3 t Gold l c s Grăobner c ỏnh du ! iđêan I đối wnew với >old Tương tự đặt >new biểu diễn , wnew Mt an Lu n va ac th si 3.2 Chuyn i cỏc c s Grăobner 25 bt k vectơ trọng số Cold , đặt H c s Grăobner thu gn ca hinwnew (Gold )i i với >new Mỗi hj ∈ H biểu diễn X hj = pj,g inwnew (g) (3.4) g∈Gold Khi việc thay dạng dẫn đầu g, đa thức X hj = pj,g g, ≤ j ≤ s, (3.5) g∈Gold lập thành s Grăobner ca I i vi >new lu an n va p ie gh tn to Trước đưa chứng minh, cần số nhận xét sơ vectơ trọng số thứ tự đơn thức Một đa thức f w-thuần f = inw (f ) Nói cách khác, tất số hạng f có trọng số w Hơn nữa, đa thức viết dạng tổng đa thức w-thuần thành phần w-thuần Chúng ta nói vectơ trọng số w tương thích với thứ tự đơn thức > LT> (f ) xuất inw (f ) với đa thức khác khơng f Khi đó, ta có kết sau nl w d oa Bổ đề 3.4 Cố định w ∈ (Rn )+ \ {0} đặt G l c s Grăobner c ỏnh du ca iờan I với thứ tự đơn thức > an lu nf va (i) Nếu w tương thích với > LT> (I) = LT> (inw (I)) = LT> (hinw (I)i) z at nh oi lm ul (ii) Nếu w ∈ CG thỡ inw (G) l mt c s Grăobner ca hinw (I)i với > Đặc biệt, hinw (I)i = hinw (G)i z Chứng minh (i) Đẳng thức LT> (I) = LT> (inw (I)) hiển nhiên từ dẫn đầu f ∈ K[x1 , , xn ] xuất inw (f ) Đẳng thức thứ hai, ta chứng minh LT> (f ) ∈ LT> (inw (I)) với f ∈ hinw (I)i Cho f biểu diễn m pi inw (fi ), pi ∈ K[x1 , , xn ], fi ∈ I an Lu i=1 co l gm @ f= t X n va ac th si 3.2 Chuyn i cỏc c s Grăobner 26 Mỗi bên tổng thành phần w-thuần Vì inw (fi ) wthuần nhất, nên điều chứng tỏ inw (f ) = t X qi inw (fi ), i=1 ta giả sử qi w-thuần f qi fi có w-trọng số với i Từ suy t X inw (f ) = inw ( qi fi ) ∈ inw (I) lu i=1 an va Do n LT> (f ) = LT> (inw (f )) ∈ LT> (inw (I)) tn to ie gh (ii) Đầu tiên giả sử w tương thích với > Khi p hLT> (I)i = hLT> (G)i = hLT> (inw (G))i , d oa nl w đẳng thức thứ xảy G c s Grăobner i vi th t > ng thc thứ hai xảy w tương thích với > Kết hợp điều với phần (i), thấy an lu nf va hLT> (hinw (I)i)i = hLT> (in> (G))i lm ul z at nh oi Do ú inw (G) l mt c s Grăobner ca hinw (I)i >, kết thúc chứng minh bổ đề z Ta cịn phải xem xét xảy w ∈ CG , điều không thiết w tương thích với > Xét thứ tự trọng số > với so sánh w-trọng số phân định tiếp cách sử dụng > Chú ý w tương thích với > Mấu chốt vấn đề w ∈ CG nên từ dẫn đầu g ∈ G > số hạng đánh du Theo ú G l c s Grăobner c đánh dấu I với > Vì w tương thích với > , phần trước có ý ngha l inw (G) l c s Grăobner hinw (I)i với > Tuy nhiên, với g ∈ G , inw (g) có từ m co l gm @ an Lu n va ac th si 3.2 Chuyn i cỏc c s Grăobner 27 dẫn đầu giống > > Ta kết luận inw (G) sở Grăobner ca hinw (I)i vi > Tip theo chỳng ta chứng minh mệnh đề Chứng minh Mệnh đề 3.3 Ta chia phép chứng minh thành ba bước wnew Mt Bước thứ nhất, >new biểu diễn ! nên wnew tương thích với >new Do Bổ đề 3.4, thấy lu an n va LT>new (I) = LT>new (hinwnew (I)i) gh tn to Bước thứ hai, ý wnew ∈ Cold , khẳng định cuối phần (ii) Bổ đề 3.4 có nghĩa p ie hinwnew (I)i = hinwnew (Gold )i oa nl w Bước thứ ba, ta chứng minh d hinwnew (Gold )i = hLT>new (H)i = LT>new (H) , lu nf va an với H = {h1 , , ht } l c s Grăobner ca hinwnew (Gold )i H = {h1 , , ht } tập hợp đa thức mô tả mệnh đề Đẳng thức hiển nhiên, đẳng thức thứ hai, ta cần chứng minh với j, LT>new (hj ) = LT>new (hj ) Vì inwnew (g) wnew nên điều tương tự với hj qj,g Do với g, tất số hạng qj,g (g − inwnew (g)) nhỏ wnew -trọng số so với dạng dẫn đầu Trong (3.5) để có hj cộng số hạng có w-trọng nhỏ Vì >new tương thích với wnew nên số hạng thêm vào nhỏ theo thứ tự mới, >new -từ dẫn đầu hj giống với từ dẫn đầu hj Kết hợp ba bước, có hLT>new (I)i = LT>new (H) z at nh oi lm ul z m co l gm @ an Lu n va ac th si 3.3 Thuật toán 28 Từ hj ∈ I với I, ta kết luận H l c s Grăobner ca I i vi >new C s Grăobner ca H t Mnh 3.3 l cực tiểu, không thiết thu gọn Do đó, việc rút gọn đa thức thường cần thit cú c c s Grăobner c ỏnh du Gnew tương ứng với hình nón Trong thực hành, q trình tương đối nhanh chóng Để sử dụng Mệnh đề 3.3, cần tìm đa thức pj,g (2.5) biểu diễn phần tử c s Grăobner hj da vo cỏc phn t sinh inwnew (Gold ) Điều thực theo hai cách: lu an Đầu tiên, pj,g tính tốn với H thuật toán Buchberger mở rộng n va p ie gh tn to Thứ hai, từ inwnew (Gold ) s Grăobner ca hinwnew (Gold )i i vi >old bi phần (ii) Bổ đề 3.4 , pj,g nhận cách chia cho inwnew (Gold ) sử dụng >old Quá trình thay dạng dẫn đầu g g để từ (3.4) đến (3.5) gọi "nâng" dạng dẫn đầu lờn c s Grăobner mi d oa nl w Thuật toán nf va an lu 3.3 z at nh oi Định lý 3.5 Ta đặt lm ul Thuật toán sau õy l mt ng i Grăobner c bn, i theo đoạn thẳng từ ws đến wt z (i) "Nón kế tiếp" (Nextcone) thủ tục tính tốn ulast từ (3.2) Nhớ lại wnew = (1 − ulast )wold + ulast wt vectơ trọng số cuối dọc theo đường nằm hình nón Cold ca c s Grăobner Gold trc ú; l gm @ m co (ii) "Nâng" (Lift) thủ tục nõng c s Grăobner ca cỏc dng wnew dn u ca c s Gră obner Gold trc ú i vi >new thnh c s Gră obner Gnew theo Mnh 3.3; an Lu n va ac th si 3.3 Thuật toán 29 (iii) "Rút gọn lẫn nhau" (Interreduce) thủ tục lấy tập hợp đa thức định rút gọn chúng lẫn thứ tự đơn thức định lu an n va p ie gh tn to Khi đó, thuật tốn sau tớnh toỏn chớnh xỏc c s Grăobner cho I i với >t kết thúc sau hữu hạn bước: Input : Ms Mt biểu diễn cho thứ tự bắt đầu kết thúc với hàng ws Gs l c s Gră obner i vi >Ms Output : Giá trị cuối Gnew = sở Grăobner i vi >Mt Mold := Ms Gold := Gs wnew := ws ! wnew Mnew := Mt done := f alse W HILE done = f alse DO oa nl w In := inwnew (Gold ) d InG := gbasis(In, >Mnew ) lu nf va an Gnew := Lif t(InG, Gold , In, Mnew , Mold ) Gnew := Interreduce(Gnew , Mnew ) lm ul u := N extCone(Gnew , wnew , wt ) done := true m co l an Lu wnew := (1 − u)wnew + uwt gm Gold := Gnew @ Mold := Mnew z ELSE z at nh oi IF wnew = wt T HEN n va ac th si 3.3 Thuật toán Mnew := 30 wnew Mt ! RET U RN (Gnew ) lu Chứng minh Chúng ta dịch chuyển theo đoạn thẳng từ ws đến wt Để chứng minh tính dng, nhn xột rng qut Grăobner ca I = hGs i có hữu hạn hình nón, hình nón có hữu hạn siêu phẳng bao quanh Loại bỏ siêu phẳng có chứa đoạn thẳng từ ws đến wt , siêu phẳng lại xác định tập hợp hữu hạn điểm đặc biệt đoạn thẳng Bây ta xét ulast = N extCone(Gnew , wnew , wt ) an n va p ie gh tn to thuật toán Điều sử dụng (3.2) với wold thay giá trị wnew Hơn nữa, lưu ! ý thứ tự đơn thức xuất ws phát từ ma trận có dạng Theo đó, giả thuyết Bổ đề 3.2 Mt thỏa mãn Nếu ulast = 1, giá trị wnew wt , thuật toán kết thúc sau lần qua vịng lặp Mặt khác, ulast = uj < 1, giá trị wnew nằm siêu phẳng w.vj = 0, số hữu hạn siêu phẳng Tuy nhiên, (3.2) ngụ ý wt vj < w.vj ≥ 0, để siêu phẳng giao với đoạn thẳng điểm Do giá trị wnew điểm đặc biệt Hơn nữa, Bổ đề 3.2 ngụ ý ulast > đó, wnew khác với wt , phải chuyển sang điểm đặc biệt khác xa hơn, dọc theo đoạn thẳng Do cuối phải đạt wt , thời điểm thuật toán kết thúc Để chứng minh tính đắn, nhận xét lần qua vịng lặp chính, giả thuyết Mệnh đề 3.3 thỏa mãn Hơn nữa, giá trị wnew đạt đến wt , lần qua vịng lặp tính ! tốn wt c s Grăobner ca I cho th t n thức biểu thị Theo Mt giá tr cui cựng ca Gnew l c s Grăobner c đánh dấu cho >t d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si 3.3 Thuật toán 31 Độ phức ca ng i Grăobner ph thuc nhiu vo s lượng hình nón qua dọc theo đường qut Grăobner v s hỡnh nún cú cha im wnew bước Chúng ta tìm hiểu rõ điều ví dụ Ví dụ 3.1 Chúng ta bắt đầu với ví dụ n gin v ng i Grăobner Xột iờan I = x2 − y, xz − y + yz ⊂ Q[x, y, z] Chúng ta tính tốn tồn b qut Grăobner cho I trờn (xem Hỡnh 2.2) Giả sử ta biết  Gs = G(1) = x2 − y, y − xz − yz lu õy l c s Grăobner ca I i vi>(5,4,1),grevlex (trong số nhiều thứ tự khác) Giả sử muốn xỏc nh c s Grăobner i vi >(6,1,3),lex (l G(6) ) Chúng ta tiến hành sau Đặt an n va to p ie gh tn     Ms = 1 1 1 d oa nl w ws = (5, 4, 1) Chúng ta sử dụng ma trận vng xác định thứ tự thay ma trận × với hàng (5, 4, 1) ba hàng từ ma trận × xác định thứ tự grevlex Tương tự vậy,     Mt = 1 0 nf va an lu lm ul z at nh oi wt = (6, 1, 3) Chúng ta chọn ma trận vuông xác định thứ tự thích hợp tất tính tốn sau cách xóa hàng phụ thuộc tuyến tính thích hợp Chúng ta bắt đầu cách xem xét thứ tự xác định     Mnew = 6 3 0 z m co l gm @ an Lu (sử dụng vectơ trọng số wnew = (5, 4, 1) trước, sau tinh chỉnh theo thứ tự đích) Các dng wnew -dn u ca a thc c s Grăobner thứ tự n va ac th si 3.3 Thuật toán 32 lu an n va p ie gh tn to giống dạng Gs , sở khơng thay đổi lần qua vịng lặp Sau đó, ta gọi thủ tục NextCone với wnew thay cho wold Hình nón >Mnew xác định ba bất đẳng thức thu cách so sánh x2 so với y y so với xz yz Theo (3.2), ulast u lớn cho (1 − u)(5, 4, 1) + u(6, 1, 3) nằm hình nón tính sau: x2 y : v1 = (2, −1, 0), wt v1 = 6= → u1 = y xz : wnew v2 v2 = (−1, 2, −1), wt v2 = −7 < → u2 = wnew v2 −(−7) = y yz : wnew v3 v2 = (0, 2, −1), wt v3 = −2 < → u3 = wnew v3 −(−2) = Giá trị u nhỏ ulast = 92 Do vectơ trọng số   47 10 13 2 wnew = (1 − )(5, 4, 1) + (6, 1, 3) = , , , 9 9 w Mold oa nl  47 10 13  d   Mnew =   0 an lu nf va cập nhật cho lần thơng qua vịng lặp Trong đường chuyền thứ hai, In = {y − xz, x2 } Chỳng ta tớnh toỏn c s Grăobner cho hIni >new (đối với thứ tự này, từ dẫn đầu phần tử xz) tìm H = {−y + xz, x2 , xy , y } z at nh oi lm ul z Biểu diễn theo phần tử sinh hIni, ta có gm @ x2 = 0.(y − xz) + 1.(x2 ) m an Lu xy = x.(y − xz) + z.(x2 ) co l −y + xz = −1.(y − xz) + 0.(x2 ) n va ac th si 3.3 Thuật toán 33 y = (y + xz).(y − xz) + z (x2 ) Vì vậy, theo Mnh 3.3, cú c c s Grăobner tip theo, nâng lên −1.(y − xz − yz) + 0.(x2 − y) = xz + yz − y 0.(y − xz − yz) + 1.(x2 − y) = x2 − y x.(y − xz − yz) + z.(x2 − y) = xy − xyz − yz (y + xz).(y − xz − yz) + z (x2 − y) = y − y z − xyz − yz lu Rút gọn lẫn >new , ta cú c c s Grăobner c ỏnh du Gnew cho an va n {xz + yz − y , x2 − y, xy − y + y z − yz, y − 2y z + y z − yz } tn to p ie gh G(5) Nhắc tới N extCone lượt này, sử dụng tham số 10 13 (1 − u)( 47 , , ) + u(6, 1, 3) Sử dụng (3.2) trên, thu 17 11 11 ulast = 35 , wnew = ( 28 , , ) Trong lần thứ ba i qua vũng lp chớnh, c s Grăobner khụng thay đổi tập Tuy nhiên, từ dẫn đầu dạng ban đầu đa thức cuối y 2y z + y z yz >Mnew y z kể từ   d oa nl w 11 12   Mnew =   0 nf va an lu 28 lm ul z at nh oi Sử dụng Mệnh đề 3.3 bình thường để tính tốn s Grăobner mi Gnew , chỳng ta c z {xz + yz − y , x2 − y, xy − y + y z − yz, y z − 2y z + y − yz } (3.6) @ m co l gm G(6) Nhắc lại N extCone trả ulast = 1, khơng có cặp số đạt trọng số cho điểm đoạn đường tham số hóa 28 11 11 (1 − u)( , , ) + u(6, 1, 3) 5 an Lu n va ac th si 3.3 Thuật tốn 34 Do wnew = wt Sau lần vượt qua vòng lặp chính, Gnew khơng thay đổi, thuật tốn kết thúc Do đó, đầu cuối (3.6), l c s Grăobner c ỏnh du ca I i với thứ tự đích lu an n va p ie gh tn to Ví dụ 3.2 Áp dụng đường Grăobner chuyn i c s G(3) cho iờan cho sở G(4) Lấy >s = >(2,7,1), grevlex >t = >(3,1,6), grevlex Nhiều ưu đường bị có nhiều số hạng wnew -dẫn đầu Điều có xu hướng xảy phần đường nằm mặt hình nón đó, đường qua điểm có nhiều hình nón giao Ví dụ ứng dụng thuật toán đường i Grăobner cho mt nh tỡm phng trỡnh ẩn lấy cảm hứng từ ví dụ nghiên cứu thiết kế robot thiết kế có hỗ trợ máy tính Đặt C1 C2 hai đường cong R3 Mặt phân giác C1 C2 quỹ tích điểm P có khoảng cách với C1 C2 Phân giác sử dụng, ví dụ, kế hoạch chuyển động để tìm đường tránh chướng ngại vật mơi trường xung quanh Chúng ta xem xét trường hợp C1 C2 hoàn toàn trơn tru đường cong đại số giao C1 = V (f1 , g1 ) C2 = V (f2 , g2 ) (Điều bao gồm hầu hết trường hợp quan tâm đến mơ hình kiểu khối, chẳng hạn đường thẳng, vịng trịn hình nón khác, v.v.) P = (x, y, z) nằm đường phân giác C1 C2 tồn Q1 = (x1 , y1 , z1 ) ∈ C1 Q2 = (x2 , y2 , z2 ) ∈ C2 cho khoảng cách từ P đến Ci tối thiểu Qi , i = 1, khoảng cách từ P đến Q1 khoảng cách từ P đến Q2 Thay nhấn mạnh vào mức tối thiểu tuyệt đối hàm khoảng cách từ P đến Ci Qi , đơn giản hàm khoảng cách đơn giản có điểm tới hạn Dễ dàng thấy điều kiện tương đương với việc nói đoạn thẳng từ P đến Qi trực giao với đường tiếp tuyến với Ci Qi d oa nl w nf va an lu z at nh oi lm ul z gm @ m co l Ví dụ 3.3 Chứng minh khoảng cách từ Ci đến P có điểm tới hạn Qi đoạn thẳng từ P đến Qi trực giao với đường tiếp tuyến với Ci Qi , điều tương đương với an Lu (∇fi (Qi ) × gi (Qi )).(P − Qi ) = n va ac th si 3.3 Thuật toán 35 Trong ∇fi (Qi ) biểu thị vectơ độ dốc fi Qi × phép nhân R3 Bằng tập này, tìm thấy phân giác sau Đặt (xi , yi , zi ) điểm chung Qi Ci P = (x, y, z) Xét hệ phương trình = f1 (x1 , y1 , z1 ) = g1 (x1 , y1 , z1 ) = f2 (x2 , y2 , z2 ) = g2 (x2 , y2 , z2 ) lu an = (∇f1 (x1 , y1 , z1 ) × ∇g1 (x1 , y1 , z1 )).(x − x1 , y − y1 , z − z1 ) va n = (∇f2 (x2 , y2 , z2 ) × ∇g2 (x2 , y2 , z2 )).(x − x2 , y − y2 , z − z2 ) (3.7) to gh tn = (x−x1 )2 +(y −y1 )2 +(z −z1 )2 −(x−x2 )2 −(y −y2 )2 −(z −z2 )2 p ie Đặt J ⊂ R[x1 , y1 , z1 , x2 , y2 , z2 , x, y, z] iđêan tạo bảy đa thức Khi đó, phân giác chứa V (I), I iđêan khử I = J ∩ R[x, y, z] Chứng minh tiến hành sau P = (x, y, z) nằm phân giác C1 C2 tồn Qi = (xi , yi , zi ) cho Qi ∈ Ci , Qi giá trị nhỏ hàm khoảng cách đến P, bị giới hạn đến Ci P Q1 = P Q2 Do đó, P nằm phân giác phương trình (3.7) thỏa mãn cho số (xi , yi , zi ) ∈ Ci Do đó, P hình chiếu số điểm V (J), nằm V (I) Lưu ý (3.7) chứa bảy phương trình với chín ẩn số, hy vọng V (J) phép chiếu V (I) có hai chiều nói chung Chẳng hạn, C1 khối xoắn V (y − x2 , z − x3 ) C2 đường thẳng V (x, y − 1), J iđêan d oa nl w nf va an lu z at nh oi lm ul z gm @ J = hy1 − x21 , z1 − x31 , x2 , y2 − 1, x − x1 + 2x1 (y − y1 ) + 3x21 (z − z1 ), z − z2 , m co l (x − x1 )2 + (y − y1 )2 + (z − z1 )2 − (x − x2)2 − (y − y2 )2 − (z − z2 )2 i (3.8) an Lu Áp dụng đường i Grăobner vi >s l th t grevlex vi x > y1 > z1 > x2 > y2 > z2 > x > y > z >t theo thứ tự >w,grevlex , w = n va ac th si 3.3 Thuật toán 36 (1, 1, 1, 1, 1, 1, 0, 0, 0), có thuộc tính khử mong muốn để tính J ∩ R[x, y, z] Sử dụng khai trin ng i Grăobner, chỳng ta ó tớnh toỏn sở >w,grevlex cho J (3.8) Như mong đợi, iđêan khử tạo đa thức nhất: J ∩ R[x, y, z] = h5832z y − 729z − 34992x2 y − 14496yxz − 14328x2 z + 24500x4 y − 23300x4 y + 3125x6 + 5464z − 36356z y + 1640xz + 4408z + 63456y xz + 28752y x2 z − 201984y − 16524z y − 175072y z + 42240y xz − 92672y zx + 99956z y + 50016yz + 90368y + 4712x2 + lu 3200y x3 z + 6912y xz + 13824y zx + 19440z xy + 15660z x3 y + 972z x2 y an + 6750z x4 y − 61696y z x + 4644yxz − 37260yz x2 − 85992y x2 z + 5552x4 va n − 7134xz + 64464yz x2 − 5384zyx3 + 2960zy x3 − 151z + 1936 + 29696y tn to + 7074z y + 18381z x2 − 2175z x4 + 4374xz + 1120zx + 7844x3 z − ie gh 139264y − 2048y − 1024y z − 512y x2 − 119104y x2 − 210432y z + p 48896y z − 104224y z + 28944y z + 54912y x2 − 20768y + 5832z x3 − nl w 8748z x2 + 97024y x2 + 58560y zx + 240128y + 286912y z + 10840xyz + 1552x3 z − 3750zx5 i d oa (3.9) nf va an lu Rõ ràng hình nón tương ứng với hai đơn thứ tự đơn thức >s , >t gần quạt Grăobner i vi J ỳng nh mmong i Cỏc dng dẫn đầu wnew bước thứ hai đường chứa số lượng lớn số hạng riêng biệt Theo kinh nghiệm, việc tăng tốc độ, đường i Grăobner cng cú xu hng s dng ớt b nhớ để lưu trữ đa thức trung gian so với thuật toán Buchberger với thứ tự khử Điều có nghĩa việc ng i Grăoebner mt nhiu thi gian hon thnh, thường thực thành cơng ví dụ phức tạp khơng khả thi s dng cỏc gúi c s Grăobner ca cỏc hệ thống đại số máy tính tiêu chuẩn Các kết tương tự báo cáo số lp trỡnh th nghim ca ng i Grăobner cỏc tài tiệu khác z at nh oi lm ul z m co l gm @ an Lu n va ac th si Kết luận Trong luận văn đạt số kết sau lu an n va p ie gh tn to • Trình by khỏi nim qut Grăobner v mt s nh lý quan trng c s Grăobner, cng nh nhng tớnh cht quan trng ca qut Grăobner c bit l nh lý 2.1 với iđêan I ⊂ K[x1 , · · · , xn ], tập hợp M on(I) hữu hạn Từ ta nhận Hệ 2.3 Hay Ví dụ 2.1, kết từ Định lý 2.5 để làm sở cho ví dụ phần qut Grăobner ca mt iờan, v thụng qua Vớ d 2.1 ta mụ t qut Grăobner tng ng vi c s Grăobner c ỏnh du oa nl w d ã ng dng ca qut Grăobner, s dng thut toỏn vic xõy dng ng i Grăobner tớnh c s Grăobner ca mt iờan mt cỏch hiu qu ng i Grăobner bao gm hai bc c bn: nf va an lu lm ul z at nh oi (i) Băng từ hình nón sang hình nón khác (ii) Tính toỏn c s Grăobner ca I tng ng vi hỡnh nón z Trong phần có mệnh đề, bổ đề quan trọng Mệnh đề 3.1, Bổ đề 3.2, Mệnh đề 3.3, Bổ đề 3.4 Và đặt biệt Định lý 3.5 trình bày thuật tốn đường ca c s Grăobner m co l gm @ an Lu n va ac th si Tài liệu tham khảo [1] D Cox, J Little and D O’Shea Ideals, Varieties, and Algorithms 2nd edition, Springer-Verlag, New York, 1997 lu an n va [2] D Cox, J Little, D O’Shea Using algebraic geometry Springer (2005) p ie gh tn to [3] T Mora, L Robbiano The Grăobner fan of an ideal Journal of Symbolic Computation (1988) 6, 183-208 oa nl w [4] B Huber, R.R Thomas Computing Grăobner fans of toric ideals Experimental Mathematics (2000), Vol 9(3), 321-331 d [5] K Fukuda, A.N Jensen, R.R Thomas Computing Grăobner fans Mathematics of Computation (2007), Vol 76 (260), 2189-2212 nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si