ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC - NGUYỄN BÁ DƯƠNG CHUỖI LŨY THỪA HÌNH THỨC VÀ TIÊU CHUẨN BẤT KHẢ QUY LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN - 2017 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC - NGUYỄN BÁ DƯƠNG CHUỖI LŨY THỪA HÌNH THỨC VÀ TIÊU CHUẨN BẤT KHẢ QUY LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Phương pháp Toán sơ cấp Mã số: 60 46 01 13 NGƯỜI HƯỚNG DẪN KHOA HỌC TS TRẦN NGUYÊN AN THÁI NGUYÊN - 2017 Mục lục MỞ ĐẦU Chương Chuỗi lũy thừa hình thức 1.1 Định nghĩa số tính chất 1.2 Một số phép toán 1.3 Phép truy toán C[[x]] 16 1.4 Phương pháp đếm dùng hàm sinh thông thường 23 1.5 Phương pháp đếm hàm sinh mũ 34 Chương Tính bất khả quy chuỗi lũy thừa hình thức 40 2.1 Tính phân tích vành Z[[x]] 40 2.2 Tiêu chuẩn tính bất khả quy 45 KẾT LUẬN 50 Tài liệu tham khảo 50 i MỞ ĐẦU Chuỗi lũy thừa hình thức mở rộng đa thức mà số số hạng vơ hạn Chính ta khơng thể thay biến giá trị bất kỳ, điều mà ta làm với đa thức Ta xem chuỗi lũy thừa hình thức dãy vô hạn thứ tự phần tử Khi lũy thừa biến dùng để thứ tự hệ số Trong tổ hợp, chuỗi lũy thừa hình thức dùng để dãy số hay đa tập (Một tụ tập vật có chất tùy ý, có vật khơng phân biệt với (và coi lặp lại vật)) Chẳng hạn ta dùng để định nghĩa đệ quy dãy số, gọi phương pháp hàm sinh Phương pháp đếm dùng hàm sinh phương pháp đếm hữu hiệu phát triển Nhiều loại hàm sinh định nghĩa sử dụng toán đếm khác Tuy nhiên hàm sinh thông thường hàm sinh mũ hai loại hàm sinh dùng rộng rãi hữu hiệu Mục đích thứ luận văn tìm hiểu vành chuỗi lũy thừa hình thức ứng dụng toán đếm Cho R vành giao hoán, ta ký hiệu R[[x]] tập chuỗi lũy thừa hình thức R Cùng với phép cộng phép nhân R[[x]] vành giao hốn Giống vành đa thức R[x] R[[x]] miền nguyên R miền nguyên Tuy nhiên phần tử khả nghịch R[x] phần tử khả nghịch R phần tử khả nghịch R[[x]] chuỗi lũy thừa hình thức mà số hạng tự khả nghịch Điều làm cho việc nghiên cứu tính chất số học R[[x]] R trường "khá đơn giản", chẳng hạn phần tử bất khả quy x Tuy nhiên nghiên cứu tính bất khả quy phần tử Z[[x]] toán khó Cho đến có tiêu chuẩn bất khả quy cho phần tử Z[[x]] Mục đích thứ hai luận văn tìm hiểu số tiêu chuẩn bất khả quy chuỗi lũy thừa hình thức hệ số nguyên Tài liệu tham khảo cho mục đích thứ sách Ngơ Đắc Tân (2004), Lý thuyết tổ hợp đồ thị, Nhà xuất Đại học Quốc Gia Hà Nội Qiaochu Yuan (2009), Topics in generating functions, Massachusetts Institute of Technology, tài liệu cho mục đích thứ hai báo D Birmajer and J B Gil (2008), "Arithmetic in the ring of formal power series with integer coefficients" American Mathematical Monthly, 115(6), 541-549 Luận văn chia làm hai chương Chương trình bày chuỗi lũy thừa hình thức ứng dụng tốn đếm Để đơn giản luận văn thống tìm hiểu chuỗi lũy thừa hình thức C chương Chương tìm hiểu số tiêu chuẩn bất khả quy chuỗi lũy thừa hình thức với hệ số ngun Để việc tìm hiểu có ý nghĩa trước hết luận văn trình bày kết Z[[x]] miền phân tích Lưu ý thêm R miền phân tích R[x] miền phân tích nhiên điều tương tự Samuel [6] không cho R[[x]] Trong suốt q trình làm luận văn, tơi nhận hướng dẫn giúp đỡ tận tình TS Trần Ngun An Tơi xin bày tỏ lịng biết ơn sâu sắc đến thầy Tôi xin gửi lời cảm ơn chân thành đến quý thầy cô giảng dạy lớp Cao học toán khoá truyền thụ đến cho nhiều kiến thức kinh nghiệm nghiên cứu khoa học Tôi xin chân thành cảm ơn! Thái Nguyên, tháng năm 2017 Nguyễn Bá Dương Chương Chuỗi lũy thừa hình thức Trong suốt chương cho C trường số phức Ta tìm hiểu chuỗi lũy thừa hình thức với hệ số phức Chú ý ta định nghĩa chuỗi lũy thừa hình thức với hệ số vành giáo hoán 1.1 Định nghĩa số tính chất Định nghĩa 1.1.1 Một chuỗi lũy thừa hình thức C biểu thức ∞ ∞ ∞ X X X j j có dạng a = a(x) = aj x , cho giả sử a(x) = aj x , b(x) = bj xj j=0 j=0 j=0 hai chuỗi lũy thừa hình thức a(x) = b(x) aj = bj với j Tập chuỗi lũy thừa hình thức C kí hiệu C[[x]] Giả sử a(x) = ∞ X j aj x b(x) = j=0 ∞ X bj xj hai chuỗi lũy thừa hình j=0 thức Ta định nghĩa phép toán cộng, phép toán nhân C[[x]] phép nhân phần tử C[[x]] với số z ∈ C sau: a(x) + b(x) = ∞ X j aj x + j=0 a(x)b(x) = ( ∞ X j=0 ∞ X j bj x = j=0 ∞ X (aj + bj )xj , j=0 j ∞ ∞ X X X j aj x )( bj x ) = ( ak bj−k )xj , j j=0 j=0 k=0 ∞ ∞ X X j za(x) = z( aj x ) = (zaj )xj j=0 j=0 Dễ kiểm tra thấy C[[x]] lập thành không gian véc tơ C phép toán cộng C[[x]] phép nhân phần tử C[[x]] với số z ∈ C Đối với phép nhân, C[[x]] có phần tử đơn vị 1(x) = + ∞ X 0.xj mà ta đơn giản kí hiệu Ta dễ kiểm tra j=0 thấy C[[x]] lập thành vành giao hốn có đơn vị phép cộng phép nhân C[[x]] Phép toán nhân phép nhân phần tử C[[x]] với số z ∈ C thỏa mãn hệ thức sau: z[a(x)b(x)] = [za(x)]b(x) = a(x)[zb(x)] Điều chứng tỏ C[[x]] lập thành đại số C Nếu với n ∈ N, chuỗi lũy thừa hình thức a(x) có an 6= aj = cho j > n, a(x) gọi đa thức bậc n đơn giản viết n X aj xj hay a0 + a1 x + + an xn Hơn nữa, = cho i j=0 tập 0, 1, 2, , n − 1, số hạng xi khơng cần viết; cịn = cho i tập {0, 1, 2, , n − 1} , xi đơn giản n X i viết x Phần tử 0(x) = 0xj , mà ta đơn giản kí hiệu 0, phần tử j=0 C[[x]] định nghĩa có bậc −1 Ta kí hiệu Cn [x] tập tất đa thức bậc nhỏ n Khi Cn [x] không gian số chiều n Dễ thấy ϕ : C1 [x] → C, a(x) → a0 đẳng cấu đại số Vì ta đồng a0 với a(x) ∈ C1 [x] coi C đại số C[[x]] Khi phép nhân phần tử C[[x]] với số z ∈ C xem trường hợp riêng phép toán nhân C[[x]] Mệnh đề 1.1.2 Chuỗi a(x) ∈ C[[x]] khả nghịch a0 6= Chứng minh Giả sử b(x) = ∞ X bj xj Khi a(x)b(x) = hệ j=0 phương trình sau có nghiệm: a0 b0 = 1, a0 b1 + a1 b0 = 0, a0 b2 + a1 b1 + a2 b0 = 0, a0 nb + a1 bn−1 + + an b0 = 0, , b0 , b1 , , bn ẩn số Dễ thấy hệ có nghiệm a0 6= Chú ý 1.1.3 Chứng minh tương tự ta có g(x) ∈ R[[x]] với R vành giao hoán khả nghịch a0 khả nghịch Nếu a(x) phần tử khả nghịch C[[x]] phần tử nghịch đảo kí hiệu (a(x))−1 hay hay a−1 (x) Nếu a(x) b(x) a(x) đa thức với a0 6= 0, phần tử b(x)a−1 (x) thường viết b(x) gọi hàm số hữu tỷ Với a(x) ∈ C[[x]] ta định nghĩa a(x) a0 (x) = 1, an (x) = a(x)a(x) a(x) {z } | n cho số nguyên dương n Nếu a(x) phần tử khả nghịch a−1 (x) phần tử nghịch đảo a(x), ta định nghĩa a−n (x) = a−1 (x)a−1 (x) a−1 (x) | {z } n cho số nguyên dương n Với z ∈ C 6= n, k ∈ N, đa thức (1 − zxn )k khả nghịch theo Mệnh đề 1.1.2 Ta có số tính chất sau đa thức Mệnh đề 1.1.4 Với z ∈ C 6= n, k ∈ N, ta có ∞ X = z j xnj , (1) n − zx j=0 ! ∞ X k + j − j nj z x (2) = (1 − zxn )k j j=0 ∞ ∞ ∞ X X X j nj j nj Chứng minh Ta có (1 − zx )( z x )= z x − z j+1 xn(j+1) = n j=0 j=0 j=0 Vậy ta có đẳng thức (1) Ta chứng minh đẳng thức (2) quy nạp theo k Với k = 1, đẳng thức (2) đẳng thức (1) Giả sử đẳng thức (2) chứng minh cho k = t ≥ đó, 1 = n t+1 n t (1 − zx ) (1 − zx ) − zxn ! ∞ ∞ X t+j−1 X j nj = z x z j xnj j j=0 j=0 ! j ∞ X X t + i − i j−i nj = ( z z )x i j=0 i=0 ! j ∞ X X t+i−1 = ( )z j xnj i j=0 i=0 Áp dụng công thức tổng cho hệ số nhị thức ta có ! ! ! j X t+i−1 (t − 1) + j + (t + 1) + j − = = i j j i=0 đẳng thức (2) chứng minh cho k = t + −1 Hệ 1.1.5 (1) (1 − x) = ∞ X xj , j=0 (2) (1 + x)−1 = ∞ X (−1)j xj , j=0 ∞ X (3) (1 − x2 )−1 = (4) (1 − x)−3 = j=0 ∞ X j=0 x2j , ! j+2 j x j Mệnh đề 1.1.6 Giả sử a(x) = ∞ X aj xj có a0 = Khi với số j=0 n nguyên dương n, chuỗi lũy thừa hình thức a (x) = c(x) = ∞ X cj xj có j=0 c0 = 1, c1 = na1 , cj = naj + fn,j (a1 , , aj−1 ) cho j ≥ 2, fn,j đa thức j − biến Chứng minh Ta chứng minh Mệnh đề 1.1.6 quy nạp theo n Với n = 1, mệnh đề hiển nhiên Giả sử mệnh đề chứng minh cho n = k Khi theo giả thiết quy nạp ta có ∞ ∞ X X ak+1 (x) = ak (x)a(x) = 1 + ka1 x + cj xj aj xj j=0 j=0 Do đó, hệ số x0 cho ak+1 (x) a0 = 1, hệ số x1 cho ak+1 (x) 1.a1 + ka1 a0 = (k + 1)a1 , hệ số xj (j ≥ 2) cho ak+1 (x) ∞ X ci aj−i = 1.aj + ka1 aj−1 + (ka2 + fk,2 (a1 ))aj−2 + + j=0 (kaj + fk,j (a1 , , aj−1 ))a0 = (aj + kaj ) + ka1 aj−1 + (ka2 + fk,2 (a1 ))aj−2 + + (kaj−1 + fk,j−1 (a1 , , aj−2 ))a1 + fk,j (a1 , , aj−1 ) = (k + 1)aj + fk+1,j−1 (a1 , , aj−1 ), fk+1,j−1 (a1 , , aj−1 ) = (ka1 aj−1 + + fk,j (a1 , , aj−1 )) Mệnh đề 1.1.7 Giả sử a(x) = ∞ X aj xj với a0 = n số nguyên j=0 dương Khi tồn b(x) = ∞ X bj xj với b0 = j=0 n cho b (x) = a(x) Chuỗi b(x) tồn Mệnh đề 1.1.7 kí hiệu a1/n (x) Chứng minh Theo Mệnh đề 1.1.6, b0 , b1 , b2 , , bk , xác định từ phương trình: b0 = 1, nb1 = a1 , nb2 + fn,2 (b1 ) = a2 , nbk + fn,k (b1 , , bk−1 ) = ak , Giả sử a(x) = ∞ X aj xj với a0 = Theo Mệnh đề 1.1.2, a(x) có phần tử j=0 −1 nghịch đảo a (x)