(Luận văn) bài toán hit đối với đại số đa thức tại một dạng bậc tổng quát

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HUỲNH THỊ HIẾU lu an n va p ie gh tn to BÀI TOÁN HIT ĐỐI VỚI ĐẠI SỐ ĐA THỨC TẠI MỘT DẠNG BẬC TỔNG QUÁT d oa nl w a lu oi lm ul f an nv LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh z om l.c gm @ n a Lu Bình Định - Năm 2020 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HUỲNH THỊ HIẾU lu an n va p ie gh tn to BÀI TOÁN HIT ĐỐI VỚI ĐẠI SỐ ĐA THỨC TẠI MỘT DẠNG BẬC TỔNG QUÁT d oa nl w a lu Chuyên ngành : 8460104 oi lm ul f an nv Mã số : Đại số lí thuyết số LUẬN VĂN THẠC SĨ TỐN HỌC z at nh z Người hướng dẫn: @ om l.c gm PGS.TS NGUYỄN SUM n a Lu Bình Định - Năm 2020 n va ac th si i Lời cam đoan Tôi xin cam đoan luận văn đề tài “Bài toán hit đại số đa thức dạng bậc tổng quát” viết hướng dẫn lu an PGS.TS Nguyễn Sum chưa công bố để bảo vệ học vị cho n va tới thời điểm Các nội dung kết sử dụng luận văn có trích p ie gh tn to dẫn thích nguồn gốc Nếu có điều gian lận, tơi xin chịu trách nhiệm luận văn d oa nl w Bình Định, ngày 27 tháng 07 năm 2020 a lu Học viên thực đề tài oi lm ul f an nv Huỳnh Thị Hiếu z at nh z om l.c gm @ n a Lu n va ac th si ii Mục lục Mở đầu 1 Một số kiến thức sở lu an n va Đại số trường 1.2 Các toán tử Steenrod 1.3 Đại số Steenrod 1.4 Tác động nhóm tuyến tính tổng quát đại số đa thức 10 1.5 Bài toán hit đại số đa thức 12 p ie gh tn to 1.1 d oa nl w 1.6 Vectơ trọng đơn thức chấp nhận 13 1.7 Tiêu chuẩn Singer đơn thức hit 18 a lu f an nv Sự ổn định số phần tử sinh cực tiểu đại số đa thức dạng bậc tổng quát 21 Tập sinh cực tiểu đại số đa thức ba biến Pk 21 2.2 Sự ổn định số phần tử sinh cực tiểu bậc (k − 1)(2d − 1) 23 oi lm ul 2.1 nh Bài tốn hit số vectơ trọng có bậc k − z at 32 Trường hợp ε = 32 3.2 Trường hợp ε = 42 z 3.1 47 om l.c 48 n a Lu Quyết định giao đề tài luận văn thạc sĩ gm Tài liệu tham khảo @ Kết luận n va ac th si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Mở đầu Ký hiệu Pk := F2 [x1 , x2 , , xk ] đại số đa thức phân bậc trường nguyên lu tố F2 có hai phần tử, với k biến x1 , x2 , , xk , biến có bậc Đại số an đối đồng điều 2-nhóm aben sơ cấp hạng k , với hệ số trường n va tn to nguyên tố F2 có phần tử Do Pk xem mơđun đại số Steenrod modulo 2, A Tác động A Pk xác định công thức p ie gh tường minh d oa nl w Sq i (xj ) = a lu xj        0 n X oi lm ul f an nv công thức Cartan      xj     n Sq (f g) = i = 0, i = 1, i > 1, Sq i (f )Sq n−i (g) i=0 z at nh với f, g ∈ Pk (xem Steenrod Epstein [8]) Bài toán hit Peterson tốn tìm tập sinh cực tiểu đại số đa z gm @ thức Pk xét môđun đại số Steenrod Nói cách khác, tốn tìm sở khơng gian vectơ QPk := Pk /A+ Pk = F2 ⊗A Pk bậc, l.c om A+ iđean bổ sung A sinh toán tử Steenrod bậc dương Đây a Lu toán trọng tâm Tơpơ - Đại số Nó có nhiều ứng dụng n toán kinh điển lý thuyết đồng luân Chẳng hạn, toán n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an ứng dụng việc nghiên cứu biểu diễn modular nhóm tuyến tính, hướng nghiên cứu có tính thời cao Bài toán hit Frank Peterson đặt vào năm 1987 xác định tường minh với k = 1, [4] Trường hợp k = xác định hoàn toàn luận án Masaki Kameko [2] trường Đại học John Hopkins vào năm 1990 Trường hợp k = 4, toán xác định tường minh [9, 10] Trong trường hợp tổng quát, toán nghiên cứu nhiều tác giả lu ngồi nước Gần đây, tốn hit ứng dụng biểu diễn an n va modular nhóm tuyến tính trình bày chi tiết sách chuyên tn to khảo Walker-Wood [13, 14] Hiện nay, toán toán mở với p ie gh k > Từ kết Wood [15] Kameko [2], toán hit rút gọn d oa nl w tính tốn bậc n có dạng n = s(2d − 1) + 2d m, a lu f an nv oi lm ul s, m, d số nguyên không âm cho trước, s < k µ(m) < s Ở P đây, ký hiệu µ(m) số ngun khơng âm nhỏ r cho m = 16i6r (2ui −1) với ui > Trong trường hợp s = k − m = 0, toán hit dạng bậc tổng nh z at quát n = (k − 1)(2d − 1) xác định tường minh với k z Mục đích luận văn tìm hiểu trình bày lại kết gần @ gm báo [12] toán hit dạng bậc tổng quát với k > Cụ thể nghiên om l.c cứu tính ổn định số cực tiểu phần tử sinh bậc (k − 1)(2d − 1) d đủ lớn tính tốn tường minh tốn hit số vectơ trọng có bậc a Lu n k − n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Nội dung luận văn gồm ba chương Chương Một số kiến thức sở Chúng nhắc lại số kiến thức đại số trường, toán tử Steenrod, đại số đa thức trường F2 , cấu trúc môđun đại số đa thức đại số Steenrod số kết vectơ trọng, đơn thức hit, đơn thức chấp nhận Chương Sự ổn định số phần tử sinh cực tiểu đại số đa thức dạng bậc tổng qt Trong chương này, chúng tơi tóm tắt số lu kết sở chấp nhận đại số đa thức ba biến Pk xét an n va môđun đại số Steenrod trình bày chi tiết kết ổn định số Chương Bài toán hit số vectơ trọng có bậc k − Chúng p ie gh tn to phần tử sinh cực tiểu bậc (k − 1)(2d − 1) tơi trình bày tính toán đơn thức chấp nhận đại số Pk−1 có d oa nl w vectơ trọng (k − − 2t − 4ε, t, ε) với ε = 0, k − − 2t − 4ε > t, sử dụng kết để trình bày hệ đơn thức chấp nhận bậc (k − 1)(2d − 1) a lu Luận văn thực hoàn thành Trường Đại học Quy Nhơn f an nv hướng dẫn PGS.TS Nguyễn Sum Qua xin bày tỏ kính trọng oi lm ul lịng biết ơn sâu sắc đến Thầy, người tận tình bảo, tạo điều kiện giúp đỡ suốt thời gian học tập, nghiên cứu hoàn thành luận văn Đồng nh z at thời, chân thành cảm ơn q thầy Khoa Tốn Thống kê, z Phòng Đào tạo sau đại học trường Đại học Quy Nhơn quý thầy cô tham gm @ gia giảng dạy lớp Cao học Tốn khóa 21 giúp đỡ, tạo điều kiện thuận lợi cho om l.c tơi q trình học tập thực đề tài Tôi xin gửi lời cảm ơn đến gia đình, bạn bè, người ln động viên, giúp đỡ tơi q trình học n a Lu tập hoàn thành luận văn n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Mặc dù tơi cố gắng học hỏi, tìm tịi nghiên cứu q trình hồn thành luận văn, hạn chế thời gian trình độ nên luận văn khơng tránh khỏi thiếu sót Tơi mong nhận góp ý quý thầy bạn đọc để luận văn hồn thiện Tôi xin chân thành cảm ơn lu an n va p ie gh tn to d oa nl w a lu oi lm ul f an nv z at nh z om l.c gm @ n a Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Chương Một số kiến thức sở lu an n va Trong chương này, chúng tơi trình bày lại số kiến thức chuẩn bị cho tn to chương chính, bao gồm kiến thức đại số trường, toán tử p ie gh Steenrod, đại số đa thức trường F2 , cấu trúc môđun đại số đa thức đại số Steenrod, tác động nhóm tuyến tính tổng quát đại số đa thức, d oa nl w vectơ trọng, đơn thức chấp nhận tiêu chuẩn đơn thức hit Singer, kết trình bày chi tiết Kameko [2], Mothebe-Uys [3], a lu Singer [7] Walker-Wood [13] f an nv Đại số trường oi lm ul 1.1 z at nh Định nghĩa 1.1.1 Một đại số trường K tập hợp A 6= ∅ với phép toán: z + : A × A → A, om n a Lu (x, y) 7→ x + y l.c gm @ i) Phép cộng: n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an ii) Phép nhân: · : A × A → A, (x, y) 7→ xy iii) Phép nhân với vô hướng: · : K × A → A; (a, x) 7→ ax lu an n va thỏa mãn điều kiện sau đây: p ie gh tn to (1) A với hai phép toán cộng nhân lập thành vành (2) A với phép cộng phép nhân với vô hướng lập thành không gian d oa nl w vectơ K (3) Hai cấu trúc vành không gian vectơ liên hệ với điều kiện a lu oi lm ul f an nv với a ∈ K , x, y ∈ A a(xy) = (ax)y = x(ay), không gian vectơ A z at nh Tập hợp S ⊂ A gọi đại số A S vừa vành vừa z A sinh X gm @ Cho X ⊂ A, giao tất đại số A chứa X gọi đại số om l.c Tập hợp B ⊂ A gọi iđean đại số A vừa iđean n a Lu vành A vừa không gian vectơ A Khi đó, vành thương A/B có n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 32 Chương Bài toán hit số vectơ trọng lu có bậc k − an n va p ie gh tn to Trong chương này, sử dụng Định lý 2.2.11 mở rộng kết [6] tính tốn chi tiết khơng gian QPk−1 (ω) có vectơ trọng d oa nl w ω = (k − − 2t − 4ε, t, ε) với ε ∈ {0, 1} k − − 2t − 4ε > t, từ chặn dim(QPk )n với n = (k − 1)(2d − 1) a lu Nội dung chương trình bày dựa theo báo [12] f an nv Trường hợp ε = oi lm ul 3.1 Trước hết, nhắc lại kết trường hợp t = 1, ε = trình z gm @ Mệnh đề 3.1.1 Cho k > bất kỳ, z at nh bày Phúc-Sum [6]   k om l.c dim QPk−1 (k − 3, 1) = (k − 3) a Lu Tiếp theo, xét trường hợp t = 2, ε = không gian QPk−1 (k − n 5, 2) n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 33 Mệnh đề 3.1.2 Với k > 7,   (k − 1)(k − 6) k dim QPk−1 (k − 5, 2) = Chứng minh Chú ý Pr+ (k − 5, 2) = r < k − r > k − Khi đó, áp dụng Mệnh đề 1.7.6, ta có X dim QPk−1 (k − 5, 2) = k−56r6k−3   k−1 dim QPr+ (k − 5, 2) r Ký hiệu lu an ˜+ B = {x1 x2 xk−5 x2i x2j : i < j k − 5}, (k−5,2) n va ˜+ B = {x1 x2i xk−4 x2j : i, j k − 4, i 6= j} \ {x31 x22 x3 xk−4 }, (k−4,2) p ie gh tn to ˜+ B = {x1 x2i x2j xk−3 : i < j k − 3} \ {x1 x22 x23 x4 xk−3 } (k−3,2) + Dễ thấy B˜(r,2) ⊂ Pr+ (k − 5, 2) với k − r k − d oa nl w + Nếu x ∈ B˜(k−5,2) x spike Theo Bổ đề 1.7.3, tất spike Pk chấp nhận Vậy x chấp nhận Rõ ràng, x đơn a lu + ˜+ ˜+ thức Pk−5 (k − 5, 2) x ∈ B Do đó, B tập hợp tất (k−5,2) (k−5,2) f an nv + đơn thức chấp nhận Pk−5 (k − 5, 2) oi lm ul + Nếu x đơn thức Pk−4 (k − 5, 2) x = x1 x2i xk−4 x2j với i, j k − 4, i 6= j Nếu i = nh z at x = x21 x2 xk−4 x2j , với j k − 4, X z x1 x2t xk−4 x2j + Sq (x1 xk−4 x2j ) gm 26t6k−4 @ = l.c Vì x1 x2t xk−4 x2j < x với t k − nên x không chấp nhận Nếu X a Lu x= om j = 1, i = n va 36t6k−4 n x31 x2 x2t xk−4 + x41 x2 xk−4 + Sq (x31 x2 xk−4 ) ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 34 Và đó, x khơng chấp nhận Nếu i > x 6= x31 x22 x3 xk−4 x viết dạng x = xt x2i (ft fi−1 )(z) với t < i k − z spike Pk−6 Theo Peterson [4], xt x2i chấp nhận Khi đó, từ Mệnh đề 1.6.7 ta suy x + chấp nhận Vậy B˜(k−4,2) tập hợp tất đơn thức chấp nhận + Pk−4 (k − 5, 2) + (k − 5, 2) x = x1 x2i x2j xk−3 với Nếu x đơn thức Pk−3 i < j k − Nếu i = X lu x= x1 x2t x2j xk−3 + Sq (x1 x2j xk−3 ) an 26t6k−3, t6=j n va x1 x2s x2t xk−3 x= p ie gh tn to Suy x không chấp nhận Nếu x = x1 x22 x23 x4 xk−3 X 26s x 6= x1 x22 x23 x4 xk−3 đơn thức x viết dạng x = y(f1 fs−1 ft−2 fu−3 )(z) với z = x1 xk−7 ∈ Pk−7 , < s < a lu t < u k − y = x1 x2s xt x2u y = x1 xs x2t x2u Theo Sum [10], y chấp nhận f an nv Khi đó, từ Mệnh đề 1.6.7 ta suy x chấp nhận oi lm ul + Vậy chứng minh B˜(r,2) tập hợp tất đơn nh + thức chấp nhận Pr+ (k − 5, 2) Do dim QPr+ (k − 5, 2) = |B˜(r,2) | với    k−4 − Do đó, theo Mệnh đề 1.7.6, ta có  k − ˜+ |B(r,2) | r   n n va (k − 1)(k − 6) k = a Lu k−56r6k−3  om dim QPk−1 (k − 5, 2) = X l.c gm @ =  k−5 ˜+ ˜+ , |B | = (k − 5)2 − 1, |B |= (k−4,2) (k−3,2) z ˜+ |B | (k−5,2) z at k − r k − Bằng cách tính tốn trực tiếp, ta ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 35 Mệnh đề chứng minh Kết hợp Định lý 2.2.11 Mệnh đề 3.1.1, 3.1.2 ta suy chặn dim(QPk )n Định lý 3.1.3 Cho n = (k − 1)(2d − 1) với d số nguyên dương Nếu k > d > dim(QPk )n > p   X k u=1 u  +   k (k − 3)   X q   k (k − 1)(k − 6) k + v v=1 , lu an p = min{k, d} q = min{k, d − 1} n va Mệnh đề 3.1.4 Nếu k > 10 to (k − 5)(k − 7)(k − 9k + 14k − 36) k dim QPk−1 (k − 7, 3) = 180 p ie gh tn   d oa nl w Chứng minh Chú ý Pr+ (k − 7, 3) = r < k − r > k − Khi đó, áp dụng Mệnh đề 1.7.6, ta có X a lu dim QPk−1 (k − 7, 3) =  k−1 dim QPr+ (k − 7, 3) r oi lm ul f an nv Đặt k−76r6k−4  + ˜+ , B ={x1 x2 xk−7 x2i1 x2i2 x2i3 : i1 < i2 < i3 k − 7} ⊂ Pk−7 (k−7,3) z at nh ˜+ B ={x1 x2i1 xk−6 x2i2 x2i3 : i1 k − 6, i2 < i3 k − 6, i2 , i3 (k−6,3) + , 6= i1 } \ {x31 x22 x3 xk−6 x2i3 : i3 k − 6} ∪ {x31 x32 x23 x4 xk−6 } ⊂ Pk−6
z @ gm ˜+ B ={x1 x2i1 x2i2 xk−5 x2i3 : i1 < i2 k − 5, i3 k − 5, i3 (k−5,3) om l.c + 6= i1 , i2 } \ {x31 x22 x3 x2i2 xk−5 : i2 k − 5} ⊂ Pk−5 , + ˜+ B ={x1 x2i1 x2i2 x2i3 xk−4 : i1 < i2 < i3 k − 4} ⊂ Pk−4 (k−4,3) n a Lu n va + Ta có B˜(r,3) ⊂ Pr+ (k − 7, 3) với k − r k − ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 36 + Nếu x ∈ B˜(k−7,3) x spike Suy x chấp nhận Hơn nữa, + ˜+ ˜+ x đơn thức Pk−7 (k − 7, 3) x ∈ B Vậy B tập (k−7,3) (k−7,3) + hợp tất đơn thức chấp nhận Pk−7 (k − 7, 3) + Nếu x ∈ B˜(k−6,3) x = x1 x2i1 f1 (fi1 −1 (z)) với z spike Pk−8 Vì x1 x2i1 chấp nhận nên theo Mệnh đề 1.6.7, x đơn thức chấp nhận + Nếu x đơn thức Pk−6 (k − 7, 3) x = x1 x2i1 xk−6 x2i2 x2i3 với i1 , i2 , i3 k − 6, i2 , i3 6= i1 , i2 < i3 Nếu i1 = lu x = x21 x2 xk−6 x2i2 x2i3 , với i2 < i3 k − 6, an n va = X x1 x2t xk−6 x2i2 x2i3 + Sq (x1 xk−6 x2i2 x2i3 ) tn to 26t6k−6 p ie gh Suy x không chấp nhận Nếu i2 = 1, i1 = d oa nl w x = x31 x22 x3 xk−6 x2i3 , với i3 k − 6, X = x31 x2 x2t xk−6 x2i3 + x41 x2 xk−6 x2i3 + Sq (x31 x2 xk−6 x2i3 ) 36t6k−6 a lu Do x khơng chấp nhận Nếu i2 = 1, i3 = 2, i1 = X f an nv x= x31 x32 x3 x2t xk−6 + x41 x32 x3 xk−6 oi lm ul 46t6k−6 + x31 x42 x3 xk−6 + Sq (x31 x32 x3 xk−6 ) nh z at + Vậy x không chấp nhận Vì thế, B˜(k−6,3) tập hợp tất đơn thức z gm @ + chấp nhận Pk−6 (k − 7, 3) + Nếu x ∈ B˜(k−5,3) x = yf1 (fu−1 (fv−2 fw−3 (z))), < u < v < w, om l.c y đơn thức: x31 xu x2v x2w , x1 x3u x2v x2w , x1 x2u x3v x2w , x1 x2u x2v x3w z = a Lu x1 xk−9 ∈ Pk−9 Theo Sum [10], y chấp nhận Khi đó, từ Mệnh đề 1.6.7 n + ta suy x chấp nhận nhận Xét x đơn thức Pk−5 (k − 7, 3) n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 37 ˜+ Nếu x ∈ / B x = x21 x2 x2i2 xk−5 x2i3 với i2 , i3 > 1, i2 6= i3 x = (k−5,3) x31 x22 x2i2 xk−5 với i2 > Nếu x = x21 x2 x2i2 xk−5 x2i3 x= X x1 x2t x2i2 xk−5 x2i3 + Sq (x1 x2i2 xk−5 x2i3 ) 26t6k−5, t6=i2 Nếu x = x31 x22 x2i2 xk−5 X x= x31 x2 x2t x2i2 xk−5 + x41 x2 x2i2 xk−5 36t6k−5, t6=i2 lu + Sq (x31 x2 x2i2 xk−5 ) an n va + Do x khơng chấp nhận Vậy B˜(k−5,3) tập hợp tất đơn thức + Nếu x ∈ B˜(k−4,3) x = yf1 (fu−1 (fv−2 fw−3 (z))), < u < v < w, p ie gh tn to + chấp nhận Pk−5 (k − 7, 3) y = x1 x2u x2v x2w z = x1 xk−8 ∈ Pk−8 Theo Sum [10], y chấp nhận Khi d oa nl w + ˜+ đó, Mệnh đề 1.6.7, x chấp nhận Nếu x ∈ Pk−4 (k − 7, 3) x ∈ /B (k−4,3) x = x21 x2 x2i1 x2i2 xk−4 với < i1 < i2 k − Suy a lu X x1 x2t x2i1 x2i2 xk−4 + Sq (x1 x2i1 x2i2 xk−4 ) 26t6k−4, t6=i1 ,i2 oi lm ul f an nv x= + Vậy x không chấp nhận Vì thế, B˜(k−4,3) tập hợp tất đơn thức nh + chấp nhận Pk−4 (k − 7, 3) z at + Như vậy, ta chứng minh B˜(r,3) tập hợp tất đơn thức z + chấp nhận Pr+ (k − 7, 3) Do đó, dim QPr+ (k − 7, 3) = |B˜(r,3) | với k − @     (k − 6)(k − 7)(k − 9) , (k − 5)(k − 7)(k − 8) ˜ + = , |B(k−4,3) | =   k−5 n a Lu  k−7 ˜+ |B | =(k − 5) (k−5,3) = om k−7 k−6 ˜+ ˜+ |B |= , |B | = (k − 9) (k−7,3) (k−6,3) l.c  gm r k − Bằng cách tính tốn trực tiếp, ta n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 38 Do đó, theo Mệnh đề 1.7.6, ta suy  X dim QPk−1 (k − 7, 3) = k−76r6k−4  k − ˜+ |B(r,3) | r (k − 5)(k − 7)(k − 9k + 14k − 36) k = a(k) := 180   Mệnh đề chứng minh + ˜ + = ∅ nên Mệnh đề 3.1.4 Nhận xét 3.1.5 Vì B˜(2,3) = B (3,3) lu + ˜+ = B ˜ + = ∅ |B ˜ + | = 1, suy trường hợp k = Ta có B˜(1,3) = B (2,3) (3,3) (4,3)
dim QP7 (1, 3) = = 35 > 14 = a(8) Do đó, Mệnh đề 3.1.4 khơng cịn với an n va k = Vì QP7 (0, 3) = nên mệnh đề với k = (k − 1)(k − 10)(k − 20k + 129k − 354k + 840) k dim QPk−1 (k − 9, 4) = 1344   p ie gh tn to Mệnh đề 3.1.6 Nếu k > 13 d oa nl w Để chứng minh mệnh đề ta cần bổ đề sau Bổ đề 3.1.7 Những đơn thức sau chấp nhận P6 : a lu f an nv a1 = x1 x2 x23 x24 x25 x26 , a2 = x1 x22 x3 x24 x25 x26 , a3 = x1 x22 x23 x4 x25 x26 , a4 = x1 x22 x23 x24 x5 x26 oi lm ul Chứng minh Ta chứng minh {a1 , a2 , a3 , a4 } tập hợp tất đơn thức z at nh chấp nhận P6+ (2, 4) Lấy x ∈ P6+ (2, 4) Khi x = x1 x2i1 x2i2 x2i3 x2i4 x6 , i1 < i2 < i3 < i4 6 z @ x =x1 x22 x23 x24 x25 x6 = Sq (x21 Sq (x2 x6 )) om l.c Nếu i1 > 1, i4 < gm Nếu i1 = x = Sq (x1 x2i2 x2i3 x2i4 x6 )+ đơn thức nhỏ n a Lu + Sq (x1 x6 ) + đơn thức nhỏ n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 39 Do x khơng chấp nhận Vậy ta chứng minh x chấp nhận x ∈ {a1 , a2 , a3 , a4 } Tiếp theo, ta chứng minh tập {[a1 ](2,4) , [a2 ](2,4) , [a3 ](2,4) , [a4 ](2,4) } độc lập tuyến tính QP6+ (2, 4) Giả sử ta có quan hệ tuyến tính S := γ1 a1 + γ2 a2 + γ3 a3 + γ4 a4 ≡(2,4) 0, (3.1) với γu ∈ F2 , u Áp dụng đồng cấu p(1,j) : P6 → P5 với < j < vào (3.1), lu an ta n va p ie gh tn to p(1,2) (S) ≡(2,4) (γ2 + γ3 + γ4 )x31 x2 x23 x24 x25 ≡(2,4) 0, p(1,3) (S) ≡(2,4) (γ1 + γ3 + γ4 )x1 x32 x23 x24 x25 ≡(2,4) 0, p(1,4) (S) ≡(2,4) (γ1 + γ2 + γ4 )x1 x22 x33 x24 x25 ≡(2,4) 0, d oa nl w p(1,5) (S) ≡(2,4) (γ1 + γ2 + γ3 )x1 x22 x23 x34 x25 ≡(2,4) a lu Theo Sum [10], đơn thức x1 x22 x23 x24 chấp nhận P4 Do đó, Mệnh f an nv đề 1.6.7, đơn thức x31 x2 x23 x24 x25 , x1 x32 x23 x24 x25 , x1 x22 x33 x24 x25 , x1 x22 x23 x34 x25 chấp oi lm ul nhận P5 Vì thế, từ đẳng thức ta suy γi = với i Vậy bổ đề chứng minh nh z at Bây chứng minh Mệnh đề 3.1.6 z Chứng minh Mệnh đề 3.1.6 Chú ý Pr+ (k − 9, 4) = r < k − gm @ r > k − Khi đó, áp dụng Mệnh đề 1.7.6, ta có n a Lu k−96r6k−5  k−1 dim QPr+ (k − 9, 4) r om dim QPk−1 (k − 9, 4) =  l.c X n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 40 Đặt ˜+ B ={x1 x2 xk−9 x2i1 x2i2 x2i3 x2i4 : i1 < i2 < i3 < i4 k − 9}, (k−9,4) ˜+ B ={x1 x2i1 xk−8 x2i2 x2i3 x2i4 : i1 k − 8, i2 < i3 < i4 k − 8, (k−8,4) i2 , i3 , i4 6= i1 } \ {x31 x22 x3 xk−8 x2i3 x2i4 : i3 < i4 k − 8} ∪ {x31 x32 x23 x4 xk−8 x2i4 : i4 k − 8} ∪ {x31 x32 x33 x24 x5 xk−8 } ,
˜+ B ={x1 x2i1 x2i2 xk−7 x2i3 x2i4 : i1 < i2 k − 7, i3 < i4 k − 7, (k−7,4) lu i3 , i4 6= i1 , i2 } \ {x31 x22 x3 x2i2 xk−7 x2i4 : i2 , i4 k − 7, i4 6= i2 } an ∪ {x31 x32 x23 x4 x2i4 xk−7 : i4 k − 7} ,
n va p ie gh tn to ˜+ B ={x1 x2i1 x2i2 x2i3 xk−6 x2i4 : i1 < i2 < i3 k − 6, i4 k − 6, (k−6,4) i4 6= i1 , i2 , i3 } \ {x31 x22 x3 x2i2 x2i3 xk−6 : i2 < i3 k − 6}, ˜+ B ={x1 x2i1 x2i2 x2i3 x2i4 xk−5 : i1 < i2 < i3 < i4 k − 5} (k−5,4) d oa nl w \ {x1 x22 x23 x24 x25 x6 xk−5 } Bằng cách lập luận tương tự chứng minh Mệnh đề 3.1.4 ta a lu với k − r k − oi lm ul f an nv + B˜(r,4) tập hợp tất đơn thức chấp nhận Pr+ (k −9, 4) + Lấy x ∈ B˜(k−5,4) Khi x = y(f1 fi1 −1 fi2 −2 fi3 −3 fi4 −4 fi5 −5 )(z), y z at nh đơn thức: z x1 xi1 x2i2 x2i3 x2i4 x2i5 , x1 x2i1 xi2 x2i3 x2i4 x2i5 , x1 x2i1 x2i2 xi3 x2i4 x2i5 , x1 x2i1 x2i2 x2i3 xi4 x2i5 , gm @ với < i1 < i2 < i3 < i4 < i5 k − z = x1 xk−11 ∈ Pk−11 Theo Bổ đề 3.1.7, a Lu + Tiếp theo, lấy x ∈ Pk−5 (k − 9, 4) bất kỳ, om l.c y chấp nhận Do đó, từ Mệnh đề 1.6.7 ta suy x chấp nhận n x = x1 x2i1 x2i2 x2i3 x2i4 xk−5 với i1 < i2 < i3 < i4 k − n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 41 Nếu i1 = x = Sq (x1 x2i2 x2i3 x2i4 xk−5 ) + đơn thức nhỏ Suy x không chấp nhận Nếu x = x1 x22 x23 x24 x25 x6 xk−5 x = Sq (x21 Sq (x2 xk−5 )) + Sq (x1 xk−5 ) + đơn thức nhỏ Do x không chấp nhận + Vậy ta chứng minh B˜(r,4) tập hợp tất đơn thức chấp lu an + nhận Pr+ (k − 9, 4) Suy dim QPr+ (k − 9, 4) = |B˜(r,4) | với k − r n va k − Bằng cách tính tốn trực tiếp, ta p ie gh tn to         k−9 k−8 ˜+ ˜+ |B |= , |B | = (k − 12) , (k−9,4) (k−8,4) d oa nl w k−7 ˜+ |B |= (k−7,4) k−6 ˜+ |B |= (k−5,4)    k − 10 k−8 ˜+ , |B | = (k − 6) , (k−6,4) −1= (k − 5)(k − 10)(k − 15k + 60) 24 a lu Khi đó, áp dụng Mệnh đề 1.7.6 ta suy f an nv X dim QPk−1 (k − 9, 4) =   oi lm ul k − ˜+ |B(r,4) | r k−96r6k−5 (k − 1)(k − 10)(k − 20k + 129k − 354k + 840) k = b(k) := 1344   z at nh Mệnh đề chứng minh z gm @ + ˜ + = ∅, suy Mệnh đề 3.1.6 Nhận xét 3.1.8 Ta có B˜(3,4) =B (4,4) om l.c + ˜+ = B ˜ + = ∅ |B ˜ + | = 5, |B ˜ + | = nên trường hợp k = 12 Vì B˜(2,4) =B (3,4) (4,4) (5,4) (6,4)

10 dim QP10 (2, 4) = 10 + = 2100 > 1980 = b(11) Do Mệnh đề 3.1.6 không n a Lu với k = 11 Và ta có QP9 (1, 4) = nên mệnh đề với k = 10 n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 42 Trường hợp ε = 3.2 Mệnh đề 3.2.1 Nếu k >  dim QPk−1 (k − 7, 1, 1) =  k−6  k+1 Chứng minh Chú ý Pr+ (k − 7, 1, 1) = r < k − r > k − Do đó, theo Mệnh đề 1.7.6 ta có X dim QPk−1 (k − 7, 1, 1) = k−76r6k−5   k−1 dim QPr+ (k − 7, 1, 1) r lu an Với k > 9, đặt n va + ¯+ B ={x1 x2 xk−7 x2i1 x4i2 : i1 i2 k − 7} ⊂ Pk−7 (k − 7, 1, 1), (k−7,1) p ie gh tn to ¯+ B ={x1 x2i1 xk−6 x4i2 : i1 i2 k − 6} (k−6,1) + ∪ {x1 x4i2 xk−6 x2i1 : i1 < i2 k − 6} ⊂ Pk−6 (k − 7, 1, 1), d oa nl w + ¯+ B ={x1 x2i1 x4i2 xk−5 : i1 < i2 k − 5} ⊂ Pk−5 (k − 7, 1, 1) (k−5,1) + Lấy x đơn thức Pk−7 (k − 7, 1, 1) Khi x = x1 x2 xk−7 x2i1 x4i2 a lu với i1 , i2 k − Nếu i1 > i2 f an nv x = Sq (x1 x2 xk−7 x2i1 x2i2 ) + đơn thức nhỏ oi lm ul Do x khơng chấp nhận Nếu i1 = i2 x spike, x chấp z at nh nhận Nếu i1 < i2 x = x3i1 x5i2 (fi1 fi2 −1 )(z) với z = x1 xk−9 ∈ Pk−9 Theo Peterson [4], x3i1 x5i2 chấp nhận được, nên từ Mệnh đề 1.6.7 ta suy x z + chấp nhận Pk−7 (k − 7, 1, 1) gm @ + chấp nhận Điều có nghĩa B¯(k−7,1) tập hợp tất đơn thức om l.c + Lấy x ∈ Pk−6 (k−7, 1, 1) Khi x = x1 x2i1 xk−6 x4i2 x = x1 x4i2 xk−6 x2i1 a Lu với i1 , i2 k − Nếu i1 > i2 x = x1 x2i1 xk−6 x4i2 n x = Sq (x1 x2i1 xk−6 x2i2 ) + đơn thức nhỏ hơn; n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 43 i1 > i2 x = x1 x4i2 xk−6 x2i1 x = Sq (x1 x2i2 xk−6 x2i1 ) + đơn thức nhỏ hơn; x = x21 x2 xk−6 x4i2 x = Sq (x1 xk−6 x4i2 ) + đơn thức nhỏ Do x không chấp nhận Nếu i1 = i2 > x = x1 x6i1 (f1 fi1 −1 )(x1 xk−8 ) Vì x1 x6i1 chấp nhận nên theo Mệnh đề 1.6.7, x chấp nhận Nếu lu an x = x1 x2i1 xk−6 x4i2 với < i1 < i2 n va p ie gh tn to x = x1 x2i1 x5i2 (f1 fi1 −1 fi2 −2 )(z) z = x1 xk−9 Theo Kameko [2], x1 x2i1 x5i2 chấp nhận Do đó, từ d oa nl w Mệnh đề 1.6.7 ta suy x chấp nhận Giả sử x = x1 x2 x4i2 xk−6 x2i1 với i1 < i2 Nếu i1 = 1, i2 = a lu oi lm ul f an nv i1 = 1, i2 > x = x31 x42 x3 (f1 f1 f1 )(x1 xk−9 ), x = x31 x2 x4i2 (f1 f1 fi2 −2 )(x1 xk−9 ), nh z at < i1 < i2 z gm @ x = x1 x3i1 x4i2 (f1 fi1 −1 fi2 −2 )(x1 xk−9 ) om l.c Theo Kameko [2], x31 x42 x3 , x31 x2 x4i2 , x1 x3i1 x4i2 đơn thức chấp nhận Do đó, Mệnh đề 1.6.7, x chấp nhận Vậy ta chứng minh a Lu + ¯+ B tập hợp tất đơn thức chấp nhận Pk−6 (k − 7, 1, 1) (k−6,1) n n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 44 + Lấy x đơn thức Pk−5 (k−7, 1, 1) Khi x = x1 x2i1 x4i2 xk−5 với i1 < i2 k − Nếu i1 = x = Sq (x1 x4i2 xk−5 ) + đơn thức nhỏ Suy x không chấp nhận Nếu i1 > x = x1 x2i1 x4i2 (f1 fi1 −1 fi2 −2 )(x1 xk−8 ) Theo Kameko [2], x1 x2i1 x4i2 chấp nhận Do đó, Mệnh đề 1.6.7, x lu an + chấp nhận Vậy B¯(k−5,1) tập hợp tất đơn thức chấp nhận n va + Pk−5 (k − 7, 1, 1) p ie gh tn to + Như ta chứng minh B¯(r,1) tập hợp tất đơn thức chấp + | với nhận Pr+ (k − 7, 1, 1) Từ suy dim QPr+ (k − 7, 1, 1) = |B¯(r,1) d oa nl w k − r k − Bằng cách tính toán trực tiếp, ta ¯+ |B |= (k−7,1)     k−6 k−6 ¯+ ¯+ , |B |=2 , |B |= (k−6,1) (k−5,1) 2   k−6 a lu Khi đó, theo Mệnh đề 1.7.6, ta suy f an nv oi lm ul dim QPk−1 (k − 7, 1, 1) =  X k−76r6k−5 Mệnh đề chứng minh   k − ¯+ |B(r,1) | = r  k−6  k+1 z at nh z + ¯ + = {x1 x2 x4 } Vì x3 x4 ≡ x1 x6 nên Nhận xét 3.2.2 Ta có B¯(1,1) = {x71 }, B 2 (3,1)




¯ + = {x1 x6 } Khi dim QP7 (1, 1, 1) = + + = 63 < 84 = 8−6 8+1 B 2 (2,1) Mệnh đề 3.2.3 Nếu k > 11 om l.c gm @ Vậy Mệnh đề 3.2.1 không với k = a Lu   n (k − 1)(k − 8)(k − 10) k + dim QPk−1 (k − 9, 2, 1) = n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 45 Chứng minh Chú ý Pr+ (k − 9, 2, 1) = r < k − r > k − Khi đó, áp dụng Mệnh đề 1.7.6 ta suy X dim QPk−1 (k − 9, 2, 1) = k−96r6k−6   k−1 dim QPr+ (k − 9, 2, 1) r Đặt ¯+ B ={x1 x2 xk−9 x2i1 x2i2 x4i3 : i1 < i2 k − 9, i1 i3 k − 9}, (k−9,2) ¯+ B = {x1 x2i1 xk−8 x2i2 x4i3 : i1 < i2 k − 8, i1 i3 k − 8} (k−8,2) lu ∪ {x1 x2i2 xk−8 x2i1 x4i3 : i1 < i2 k − 8, i1 i3 k − 8} an ∪ {x1 x4i3 xk−8 x2i1 x2i2 : i1 < i2 k − 8, i1 < i3 k − 8, i3 6= i2 }
n va tn to \ {x31 x22 x3 xk−8 x4i : i k − 8}, p ie gh ¯+ B = {x1 x2i1 x2i2 xk−7 x4i3 : i1 < i2 k − 7, i1 i3 k − 7} (k−7,2) ∪ {x1 x2i1 x4i3 xk−7 x2i2 : i1 < i2 k − 7, i1 < i3 k − 7, i3 6= i2 } d oa nl w ∪ {x1 x2i2 x4i3 xk−7 x2i1 : i1 < i2 k − 8, i1 < i3 k − 7, i3 6= i2 }
\ {x1 x22 x63 x4 xk−7 , x1 x62 x23 x4 xk−7 , x1 x22 x23 x4 xk−7 x4i : i k − 7} a lu ∪ {x31 x42 x23 x4 xk−7 , x31 x22 x3 x4i xk−7 : i k − 7} ,
f an nv oi lm ul ¯+ B ={x1 x2i1 x2i2 x4i3 xk−6 : i1 < i2 , i3 k − 6, i2 6= i3 } (k−6,2) \ {x1 x22 x43 x24 x5 xk−6 , x1 x22 x23 x4 x4i xk−6 : i k − 6} nh Bằng cách lập luận tương tự chứng minh trước đó, ta z at z ¯ + tập hợp tất đơn thức chấp nhận Pr+ (k − 9, 2, 1) với B (r,2) @ k−8 ¯+ , |B | = (k − 8)2 (k − 10), (k−8,2) om ¯+ |B | =2 (k−9,2) l.c Bằng cách tính tốn trực tiếp, ta   gm ¯ + | với k − r k − k − r k − Khi đó, dim QPr+ (k − 9, 2, 1) = |B (r,2) a Lu n (k − 6)(k − 8)(k − 10) ¯+ ¯+ |B | =(k − 7)(k − 8)(k − 10), |B |= (k−7,2) (k−6,2) n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 46 Từ suy  X dim QPk−1 (k − 9, 2, 1) = k−96r6k−6  k − ¯+ |B(r,2) | r   (k − 1)(k − 8)(k − 10) k + = Mệnh đề chứng minh Nhận xét 3.2.4 Theo Sum [10], QP4 (1, 2, 1) = Điều kéo theo QP` (1, 2, 1) = với ` = 1, 2, Áp dụng Mệnh đề 1.7.6 ta suy QP9 (1, 2, 1) = Vậy Mệnh đề lu an 3.2.3 trường hợp k = 10 n va p ie gh tn to Bây giờ, áp dụng Định lý 2.2.11, Mệnh đề 3.1.1, 3.1.2, 3.1.4, 3.1.6, 3.2.1,

k−2t+2 k
k 3.2.3 hệ thức k+1 = 2t + 2t−1 2(t−1) với t > 0, ta thu chặn 2t dim(QPk )n d oa nl w Định lý 3.2.5 Cho n = (k − 1)(2d − 1) với d số nguyên dương Nếu k > 10 d > a lu X Ck,u f an nv dim(QPk )n > u=0 v=1  +  k , min{k, d} u = 0, z at u = 1, z @ k v nh k −21k +175k −735k +1984k−3744 , u = 2, 180       (k−6)(k−7) (k−1)(k−10)(k4 −20k3 +193k2 −1250k+3912)  + , u = 3,   1344        (k−1)(k−8)(k−10) , u = om l.c gm Ck,u = k 2u oi lm ul      1,         k − 3,      ! min{k,d−1} X   n a Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si