(Luận văn) cơ sở grobner trong vành đa thức

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Đỗ Thị Phương Thanh lu an n va ie gh tn to p CƠ SỞ GRöBNER TRONG VÀNH ĐA THỨC d oa nl w oi lm ul nf va an lu LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh z m co l gm @ an Lu Thành phố Hồ Chí Minh - 2014 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Đỗ Thị Phương Thanh lu an CƠ SỞ GRöBNER TRONG VÀNH ĐA THỨC n va p ie gh tn to nl w Chuyên ngành: Đại số lí thuyết số d oa Mã số: 60 46 01 04 ul nf va an lu oi lm LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh z NGƯỜI HƯỚNG DẪN KHOA HỌC: gm @ TS TRẦN HUYÊN m co l an Lu Thành phố Hồ Chí Minh - 2014 n va ac th si Lời cảm ơn Để hồn thành luận văn này, tơi nhận giúp đỡ nhiều thầy lu giáo, gia đình bạn bè an n va Tôi xin bày tỏ lịng kính trọng biết ơn sâu sắc tới Tiến sĩ Trần Huyên, nghiệm quý báu suốt trình thực luận văn Tôi xin chân thành gởi lời cảm ơn tới thầy khoa Tốn trường Đại p ie gh tn to người thầy tận tình hướng dẫn truyền đạt cho kiến thức kinh nl w học Sư Phạm thành phố Hồ Chí Minh tận tình giảng dạy truyền thụ kiến d oa thức cho tơi q trình học tập trường an lu Cuối cùng, xin gởi lời cảm ơn tới gia đình bạn bè, người oi lm ul văn nf va động viên, khuyến khích giúp đỡ tơi suốt q trình hồn thành luận z at nh TP Hồ Chí Minh – Tháng năm 2014 z m co l gm @ Đỗ Thị Phương Thanh an Lu n va ac th si MỤC LỤC Trang phụ bìa Lời cảm ơn Bảng kí hiệu lu Lời nói đầu an §1: VÀNH ĐA THỨC n va Chương KIẾN THỨC CHUẨN BỊ gh tn to §2: MODULE 10 p ie Chương CƠ SỞ GRöBNER 13 nl w §1: IDEAL ĐƠN THỨC 13 d oa §2: IDEAL KHỞI ĐẦU 23 an lu §3: CƠ SỞ GRưBNER 30 nf va §4: VAI TRỊ CỦA CƠ SỞ GRưBNER TRONG VIỆC XÁC ĐỊNH oi lm ul PHẦN TỬ CỦA IDEAL 34 §5: THUẬT TOÁN BUCHBERGER 39 z at nh Kết luận 48 z Tài liệu tham khảo 49 m co l gm @ an Lu n va ac th si Bảng kí hiệu Kí hiệu Ý nghĩa K ( x) Vành đa thức nhiều biến K [ x1 , , xn ] lu Ideal sinh f1 , , f n an f1 , , f n n va Thứ tự từ điển ≤ glex Thứ tự từ điển phân bậc gh tn to ≤lex ≤ rlex p ie Thứ tự từ điển ngược Tập hợp tất đơn thức sinh tối tiểu I Hệ số đầu f nf ) va lc ( f Đơn thức đầu f an ) lu lm ( f Từ khởi đầu đa thức f d ) oa in ( f nl w G(I ) Ideal khởi đầu ideal I S ( f ,g) S − đa thức f g IR I ideal R  Tập thực ⊆ Tập nhỏ ■ Kết thúc chứng minh oi lm ul in ( I ) z at nh z m co l gm @ an Lu n va ac th si Lời nói đầu Một tốn quan trọng vành đa thức R = K [ x1 , , xn ] là: Cho f ∈ R I = f1 , , f s  R, xác định xem f có thuộc I hay khơng? Điều lu an đòi hỏi f phải biểu diễn dạng f = q1 f1 + + qs f s Để có biểu diễn va n này, cách tự nhiên, ta lấy f chia cho f1 , , f s Đối với vành biến R tn to vành nên ideal I ideal chính, theo định lí chia đa thức biến ie gh đa thức dư Tuy nhiên, mở rộng lên vành đa thức nhiều biến, p chia theo cách khác đa thức dư khác nhau, đa oa nl w thức f ∈ I đa thức dư áp dụng thuật tốn chia f cho f1 , , f s d khác Ví dụ Cho f1 =x y + y, f =xy + x Ta có f = x y + x 2= xf hay ( lu ) 2 f = yf1 + x − y tức đa thức dư f chia cho f1 , f va an f ∈ f1 , f ul nf r = x − y ≠ Vấn đề đặt liệu có hệ sinh g1 , , gt I mà chia f oi lm cho g1 , , gt theo thuật tốn đa thức dư z at nh f ∈ I đa thức dư ln Điều dẫn tới khái niệm sở Grưbner thuật tốn Buchberger giúp ta tìm sở Gröbner từ hệ sinh Nội dung l gm @ Chương Kiến thức chuẩn bị z luận văn gồm: m co Chương gồm tiết: Vành đa thức module Chương cung cấp kiến thức vành đa thức biến nhiều biến Đồng thời đưa an Lu n va ac th si số tính chất số module đặc biệt: module tự do, module hữu hạn sinh, module Noether Chương Cơ sở Gröbner Chương phần luận văn Chương chia làm tiết Tiết 1: Ideal đơn thức Trình bày định nghĩa tính chất ideal đơn thức vài lớp lu ideal đặc biệt ideal đơn thức an va Tiết 2: Ideal khởi đầu n Trình bày định nghĩa ideal khởi đầu tính chất ideal khởi đầu gh tn to Tiết 3: Cơ sở Grưbner ie Trình bày định nghĩa sở Gröbner loại sở Grưbner p Tiết 4: Vai trị sở Gröbner việc xác định phần tử ideal nl w Trình bày định lí thuật tốn chia vai trị sở Grưbner việc ổn đinh d oa đa thức dư phép chia đa thức lu an Tiết 5: Thuật toán Buchberger oi lm ul Grưbner nf va Trình bày khái niệm S − đa thức thuật tốn Buchberger để tìm sở z at nh Luận văn xét đến vành đa thức trường Cho nên nói đến vành đa thức mà khơng nói thêm ta hiểu vành đa thức trường z m co l gm @ an Lu n va ac th si Chương KIẾN THỨC CHUẨN BỊ Chương trình bày số tính chất vành đa thức để làm tiền đề nghiên cứu chương sau §1: VÀNH ĐA THỨC Vành đa thức biến lu Cho R vành x biến Ta gọi đa thức tổng có dạng: an n va a0 + a1 x + a2 x + + an x n = ∑ xi n i =0 tn to , i = 0, , n, số thực Nếu a0= 1, a1= = an= đa thức ie gh kí hiệu n m i =0 j =0 p i Hai đa thức f ( x ) = ∑ x g ( x ) = ∑ b j x j xem w ( ≠ 0, bi ≠ ) oa nl m = n = a j với i = j d Phép cộng đa thức định nghĩa sau: lu ul nf va an  m  n  m i j k  + = a x b x  ∑ i   ∑ j   ∑ ( ak + bk ) x  ( giả sử m > n ) =  i 0=  j 0=   k oi lm Phép nhân đa thức định nghĩa sau: z at nh m  n  n+ m k  i  j = a x b x  ∑ i   ∑ j   ∑ ck x  với ck = ∑ b j i+ j= k =  i 0= j0 =   k z Định nghĩa 1.1.1: Với hai phép toán cộng đa thức nhân đa thức nêu kiểm tra tập tất đa thức lập thành vành giao hốn có phần tử đơn vị đa thức Tập l gm @ kí hiệu vành K [ x ] m co Sau định nghĩa đa thức biến, việc thứ tự số hạng đơn thức cần thiết nên liền xuất khái niệm bậc đa thức: an Lu Định nghĩa 1.1.2: Bậc đa thức khác n va ac th si f ( x= ) a0 x0 + + an−1 x n−1 + an x n Như ta định nghĩa bậc đa thức khác Đối với đa thức không ta bảo khơng có bậc Định lí 1.1.3: Giả sử f ( x ) g ( x ) hai đa thức khác (i) Nếu bậc f ( x ) khác bậc g ( x ) , ta có: f ( x ) + g ( x ) ≠ bậc ( f ( x ) + g ( x )) = max (bậc f ( x ) , bậc g ( x ) ) lu Nếu bậc f ( x ) = bậc g ( x ) , thêm f ( x ) + g ( x ) ≠ 0, ta có: an n va Bậc ( f ( x ) + g ( x )) ≤ max (bậc f ( x ) , bậc g ( x ) ) tn to (ii) Nếu f ( x ) g ( x ) ≠ 0,thì ta có bậc ( f ( x ) g ( x ) ) ≤ bậc f ( x ) + bậc g ( x ) ) ie gh Định lí 1.1.4: Nếu K miền nguyên f ( x ) g ( x ) hai đa thức khác p vành K [ x ] , f ( x ) g ( x ) ≠ bậc ( f ( x ) g ( x ) ) = bậc f ( x ) + bậc g ( x ) w d oa nl Hệ 1.1.5: Nếu K miền nguyên, K [ x ] miền nguyên Trong trường hợp đặc biệt, vành K [ x ] vành biến, K va { f1 , , f n } an thức lu Để giải vấn đề đặt ra: đa thức f có thuộc ideal I sinh hệ đa ul nf trường, K [ x ] vành I ideal sinh đa thức g ( x ) oi lm Nếu f ( x ) ∈ I f ( x ) phải biểu diễn f ( x ) = q ( x ) g ( x ) Để có biểu diễn z at nh ta phải lấy f ( x ) chia cho g ( x ) , để đảm bảo có phép chia, ta có định lí chia đa thức: Định lí 1.1.6: Giả sử K trường, f ( x ) g ( x ) ≠ vành K [ x ] ; bao z có hai đa thức q ( x ) r ( x ) thuộc K [ x ] cho @ l gm = f ( x ) g ( x ) q ( x ) + r ( x, ) với bậc r ( x ) < bậc g ( x ) r ( x ) ≠ m co Do đa thức dư đa thức thương nên điều kiện cần đủ để f thuộc I dư phép chia f ( x ) cho g ( x ) an Lu n va ac th si Định nghĩa 1.1.7: Ước chung lớn đa thức f1 , , f n ∈ K [ x ] đa thức h cho: (i) h chia hết f1 , , f n , nghĩa f1 q= = qn h; q1 , , qn ∈ K [ x ] 1h , , f n (ii) Nếu p đa thức khác chia hết f1 , , f n , p chia hết h Trong trường hợp ta viết h = UCLN ( f1 , , f n ) lu Mệnh đề 1.1.8:Cho f1 , , f n ∈ K [ x ] , n ≥ Khi đó: an n va (i) UCLN ( f1 , , f n ) tồn với sai khác số khác K gh tn to (ii) ( f1 , , f n ) = (UCLN ( f1 , , f n ) ) p ie (iii) Nếu n ≥ UCLN ( f1 , , f n ) = UCLN (UCLN ( f1 , , f n −1 ) , f n ) nl w Thuật toán 1.1.9: (Thuật tốn Euclide) để tìm UCLN ( f , g ) ta thực đến lúc ta oi lm ul nf , va = s0 p2 s1 + s2 , an = g p1 s0 + s1 , lu = f p0 g + s0 , d oa phép chia đa thức biến: z at nh sm = pm+1sm+1 (ở sm+2 = ) thuật toán dừng với UCLN ( f , g ) = sm+1 z Vành đa thức nhiều biến Cho R vành x1 , , xn ( n ≥ 1) biến Ta gọi đơn thức biểu thức có gm @ n m co l n dạng x1a xna ,trong ( a1 , , an ) ∈  gọi số mũ đơn thức Nếu a= = a= , đơn thức kí hiệu Phép nhân tập đơn thức n an Lu định nghĩa sau: n va ac th si 35 ( ) trong c0' hệ số u0 f ci hệ số in f i0 ( ) f i0 Ta có: ( ) in w0 fi0= w0in fi0= u0 < in ( f ) I f c0' ci−0 1w0 fi0 + h1 Nếu h1 = h1 ≠ mà khơng có từ h1 thuộc = biểu diễn tắc f theo f1 , , f s h1 đa thức dư f Nếu từ h1 thuộc I u1 từ lớn với thứ tự từ cho từ ( ( lu h1 thuộc I Ta có u0 > u1 Thật vậy, từ u h1 mà u > u0 = in w0 f i0 an )) n va u từ f (mâu thuẫn với cách chọn u0 ) Hơn nữa, u0 tn to từ h1 u1 chia p ie gh Lấy ( ) in fi1 cho ( ) w1 = u1 / in fi1 f = c0' ci−0 1w0 fi0 + c1' ci−1 1w1 fi1 + h2 , ( ) w c1' hệ số u1 h1 ci hệ số in f i1 nl ( ( ) Ta có: f i Ta có: ) d oa in w1 fi1 < in w0 fi0 ≤ in ( f ) lu va an Tiếp tục trình trên, ta dãy giảm: oi lm ul nf u0 > u1 > u2 > = f n −1 t =0 ' −1 t it wt fit + hn , z ∑c c z at nh Vì R vành Noether nên dãy dừng sau hữu hạn bước, giả sử n bước, ta có biểu diễn: ( ) m co ) l ( in wt fit < < in w0 fi0 ≤ in ( f ) gm @ hn = hn ≠ mà khơng có từ hn thuộc I , an Lu n va ac th si 36 n −1 s ∑q f = ∑c c Vì vậy, đặt i i =i =t ' −1 t it f = wt fit r = hn , ta đạt biểu diễn s ∑q f i =1 i i +r thỏa điều kiện (i) (ii) mong muốn ■ Ví dụ: Xét vành R = K [ x, y, x ] với thứ tự từ điển x > y > z Xét f1 = x − z, f = xy − f = x3 − x y − x − Ta có: f = x3 − x y − x − = x ( f1 + z ) − x y − x − lu = xf1 − x y − x + xz − = xf1 − y ( f1 + z ) − x + xz − an va = xf1 − yf1 − x + xz − yz − = xf1 − yf1 − ( f1 + z ) + xz − yz − n = xf1 − yf1 − f1 + xz − yz − z − to ( x − y − 1) f1 + ( xz − yz − z − 1) gh tn = p ie Và: w f = x3 − x y − x − = x ( f1 + z ) − x y − x − oa nl = xf1 − x y − x + xz − = xf1 − x ( f + 1) − x + xz − d = xf1 − xf − x + xz − x − = xf1 − xf − ( f1 + z ) + xz − x − ( x − 1) f1 − xf + ( xz − x − z − 1) va an lu = ul nf biểu diễn tắc f theo f1 , f xz − yz − z − xz − x − z − đa oi lm thức dư f thuộc ideal sinh hệ với cách chia đa thức dư f1 =x y + y, f =xy + x, ) ta có f = x y + x 2= xf hay gm ( @ 2 f = yf1 + x − y tức đa thức dư f chia cho f1 , f l f ∈ f1 , f { f1 , , f s } z không Cho z at nh Ví dụ cho ta thấy đa thức dư thuật tốn chia nói chung không Vậy với cách chia khác đa thức dư khác Hơn nữa, đa thức m co r = x − y ≠ Như hệ sinh f1 , , f s cần thỏa điều kiện để f ∈ I đa thức dư r 0? Mệnh đề sau trả lời câu hỏi đó: an Lu n va ac th si 37 Mệnh đề 2.4.2: Giả sử F = { f1 , , f s } sở Gröbner thứ tự từ cho trước Khi với đa thức f ∈ R, đa thức dư r phép chia f cho hệ F (trong định lí chia đa thức) xác định Nói riêng, kết thực thuật toán chia đa thức trường hợp không phụ thuộc vào thứ tự đa thức chia F Chứng minh: Sự tồn r đảm bảo định lí chia đa thức Giả sử có hai đa thức dư r lu r ', tức tồn q1 , , qs , q '1 , , q ' s ∈ R để an n va f = q1 f1 + + qs f s + r= q '1 f1 + + q ' s f s + r ' gh tn to Khi đó: ( q '1 − q1 ) f1 + + ( q 's − qs ) f s ∈ I := f1 , , f s p ie r − r '= w Vì f1 , , f s sở Gröbner I nên tồn i ≤ s để in ( r − r ' ) chia hết cho in ( f i ) oa nl Nhưng điều khơng thể xảy in ( r − r ' ) phải đơn thức r r ', d mà theo định lí chia đa thức, khơng có từ r r ' chia hết cho in ( f i ) Vậy va an lu phải có r = r ' ■ ul nf Như vậy, F = { f1 , , f s } sở Grưbner đa thức dư nhất, cho ta oi lm điều kiện cần đủ để đa thức thuộc ideal: z at nh Hệ 2.4.3: Giả sử F = { f1 , , f s } sở Gröbner ideal I thứ tự từ cho trước đa thức f ∈ R Khi f ∈ I đa thức r phép z @ chia f cho hệ F l gm Chứng minh: Chỉ cần chứng minh điều kiện cần Giả sử f ∈ I Khi tồn m co q1 , , qs ∈ R để f = q1 f1 + + qs f s + Do tính phần dư, suy r = ■ an Lu n va ac th si 38 Ta có F = { f1 , , f s } sở Grưbner đa thức dư r xác định Vậy thay F ' = { f1' , , f s' } sở Grưbner khác đa thức dư r có thay đổi Ta có mệnh đề sau: Mệnh đề 2.4.4: Cho G G ' hai sở Gröbner I thứ tự từ Cho f ∈ K [ x ] tùy ý Khi Re mG ( f ) = Re mG ' ( f ) , tức đa thức dư f không phụ thuộc vào việc chọn sở Gröbner lu Chứng minh: an n va Giả sử G = { g1 , , g s } to G ' = { g '1 , , g'n } gh tn Re mG ( f ) = r p ie Tacó: f= q1 g1 + + qs g s + r ⇒ f − r= q1 g1 + + qs g s g '1 , , g'n ⇒ f −= r q '1 g '1 + + q 'n g 'n w ⇒ f − r ∈= I oa nl ⇒= f q '1 g '1 + + q 'n g 'n + r d Vì từ r không chia hết cho từ khởi đầu in ( g1 ) , , in ( g s ) nên lu va an thuộc in ( I ) từ r không = = in ( g1 ) , , in ( g s ) in ( g '1 ) , , in ( g 'n ) Vậy ) hay đa thức dư f khơng phụ thuộc vào sở Grưbner.■ oi lm r = Re mG ' ( f ul nf từ r không chia hết từ khởi đầu in ( g '1 ) , , in ( g 'n ) Như z at nh z m co l gm @ an Lu n va ac th si 39 §5: THUẬT TỐN BUCHBERGER Ta thấy vai trị sở Grưbner việc xác định phần tử ideal Vậy tiêu chuẩn để biết hệ sinh { f1 , , f n } sở Gröbner, ta dùng thuật tốn Buchberger để tìm sở Grưbner từ hệ sinh cho trước Trước hết, ta đưa khái niệm S − đa thức: Định nghĩa 2.5.1: Cho f , g ∈ K [ x ] hai đa thức khác Kí hiệu lu an m fg = in ( f ) n va UCLN ( lm ( f ) , lm ( g ) ) mgf = in ( g ) UCLN ( lm ( f ) , lm ( g ) ) tn to S − đa thức f g đa thức S ( = f , g ) mgf f − m fg g ie gh Chú ý S − đa thức phụ thuộc vào việc chọn thứ tự từ p Ví dụ: Cho f = x y − x y + x y g= 3x y − x + 3xy vành K [ x, y ] oa nl w = m fg x= , mgf y Với thứ tự từ điển phân bậc mà x > y ta có d S ( f ,= g ) y ( x y − x y + x y ) − x ( 3x y − x + 3xy ) lu va an = − 3x y − 12 x y + x + x y ul nf Với thứ tự từ điển mà x > y ta có m fg = y , mgf = −2 oi lm S ( f ,g) = −2 ( x y − x y + x y ) − y ( −2 x + 3x y + 3xy ) z at nh = x y − 3x y − x y − 3xy Từ định nghĩa thấy S − đa thức thỏa mãn tính chất sau: m co l gm (ii) in ( S ( f , g ) ) < BCNN ( in ( f ) , in ( g ) ) @ (i) S ( f , g ) = − S ( g , f ) z Mệnh đề 2.5.2: an Lu n va ac th si 40 Mệnh đề 2.5.3: Cho f , g đa thức khác không in ( f ) in ( g ) nguyên tố dư phép chia S ( f , g ) cho hệ { f , g} Chứng minh: Nếu in ( f ) in ( g ) nguyên tố S ( f ,g) = in ( g ) f − in ( f ) g = − ( g − in ( g ) ) f + ( f − in ( f ) ) g smg lm ( g − in ( g ) ) = sm f lm ( f − in ( f ) ) Nếu smg lm ( f ) = sm f lm ( g ) , Đặt = tính ngun tố suy smg chia hết cho lm ( g ) Điều vơ lí, lu an smg < lm ( g ) Do đẳng thức phải có n va ) ( lm ( S ( f , g ) ) , )} = tức có phép chia S ( f , g ) cho G mà phần dư ■ gh tn to { ( max lm  g − in ( g )  f , lm  f − in ( f )  g p ie Bổ đề kĩ thuật sau đóng vai trị then chốt việc chứng minh định lí tiêu chuẩn Buchberger oa nl w n Bổ đề 2.5.4: Cho g1 , , gt ∈ K [ x ] ;αα , , t ∈ K a1 , , at ∈  thỏa mãn tính chất d sau: lu d n (i) Tồn d ∈  để với i ≤ t mà αi ≠ x i lm ( gi ) = x t i =1 ) x gi < x d Khi tồn α jk ∈ K cho ∑a x gi = ∑a jk x S ( g j , gk ) , j ,k ( ) = BCNN lm ( g j ) , lm ( g k ) ) S ( g j , gk ) < x d m co d − c jk l ( Hơn với j, k có in x gm c jk @ Trong x d − c jk z i =1 i z at nh t oi lm ul (∑ nf (ii) in va an a an Lu Chứng minh: Theo mệnh đề 2.5.2 định nghĩa c jk ta có n va ac th si 41 ( in x d − c jk ) S ( g j , gk ) < x d − c jk ( ) BCNN lm ( g j ) , lm ( g k ) = xd Vì phải chứng minh tồn biểu diễn cho tổng ∑ t i =1 a i x a gi i Đặt β i = lc ( gi ) pi = x a gi / β i i Đương nhiên đa thức pi có hệ số đầu Viết tổng cần xét dạng : ∑ t a x a g = ∑ a i βi pi t i lu i i =i = i an = a1β1 ( p1 − p2 ) + (a1β1 + a β ) ( p2 − p3 ) + va + (a1β1 + + a t −1βt −1 )( pt −1 − pt ) + (a1β1 + + a t β t ) pt n = a1β1 ( p1 − p2 ) + (a1β1 + a β ) ( p2 − p3 ) + to ie gh tn + (a1β1 + + a t −1βt −1 )( pt −1 − pt ) p Trong đẳng thức cuối ta sử dụng đồng thức sau suy từ điều kiện (ii): nl w t oa ∑α β d i =1 i i = lu b an d với i ≤ t Do lm ( gi ) = x i Giả sử in ( gi ) = b i x i Theo điều kiện (i): + bi = c jk ( ) = BCNN lm ( g j ) , lm ( g k ) chia hết x d Vì x d − c jk đơn oi lm ul nf thức Ta có: va d chia hết x Suy x b z at nh z m co l gm @ an Lu n va ac th si 42   in ( g j ) in ( g k )  x S ( g j , gk ) x gj − gk  =  UCLN lm ( g j ) , lm ( g k )  UCLN lm ( g j ) , lm ( g k )    b  bj d −c k x jk BCNN lm ( g j ) , lm ( g k )  gj − gk   lm ( g j ) lm ( g k )    xd xd g = bb − k j j bk g k b x xj d − c jk d − c jk ( ) ( ( ) ) lu  x a j g j x ak g k − = b j bk   bb j k  an n va = bb j k ( p j − pk )     t ie gh tn to Thay pi − pi −1 vào biểu diễn ta được: p ∑a x aβ β1β 1 d − c12 gi = x S ( g1 , g ) + (a1β1 + + at −1βt −1 ) (a1β1 + a β ) x d −c + d oa nl w i =1 i β t −1β t x 23 β2 β3 d − c( t −1)t S ( g , g3 ) + S ( gt −1 , gt ) va an lu Đó dạng biểu diễn cần tìm (thực cần tới cặp ( j, k ) = ( i − 1, i ) , i ≤ t ) ■ t ∑a x i =1 i gi thuộc ideal sinh S ( g j , g k ) oi lm tổng ul nf Một cách phát biểu khác bổ đề là: hai điều kiện (i) (ii) thỏa mãn z at nh Sử dụng khái niệm S − đa thức, ta nhận tiêu chuẩn sau để hệ sinh sở Gröbner I z gm @ Định lí 2.5.5 (tiêu chuẩn Buchberger): Cho G = {g1 , , g s } hệ sinh ideal I G l sở Gröbner I với cặp ≤ i ≠ j ≤ s (hoặc mọi) đa thức an Lu Chứng minh: m co dư S − đa thức S ( gi , g j ) phép chia cho G n va ac th si 43 Điều kiện cần: Do gi , g j ∈ I , nên S ( gi , g j ) ∈ I Vì G sở Gröbner theo hệ 2.4.3, đa thức dư S − đa thức S ( gi , g j ) phép chia cho G xác định Điều kiện đủ: Giả sử cặp ≤ i ≠ j ≤ s, đa thức dư S ( gi , g j ) phép chia cho G (đa thức dư chọn theo quy luật đó) Ta cần chứng minh trường hợp G sở Gröbner lu Cho f ∈ I = ( g1 , , g s ) Khi tồn h1 , , hs ∈ K [ x ] cho an ( 2.3) n va f = h1 g1 + + hs g s f , chọn biểu diễn cho tn to Trong tất biểu diễn ie gh max {lm ( h1 g1 ) , , lm ( hs g s )} nhỏ Đơn thức hoàn toàn xác định thứ tự từ thứ tự tốt Kí hiệu m = x Để khơng làm rắc rối thêm kí hiệu, ta giả sử biểu diễn (2.3) thỏa mãn p d nl w d oa max {lm ( h1 g1 ) , , lm ( hs g s )} = m an lu Giả sử lm ( f ) < m Khi từ lớn hi gi triệt tiêu Đặt mi = lm ( hi gi ) ∑hg + ∑hg mi m = i mi < m i i ∑ in ( h ) g + ∑ ( h − in ( h ) ) g + ∑ h g i i mi m= mi m = i z at nh = i oi lm = f ul nf va Tách từ cao để vận dụng bổ đề sau: i i i mi < m ( 2.4 ) i z Vì hạng tử tổng riêng thứ hai thứ ba (2.4) có từ khởi đầu nhỏ m in ( f ) < m, nên phải có m co l an Lu Từ bổ đề 2.5.4 suy gm @   in  ∑ in ( hi ) gi  < m ( xem mệnh đề 2.2.2)  mi =m  n va ac th si 44 ∑ in ( h ) g = ∑T S ( g , g ) , i mi = m i jk j ( 2.5) k j ,k Trong T jk từ cho ( ) in T jk S ( g j , g k ) < m ( 2.6 ) Theo giả thiết đa thức dư S ( g j , g k ) phép chia cho G khơng, nên lu viết an S ( g j , g k ) = ∑ pijk gi , s va ( 2.7 ) n i =1 ( ( ) )) ( 2.8) ie gh tn to ( Trong pijk ∈ K [ x ] cho in pijk gi ≤ in S g j , g k p Thay (2.7) vào (2.5) ta s ∑  ∑T nl  = j ,k i =i jk j ,k  pijk  gi  d oa = mi m  s = T jk ∑ pijk gi ∑ w = ∑ in ( hi ) gi s ∑ hi gi + mi =m i i mi < m i i ( 2.9 ) i =1 oi lm Trong hi = ∑ T jk pijk i s = : ∑ h 'i g i ul i =1 ∑ ( h − in ( h ) ) g + ∑ h g nf f = va an lu Do đó, từ (2.4) suy z at nh j ,k Chú ý mệnh đề 2.2.2, (2.6) (2.8) dẫn đến )} { ( z { ( )} j ,k l gm j ,k @ in ( hi gi ) ≤ max T jk in S ( g j , g k ) = max in T jk S ( g j , g k ) < m an Lu max {lm ( h '1 g1 ) , , lm ( h ' s g s )} < m m co Cùng với điều mệnh đề 2.2.2, (2.9) cho ta biểu diễn f mà n va ac th si 45 Điều mâu thuẫn với cách chọn m Vậy phải có lm ( f ) = m Do tồn i để = lm ( f ) lm = ( hi gi ) lm ( hi ) lm ( gi ) , hay in ( f ) ∈ in ( g1 ) , , in ( g s ) Theo định nghĩa, G sở Gröbner I ■ Sau số ý để giảm bớt số phép thử áp dụng tiêu chuẩn Buchberger: • Vì S ( f , g ) = − S ( g , f ) nên để thử xem G = {g1 , , g s } có phải sở Grưbner hay khơng, cần thử cho cặp ( gi , g j ) với i < j lu • Nếu f , g hai từ S ( f , g ) = Do khơng cần thử tiêu chuẩn Buchberger an n va gh tn to cho cặp từ • Khơng cần thử tiêu chuẩn Buchberger cho cặp có từ khởi đầu nguyên tố Ví dụ: Cho I =− x ( x y z, y − z ) Đối với thứ tự từ điển ta có in ( x − y ) = p ie in ( y − z ) = y nguyên tố Theo ý trên, tập { x − y z, y − z } sở nl w Gröbner I oa Tuy nhiên thứ tự từ điển phân bậc d S ( − y z + x, − z + y ) = − z3 ( − y3z + x ) + y3 ( − z4 + y ) = − xz + y an lu nf va Không thể chia hết cho G ={− y z + x, − z + y} được, tức có đa thức dư khác không oi lm ul Vậy G không sở Grưbner I Thuật tốn Buchberger z at nh Tiêu chuẩn Buchberger cho ta thuật toán để tính sở Grưbner từ hệ sinh ideal z gm @ Lấy { f1 , , f n } hệ sinh ideal I R Tính S − đa thức S ( fi , f j ) l Nếu tất dư phép chia S ( fi , f j ) cho hệ { f1 , , f n } theo tiêu chuẩn m co Buchberger, { f1 , , f n } sở Gröbner Nếu S ( fi , f j ) có dư an Lu f n+1 khác Khi đó, khơng đơn thức đơn thức in ( f1 ) , , in ( f n ) n va ac th si 46 chia hết in ( f n+1 ) Do đó: in ( f1 ) , , in ( f n ) ⊂ in ( f1 ) , , in ( f n ) , in ( f n +1 ) ngặt Chú ý f n+1 ∈ I nên ta thay hệ sinh { f1 , , f n } hệ sinh { f1 , , f n , f n +1} tính tất S − đa thức cho hệ sinh Nếu tất dư phép chia S ( fi , f j ) cho hệ { f1 , , f n , f n+1} theo tiêu { f1 , , f n , f n+1} sở Grưbner Nếu có dư ta có hệ sinh { f1 , , f n , f n +1 , f n + } và: chuẩn Buchberger, f n+ khác không lu an n va in ( f1 ) , , in ( f n ) , in ( f n +1 ) ⊂ in ( f1 ) , , in ( f n ) , in ( f n +1 ) , in ( f n + ) ngặt p ie gh tn to Nhờ bổ đề Dickson, trình dừng lại sau hữu hạn bước, sở Grưbner tính Thật vậy, giả sử có dãy tăng ngặt vô hạn ideal đơn thức: in ( f1 ) , , in ( f n ) ⊂ in ( f1 ) , , in ( f n ) , in ( f n +1 ) w ⊂ ⊂ in ( f1 ) , , in ( f n ) , in ( f n +1 ) , , in ( f n + j ) ⊂ {in ( f ) , in ( f ) , , in ( f )}, d i1 ( ) ( ) = in ( f1 ) , in ( f ) , , in fiq , in fiq +1 , , in ( f j ) mâu oi lm ul nf ( ) in fi1 , n fi2 , , in fiq thuẫn i1 < i2 < < iq iq va ( ) ( ) i2 an Với j > iq ta có: lu G(I ) oa nl Tuy nhiên, tập tất đơn thức {in ( f1 ) , , in ( f n ) , } tập sinh tối tiểu z at nh Thuật tốn để tìm sở Grưbner từ hệ sinh I trình bày thuật toán Buchberger z f x1 x4 − x2 x3 Ví dụ: Cho R = K [ x1 , , x7 ] thứ thự từ điển với x1 > > x7 Lấy= @ l gm = g x4 x7 − x5 x6 với ideal khởi đầu = in ( f ) x= x4 x7 Lấy I = f , g Ta x4 , in ( g ) m co { f , g} khơng sở Grưbner với thứ tự từ điển Theo thuật tốn Buchberger, ta tính S ( f , g ) = x7 f − x1 g = x1 x5 x6 − x2 x3 x7 Ta chọn dư phép chia S ( f , g ) cho hệ { f , g} S ( f , g ) Đặt = h S(= f , g ) x1 x5 x6 − x2 x3 x7 có an Lu n va ac th si 47 in ( h ) = x1 x5 x6 Ta có in ( g ) in ( h ) nguyên tố Mặt khác dư phép S ( f , h ) x2 x3 ( x4 x7 − x5 x6 ) cho { f , g , h} Vậy theo tiêu chuẩn Buchberger chia= hệ { f , g , h} sở Gröbner I với thứ tự từ điển lu an n va p ie gh tn to d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si 48 Kết luận Luận văn trình bày kiến thức cách có hệ thống để giải toán đặt ra: Trong vành đa thức R = K [ x1 , , xn ] , cho f ∈ R I = f1 , , f s R, xác lu định xem f có thuộc I hay khơng? Để f ∈ I f phải biểu diễn an n va dạng f = q1 f1 + + qs f s Để có biểu diễn này, luận văn trình bày thuật toán thức dư chia f cho f1 , , f s khơng Thậm chí, f ∈ f1 , , f s gh tn to chia f cho hệ f1 , , f s Tuy nhiên, R vành đa thức nhiều biến đa p ie chia f cho f1 , , f s đa thức dư khác khơng Như vậy, liệu có nl w hệ sinh g1 , , gt I mà chia f cho g1 , , gt theo thuật tốn d oa chia đa thức dư f ∈ I đa thức dư ln an lu Đó sở Grưbner Để có khái niệm sở Gröbner, luận văn va nghiên cứu khái niệm tính chất ideal đơn thức, ideal khởi đầu Luận văn oi lm f1 , , f s ban đầu ul nf đưa thuật toán Buchberger để tìm sở Grưbner I từ hệ sinh z at nh z m co l gm @ an Lu n va ac th si 49 Tài liệu tham khảo Tiếng Việt Nguyễn Viết Đông – Trần Huyên (2006), Đại số đồng điều, Nhà xuất Đại học quốc gia Hà Nội Lê Tuấn Hoa (2003), Đại số máy tính Cơ sở Grưbner, Nhà xuất Đại học Quốc gia Hà Nội lu Hoàng Xuân Sính (1999), Đại số đại cương, Nhà xuất giáo dục an va Tiếng Anh n gh tn to M.F Atiyah and I.G Macdonald (1996), Introduction to Commutative Algebra, Addison-Wesley, Reading, Masachusetts p ie D Bayer and M Stillman (1987), “A criterion for detecting m-regularity”, Invent Math 87 pp 1-11 d oa nl w Th Becker and V Weispfenning (1993), Gröbner Bases – A Computational Approach to Commutative Algebra, Springer Verlag an lu W Bruns and J Herzog (1993), Cohen-Macaulay Rings, Cambridge Univ Press oi lm ul nf va B Buchberger (1985), Gröbner base: An algorithmic method in polynomial ideal theory, in “Multidimensional system theory” (edited by N K Bose), Approach to Commutative Algebra, Springer Verlag W Gröbner (1970), Algebraische Geometrie, Vol II, Bibliographaishes Institul z at nh 10 S Mac Lane (1986), Homology, Springer-Verlag, New York z m co l gm @ an Lu n va ac th si