(Luận văn thạc sĩ) 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 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 h LUẬN VĂN THẠC SĨ TỐN HỌC Bình Định - Năm 2020 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HUỲNH THỊ HIẾU 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 h Chuyên ngành : Mã số : Đại số lí thuyết số 8460104 LUẬN VĂN THẠC SĨ TỐN HỌC Người hướng dẫn: PGS.TS NGUYỄN SUM Bình Định - Năm 2020 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 PGS.TS Nguyễn Sum chưa công bố để bảo vệ học vị thời điểm Các nội dung kết sử dụng luận văn có trích 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 h Bình Định, ngày 27 tháng 07 năm 2020 Học viên thực đề tài Huỳnh Thị Hiếu ii Mục lục Mở đầu 1 Một số kiến thức sở Đạ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 qt đại số đa thức 10 1.5 Bài toán hit đại số đa thức 12 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 h 1.1 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 2.1 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 Bài toán hit số vectơ trọng có bậc k − 32 3.1 Trường hợp ε = 32 3.2 Trường hợp ε = 42 Kết luận 47 Tài liệu tham khảo 48 Quyết định giao đề tài luận văn thạc sĩ Mở đầu Ký hiệu Pk := F2 [x1 , x2 , , xk ] đại số đa thức phân bậc trường nguyên tố F2 có hai phần tử, với k biến x1 , x2 , , xk , biến có bậc Đại số đối đồng điều 2-nhóm aben sơ cấp hạng k , với hệ số trường 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 tường minh h      xj     Sq i (xj ) = xj        0 i = 0, i = 1, i > 1, công thức Cartan n Sq (f g) = n X Sq i (f )Sq n−i (g) i=0 với f, g ∈ Pk (xem Steenrod Epstein [8]) Bài tốn hit Peterson tốn tìm tập sinh cực tiểu đại số đa 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, A+ iđean bổ sung A sinh toán tử Steenrod bậc dương Đây toán trọng tâm Tơpơ - Đại số Nó có nhiều ứng dụng toán kinh điển lý thuyết đồng luân Chẳng hạn, toán ứ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 tố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ả nước Gần đây, toán hit ứng dụng biểu diễn modular nhóm tuyến tính trình bày chi tiết sách chuyên khảo Walker-Wood [13, 14] Hiện nay, toán toán mở với k > Từ kết Wood [15] Kameko [2], toán hit rút gọn h tính tốn bậc n có dạng n = s(2d − 1) + 2d m, s, m, d số nguyên không âm cho trước, s < k µ(m) < s Ở P đây, ký hiệu µ(m) số nguyên 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 quát n = (k − 1)(2d − 1) xác định tường minh với k Mục đích luận văn tìm hiểu trình bày lại kết gần báo [12] toán hit dạng bậc tổng quát với k > Cụ thể nghiên 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 toán tường minh toán hit số vectơ trọng có bậc k − 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ố kết sở chấp nhận đại số đa thức ba biến Pk xét mơđun đại số Steenrod trình bày chi tiết kết ổn định số phần tử sinh cực tiểu bậc (k − 1)(2d − 1) Chương Bài toán hit số vectơ trọng có bậc k − Chúng tơi trình bày tính tốn đơn thức chấp nhận đại số Pk−1 có h 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) Luận văn thực hoàn thành Trường Đại học Quy Nhơn hướng dẫn PGS.TS Nguyễn Sum Qua xin bày tỏ kính trọng 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 thời, chân thành cảm ơn quý thầy Khoa Tốn Thống kê, Phịng Đào tạo sau đại học trường Đại học Quy Nhơn quý thầy tham 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 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 tập hồn thành luận văn Mặc dù 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 ý q thầy bạn đọc để luận văn hồn thiện Tơi xin chân thành cảm ơn h Chương Một số kiến thức sở Trong chương này, chúng tơi trình bày lại số kiến thức chuẩn bị cho chương chính, bao gồm 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, tác động nhóm tuyến tính tổng qt đại số đa thức, h 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], Singer [7] Walker-Wood [13] 1.1 Đại số trường Đị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: i) Phép cộng: + : A × A → A, (x, y) 7→ x + y 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 thỏa mãn điều kiện sau đây: (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 h vectơ K (3) Hai cấu trúc vành không gian vectơ liên hệ với điều kiện a(xy) = (ax)y = x(ay), với a ∈ K , x, y ∈ A Tập hợp S ⊂ A gọi đại số A S vừa vành vừa không gian vectơ A Cho X ⊂ A, giao tất đại số A chứa X gọi đại số A sinh X Tập hợp B ⊂ A gọi iđean đại số A vừa iđean vành A vừa không gian vectơ A Khi đó, vành thương A/B có