BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ - Nguyễn Thị Kim Quy DẠNG TOÀN PHƯƠNG HAI BIẾN LUẬN VĂN THẠC SĨ TOÁN HỌC Hà Nội – 2020 BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ - Nguyễn Thị Kim Quy DẠNG TOÀN PHƯƠNG HAI BIẾN Chuyên ngành: Mã số: Đại số Lý thuyết số 8.46.01.04 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS Nguyễn Duy Tân Hà Nội – 2020 LỜI CAM ĐOAN Tôi xin cam đoan luận văn "Dạng tồn phương hai biến" cơng trình nghiên cứu tơi Mọi kết nghiên cứu trước tác giả khác trích dẫn cụ thể Nội dung luận văn chưa công bố cơng trình nghiên cứu Tơi xin chịu trách nhiệm lời cam đoan Hà Nội, ngày 02 tháng năm 2020 Người cam đoan Nguyễn Thị Kim Quy LỜI CẢM ƠN Sau trình học tập nghiên cứu Khoa Tốn học, Học viện Khoa học Công nghệ, đến luận văn hồn thành Trước tiên, tơi xin bày tỏ lòng biết ơn chân thành sâu sắc tới PGS TS Nguyễn Duy Tân Thầy người tận hình hướng dẫn, giúp đỡ tơi vượt qua nhiều khó khăn trình học tập nghiên cứu Bên cạnh đó, tơi xin gửi lời cảm ơn đến giảng viên giảng dạy, đồng hành Khoa Tốn học Tơi xin cảm ơn Trung tâm đào tạo sau đại học - Viện Tốn học phịng Đào tạo - Học viện Khoa học Công nghệ tạo điều kiện thuận lợi cho trình học cao học học viện Hơn nữa, tơi xin gửi lời cảm ơn tới tồn thể bạn bè, gia đình tơi, người sát cánh bên quãng thời gian qua Nguyễn Thị Kim Quy Mục lục Danh mục ký hiệu Mở đầu DẠNG TOÀN PHƯƠNG HAI BIẾN VỚI HỆ SỐ NGUYÊN 1.1 Một số kiến thức 1.2 Dạng xác định dương 1.3 Dạng xác định dương thu gọn HỢP THÀNH CỦA HAI DẠNG TỒN PHƯƠNG 2.1 Hợp thành hai dạng tồn phương 2.2 Nhóm lớp LÝ THUYẾT GIỐNG 17 17 22 27 3.1 Ký hiệu Legrendre ký hiệu Jacobi 27 3.2 Lý thuyết giống sơ cấp 31 3.3 Lý thuyết giống 36 KẾT LUẬN 50 Tài liệu tham khảo 51 Danh mục ký hiệu Z gcd(a, b) det(P) GL(2, Z) Tập hợp số nguyên Ước chung lớn hai số nguyên a b Định thức mua trận P Nhóm ma trận cấp với hệ số nguyên định thức SL(2, Z) Nhóm ma trận cấp với hệ số nguyên định thức Ma trận chuyển vị ma trận P PT P (Z/DZ) im(c) ker(c) C(D) Ma trận nghịch đảo ma trận chuyển vị P Nhóm phần tử khả nghịch vành (Z/DZ) Ảnh đồng cấu c Hạt nhân đồng cấu c Tập nhóm lớp dạng toàn phương hai biến với định thức D (a, b, c) a p ! M m Dạng toàn phương hai biến ax + bxy + cy Ký hiệu Legendre (p số nguyên tố lẻ, a Z) Ký hiệu Jacobi (m lẻ, m > 0, m M nguyên tố nhau) Mở đầu 2 Cho dạng toàn phương hai biến f (x, y) = ax + bxy + cy với a, b, c Z có biệt thức D = b 4ac Nếu D < a > f (x, y) biểu diễn cho số nguyên dương Khi đó, ta nói f (x, y) dạng toàn phương hai biến xác định dương Hai dạng toàn phương f (x, y) g(x, y) với hệ số nguyên gọi tương đương thực tồn a, b, c, d nguyên cho ad bc = g(x, y) = f (ax + by, cx + dy) Nhận xét f g tương đương chúng có biệt thức Cho trước D nguyên âm với D 0, (mod 4) Gọi C(D) tập lớp tương đương thực dạng toàn phương hai biến xác định dương với biệt thức D Ta chứng minh C(D) hữu hạn Hơn nữa, ta định nghĩa phép hợp thành lớp dạng toàn phương mà phép hợp thành xác định phép toán nhân tập C(D), mà với phép nhân này, C(D) trở thành nhóm giao hốn hữu hạn Nhóm C(D) gọi "nhóm lớp biệt thức D" Mục tiêu luận văn nghiên cứu dạng toàn phương hai biến xác định dương Tơi trình bày số định nghĩa, tính chất, định lý dạng tồn phương, quan hệ tương đương hai dạng tồn phương, tính hữu hạn C(D), luật hợp thành hai lớp sơ lược lý thuyết giống CHƯƠNG DẠNG TOÀN PHƯƠNG HAI BIẾN VỚI HỆ SỐ NGUYÊN Chương trình số kiến thức dạng tồn phương hai biến với hệ số nguyên, dạng toàn phương hai biến xác định dương, xác định dương thu gọn Chương viết dựa theo tài liệu [1, Chapter One, x2] 1.1 Một số kiến thức Định nghĩa 1.1.1 Một dạng toàn phương hai biến với hệ số nguyên đa thức 2 dạng: f (x, y) = ax + bxy + cy với a, b, c Z Nếu a, b, c số nguyên tố ta gọi f (x, y) dạng nguyên thủy Ta kí hiệu f (x, y) = ax + bxy + cy ngắn gọn f = (a, b, c) Để đơn giản, ta gọi dạng thay cho dạng toàn phương hai biến với hệ số nguyên Định nghĩa 1.1.2 Ta nói số nguyên m biểu diễn dạng f (x, y) phương trình m = f (x, y) có nghiệm nguyên (x, y) Hơn x, y ngun tố ta nói m biểu diễn thực dạng f (x, y) Định nghĩa 1.1.3 Ta nói hai dạng f (x, y) g(x, y) tương đương (tương ứng, tương đương thực sự) tồn p, q, r, s Z cho ps qr = (tương ứng, ps qr = 1) f (x, y) = g(px + qy, rx + sy) Hơn nữa, Gọi GL(2, Z) tập đa thức cấp hệ số nguyên với định thức 1 Nếu P, Q GL(2, Z) P PQ thuộc GL(2, Z) Ta có GL(2, Z) với phép nhân ma trận lập thành nhóm Cho f g hai dạng Cho p, q, r, s Z Nếu f (x, y) = g(px + qy, rx + sy), ta viết đơn giản f = gP, P ma trận p " # q r s sở tắc, tức A = Gọi A ma trận dạng toàn phương f (x, y) = ax + bxy + cy a b2 x h i " b # c Khi ta có f (x, y) = x y A "y # Cho P ma trận cấp Giả sử g = f P Khi ta có "# h i x T g(x, y) = f (px + qy, rx + sy) = x y P AP y Như ma trận biểu diễn dạng tồn phương g(x, y) (trong sở T tắc) B = P AP 0! Ta nhận xét rằng, f = f I2 I2 = , ( f P)Q = f (PQ), với P, Q GL(2, Z) Nhận xét 1.1.4 Quan hệ tương đương hai dạng toàn phương quan hệ tương đương (1) Tính phản xạ: Hiển nhiên (2) Tính đối xứng: Giả sử hai dạng f g tương đương Khi tồn tài P GL(2, Z) cho g = f P Đặt Q = P Khi Q GL(2, Z) f = f I2 = f (PQ) = ( f P)Q = gQ Do g f tương đương (3) Tính bắc cầu: Giả sử f g tương đương, g h tương đương Khi tồn P, Q GL(2, Z) cho g = f P h = gQ Do h = gQ = ( f P)Q = f (PQ) Như f tương đương với h PQ thuộc GL(2, Z) Nhận xét 1.1.5 Tương tự ta chứng minh quan hệ tương đương thực hai dạng toàn phương quan hệ tương đương 2 Định nghĩa 1.1.6 Cho dạng f (x, y) = ax + bxy + cy (a, b, c Z), giá trị D = b 4ac gọi biệt thức f (x, y) Nhận xét D 0, (mod 4) ta gọi A ma trận f (x, y) sở tắc, D = det A Mệnh đề 1.1.7 Hai dạng toàn phương tương đương có biệt thức Chứng minh Cho hai dạng tương đương f g, với ma trận sở T tắc tương ứng A B Khi tồn P GL(2, Z) cho B = P AP Gọi D, D biệt thức f g Khi ta có T D = det B = det P = det(P AP) = 4(det P) detA = det A = D, Mệnh đề 1.1.8 Tập số nguyên biểu diễn hai dạng toàn phương tương đương trùng Chứng minh Cho hai dạng toàn phương tương đương f (x, y) g(x, y) Giả sử số nguyên m biểu diễn f (x, y), ta cần chứng minh m biểu diễn g(x, y) Thật vậy, ta có m biểu diễn f (x, y) nên phương trình m = f (x, y) có nghiệm nguyên Mặt khác, f (x, y) tương đương với g(x, y), tồn p, q, r, s Z ps qr = cho f (x, y) = g(px + qy, rx + sy) Suy phương trình m = g(px + qy, rx + sy) có nghiệm nguyên Do m biểu diễn g(x, y) Mệnh đề 1.1.9 Một dạng toàn phương biểu diễn thực cho số nguyên m f (x, y) tương đương thực với dạng toàn phương mx + bxy + cy với b, c Z Chứng minh Giả sử m biểu diễn thực dạng f (x, y) = a x + b xy + 0 c y với a , b , c Z Khi tồn p, q Z, gcd(p, q) = cho: 0 f (p, q) = a p + b pq + c q = m Do (p, q) = nên ta chọn r, s Z cho ps 0 Khi tuyến tính x = px + ry a Ta có = gcd(a, c) = gcd(a, 4c) = gcd(a, D/a) Vì a < c nên 3a < 4c Ngược lại giả sử u ước D mà u < a= D/a D/u, gcd(u, D/u) = 3u < D/u Khi đặt v = (u2 D)/4u Ta có v số nguyên dương (u, u, v) dạng thu gọn 2 Xét dạng thu gọn f = (a, b, c) với a = c Khi D = 4a b = (2a b)(2a + b) Như (2a b) ước dương D 2a + b = D/(2a b) > 2a b b dương Ta có = gcd(a, b) = gcd(2a b, 2a + b) = gcd(2a b, D/(2a b)) Vì b < a nên 3(2a b) > 2a + b = D/(2a b) Ngược lại, giả sử u ước D mà u < D/u, gcd(u, D/u) = 3u > D/u Khi đặt v = D/u, a = (u + v)/4 b = (v u)/2 Ta có a, b số nguyên dương (a, b, a) dạng thu gọn Như ta thấy số dạng thu gọn (a, b, c) với a = b a = c, số ước nguyên dương u D mà u < D/u, = gcd(u, D/u), số 2r Bây ta giả sử D = 4n Trường hợp 2: n (mod 4) Xét dạng thu gọn f = (a, b, c) với b = Khi n = ac, a < c, 40 gcd(a, c) = Số số nguyên dương a cho a j n, a < c gcd(a, n/a) = r1 r1 Do có dạng thu gọn dạng (a, 0, c) Xét dạng thu gọn f = (a, b, c) với a = b Khi 4n = 4ac a Do a chẵn, a = 2A Vì f nguyên thủy nên c lẻ Ta có n = 2Ac A Vì n lẻ nên A lẻ n = 2Ac A (mod 4) Mâu thuẫn với giả thiết Như khơng có dạng thu gọn (a, b, c) với a = b Xét dạng thu gọn f = (a, b, c) với a = c Khi 2 4n = 4a b Do b 2 chẵn, b = 2B Vì f nguyên thủy nên a lẻ Ta có n = a B Vì n lẻ nên B chẵn = (mod 4) Mâu thuẫn với giả thiết Như khơng có dạng thu n a gọn (a, b, c) với a = c Trong Trường hợp này, ta có a = b a = c r1 =2 m1 dạng thu gọn (a, b, c) với b = Trường hợp 3: n (mod 4) Xét dạng thu gọn f = (a, b, c) với b = Khi n = ac, a < c, gcd(a, c) r1 = Số số nguyên dương a cho a j n, a < c gcd(a, n/a) = Do có r1 dạng thu gọn dạng (a, 0, c) Xét dạng thu gọn f = (a, b, c) với a = b Khi 4n = 4ac a Do a chẵn, a = 2A Ta có n = A(2c A) Như A ước n, gcd(A, 2c A) = gcd(a, c) = Vì < a < c nên A < 3A < 2c A Ngược lại giả sử u ước nguyên dương n cho với v := n/u ta có gcd(u, v) = 3u < v Đặt a = 2u c = (u + v)/2 Vì n (mod 4) nên u v 1, (mod 4) c lẻ Do gcd(a, c) = gcd(u, (u + v)/2) = gcd(u, v) = Ta có dạng thu gọn (a, a, c) Xét dạng thu gọn f = (a, b, c) với a = c Khi 4n = 4a 2 b Do b chẵn, b = 2B Ta có n = a2 B2 = (a B)(a + B) Như a B ước dương n a B < a + B = n/(a B) Vì b = 2B < a nên 3(a B) > (a + B) Ngược lại giả sử u ước nguyên dương n cho với v := n/u ta có u < c, gcd(u, v) = 3u > v Đặt a = (u + v)/2 b = (v u) Vì n (mod 4) nên u v 1, (mod 4) a lẻ Do gcd(a, b) = gcd((u + v)/2, (u v)/2) = gcd(u, v) = Ta có dạng thu gọn (a, b, a) Như ta thấy số dạng thu gọn (a, b, c) với a = b a = c, số ước nguyên dương u D mà u < D/u, = gcd(u, D/u), số r Trong Trường hợp này, ta có r r +2 r =2 =2 m dạng thu gọn (a, b, c) 41 với b = a = b a = c Trường hợp 4: n (mod 4) Xét dạng thu gọn f = (a, b, c) với b = Khi n = ac, a < c, gcd(a, c) r = Số số nguyên dương a cho a j n, a < c gcd(a, n/a) = r (Chú ý số ước nguyên tố phân biệt n r + 1.) Do có dạng thu gọn dạng (a, 0, c) Xét dạng thu gọn f = (a, b, c) với a = b Khi 4n = 4ac a Do a chẵn, 2 a = 2A Ta có n = 2Ac A Vì n chẵn nên A chẵn n = 2Ac A (mod 4) Mâu thuẫn với giả thiết Như khơng có dạng thu gọn (a, b, c) với a = b Xét dạng thu gọn f = (a, b, c) với a = c Khi 4n = 4a2 chẵn, b = 2B Vì f nguyên thủy nên a lẻ Ta có n = a2 b2 Do b B2 Vì n chẵn nên B lẻ n a B = (mod 8) Mâu thuẫn với giả thiết Như khơng có dạng thu gọn (a, b, c) với a = c r Trong Trường hợp này, ta có = a = b a = c m dạng thu gọn (a, b, c) với b = Trường hợp 5: n (mod 8) Xét dạng thu gọn f = (a, b, c) với b = Khi n = ac, a < c, gcd(a, c) r = Số số nguyên dương a cho a j n, a < c gcd(a, n/a) = r (Chú ý số ước nguyên tố phân biệt n r + 1.) Do có dạng thu gọn dạng (a, 0, c) Xét dạng thu gọn f = (a, b, c) với a = b Khi 4n = 4ac a Do a chẵn, a = 2A Ta có n = 2Ac A Vì n chẵn nên A chẵn Ta đặt A = 2u Khi n/4 = uc u Vì n/4 lẻ nên u c u lẻ Do c chẵn f không nguyên thủy, mâu thuẫn Như khơng có dạng thu gọn (a, b, c) với a = b 2 Xét dạng thu gọn f = (a, b, c) với a = c Khi 4n = 4a b Do b chẵn, b = 2B Vì f ngun thủy nên a lẻ Ta có n = a 2 2 B Vì n chẵn nên B lẻ n a B = (mod 8) Mâu thuẫn với giả thiết Như khơng có dạng thu gọn (a, b, c) với a = c r Trong Trường hợp này, ta có = a = b a = c Trường hợp 6: n (mod 8) Xét dạng thu gọn f = (a, b, c) với b m dạng thu gọn (a, b, c) với b = = Khi n = ac, a < c, gcd(a, c) = Số số nguyên dương a cho a j n, a < c gcd(a, n/a) = 42 r1 r (Chú ý n có r + ước nguyên tố phân biệt.) Do có dạng thu gọn dạng (a, 0, c) Xét dạng thu gọn f = (a, b, c) với a = b Khi 4n = 4ac a Do a chẵn, a = 2A Ta có n = A(2c A) Vì n chẵn nên A chẵn A = 2u Ta có n/4 = u(c u) Như u ước n/4, gcd(u, c u) = gcd(a, c) = Vì < a < c nên u < 3u < c u Ngược lại giả sử u ước nguyên dương n/4 cho với v := n/4u ta có gcd(u, v) = 3u < v Đặt a = 4u c = u + v Vì n/4 = uv chia hết cho không chia hết u v khác tính chẵn lẻ Nói riêng a = u + v lẻ Do gcd(a, c) = gcd(4u, u + v) = gcd(u, v) = Ta có dạng thu gọn (a, a, c) Xét dạng thu gọn f = (a, b, c) với a = c Khi 4n = 4a2 b2 Do b chẵn, b = 2B Ta có n = a2 B2 Vì f ngun thủy nên a lẻ B lẻ Ta viết a = 2u + B = 2v + Ta có n/4 = (u v)(u + v + 1) Như u v ước dương n/4 u v < u + v + = n/(a B) Vì b = 4v + < a = 2u + nên 3(u v) > u + v + Ngược lại giả sử u ước nguyên dương n cho với v := n/4u ta có u < v, gcd(u, v) = 3u > v Đặt a = u + v b = 2(v u) Vì n/4 chia hết cho không chia hết u v khác tính chẵn lẻ Nói riêng a = u + v lẻ Do gcd(a, c) = gcd(u + v, 2(u v)) = gcd(u, v) = Ta có dạng thu gọn ( a, b, a) Như ta thấy số dạng thu gọn (a, b, c) với a = b a = c, số ước nguyên dương u n/4 mà u < n/4u, = gcd(u, D/u), số r (Chú ý ràng n/4 có r ước nguyên tố phân biệt.) r r Trong Trường hợp này, ta có + = với b = a = b a = c r+1 =2 m dạng thu gọn (a, b, c) Ví dụ 3.3.7 Với D = 56, ta có C(D) tập hợp gồm lớp C0, C1, C2, C3 2 2 2 dạng thu gọn x + 14y , 2x + 7y , 3x + 2xy + 5y , 3x 2xy + 5y Vì n = 14 (mod 4) 56 có ước nguyên tố lẻ nên m = r + = + 1 = Theo Mệnh đề 3.3.6 ta có số phần tử C(D) có cấp = Thật theo tính tốn Ví dụ 2.2.3 ta thấy C có cấp phần tử cấp C (cấp 1) C1 (cấp 2) 43 Gọi p1, , pr ước nguyên tố lẻ phân biệt D Ta xét hàm sau ! a ci(a) = pi d(a) = 1) ( e(a) = ( 1) , định nghĩa cho a; nguyên tố với p, i = 1, , r (a 1)/2 , định nghĩa cho a lẻ, (a2 1)/8 , định nghĩa cho a lẻ Với D (mod 4), ta gọi c1, , cr đặc trưng "liên kết" D Với D = 4n, ta định nghĩa đặc trưng liên kết D bảng sau n n n n n n n đặc trưng liên kết (mod 4) (mod 8) (mod 8) (mod 8) (mod 8) (mod 8) c1, , cr c1, , cr, d c1, , cr, de c1, , cr, e c1, , cr, d c1, , cr, d, e Nhận xét số đặc trưng liên kết D số m định nghĩa Các đặc trưng liên kết c1, , cm D (cm = d, de, tùy vào n bảng trên) xác định đồng cầu nhóm sau r Y: (Z/DZ) ! f 1g , a 7!(c1(a), , cm(a)) Nhắc lại H (Z/DZ) nhóm gồm phần tử biểu diễn dạng f0(x, y) biệt thức D r Bổ đề 3.3.8 Đồng cấu Y: (Z/DZ) ! f 1g toàn cấu với hạt nhân ker Y = H Như Y cảm sinh đẳng cấu r (Z/DZ) /H ’ f 1g Chứng minh Đầu tiên giả sử D (mod 4) Trong trường hợp m = r Ta viết m m D = p1 pr r phân tích thừa số nguyên tố D Theo Định lý thặng dư Trung Hoa ta có đẳng cấu (Z/DZ) ’ r mi (Z/p !Õ i=1 i ([a] m1 , , [a] m1 ) Z) , [a] D 7! p1 p 44 Qua đẳng cấu đồng cấu Y r mi cr : Õ(Z/pi Y = c1 i=1 r ! f 1g a1 7! @ Z) (a1, , ar) ! , , ar p mi Vì đồng cấu (Z/pi toàn cấu ! p A ! a Z) ! f 1g, cho a 7! p , toàn cấu, nên Y Ta chứng minh H ker Y Thật xét, lấy [a] H giả sử a = 2 2 f0(x, y) = x + xy + D y Suy 4a = (2x + y) Dy Từ 4a (2x + y) (mod p)i với i = 1, , r Do = p ! = ci([a]) Như [a] ker Y a Giả sử [a] ker Y Khi với i = 1, , r, ta có = ci(a) = ! p =1 a nên tồn xi nguyên cho a xi m i ) (mod pi mi Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x x i (mod pi mi với i = 1, , r Ta có a x = f0(x, 0) (mod pi [a] H Như ker Y H, H = ker Y ), ) Do a f0(x, 0) (mod D), s m Bây ta giả sử D = 4n, với n số nguyên dương Ta viết n = p1 m pr r phân tích thừa số nguyên tố m, với p i số nguyên tố lẻ phân biệt s Đầu tiên ta nhận xét với 2mọi [a] ci([a]) = 0mvới i = 1, 2 H, ta có r Thật vậy, giả sử a = f0(x, y) = x + ny Khi a x (mod pi i ), với a ! i = 1, , r Do = p = ci([a]), với i = 1, , r (*) Ta xét trường hợp sau Trường hợp 1: n (mod 4) Trong trường hợp này, D = 4n = m1 4p1 pr mr 45 Từ ( ) ta có H ker Y Bây ta chứng minh ker Y H Xét [a] ker Y ( Z/DZ) Nói riêng a lẻ Theo lập luận phần trên, tồn xi nguyên cho mi ), với i = 1, , r a xi (mod pi m Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x x i (mod pi i ), m với i = 1, , r x (mod 2) Nếu a (mod 4) có a x (mod pi i ) 2 a x (mod 4) Do a x = f0(x, 0) (mod D), [a] H Nếu a (mod 4) ta có 2 a (x + D) + n (mod 4) a (x + D) + m n (mod pi i ), với i = 1, , r Do a (x + D) + n = f0(x + D, 1) (mod D), [a] H Như ker Y H, H = ker Y Trường hợp 2: n (mod 4) Trong trường hợp này, m D = 4n = m1 r 4p1 pr Trước tiên ta chứng minh H ker Y Xét [a] H giả sử a = f0(x, y) = x 2 + ny Lấy đồng dư modulo 4, ta suy a x + y (mod 4) (chú ý a lẻ) Như d([a]) = Kết hợp với ( ) ta có H ker Y Bây ta chứng minh ker Y H Xét [a] ker Y (Z/DZ) Nói riêng a lẻ Theo lập luận phần trên, tồn số xi nguyên cho mi ), với i = 1, , r a xi (mod pi mi Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x xi (mod pi với i = 1, , r x (mod 2) ), Vì d(a) = nên a (mod 4) Do a x (mod 4) Ta suy a x = f0(x, 0) (mod D), [a] H Như ker Y H, H = ker Y Trường hợp 3: n (mod 8) Trong trường hợp này, D = 4n = m1 mr 8p1 pr Trước tiên ta chứng minh H ker Y Xét [a] H giả sử a = f 0(x, y) = x 2 + ny Lấy đồng dư modulo 8, ta suy a x + 2y 1, (mod 8) (chú ý a lẻ) Như de([a]) = Kết hợp với ( ) ta có H ker Y Bây ta chứng minh ker Y H Xét [a] ker Y (Z/DZ) 46 Nói riêng a lẻ Theo lập luận phần trên, tồn số xi nguyên cho m ), với i = 1, , r i a xi (mod pi mi Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x xi (mod pi với i = 1, , r x (mod 2) Vì de(a) = nên a Ta suy a a 2+ x x 2 1, (mod 8) Nếu a (mod 8) a x (mod 8) H Nếu a (mod 8) mi ), với i = 1, , r Do = f0(x, 0) (mod D), [a] n (mod 8), a x ), + n (mod pi + n = f0(x, 1) (mod D), [a] H Như ker Y H, a x H = ker Y Trường hợp 4: n (mod 8) Trong trường hợp này, D = 4n = mr m1 8p1 pr Trước tiên ta chứng minh H ker Y Xét [a] H giả sử a = f 0(x, y) = x 2 + ny Lấy đồng dư modulo 8, ta suy a x + 6y 1, (mod 8) (chú ý a lẻ) Như e([a]) = Kết hợp với ( ) ta có H ker Y Bây ta chứng minh ker Y H Xét [a] ker Y (Z/DZ) Nói riêng a lẻ Theo lập luận phần trên, tồn số xi nguyên cho mi ), với i = 1, , r a xi (mod pi mi Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x xi (mod pi với i = 1, , r x (mod 2) Vì e(a) = nên a Ta suy a a 2+ x x a x H = ker Y 1, (mod 8) Nếu a (mod 8) a x (mod 8) H Nếu a (mod 8) mi ), với i = 1, , r Do = f0(x, 0) (mod D), [a] n (mod 8), a x ), + n (mod pi + n = f0(x, 1) (mod D), [a] H Như ker Y H, Trường hợp 5: n (mod 8) Trong trường hợp này, D= 4n = m1 mr 16p1 pr Trước tiên ta chứng minh H ker Y Xét [a] x + ny Lấy đồng dư modulo 4, ta suy a H giả sử a = f (x, y) = x (mod 4) (chú ý a 47 lẻ) Như d([a]) = Kết hợp với ( ) ta có H ker Y Bây ta chứng minh ker Y H Xét [a] ker Y (Z/DZ) Nói riêng a lẻ Theo lập luận phần trên, tồn số xi nguyên cho mi ), với i = 1, , r a xi (mod pi m Theo Định lý thặng dư Trung Hoa, tồn x nguyên cho x x i (mod pi i ), với i = 1, , r x (mod 16) Cũng theo Định lý thặng dư Trung Hoa, 0 mi tồn x nguyên cho x xi (mod pi 16) Vì d(a) = nên a Nếu a ), với i = 1, , r x (mod (mod 4) Do a 1, 5, 9, 13 (mod 16) (mod 16) a x (mod 16), a mi x (mod pi ), với i = 1, , r Ta suy a x = f0(x, 0) (mod D), [a] H 02 02 m Nếu a (mod 16) a x (mod 16), a x (mod pi i ), với 02 i = 1, , r Ta suy a x = f0(x , 0) (mod D), [a] H Đối với hai a 5, ta xét hai trường hợp sau Trường hợp 5.1: n (mod 16) 2 mi Nếu a (mod 16) a x + n (mod 16), a x + n (mod pi 1, , r Do a x + n = f0(x, 1) (mod D), [a] H Nếu a 02 13 (mod 16) a với i = 1, , r Do a x x 02 mi x mi + n (mod pi + n = f0(x, 1) (mod D), [a] H Trường hợp 5.2: n 12 (mod 16) Nếu a (mod 16) a x + n (mod pi H 02 + n (mod 16), a ), với i = 02 ), với i = 1, , r Do a x 02 + n (mod 16), a x ), 02 + n = f0(x , 1) (mod D), [a] m Nếu a 13 (mod 16) a x + n (mod 16), a x + n (mod pi i ), với i = 1, , r Do a x + n = f0(x, 1) (mod D), [a] H Như trường hợp ta có [a] H Do ker Y H, H = ker Y Trường hợp 6: n (mod 8) Trong trường hợp này, D= 4n = 2s+2 m1 m , với s r p1 pr Trước tiên ta chứng minh H ker Y Xét [a] H giả sử a = f 0(x, y) = x 2 + ny Lấy đồng dư modulo 8, ta suy a x (mod 8) (chú ý a lẻ) Như d([a]) = e(a) = Kết hợp với ( ) ta có H ker Y 48 Bây ta chứng minh ker Y H Xét [a] ker Y (Z/DZ) Nói riêng a lẻ Theo lập luận phần trên, tồn số xi nguyên cho mi ), với i = 1, , r a xi (mod pi Vì d(a) = e(a) = nên a (mod 8) Khi theo [2, Part One, Chapter VI, Theorem 87], tồn u nguyên cho a u (mod s+2 mi thặng dư Trung Hoa, tồn x nguyên cho x x i (mod pi , r x u (mod s+2 mi ) Ta có a x (mod pi ) a x (mod ) Theo Định lý ), với i = 1, s+2 ) Do a x = f0(x, 0) (mod D), [a] H Như ker Y H, H = ker Y Định lý 3.3.9 Đồng cấu F: C(D) ! ker c/H toàn cấu với hạt nhân ker F = 2 C(D) = fC j C C(D)g Chứng minh Xét [a] ker c Khi theo Định lý Dirichlet số nguyên tố cấp số cộng, tồn p nguyên tố lẻ cho [p] = [a] ker c Ta suy ! D , p biểu diễn dạng f biệt thức D p Gọi C lớp f Khi [p]H = [a]H = F(C) Như F toàn cấu Như = c([p]) = ta có đẳng cấu C(D)/ ker F ’ ker c/H Nói riêng [(Z/DZ) : H] [C(D) : ker F] = [ker c : H] = [(Z/DZ) : ker c] Vì phần tử ker c/H có cấp 2 nên C(D) = m m =2 ker F Ta xét toàn cấu a : C(D) C(D) , C 7!C Hạt nhân a tập phần tử C(D) với cấp Theo Mệnh đề 3.3.6, j ker aj = m1 Như m [C(D) : C(D) ] = j ker aj = Ta suy ker F = C(D) Ví dụ 3.3.10 Ta chọn D = 20 Khi C(D) tập hợp gồm lớp C0 dạng thu 2 2 gọn g(x, y) := x + 5y lớp C1 dạng thu gọn f (x, y) := 2x + 2xy + 3y Xét đồng cấu F: C(D) ! ker(c)/H 0 Theo ví dụ 3.2.3 ta có im(F) = fH, H g H = f[1], [9]g H = 49 f[3], [7]g, ker(c) = f[1], [3], [7], [9]g Rõ ràng ker(c)/H = fH, H g Vậy im(F) = 2 ker(c)/H đồng cấu f tồn cấu Ta có ker F = f (H) = fC0g Vì C0 = C0 C1 = C0, nên ker F = fC0g = C(D) Định lý 3.3.11 Cho D số nguyên âm D 0, (mod 4) Ta có khẳng định sau (i) Có m giống lớp biệt thức D, m xác định Mệnh đề 3.3.6 (ii) Giống C(D) Chứng minh (i) Theo chứng minh mệnh đề trên, số giống lớp m1 biệt thức D jF(C(D))j = j ker c : H] = (ii) Suy từ Mệnh đề ker F giống Ví dụ 3.3.12 Với D = 56, trường hợp m = Theo Ví dụ 3.3.4 Ví dụ 2.2.3 ta có jF(C(D))j = = m1 F (H) = fC0, C1g = C(D) 50 KẾT LUẬN Luận văn trình bày vấn đề sau Chương trình bày số khái niệm dạng toàn phương Một số kết quan trọng phần Mệnh đề 1.1.9, Định lý 1.2.1, Định lý 1.3.3, Định lý 1.3.7 Ngồi ra, Chương trình bày thuật tốn đưa dạng tồn phương dạng thu gọn Chương trình bày hợp thành hai lớp dạng toàn phương nguyên thủy xác định dương với biệt thức D, với D < 0, D 0, mod Trong đó, phần đầu trình bày khái niệm hai dạng toàn phương phù hợp, hợp thành hai dạng toàn phương phù hợp Kết quan trọng phần Mệnh đề 2.1.11 Kết chứng minh phép hợp thành định nghĩa tốt lớp tương đương dạng toàn phương nguyên thủy xác định dương với biệt thức D Từ dẫn đến định nghĩa phép hợp thành lớp với biệt thức D Phần sau trình bày Định lý 2.2.2 chứng minh C(D), tập lớp dạng với biệt thức với phép hợp thành kể trên, nhóm giao hốn hữu hạn Chương trình bày lý thuyết giống Trong đó, trình bày ký hiệu Legendre ký hiệu Jacobi, tập giống lớp với biệt thức D, tính chất số giống biệt thức D Một số kết quan trọng Chương Bổ đề 3.1.3, Định lý 3.2.2, Mệnh đề 3.3.6, Định lý 3.3.9, Định lý 3.3.11 51 Tài liệu tham khảo 2 [1] David A Cox, Primes of the form p = x + ny : Fermat, Class field Theory, and Complex Multiplication, John Wiley and Sons, Inc, Canada, 1989 [2] Edmund Landau, Elementary number theory, Chelsea Publishing Company, New York, 1958 [3] Rick L Shepherd, Binary quadratic forms and genus theory, Master thesis, The University of North Carolina at Greensboro, 2013 ... lược lý thuyết giống 4 CHƯƠNG DẠNG TOÀN PHƯƠNG HAI BIẾN VỚI HỆ SỐ NGUYÊN Chương trình số kiến thức dạng toàn phương hai biến với hệ số nguyên, dạng toàn phương hai biến xác định dương, xác định... cứu dạng toàn phương hai biến xác định dương Tơi trình bày số định nghĩa, tính chất, định lý dạng tồn phương, quan hệ tương đương hai dạng toàn phương, tính hữu hạn C(D), luật hợp thành hai lớp... Mọi dạng toàn phương nguyên thủy xác định dương tương đương thực với dạng thu gọn 2 Chứng minh Cho f1(x, y) = ax + bxy + cy dạng toàn phương nguyên thủy xác định dương Trong lớp dạng toàn phương