(Luận văn) đa thức hilbert của iđêan đơn thức

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM CHOUAKHA HOUA TOU XAY lu an n va ĐA THỨC HILBERT CỦA IĐÊAN ĐƠN THỨC p ie gh tn to d oa nl w nf va an lu oi lm ul LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh z m co l gm @ an Lu THÁI NGUYÊN - 2016 n va ac th si ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM CHOUAKHA HOUA TOU XAY lu an n va ĐA THỨC HILBERT CỦA IĐÊAN ĐƠN THỨC p ie gh tn to d oa nl w Chuyên ngành: Đại số Lý thuyết số Mã số: 60.46.01.04 an lu oi lm ul nf va LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh Người hướng dẫn khoa học z TS TRẦN NGUYÊN AN m co l gm @ an Lu THÁI NGUYÊN - 2016 n va ac th si Lời cam đoan Tôi xin cam đoan nội dung trình bày luận văn trung thực không trùng lặp với đề tài khác Tôi xin cam đoan giúp đỡ cho việc thực luận văn cảm ơn thơng tin trích dẫn luận văn rõ nguồn gốc lu Thái Nguyên, ngày 10 tháng 04 năm 2016 an Người viết luận văn n va tn to p ie gh CHOUAKHA HOUATOUXAY d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va i ac th si Mục lục Chương Vành đa thức iđêan đơn thức 1.1 Vành đa thức 1.2 Iđêan đơn thức 1.3 Iđêan khởi đầu sở Grăobner 1.4 Thuật toán Buchberger 13 lu MỞ ĐẦU an n va 18 2.1 Đa thức Hilbert chuỗi Hilbert 18 p ie gh tn to Chương Đa thức Hilbert iđêan đơn thức w oa nl 2.2 Phức đơn hình vành Stanley-Reisner d 2.3 Đồ thị vành mặt lu va an KẾT LUẬN 38 45 45 oi lm ul nf Tài liệu tham khảo 34 z at nh z m co l gm @ an Lu n va ii ac th si MỞ ĐẦU Cho đại số giao hoán phân bậc hữu hạn sinh trường, hàm Hilbert, đa thức Hilbert, chuỗi Hilbert ba khái niệm có quan hệ mật thiết với nhau, xác định biến thiên chiều thành phần đại số Các khái niệm thường nghiên cứu đối tượng sau: Vành thương vành đa thức nhiều biến iđêan đơn thức; lu an Vành thương vành đa thức nhiều biến iđêan nhất; n va Vành địa phương với lọc lũy thừa iđêan tối đại tn to Đa thức Hilbert chuỗi Hilbert công cụ quan trọng ie gh Hình học Đại số Chúng công cụ dễ để xác định chiều bậc p đa tạp Đại số xác định phương trình đa thức nl w Luận văn tìm hiểu hàm Hilbert, đa thức Hilbert chuỗi Hilbert oa lớp vành thương vành đa thức nhiều biến iđêan đơn d thức Trường hợp cho ta nhiều kết trực quan, liên hệ với hai lu va an lớp vành quan trọng Đại số giao hốn, Hình học đại số Đại số ul nf tổ hợp vành Stanley-Reisner vành mặt Hơn kết oi lm Macaulay cho thấy ta chuyển việc nghiên cứu hàm Hilbert, đa z at nh thức Hilbert, chuỗi Hilbert lớp vành thương vành đa thức nhiều biến iđêan trường hợp vành thương vành đa z thức nhiều biến iđêan đơn thức Luận văn tổng hợp @ gm nhiều tai liệu ( [2], [4], [6], [7], ) l Luận văn bao gồm hai chương Chương trình bày số kiến thức m co chuẩn bị vành đa thức nhiều biến, iđêan đơn thức, sở Grăobner v an Lu thut toỏn Buchsberger tỡm c s Grăobner õy l cụng c chuyn bi toỏn tìm hiểu hàm Hilbert lớp vành thương vành đa thức n va ac th si nhiều biến iđêan trường hợp vành thương vành đa thức nhiều biến iđêan đơn thức Chương chương luận văn Trong chương luận văn trình bày hàm Hilbert (afin), đa thức Hilbert, chuỗi Hilbert vành thương vành đa thức nhiều biến iđêan đơn thức Đặc biệt để mô tả kỹ kết trên, luận văn tìm hiểu hai lớp vành Stanley-Reisner vành mặt Luận văn hoàn thành hướng dẫn tận tình TS Trần Nguyên An Nhân dịp tơi xin bày tỏ lịng biết ơn sâu sắc tới thầy Tôi xin cảm ơn thầy cô Viện Toán học, Khoa Toán Khoa lu Sau Đại học trường Đại học Sư phạm - Đại học Thái Nguyên tận an n va tình giảng dạy giúp đỡ tơi q trình học tập trường tn to Cuối xin cảm ơn người thân, bạn bè cổ vũ động p ie gh viên tơi để tơi hồn thành luận văn khóa học 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 Chương Vành đa thức iđêan đơn thức Trong chương này, ta nhắc lại số khái niệm tính lu chất vành đa thức iđêan đơn thức an n va 1.1 Vành đa thức to tn Cho R vành giao hoán x1 , , xn(n ≥ 1) biến Ta ie gh gọi đơn thức biểu thức có dạng xa11 xann , (a1 , , an ) ∈ p Nn gọi số mũ đơn thức Nếu a1 = = an = 0, đơn nl w thức kí hiệu d oa Phép nhân tập đơn thức định nghĩa sau: lu va an (xa11 xann )(xb11 xbnn ) = xa11+b1 xann +bn ul nf Do đồng x1 với đơn thức x11 x02 x0n, , xn với đơn thức oi lm x01 x0n−1x1n, đơn thức tích biến z at nh Từ biểu thức có dạng αxa11 xann , với α ∈ R gọi hệ số từ Hai từ khác không αxa11 xann βxb11 xbnn gọi đồng dạng z với = bi, ∀i = 1, n @ gm Ta kí hiệu x = (x1, , xn), a = (a1 , , an) ∈ Nn xa = m co l xa11 xann Đa thức n biến x1, , xn R tổng hình thức an Lu n va ac th si từ: f (x) = X αa xa , a∈Nn αa ∈ R có số hữu hạn hệ số αa 6= Từ αa xa với αa 6= gọi từ đa thức f (x) xa đơn thức f (x) Phép cộng đa thức định nghĩa sau: X X X a a βa x = (αa + βa )xa αa x + a∈Nn a∈Nn a∈Nn Vì αa + βa 6= hai hệ số αa βa khác Vì lu biểu thức vế phải có hữu hạn hệ số khác an va đa thức n Ta đồng αxa với đa thức βb xb , βa = α βb = b∈Nn với b 6= a Theo cách tất từ với hệ số đồng gh tn to P p ie với đa thức có tất hệ số 0, ta gọi đa thức đa thức w khơng, kí hiệu Đa thức α đa thức tương ứng với từ α · oa nl Nếu α1 xa1 , , αp xap tất từ f (x) xem f (x) d tổng từ qua phép đồng nf va an lu f (x) = α1 xa1 + + αp xap , oi lm ul a1 , , ap ∈ Nn số mũ khác Biểu diễn gọi a∈Nn z at nh biểu diễn tắc đa thức f (x) P P αa xa g(x) = βa xa biểu diễn Giả sử f (x) = a∈Nn tắc hai đa thức f (x) g(x), chúng xem z gm @ αa = βa , với a ∈ Nn Vậy biểu diễn tắc f (x) l m co Phép nhân đa thức định nghĩa sau X X X a a ( αa x )( βa x ) = γa xa , a∈Nn a∈Nn an Lu a∈Nn n va ac th si γa = P αb βc Ta thấy γa 6= tồn b c b,c∈Nn ,b+c=a thỏa mãn αb 6= 0, βc 6= b + c = a Do có số hữu hạn hệ số γa khác không phép nhân đa thức hoàn toàn xác định Với hai phép toán cộng đa thức nhân đa thức nêu trên, tập tất đa thức lập thành vành giao hoán với phần tử đơn vị Tập kí hiệu R[x1, , xn] hay R[x] Định nghĩa 1.1.1 Vành R[x1, , xn] xây dựng gọi vành đa thức n biến x1, , xn vành R lu Chú ý 1.1.2 (i) Khi n = 1, ta có vành đa thức biến thông thường an n va Đa thức biến x thường viết dạng ie gh tn to f (x) = an xn + + a1 x + a0 (n ∈ N, a0 , , an ∈ R) (ii) Cho ≤ m ≤ n Bằng cách xem từ αxa11 xann R a p m+1 xann vành R[x1, , xm], xem từ (αxa11 xamm )xm+1 oa nl w R[x1, , xn] vành đa thức n − m biến xm+1, , xn vành d R[x1, , xm], tức lu va an R[x1, , xn] = R[x1, , xm][xm+1, , xn] ul nf Với quan điểm xây dựng vành nhiều biến (vô hạn biến R[xi, i ∈ oi lm I]) từ vành biến theo quy nạp Tuy nhiên đa thức vành z at nh đa thức hữu hạn biến (iii) Khi tập biến xác định, ta kí hiệu đa thức đơn z giản f, g, thay cho f (x), g(x), @ gm (iv) Quy ước phép nhân biến giao hốn ta có m co l R[x1, , xn] = R[xδ(1) , , xδ(n) ], với phép δ ∈ Sn P αa xa số Định nghĩa 1.1.3 Bậc tổng thể đa thức f (x) = an Lu a∈Nn deg f (x) = max{a1 + + an | αa 6= 0} n va ac th si Đối với đa thức biến, bậc tổng thể bậc thơng thường Đơi bậc tổng thể đa thức nhiều biến gọi tắt bậc, khơng có hiểu lầm xảy Chú ý 1.1.4 (i) Bậc tổng thể đa thức bậc tổng thể đa thức quy ước −∞ (ii) Nhiều ta dùng bậc đa thức tập biến, chẳng hạn x1, , xm, định nghĩa sau: degx1 xm f (x) = max{a1 + + am | αa 6= 0}, lu m < n cố định Khi an n va R[x1, , xn] = R[x1, , xm][xm+1, , xn] tn to Mệnh đề 1.1.5 Nếu R miền nguyên, với đa thức f (x), g(x) ∈ ie gh R[x] có: p deg(f (x)g(x)) = deg f (x) + deg g(x) deg(f (x) + g(x)) ≤ max{deg f (x), deg g(x)} oa nl w d Mệnh đề 1.1.6 Nếu R miền nguyên, vành R[x] miền va an lu nguyên ul nf Nhận xét 1.1.7 Khi R trường vành đa thức R[x] miền oi lm nguyên bậc tổng thể đa thức thỏa mãn mệnh đề điều kiện sau tương đương: z at nh Định nghĩa 1.1.8 Cho R vành giao hốn, có đơn vị Các z (i) Mọi tập khác rỗng các iđêan R có phần tử cực đại @ gm (đối với quan hệ bao hàm) dừng, tức tồn k để Ik = Ik+1 = m co l (ii) Mọi dãy tăng iđêan R: I1 ⊆ I2 ⊆ In ⊆ In+1 , n va tồn f1 , f2, , fs ∈ I cho I = (f1, f2, , fs) an Lu (iii) Mọi iđêan R hữu hạn sinh: tức với iđêan I ⊆ R ac th si Nhận xét 2.1.19 Vì số đơn thức có bậc nhỏ s số đơn thức bậc 0, 1, , s nên số đơn thức (xem Bổ đề 2.1.4) ! ! s X n+k−1 n+s = k s k=0 Từ kết ta có hàm Hilbert chuỗi Hilbert cho Mệnh đề 2.3.9 Sau ta đưa thuật toán xác định Hàm Hilbert iđêan đơn thức lu Thuật toán Cho I = (m1, , mr ) iđêan sinh đơn thức an m1 , , mr ∈ M ⊆ R s ∈ N cho trước Tìm hàm Hilbert iđêan I va n Liệt kê tất đơn thức bậc s HR/I (s) p ie gh tn to Xóa đơn thức bội mi Số đơn thức cịn lại nl w Từ định lý Macaulay Hệ 2.1.13 (ii) ta suy để tìm hàm an lu R/in(I) d oa Hilbert(đa thức Hilbert) R/I ta tìm hàm Hilbert(đa thức Hilbert) va Để đơn giản đa mơ tả qua thuật tốn sau: oi lm ul nf Thuật tốn Tìm hàm Hilbert- Samuel R/I với I iđêan z at nh Chọn thứ tự từ ≤ z Tìm sở Groebner I, từ tìm in(I) @ l gm Tìm hàm Hilbert R/in(I), suy hàm Hilbert R/I N Hàm Hilbert- Samuel R/I có dạng: m co Như vậy, cho I iđêan vành R = k[x1, , xn] m0 thuộc an Lu n va 32 ac th si      n HR/I (s) =      PR/I (s) ,s = ,s = , s ≥ m0 Ví dụ 2.1.20 Tìm hàm Hilbert- Samuel đa thức Hilbert- Samuel iđêan I = (xy − zt, x2 y − z ) Như xét Ví dụ 2.1.7, I có sở Groebner thứ tự ≤lex : (t > x > y > z) : {x2y − z , −zt + xy} lu in(I) = (x2y, zt) an -Tính HR/I (2) va n Liệt kê tất đơn thức bậc theo thứ tự ≤lex : (t > x > y > z): tn to p ie gh    x , xy, xz, xt A(2) = y , yz, yt   z , zt, t2 w d oa nl Xóa đơn thức bội x2y zt đơn thức cịn lại là: oi lm ul nf va - Tính HR/I (3) an lu Vậy HR/I (2) = x2 , xy, xz, xt, y 2, yz, yt, z , t2 z at nh Liệt kê tất đơn thức bậc theo thứ tự ≤lex : (t > x > y > z):   x3, x2y, x2z, x2t     2   xy , xyz, xyt, xz , xzt, xt A(3) = z , zt, t2     y , y 2z, y t, yz , yzt, yt2    z , z t, zt2 , t3 z m co l gm @ an Lu Xóa đơn thức bội x2y zt đơn thức cịn lại là: 33 n va x3, x2z, x2t, xy 2, xyz, xyt, xz 2, xt2, y , y 2z, y t, yz , yt2, z , t3 ac th si Vậy HR/I (3) = 15 -Tính HR/I (s): Đa thức bậc s tổng quát có dạng: xa y b z c td , a+b+c+d = s Nếu c = suy xa y b td không chia hết cho zt Nếu b = suy xatd không chia hết cho x2y Vậy a + d = s Do có s+1 lựa chọn, s ≥ Nếu b ≥ suy a = 0; a = có y b td suy b + d = s Vậy có s lựa chọn, s ≥ a = có xy b td suy b + d = s − Vậy có s-1 lựa chọn, s ≥ lu c ≥ suy d = 0, ta có xay b z c an Nếu b = → xaz c Vậy a + c = s Do có s lựa chọn, s ≥ va n Nếu b ≥ → a = 0; to a = → xy bz c Vậy b + c = s − →có s-1 lựa chọn, s ≥ p ie gh tn a = → y b z c Vậy b + c = s → có s-1 lựa chọn, s ≥ Vậy HR/I (s) = s + + s + s − + s + s − + s − = 6s − 3, (s ≥ 3.) d oa nl w Suy hàm Hilbert-Samuel      4 HR/I (s) =      6s − oi lm ul nf va an lu R/I có dạng: ,s =   ,s = 1 ,s =  = ,s = ,s =   6s − , s ≥ ,s ≥ đa thức Hilbert-Samuel R/I là: PR/I = 6s − z at nh 2.2 Phức đơn hình vành Stanley-Reisner z Định nghĩa 2.2.1 Cho V = {v1, · · · , vd } tập hữu hạn Phức đơn @ gm hình V tập khác rỗng ∆ tập V thỏa mãn, với m co l F, G ⊆ V , F ⊆ G G ∈ ∆ , F ∈ ∆ Một phần tử ∆ gọi mặt ∆ Một mặt có dạng {vi} gọi đỉnh ∆ Một mặt có dạng n 34 va hàm gọi mặt cực đại (hay siêu mặt) ∆ an Lu {vj , vk } gọi cạnh ∆ Một phần tử cực đại ∆ theo quan hệ bao ac th si Chú ý 2.2.2 (i) Cho ∆ phức đơn hình V = {v1, · · · , vd } Theo Định nghĩa ∆ ta khơng u cầu {vi} ⊆ ∆ Vì V hữu hạn nến mặt ∆ chứa mặt cực đại ∆ Đặc biệt, ∆ khác rỗng nến có mặt cực đại Từ ta có ∅ ∈ ∆, mặt ∆ gọi mặt tầm thường ∆ (ii) Ta mơ tả "hình học" phức đơn hình: Mọi đỉnh tương ứng với điểm; cạnh tương ứng với hai đỉnh; mặt {v1, v2, v3} tương ứng với tam giác có đỉnh v1, v2 v3; mặt {v1, v2, v3, v4} tương ứng với tứ diện đỉnh v1, v2, v3 v4 lu an n va tn to ie gh p d oa nl w Mặt τ = {pi1 , · · · , pim } thường đồng với (i1, · · · , im) ∈ N{0}n Q Ký hiệu xτ đơn thức K[x1, · · · , xn] cho xτ = i∈τ xi an lu Định nghĩa 2.2.3 Một đơn thức gọi có giá tập S ul nf va cho tương ứng với điểm tập S oi lm Ví dụ 2.2.4 Mặt τ = {v1, v4, v5} giá đơn thức xα1 xα4 xα5 , với z at nh α1 , α4, α5 số nguyên dương Định nghĩa 2.2.5 Một siêu mặt phức đơn hình mặt cực z đại phức gm @ l Định nghĩa 2.2.6 Chiều, dim(τ ), mặt p đỉnh p − Chiều m co phức đơn hình số lớn chiều siêu mặt an Lu Định nghĩa 2.2.7 Cho ∆ phức đơn hình V = {v1, · · · , vd }, đặt R = A[x1, · · · , xd] Các iđêan mặt (hay iđêan Stanley-Reisner) n va 35 ac th si R liên kết với ∆ iđêan I∆ = (xi1 · · · xis | i1 < · · · < is d {vi1 · · · vin } ∈ / ∆)R Vành Stanley - Reisner K[△] vành K[x1, · · · , xn]I△ Ví dụ 2.2.8 Cho V = {p1, p2, p3, p4, p5}, định nghĩa △ bao gồm tập V sau: △ = {{p1, p2, p3}, {p1, p2}, {p2, p3}, {p1, p3}, {p2, p4}, {p1}, {p2}, {p3}, {p4}, {p5}} Khi I△ = (x1x5, x1x4, x2x5, x3x4, x3x5 , x4x5) lu Định nghĩa 2.2.9 Cho phức đơn hình chiều p, f - véctơ, f = an n va (f0, f1, · · · , fp), định nghĩa fi số mặt chiều i phức đơn tn to hình, i = 0, · · · , p Trước mô tả hàm Hilbert cho vành Stanley-Reisner ta cần p ie gh Lưu ý f0 số đỉnh phức đơn hình Quy ước, f−1 = nl w tính số đơn thức bậc có giá mặt phức đơn hình d oa Bổ đề 2.2.10 Cho mặt phức đơn hình chiều r−1, τ = {vi1 , · · · , vir },
số đơn thức bậc n có giá τ n−1 r−1 an lu nf va Chứng minh Giả sử xαi11 · · · xαirr đơn thức bậc n có giá τ Khi oi lm ul α1 + · · · + αr = n Ta cần tìm phân biệt (α1, · · · , αr ) với αi ≥ 1, i = 1, · · · , r Điều tương đương với tìm phân biệt z at nh (β1, · · · , βr ) cho β1 + · · · + βr = n − r} với βi ≥ 0, i = 1, · · · , n
Theo Bổ đề 2.1.18 n−1 r−1 z gm @ Định lý 2.2.11 Cho R = K[△] vành Stanley-Reisner phức m co l đơn hình △ chiều p Khi hàm Hilbert HR (n) R xác định ! p X n−1 HR (n) = fi , ∀n ≥ 1, i i=0 n va 36 an Lu fi thành phần f - véctơ ac th si Chứng minh Ta cần tìm chiều Rn không gian véctơ K, hay số phần tử sở Rn Số số đơn thức bậc n có giá mặt phức Phức có mặt chiều 0, 1, , p
Với i, có fi mặt chiều i có n−1 đơn thức phân biệt bậc n i i
biến phân biệt Do có n−1 fi đơn thức tương ứng với mặt chiều i Pp n−1
i Vậy sở Rn có i=0 i fi phần tử hay ta có điểu phải chứng minh Từ kết ta có chuỗi Hilbert vành Stanley-Reisner sau lu an Định lý 2.2.12 Cho R = K[△] vành Stanley-Reisner phức va n đơn hình △ chiều p Khi chuỗi Hilbert HR (n) R xác định gh tn to fi ti+1 i+1 (1 − t) i=−1 P∞ s+n−1
n = n=0 s−1 t Do p ie HS(R, t) = d oa nl w Chứng minh Ta có (1 − t)−s HS(R, t) = p X ∞ X HR (n)tn lu i=−1 oi lm ul nf va an ! p ∞ X X n−1 =1+ fitn i n=1 i=0 ! p ∞ X X n−1 n =1+ fi t i n=1 i=0
P n−1 n Bây ta xem xét tổng bên trong, S = ∞ n=1 i t Nếu n ≤ i

P n−1 n n−1 i+1 tổng = 0, S = ∞ n=i+1 i t Rút nhân tử t i
P m−1 m thay n m + (i + 1) ta có S = ti+1 ∞ t Từ đẳng thức trước, m=1 i z at nh z gm @ an Lu fiti+1 HS(R, t) = (1 − t)i+1 i=−1 m co p X l ta có S = ti+1(1 − t)−(i+1) Và từ quy ước f−1 = ta có n va 37 ac th si 2.3 Đồ thị vành mặt Định nghĩa 2.3.1 Cho V = {v1, · · · , vd } tập hữu hạn Một đồ thị với tập đỉnh V cặp G = (V, E) E tập hợp cặp khơng thứ tự vivj với vi 6= vj ( không thứ tự vivj = vj vi ) Phần tử vi ∈ V gọi đỉnh G Tập E gọi tập cạnh G Với cạnh e = vivj điểm cuối e đỉnh vi vj Chú ý Đồ thị hữu hạn đồ thị có số đỉnh hữu hạn, đồ thị đơn khơng có cạnh bội lu Ví dụ 2.3.2 Đồ thị rời rạc Dn đồ thị với tập đỉnh {v1, v2, · · · , vn} an n va khơng có cạnh Hình học D5 sau: p ie gh tn to oa nl w Ví dụ 2.3.3 Với n > 3, n-chu trình đồ thị Cn với tập d đỉnh {v1, v2, · · · , vn} cạnh {v1v2, v2v3, · · · , vd−1vd , vdv1 } Hình học oi lm ul nf va an lu C3, C4 C5 sau: z at nh Ví dụ 2.3.4 Với d > 2, đồ thị đầy đủ tập d đỉnh đồ thị Kd với z tập đỉnh {v1, · · · , vd} tập cạnh {vi vj | i < j d} Hình học @ m co l gm K2, K3, K4 K5 sau: an Lu n va 38 ac th si Ví dụ 2.3.5 Với m, n > 1, đồ thị hai phần Bm,n đồ thị với tập đỉnh {u1, · · · , um, v1, · · · , vd} cạnh {uivj | i m, j n} Hình học B1,1 , B1,2, B1,3, B2,2, B2,3 B3,3 sau : lu an va Định nghĩa sau cho ta thấy cách sử dụng đồ thị để xây dựng iđêan n đơn thức gh tn to Định nghĩa 2.3.6 Cho G đồ thị với tập đỉnh V = {v1, · · · , vd} Các p ie iđêan cạnh kết hợp với G iđêan IG ⊆ R = K[x1, · · · , xd], cho oa nl w IG = ({xixj | vivj | cạnh G})R d Vành mặt định nghĩa va an lu K[G] := K[x1, · · · , xd]/IG oi lm ul nf Ví dụ 2.3.7 Iđêan cạnh liên kết với D5 ID5 = Các iđêan cạnh liên kết với C3 , C4 C5 z at nh IC3 = (x1x2, x2x3, x1x3) ⊆ A[x1, x2, x3] IC4 = (x1x2, x2x3, x3x4, x1x4) ⊆ A[x1, x2, x3, x4] z Các iđêan cạnh liên kết với K2, K3 K4 an Lu IK3 = (x1x2, x1x3, x2x3 ) ⊆ A[x1, x2, x3] m co IK2 = (x1x2) ⊆ A[x1, x2] l gm @ IC5 = (x1x2, x2x3, x3x4, x4x5, x1x5) ⊆ A[x1, x2, x3, x4, x5] 39 n va IK4 = (x1x2, x1x3, x1x4 , x2x3, x2x4, x3x4) ⊆ A[x1, x2, x3, x4] ac th si Các iđêan cạnh liên kết với đồ thị hai phần IB1,1 = (x1y1) ⊆ A[x1, y1] IB1,2 = (x1y1, x1y2 ) ⊆ A[x1, y1, y2] IB1,3 = (x1y1, x1y2 , x1y3 ) ⊆ A[x1, y1 , y2, y3] IB2,2 = (x1y1, x1y2 , x2y1 , x2y2) ⊆ A[x1, x2, y1 , y2] IB2,3 = (x1y1, x1y2 , x1y3 , x2y1, x2y2 , x2y3 ) ⊆ A[x1, x2, y1, y2 , y3] Các iđêan cạnh đồ thị (x1x2, x1x3, x1x4 , x2x3, x3x4) ⊆ A[x1, x2, x3, x4] v2 v4 v3 lu v1 an n va gh tn to Định lý 2.3.8 Cho G đồ thị I(G) iđêan cạnh kết hợp với p ie G Khi tồn phức đơn hình △, cho I△ = I(G) w Chứng minh Ta chứng minh định lý cách xây dựng phức oa nl đơn hình tương ứng với đồ thị G cho trước Với vi ∈ V (G) ta gọi pi d đỉnh △ tương ứng với vi Chú ý {vi , vj } cạnh G lu va an xixj đơn thức I(G) Ta cần xây dựng △ cho {pi , pj }, ul nf hay mặt chứa khơng thuộc △ oi lm Cụ thể ta xây dựng △ cách trước hết giả sử tất mặt thuộc △ Sau xóa tất cạnh G mặt chứa cạnh z at nh Vậy vi, vj cạnh G xixj ∈ I△ z Tuy nhiên điều ngược lại mệnh đề không Chẳng @ gm hạn xét phức đơn hình đỉnh với mặt chiều Khi iđêan m co l mặt (x1x2x3 ) không sinh đơn thức bậc Do khơng tồn đồ thị tương ứng với an Lu n va 40 ac th si Mệnh đề 2.3.9 Cho Dn đồ thị rời rạc Đặt R = K[Dn] Khi ! ∞ X d+n−1 d HSR (t) = t = (1 − t)−n n−1 d=0 Chứng minh Ta có I(Dn) = (0), kéo theo R = K[x1, · · · , xn]/(0) =
K[x1, · · · , xn] Do đó, cho n ≥ 0, HR (d) = lR0 (Rd ) = d+n−1 n−1 ! ∞ X d+n−1 d HSR (t) = t = (1 − t)−n n−1 d=0 lu Mệnh đề 2.3.10 Cho Kn độ thị đầy đủ n đỉnh Đặt R = K[Kn] an n va Khi tn to HSR (t) = + (n − 1)t 1−t p ie gh Chứng minh Ta có w I(Kn) = (x1x2, x1x3, · · · , x1xn , x2x3 , · · · , xn−1xn ), oa nl iđêan sinh tất đơn thức hai biến phân biệt Do phần d tử khác khơng R[Kn] phải chứa hai biến Xét bậc ta có lu va an HR (0) = lR0 (R0) = Xét bậc d > 0, sở Rd không gian véctơ ul nf K {xd1 , · · · , xdn} Suy HR (d) = lR0 (Rd ) = n Như vậy, oi lm HSR (t) = + nt + nt2 + nt3 + · · · z at nh = + nt(1 + t + t2 + t3 + · · · ) nt + (n − 1)t =1+ = 1−t 1−t z gm @ m co l Mệnh đề 2.3.11 Cho Bm,n đồ thị hai phần Đặt R = K[Bm,n] Khi an Lu HSR (t) = (1 − t)−m + (1 − t)−n n va 41 ac th si Chứng minh Chia tập đỉnh thành tập tập đỉnh A, B lực lượng m, n tương ứng Ký hiệu biến với giá A x1, · · · , xm B y1 , · · · , yn Iđêan cạnh I(Bm,n ) bao gồm đơn thức dạng x1y2 , x3y2 , (giá A B) Vành mặt không gian véc tơ với sở đơn thức có giá A B Do độ dài Rd đơn thức lu bậc d Rd tổng số đơn thức bậc d R′ = K[x1, · · · , xm]

d+n−1 R′′ = K[y1, · · · , yn ] Vậy HR (d) = d+m−1 + m−1 n−1 ! ! ∞ X d+m−1 d+n−1 d HSR (t) = [ + ]t = (1 − t)−m + (1 − t)−n m−1 n−1 d=0 an n va p ie gh tn to Mệnh đề 2.3.12 Cho Cn chu trình n đỉnh Đặt R = K[Cn] Khi ! ! n−1 ∞ min{[ X2 ],d} n − s + X d−1 d ]t 1+ [ s s − s=1 d=1 w Chứng minh Iđêan Cn I(Cn) = (x1x2, x2x3 , · · · , xn−1xn ) Ta có oa nl R = K[x1, · · · xn]/I(Cn) Đặt Rd tập đa thức bậc d với d K-không gian véc tơ Cơ sở Rd tập đơn thức giá đỉnh va an lu không liên tiếp ul nf Như độ dài Rd số cách chọn d đỉnh không liên tiếp từ tập oi lm đỉnh {v1, · · · , vn} Ký hiệu số cách chọn d đỉnh không liên tiếp từ tập z at nh đỉnh {v1, · · · , vn} t(n, d) z Ta có t(m, 1) = m với m ≥ 1, t(m, k) = với m < 2k−1 Ta
chứng minh quy nạp theo m, k t(m, k) = m−k+1 Nếu m < 2k − k


m−1+1 m m − k + < k m−k+1 = Ta có = k 1 = m Giả
′ ′ +1 sử t(m′ , k ′) = m −k với m′ < m k ′ = k Nếu v1 chọn, có ′ k
m−1
t(m − 3, k − 1) = m−2−(k−1)+1 = k−1 k−1 cách để chọn đỉnh lại

m−k−j−1 Tổng quát có t(m − j − 1, k − 1) = m−j−1−(k−1)+1 = đỉnh k−1 k−1 m co l gm @ an Lu không liên tiếp với vj đỉnh nhỏ tập n va 42 ac th si


P m−k−j−1 m−k m−k−1 = Do t(m, k) = m−2k+2 + + ··· + j=1 k−1 k−1 k−1




k+1 k k−1 k k + + Ta có = , cộng từ phía trước ta có k−1 k−1 k−1 k k +







k k+1 k+1 k k−1 k+1 k+1 k+2 = Tiếp tục + + = + = k−1 k k−1 k−1 k−1 k−1 k k





m−k−1 m−k Cuối m−k + m−k−1 = m−k = m−k+1 k−1 + k−1 k k−1 + k k−1 Do
có m−k+1 cách đề chọn k đỉnh không liên tiếp từ m đỉnh k Như độ dài Rd , với d ≥ min{[ n−1 ],d} l(Rd) = X s=1 n−s+1 s ! ! d−1 s−1 lu Do chỗi Hilbert an n va ! ! n−1 ∞ min{[ X2 ],d} n − s + X d−1 d 1+ [ ]t s s − s=1 d=1 gh tn to p ie Mệnh đề 2.3.13 Chuỗi Hilbert đồ thị hình (tức đồ thị nl w liên thông mà cạnh có điểm chung) d oa HS(t) = t + − t (1 − t)n−1 lu nf va an Chứng minh Giả sử đỉnh chung Ta có cạnh đồ thị Do oi lm ul E(G) = {v1vn , v2vn , · · · , vn−1vn} z at nh I(G) = (x1xn, x2xn, · · · , xn−1xn ) = (x1, · · · , xn−1) ∩ (xn) z gm @ Phức đơn hình tương ứng bao gồm đỉnh cô lập chiều 0, {vn} m co l mặt chiều n − 1, {v1, , vn−1} Để tìm hàm Hilbert ta xác định f -vectơ
Ta có f0 = n, fk = n−1 k , k = 2, · · · , n − Do chuỗi Hilbert n−1 n−1
i X nt i t + HS(t) = + − t i=2 (1 − t)i an Lu n va 43 ac th si Hay n−1 n−1
n−1 n−1
i X t (n − 1)t X i ti nt i t = −1− + + HS(t) = + i i 1−t 1−t (1 − t) − t (1 − t) i=0 i=0 Tổng tương đương với chuỗi Hilbert có f - véctơ ! ! ! n−1 n−1 n−1 ( , ,··· , ) n Đây f - véctơ phức đơn hình đầy đủ n − đỉnh, tương ứng với đồ thị rời rạc n − đỉnh Sử dụng kết cho đồ thị rời rạc, ta lu có an va n−1 X n i=0 t 1−t gh tn to Do HS(t) = + n−1 i
i t = (1 − t)i (1 − t)n−1 (1−t)n−1 v2 v2 ie p v1 nl w v1 oa vn d v5 v3 v3 v4 va an lu v5 oi lm ul nf v4 z at nh z m co l gm @ an Lu n va 44 ac th si KẾT LUẬN Luận văn tìm hiểu hàm Đa thức Hilbert Samuel, hàm đa thức Hilbert, chuỗi Hilbert vành K[x1, , xn]/I với I iđêan đơn thức Cụ thể luận văn đạt số kết sau Tìm hiều vành đa thức nhiều biến số kết iđêan đơn thức, tập sinh, thứ tự từ, iđêan khởi đầu, Tìm hiểu sở Groebner thuật tốn Buchsberger Cơng cụ lu giúp ta chuyển nghiên cứu hàm đa thức K[x1, , xn]/I an từ trường hợp iđêan trường hợp iđêan đơn thức va n Tìm hiểuvề hàm, đa thức Hilbert Samuel vành K[x1, , xn]/I tn to với I iđêan đơn thức Chứng minh đa thức, liên hệ với Tìm hiểu hàm đa thức Hilbert chuỗi Hilbert vành p ie gh bất biến khác (số biến, chiều iđêan) nl w K[x1, , xn]/I với I iđêan đơn thức d oa Tìm hiểu thuật toán xác định hàm đa thức an lu Tìm hiểu phức đơn hình vành Stanley-Reisner, đồ thị oi lm ul nf va vành mặt Tìm hiểu hàm Hilbert chuỗi Hilbert vành z at nh z m co l gm @ an Lu n va 45 ac th si Tài liệu tham khảo Tiếng Việt [1] Nguyễn Tự Cường (2003), Đại số đại, Nhà xuất Đại học Quốc gia Hà Nội lu an n va [2] Lê Tuấn Hoa (2003), Đại số máy tính- Cơ sở Gră obner, Nh xut bn i hc Quc gia H Nội Tiếng Anh p ie gh tn to [3] W Bruns, J Herzog (1996), Cohen Macaulay Rings, Revised sdition Cambridge: Cambridge University Press oa nl w [4] D Cox (1991), T Little and D’Oshea, Ideals, Varieties, and Algorithms, Springer Verlag d [5] M Rogers and S Sather-Wagstaff (2011), Monomial ideals and their decomposition, http://www.ndsu.edu/pubweb/ ssatherw/DOCS/monomial.pdf nf va an lu oi lm ul [6] R H Villarreal (2001), Monomial Algebras, New York: Marcel Dekker Inc z at nh [7] C.M Zagrodny, Algebraic concept in study of graphs and simplical complex, Mathematics thesis, Geogia State University z m co l gm @ an Lu n va 46 ac th si